Showing 20 papers (Total: 83449 papers, 48190 authors in database)
The Radio numbers of all graphs of order $n$ and diameter $n-2$
A radio labeling of a connected graph $G$ is a function $c:V(G) \to \mathbb Z_+$ such that for every two distinct vertices $u$ and $v$ of $G$ $$\text{distance}(u,v)+|c(u)-c(v)|\geq 1+ \text{diameter}(G).$$ The radio number of a graph $G$ is the smallest integer $M$ for which there exists a labeling $c$ with $c(v)\leq M$ for all $v\in V(G)$. The radio number of graphs of order $n$ and diameter $n-1$, i.e., paths, was determined in \cite{paths}. Here we determine the radio numbers of all graphs of order $n$ and diameter $n-2$.
On extendability of permutations
Let $V$ be a left vector space over a division ring and let ${\mathcal P}(V)$ be the associated projective space. We describe all finite subsets $X\subset V$ such that every permutation on $X$ can be extended to a linear automorphism of $V$ and all finite subsets ${\mathcal X}\subset {\mathcal P}(V)$ such that every permutation on ${\mathcal X}$ can be extended to an element of ${\rm PGL}(V)$. Also, we reformulate the results in terms of linear and projective representations of symmetric groups.
Barred Preferential Arrangements
Published
• View Publication
• BIB
A preferential arrangement of a set is a total ordering of the elements of that set with ties allowed. A barred preferential arrangement is one in which the tied blocks of elements are ordered not only amongst themselves but also with respect to one or more bars. We present various combinatorial identities for r_{m,l}, the number of barred preferential arrangements of l elements with m bars, using both algebraic and combinatorial arguments. Our main result is an expression for r_{m,l} as a linear combination of the r_k (= r_{0,k}, the number of unbarred preferential arrangements of k elements) for l <= k<=l+m. We also study those arrangements in which the sections, into which the blocks are segregated by the bars, must be nonempty. We conclude with an expression of r_l as an infinite series that is both convergent and asymptotic.
Improved Constructions of Frameproof Codes
Published
• View Publication
• BIB
Frameproof codes are used to preserve the security in the context of coalition when fingerprinting digital data. Let $M_{c,l}(q)$ be the largest cardinality of a $q$-ary $c$-frameproof code of length $l$ and $R_{c,l}=\lim_{q\rightarrow \infty}M_{c,l}(q)/q^{\lceil l/c\rceil}$. It has been determined by Blackburn that $R_{c,l}=1$ when $l\equiv 1\ (\bmod\ c)$, $R_{c,l}=2$ when $c=2$ and $l$ is even, and $R_{3,5}=5/3$. In this paper, we give a recursive construction for $c$-frameproof codes of length $l$ with respect to the alphabet size $q$. As applications of this construction, we establish the existence results for $q$-ary $c$-frameproof codes of length $c+2$ and size $\frac{c+2}{c}(q-1)^2+1$ for all odd $q$ when $c=2$ and for all $q\equiv 4\pmod{6}$ when $c=3$. Furthermore, we show that $R_{c,c+2}=(c+2)/c$ meeting the upper bound given by Blackburn, for all integers $c$ such that $c+1$ is a prime power.
Recurrence relations and splitting formulas for the domination polynomial
Published in The Electronic Journal of Combinatorics 19(3) (2012) #P47
• View Publication
• BIB
The domination polynomial D(G,x) of a graph G is the generating function of its dominating sets. We prove that D(G,x) satisfies a wide range of reduction formulas. We show linear recurrence relations for D(G,x) for arbitrary graphs and for various special cases. We give splitting formulas for D(G,x) based on articulation vertices, and more generally, on splitting sets of vertices.
Linear spaces and transversal designs: k-anonymous combinatorial configurations for anonymous database search
Published
• View Publication
• BIB
Anonymous database search protocols allow users to query a database anonymously. This can be achieved by letting the users form a peer-to-peer community and post queries on behalf of each other. In this article we discuss an application of combinatorial configurations (also known as regular and uniform partial linear spaces) to a protocol for anonymous database search, as defining the key-distribution within the user community that implements the protocol. The degree of anonymity that can be provided by the protocol is determined by properties of the neighborhoods and the closed neighborhoods of the points in the combinatorial configuration that is used. Combinatorial configurations with unique neighborhoods or unique closed neighborhoods are described and we show how to attack the protocol if such configurations are used. We apply k-anonymity arguments and present the combinatorial configurations with k-anonymous neighborhoods and with k-anonymous closed neighborhoods. The transversal designs and the linear spaces are presented as optimal configurations among the configurations with k-anonymous neighborhoods and k-anonymous closed neighborhoods, respectively.
Some bounds on the size of codes
Published in IEEE Transactions on Information Theory, 2014, vol. 60, p. 1475-1480
• View Publication
• BIB
We present some upper bounds on the size of non-linear codes and their restriction to systematic codes and linear codes. These bounds are independent of other known theoretical bounds, e.g. the Griesmer bound, the Johnson bound or the Plotkin bound, and one of these is actually an improvement of a bound by Litsyn and Laihonen. Our experiments show that in some cases (the majority of cases for some q) our bounds provide the best value, compared to all other theoretical bounds.
Automorphism groups of graphs
These lecture notes provide an introduction to automorphism groups of graphs. Some special families of graphs are then discussed, especially the families of Cayley graphs generated by transposition sets.
On the CNF-complexity of bipartite graphs containing no $K_{2,2}$'s
Published
• View Publication
• BIB
By a probabilistic construction, we find a bipartite graph having average degree $d$ which can be expressed as a conjunctive normal form using $C \log d$ clauses. This contradicts research problem 1.33 of Jukna.
Minimal covers of the prisms and antiprisms
Published
• View Publication
• BIB
This paper contains a classication of the regular minimal abstract polytopes that act as covers for the convex polyhedral prisms and antiprisms. It includes a detailed discussion of their topological structure, and completes the enumeration of such covers for convex uniform polyhedra. Additionally, this paper addresses related structural questions in the theory of string C-groups.
Computing the blocks of a quasi-median graph
Published in Discrete Applied Mathematics, 179 (2014), 129-138
• View Publication
• BIB
Quasi-median graphs are a tool commonly used by evolutionary biologists to visualise the evolution of molecular sequences. As with any graph, a quasi-median graph can contain cut vertices, that is, vertices whose removal disconnect the graph. These vertices induce a decomposition of the graph into blocks, that is, maximal subgraphs which do not contain any cut vertices. Here we show that the special structure of quasi-median graphs can be used to compute their blocks without having to compute the whole graph. In particular we present an algorithm that, for a collection of $n$ aligned sequences of length $m$, can compute the blocks of the associated quasi-median graph together with the information required to correctly connect these blocks together in run time $\mathcal O(n^2m^2)$, independent of the size of the sequence alphabet. Our primary motivation for presenting this algorithm is the fact that the quasi-median graph associated to a sequence alignment must contain all most parsimonious trees for the alignment, and therefore precomputing the blocks of the graph has the potential to help speed up any method for computing such trees.
Obstructions to weak decomposability for simplicial polytopes
Published in Proc. Amer. Math. Soc., 142(9):3249-3257, 2014
• View Publication
• BIB
Provan and Billera introduced notions of (weak) decomposability of simplicial complexes as a means of attempting to prove polynomial upper bounds on the diameter of the facet-ridge graph of a simplicial polytope. Recently, De Loera and Klee provided the first examples of simplicial polytopes that are not weakly vertex-decomposable. These polytopes are polar to certain simple transportation polytopes. In this paper, we refine their analysis to prove that these $d$-dimensional polytopes are not even weakly $O(\sqrt{d})$-decomposable. As a consequence, (weak) decomposability cannot be used to prove a polynomial version of the Hirsch conjecture.
Subsets of finite groups exhibiting additive regularity
Published
• View Publication
• BIB
In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In particular, we show that any sum set must exhibit higher-order regularity and that an abelian sum set is necessarily a reversible difference set. We next develop several general construction techniques under the hypothesis that the over-riding group contains a normal subgroup of order 2. Finally, by exploiting properties of dihedral groups and Frobenius groups, several infinite classes of sum sets and partial sum sets are introduced.
On m-ovoids of dual twisted triality hexagons
A generalised hexagon of order $(s,t)$ is said to be \emph{extremal} if $t$ meets the Haemers-Roos bound, that is, $t=s^3$. The \emph{dual twisted triality hexagons} associated to the exceptional Lie type groups $\,^3D_4(s)$ have these parameters, and are the only known such examples. It was shown in the work of De Bruyn and Vanhove that an extremal generalised hexagon has no 1-ovoids. In this note, we prove that a dual twisted triality hexagon has no $m$-ovoids for every possible (nontrivial) value of $m$, except for the isolated case where $s=3$ and $m=2$.
Generating series of the Poincare polynomials of quasihomogeneous Hilbert schemes
Published in Symmetries, integrable systems and representations, 15--33, Springer Proc. Math. Stat., 40,, 2013
• View Publication
• BIB
In this paper we prove that the generating series of the Poincare polynomials of quasihomogeneous Hilbert schemes of points in the plane has a beautiful decomposition into an infinite product. We also compute the generating series of the numbers of quasihomogeneous components in a moduli space of sheaves on the projective plane. The answer is given in terms of characters of the affine Lie algebra $\hat{sl}_m$.
The 2-page crossing number of $K_n$
Around 1958, Hill described how to draw the complete graph $K_n$ with [Z(n) :=1/4\lfloor \frac{n}{2}\rfloor \lfloor \frac{n-1}{2}\rfloor \lfloor \frac{n-2}{2}% \rfloor \lfloor \frac{n-3}{2}\rfloor] crossings, and conjectured that the crossing number $\crg (K_{n})$ of $K_n$ is exactly Z(n). This is also known as Guy's conjecture as he later popularized it. Towards the end of the century, substantially different drawings of $K_{n}$ with Z(n) crossings were found. These drawings are \emph{2-page book drawings}, that is, drawings where all the vertices are on a line $\ell$ (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by $\ell$. The \emph{2-page crossing number} of $K_{n} $, denoted by $ν_{2}(K_{n})$, is the minimum number of crossings determined by a 2-page book drawing of $K_{n}% $. Since $\crg(K_{n}) \leν_{2}(K_{n})$ and $ν_{2}(K_{n}) \le Z(n)$, a natural step towards Hill's Conjecture is the %(formally) weaker conjecture $ν_{2}(K_{n}) = Z(n)$, popularized by Vrt'o. %As far as we know, this natural %conjecture was first raised by Imrich Vrt'o in 2007. %Prior to this paper, results known for $ν_2(K_n)$ were basically %the same as for $\crg (K_n)$. Here In this paper we develop a novel and innovative technique to investigate crossings in drawings of $K_{n}$, and use it to prove that $ν_{2}(K_{n}) = Z(n) $. To this end, we extend the inherent geometric definition of $k$-edges for finite sets of points in the plane to topological drawings of $K_{n}$. We also introduce the concept of ${\leq}{\leq}k$-edges as a useful generalization of ${\leq}k$-edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of $K_{n}$ in terms of its number of $(\le k)$-edges to the topological setting.
Rationally smooth elements of Coxeter groups and triangle group avoidance
Published in J. Algebraic Combin. 30 (2014), no. 39, 659-681
• View Publication
• BIB
We study a family of infinite-type Coxeter groups defined by the avoidance of certain rank 3 parabolic subgroups. For this family, rationally smooth elements can be detected by looking at only a few coefficients of the Poincaré polynomial. We also prove a factorization theorem for the Poincaré polynomial of rationally smooth elements. As an application, we show that a large class of infinite-type Coxeter groups have only finitely many rationally smooth elements. Explicit enumerations and descriptions of these elements are given in special cases.
Arc-Disjoint Cycles and Feedback Arc Sets
Published
• View Publication
• BIB
Isaak posed the following problem. Suppose $T$ is a tournament having a minimum feedback arc set which induces an acyclic digraph with a hamiltonian path. Is it true that the maximum number of arc-disjoint cycles in $T$ equals the cardinality of minimum feedback arc set of $T$? We prove that the answer to the problem is in the negative. Further, we study the number of arc-disjoint cycles through a vertex $v$ of the minimum out-degree in an oriented graph $D$. We prove that if $v$ is adjacent to all other vertices, then $v$ belongs to $δ^+(D)$ arc-disjoint cycles.
Kronecker covers, V-construction, unit-distance graphs and isometric point-circle configurations
We call a polytope P of dimension 3 admissible if it has the following two properties: (1) for each vertex of P the set of its first-neighbours is coplanar; (2) all planes determined by the first-neighbours are distinct. It is shown that the Levi graph of a point-plane configuration obtained by V-construction from an admissible polytope P is the Kronecker cover of its 1-skeleton. We investigate the combinatorial nature of the V-construction and use it on unit-distance graphs to construct novel isometric point-circle configurations. In particular, we present an infinite series whose all members are subconfigurations of the renowned Clifford configurations.
Nonuniform Vote Aggregation Algorithms
Published
• View Publication
• BIB
We consider the problem of non-uniform vote aggregation, and in particular, the algorithmic aspects associated with the aggregation process. For a novel class of weighted distance measures on votes, we present two different aggregation methods. The first algorithm is based on approximating the weighted distance measure by Spearman's footrule distance, with provable constant approximation guarantees. The second algorithm is based on a non-uniform Markov chain method inspired by PageRank, for which currently only heuristic guarantees are known. We illustrate the performance of the proposed algorithms on a number of distance measures for which the optimal solution may be easily computed.