Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Chow's theorem for linear codes
Published
• View Publication
• BIB
Let $Γ_{k}(V)$ be the Grassmann graph formed by $k$-dimensional subspaces of an $n$-dimensional vector space over the finite field ${\mathbb F}_{q}$ consisting of $q$ elements and $1<k<n-1$. Denote by $Γ(n,k)_q$ the restriction of the Grassmann graph to the set of all non-degenerate linear $[n,k]_q$ codes. We describe maximal cliques of the graph $Γ(n,k)_q$ and show that every automorphism of this graph is induced by a monomial semilinear automorphism of $V$.
Bounding extremal functions of forbidden $0-1$ matrices using $(r,s)$-formations
First, we prove tight bounds of $n 2^{\frac{1}{(t-2)!}α(n)^{t-2} \pm O(α(n)^{t-3})}$ on the extremal function of the forbidden pair of ordered sequences $(1 2 3 \ldots k)^t$ and $(k \ldots 3 2 1)^t$ using bounds on a class of sequences called $(r,s)$-formations. Then, we show how an analogous method can be used to derive similar bounds on the extremal functions of forbidden pairs of $0-1$ matrices consisting of horizontal concatenations of identical identity matrices and their horizontal reflections.
Context Directed Reversals and the Ciliate Decryptome
Prior studies of the efficiency of the block interchange (swap) and the reversal sorting operations on (signed) permutations identified specialized versions of the these operations. These specialized operations are here called context directed reversal, abbreviated cdr, and context directed swap, abbreviated cds. Prior works have also characterized which (signed) permutations are sortable by cdr or by cds.
It is now known that when a permutation is cds sortable in n steps, then any application of n consecutive applicable cds operations will sort it. Examples show that this is not the case for cdr. This phenomenon is the focus of this paper. It is proven that if a signed permutation is cdr sortable, then any cdr fixed point of it is cds sortable (the cds Rescue Theorem). The cds Rescue Theorem is discussed in the context of a mathematical model for ciliate micronuclear decryption.
It is also proven that though for a given permutation the number of cdr operations leading to different cdr fixed points may be different from each other, the parity of these two numbers is the same (the cdr Parity Theorem). This result provides a solution to two previously formulated decision problems regarding certain combinatorial games.
Tuenter polynomials and a Catalan triangle
We consider Tuenter polynomials as linear combinations of descending factorials and show that coefficients of these linear combinations are expressed via a Catalan triangle of numbers. We also describe a triangle of coefficients in terms of some polynomials.
Extending small arcs to large arcs
Published
• View Publication
• BIB
An arc is a set of vectors of the $k$-dimensional vector space over the finite field with $q$ elements ${\mathbb F}_q$, in which every subset of size $k$ is a basis of the space, i.e. every $k$-subset is a set of linearly independent vectors. Given an arc $G$ in a space of odd characteristic, we prove that there is an upper bound on the largest arc containing $G$. The bound is not an explicit bound but is obtained by computing properties of a matrix constructed from $G$. In some cases we can also determine the largest arc containing $G$, or at least determine the hyperplanes which contain exactly $k-2$ vectors of the large arc. The theorems contained in this article may provide new tools in the computational classification and construction of large arcs.
Heavy hyperplanes in multiarrangements and their freeness
Published in J Algebr Comb (2018) 48
• View Publication
• BIB
Only few categories of free arrangements are known in which Terao's conjecture holds. One of such categories consists of $3$-arrangements with unbalanced Ziegler restrictions. In this paper, we generalize this result to arbitrary dimensional arrangements in terms of flags by introducing unbalanced multiarrangements. For that purpose, we generalize several freeness criterions for simple arrangements, including Yoshinaga's freeness criterion, to unbalanced multiarrangements.
Vertex-transitive Haar graphs that are not Cayley graphs
Published
• View Publication
• BIB
In a recent paper (arXiv:1505.01475 ) Estélyi and Pisanski raised a question whether there exist vertex-transitive Haar graphs that are not Cayley graphs. In this note we construct an infinite family of trivalent Haar graphs that are vertex-transitive but non-Cayley. The smallest example has 40 vertices and is the well-known Kronecker cover over the dodecahedron graph $G(10,2)$, occurring as the graph $40$ in the Foster census of connected symmetric trivalent graphs.
Polychromatic Colorings on the Hypercube
Published
• View Publication
• BIB
Given a subgraph G of the hypercube Q_n, a coloring of the edges of Q_n such that every embedding of G contains an edge of every color is called a G-polychromatic coloring. The maximum number of colors with which it is possible to G-polychromatically color the edges of any hypercube is called the polychromatic number of G. To determine polychromatic numbers, it is only necessary to consider a structured class of colorings, which we call simple. The main tool for finding upper bounds on polychromatic numbers is to translate the question of polychromatically coloring the hypercube so every embedding of a graph G contains every color into a question of coloring the 2-dimensional grid so that every so-called shape sequence corresponding to G contains every color. After surveying the tools for finding polychromatic numbers, we apply these techniques to find polychromatic numbers of a class of graphs called punctured hypercubes. We also consider the problem of finding polychromatic numbers in the setting where larger subcubes of the hypercube are colored. We exhibit two new constructions which show that this problem is not a straightforward generalization of the edge coloring problem.
Sidorenko's conjecture, colorings and independent sets
Let $\hom(H,G)$ denote the number of homomorphisms from a graph $H$ to a graph $G$. Sidorenko's conjecture asserts that for any bipartite graph $H$, and a graph $G$ we have $$\hom(H,G)\geq v(G)^{v(H)}\left(\frac{\hom(K_2,G)}{v(G)^2}\right)^{e(H)},$$ where $v(H),v(G)$ and $e(H),e(G)$ denote the number of vertices and edges of the graph $H$ and $G$, respectively. In this paper we prove Sidorenko's conjecture for certain special graphs $G$: for the complete graph $K_q$ on $q$ vertices, for a $K_2$ with a loop added at one of the end vertices, and for a path on $3$ vertices with a loop added at each vertex. These cases correspond to counting colorings, independent sets and Widom-Rowlinson colorings of a graph $H$. For instance, for a bipartite graph $H$ the number of $q$-colorings $\textrm{ch}(H,q)$ satisfies $$\textrm{ch}(H,q)\geq q^{v(H)}\left(\frac{q-1}{q}\right)^{e(H)}.$$ In fact, we will prove that in the last two cases (independent sets and Widom-Rowlinson colorings) the graph $H$ does not need to be bipartite. In all cases, we first prove a certain correlation inequality which implies Sidorenko's conjecture in a stronger form.
The conjugacy action of $S_n$ and modules induced from centralisers
Published in J. Algebr. Comb. 48, No. 2, 179-225 (2018)
• View Publication
• BIB
We establish, for the character table of the symmetric group, the positivity of the row sums indexed by irreducible characters, when restricted to various subsets of the conjugacy classes. A notable example is that of partitions with all parts odd. More generally, we study representations related to the conjugacy action of the symmetric group. These arise as sums of submodules induced from centraliser subgroups, and their Frobenius characteristics have elegant descriptions, often as a multiplicity-free sum of power-sum symmetric functions. We describe a general framework in which such representations, and consequently such linear combinations of power-sums, can be analysed. The conjugacy action for the symmetric group, and more generally for a large class of groups, is known to contain every irreducible. We find other representations of dimension $n!$ with this property, including a twisted analogue of the conjugacy action.
Circuits and Hurwitz action in finite root systems
Published in New York J. Math 22 (2016), pp. 1457-1486
• Search Publication
In a finite real reflection group, two factorizations of a Coxeter element into an arbitrary number of reflections are shown to lie in the same orbit under the Hurwitz action if and only if they use the same multiset of conjugacy classes. The proof makes use of a surprising lemma, derived from a classification of the minimal linear dependences (matroid circuits) in finite root systems: any set of roots forming a minimal linear dependence with positive coefficients has a disconnected graph of pairwise acuteness.
Large Cayley digraphs and bipartite Cayley digraphs of odd diameters
Published in Discrete Mathematics 340 (2017) 1162-1171
• View Publication
• BIB
Let $C_{d,k}$ be the largest number of vertices in a Cayley digraph of degree $d$ and diameter $k$, and let $BC_{d,k}$ be the largest order of a bipartite Cayley digraph for given $d$ and $k$. For every degree $d\geq2$ and for every odd $k$ we construct Cayley digraphs of order $2k\left(\lfloor\frac{d}{2}\rfloor\right)^k$ and diameter at most $k$, where $k\ge 3$, and bipartite Cayley digraphs of order $2(k-1)\left(\lfloor\frac{d}{2}\rfloor\right)^{k-1}$ and diameter at most $k$, where $k\ge 5$. These constructions yield the bounds $C_{d,k} \ge 2k\left(\lfloor\frac{d}{2}\rfloor\right)^k$ for odd $k\ge 3$ and $d\ge \frac{3^{k}}{2k}+1$, and $BC_{d,k} \ge 2(k-1)\left(\lfloor\frac{d}{2}\rfloor\right)^{k-1}$ for odd $k\ge 5$ and $d\ge \frac{3^{k-1}}{k-1}+1$. Our constructions give the best currently known bounds on the orders of large Cayley digraphs and bipartite Cayley digraphs of given degree and odd diameter $k\ge 5$. In our proofs we use new techniques based on properties of group automorphisms of direct products of abelian groups.
Automatic Theorem Proving in Walnut
Walnut is a software package that implements a mechanical decision procedure for deciding certain combinatorial properties of some special words referred to as automatic words or automatic sequences. Walnut is written in Java and is open source. It is licensed under GNU General Public License.
Existence of Projective Planes
This report gives an overview of the history of finite projective planes and their properties before going on to outline the proof that no projective plane of order 10 exists. The report also investigates the search carried out by MacWilliams, Sloane and Thompson in 1970 [12] and confirms their result by providing independent verification that there is no vector of weight 15 in the code generated by the projective plane of order 10.
The (vertex-)monochromatic index of a graph
Published
• View Publication
• BIB
A tree $T$ in an edge-colored graph $H$ is called a \emph{monochromatic tree} if all the edges of $T$ have the same color. For $S\subseteq V(H)$, a \emph{monochromatic $S$-tree} in $H$ is a monochromatic tree of $H$ containing the vertices of $S$. For a connected graph $G$ and a given integer $k$ with $2\leq k\leq |V(G)|$, the \emph{$k$-monochromatic index $mx_k(G)$} of $G$ is the maximum number of colors needed such that for each subset $S\subseteq V(G)$ of $k$ vertices, there exists a monochromatic $S$-tree. In this paper, we prove that for any connected graph $G$, $mx_k(G)=|E(G)|-|V(G)|+2$ for each $k$ such that $3\leq k\leq |V(G)|$.
A tree $T$ in a vertex-colored graph $H$ is called a \emph{vertex-monochromatic tree} if all the internal vertices of $T$ have the same color. For $S\subseteq V(H)$, a \emph{vertex-monochromatic $S$-tree} in $H$ is a vertex-monochromatic tree of $H$ containing the vertices of $S$. For a connected graph $G$ and a given integer $k$ with $2\leq k\leq |V(G)|$, the \emph{$k$-monochromatic vertex-index $mvx_k(G)$} of $G$ is the maximum number of colors needed such that for each subset $S\subseteq V(G)$ of $k$ vertices, there exists a vertex-monochromatic $S$-tree. We show that for a given a connected graph $G$, and a positive integer $L$ with $L\leq |V(G)|$, to decide whether $mvx_k(G)\geq L$ is NP-complete for each integer $k$ such that $2\leq k\leq |V(G)|$. We also obtain some Nordhaus-Gaddum-type results for the $k$-monochromatic vertex-index.
On the diameter of Kronecker graphs
It is shown that a.a.s. as soon as a Kronecker graph becomes connected its diameter is bounded by a constant.
Client-Waiter games on complete and random graphs
Published
• View Publication
• BIB
For a graph G, a monotone increasing graph property P and positive integer q, we define the Client-Waiter game to be a two-player game which runs as follows. In each turn Waiter is offering Client a subset of at least one and at most q+1 unclaimed edges of G from which Client claims one, and the rest are claimed by Waiter. The game ends when all the edges have been claimed. If Client's graph has property P by the end of the game, then he wins the game, otherwise Waiter is the winner. In this paper we study several Client-Waiter games on the edge set of the complete graph, and the H-game on the edge set of the random graph. For the complete graph we consider games where Client tries to build a large star, a long path and a large connected component. We obtain lower and upper bounds on the critical bias for these games and compare them with the corresponding Waiter-Client games and with the probabilistic intuition. For the H-game on the random graph we show that the known results for the corresponding Maker-Breaker game are essentially the same for the Client-Waiter game, and we extend those results for the biased games and for trees.
Cofibrant objects in the Thomason Model Structure
There are Quillen equivalent Thomason model structures on the category of small categories, the category of small acyclic categories and the category of posets. These share the property that cofibrant objects are posets. In fact, they share the same class of cofibrant objects. We show that every finite semilattice, every chain, every countable tree, every finite zigzag and every poset with five or less elements is cofibrant in all of those structures.
Quantitative combinatorial geometry for continuous parameters
Published
• View Publication
• BIB
We prove variations of Carathéodory's, Helly's and Tverberg's theorems where the sets involved are measured according to continuous functions such as the volume or diameter. Among our results, we present continuous quantitative versions of Lovász's colorful Helly theorem, Bárány's colorful Carathéodory's theorem, and the colorful Tverberg theorem.
Quantitative Tverberg theorems over lattices and other discrete sets
Published
• View Publication
• BIB
This paper presents a new variation of Tverberg's theorem. Given a discrete set $S$ of $R^d$, we study the number of points of $S$ needed to guarantee the existence of an $m$-partition of the points such that the intersection of the $m$ convex hulls of the parts contains at least $k$ points of $S$. The proofs of the main results require new quantitative versions of Helly's and Carathéodory's theorems.