Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Symmetric solutions to dispersionless 2D Toda hierarchy, Hurwitz numbers and conformal dynamics
Published
• View Publication
• BIB
We explicitly construct the series expansion for a certain class of solutions to the 2D Toda hierarchy in the zero dispersion limit, which we call symmetric solutions. We express the Taylor coefficients through some universal combinatorial constants and find recurrence relations for them. These results are used to obtain new formulas for the genus 0 double Hurwitz numbers. They can also serve as a starting point for a constructive approach to the Riemann mapping problem and the inverse potential problem in 2D.
A new proof for the Erdős-Ko-Rado Theorem for the alternating group
Published
• View Publication
• BIB
A subset $S$ of the alternating group on $n$ points is {\it intersecting} if for any pair of permutations $π,σ$ in $S$, there is an element $i\in \{1,\dots,n\}$ such that $π(i)=σ(i)$. We prove that if $S$ is intersecting, then $|S|\leq \frac{(n-1)!}{2}$. Also, we prove that if $n \geq 5$, then the only sets $S$ that meet this bound are the cosets of the stabilizer of a point of $\{1,\dots,n\}$.
On calculation of the interweight distribution of an equitable partition
Published in J. Algebr. Comb. 40(2) 2014, 373-386
• View Publication
• BIB
We derive recursive and direct formulas for the interweight distribution of an equitable partition of a hypercube. The formulas involve a three-variable generalization of the Krawtchouk polynomials. Keywords: equitable partition; regular partition; partition design; strong distance invariance; interweight distribution; distance distribution; Krawtchouk polynomial
Constructions of transitive latin hypercubes
Published in Eur. J. Comb. 54, 2016, 51-64
• View Publication
• BIB
A function $f:\{0,...,q-1\}^n\to\{0,...,q-1\}$ invertible in each argument is called a latin hypercube. A collection $(π_0,π_1,...,π_n)$ of permutations of $\{0,...,q-1\}$ is called an autotopism of a latin hypercube $f$ if $π_0f(x_1,...,x_n)=f(π_1x_1,...,π_n x_n)$ for all $x_1$, ..., $x_n$. We call a latin hypercube isotopically transitive (topolinear) if its group of autotopisms acts transitively (regularly) on all $q^n$ collections of argument values. We prove that the number of nonequivalent topolinear latin hypercubes grows exponentially with respect to $\sqrt{n}$ if $q$ is even and exponentially with respect to $n^2$ if $q$ is divisible by a square. We show a connection of the class of isotopically transitive latin squares with the class of G-loops, known in noncommutative algebra, and establish the existence of a topolinear latin square that is not a group isotope. We characterize the class of isotopically transitive latin hypercubes of orders $q=4$ and $q=5$. Keywords: transitive code, propelinear code, latin square, latin hypercube, autotopism, G-loop.
Cardinality of Balls in Permutation Spaces
For a right invariant distance on a permutation space $S_n$ we give a sufficient condition for the cardinality of a ball of radius $R$ to grow polynomially in $n$ for fixed $R$. For the distance $\ell_1$ we show that for an integer $k$ the cardinality of a sphere of radius $2k$ in $S_n$ (for $n \geqslant k$) is a polynomial of degree $k$ in $n$ and determine the high degree terms of this polynomial.
When Hamilton circuits generate the cycle space of a random graph
If eps > 0 and p >= n^{-1/2 + eps}, in a binomial random graph G(n,p) a.a.s. the set of cycles which can be constructed as a symmetric difference of Hamilton circuits is as large as parity by itself permits (all cycles if n is odd, all even cycles if n is even). Moreover, every p which ensures the above property a.a.s. must necessarily be such that for any constant c>0, eventually p >= (log n + 2 log log n + c)/n. So, whatever the smallest sufficient p for an a.a.s. Hamilton-generated cycle space might be, it does not coincide with the threshold for hamiltonicity of G(n,p).
A Laurent series proof of the Habsieger-Kadell $q$-Morris Identity
Published
• View Publication
• BIB
We give a Laurent series proof of the Habsieger-Kadell $q$-Morris identity, which is a common generalization of the $q$-Morris identity and the Aomoto constant term identity. The proof allows us to extend the theorem for some additional parameter cases.