contain ↗ reference
7689 papers tagged with this keyword
On the automorphism groups of binary linear codes
Published
• View Publication
• BIB
Let C be a binary linear code and suppose that its automorphism group contains a non trivial subgroup G. What can we say about C knowing G? In this paper we collect some answers to this question in the cases G=C_p, G=C_2p and G=D_2p (p an odd prime), with a particular regard to the case in which C is self-dual. Furthermore we generalize some methods used in other papers on this subject. Finally we give a short survey on the problem of determining the automorphism group of a putative self-dual [72,36,16] code, in order to show where these methods can be applied.
A smaller counterexample to the Lando conjecture
The following conjecture was proposed in 2010 by S. Lando. Let M and N be two unions of the same number of disjoint circles in a sphere. Then there exist two spheres in 3-space whose intersection is transversal and is a union of disjoint circles that is situated as M in one sphere and as N in the other . Define union A of disjoint circles to be situated in one sphere as union B of disjoint circles in the other sphere if there is a homeomorphism between these two spheres which maps A to B.
In this paper we prove that there exists pair of sets of 7 circles in sphere, that is a counterexample to the Lando conjecture. This is proved using the Avvakumov Theorem. We conjecture that there exists no pair (M,N) that is counterexample and M contains 6 or less circles.
Edge-maximality of power graphs of finite cyclic groups
Published
• View Publication
• BIB
We show that among all finite groups of any given order, the cyclic group of that order has the maximum number of edges in its power graph. Contains corrections to published version.
A generalization of the extremal function of the Davenport-Schinzel sequences
Let $[n]=\{1, \ldots, n\}$. A sequence $u=a_1a_2\dots a_l$ over $[n]$ is called $k$-sparse if $a_i = a_j$, $i > j$ implies $i-j\geq k$. In other words, every consecutive subsequence of $u$ of length at most $k$ does not have letters in common. Let $u,v$ be two sequences. We say that $u$ is $v$-free, if $u$ does not contain a subsequence isomorphic to $v$. Suppose there are only $k$ letters appearing in $v$. The extremal function Ex$(v,n)$ is defined as the maximum length of all the $v$-free and $k$-sparse sequences. In this paper, we study a generalization of the extremal function Ex$(v,n)$.
Graph measures and network robustness
Network robustness research aims at finding a measure to quantify network robustness. Once such a measure has been established, we will be able to compare networks, to improve existing networks and to design new networks that are able to continue to perform well when it is subject to failures or attacks. In this paper we survey a large amount of robustness measures on simple, undirected and unweighted graphs, in order to offer a tool for network administrators to evaluate and improve the robustness of their network. The measures discussed in this paper are based on the concepts of connectivity (including reliability polynomials), distance, betweenness and clustering. Some other measures are notions from spectral graph theory, more precisely, they are functions of the Laplacian eigenvalues. In addition to surveying these graph measures, the paper also contains a discussion of their functionality as a measure for topological network robustness.
An edge variant of the Erdős-Pósa property
Published
• View Publication
• BIB
For every $r\in \mathbb{N}$, we denote by $θ_{r}$ the multigraph with two vertices and $r$ parallel edges. Given a graph $G$, we say that a subgraph $H$ of $G$ is a model of $θ_{r}$ in $G$ if $H$ contains $θ_{r}$ as a contraction. We prove that the following edge variant of the Erd{\H o}s-P{ó}sa property holds for every $r\geq 2$: if $G$ is a graph and $k$ is a positive integer, then either $G$ contains a packing of $k$ mutually edge-disjoint models of $θ_{r}$, or it contains a set $S$ of $f_r(k)$ edges such that $G\setminus S$ has no $θ_{r}$-model, for both $f_r(k) = O(k^2r^3 \mathrm{polylog}~kr)$ and $f_r(k) = O(k^4r^2 \mathrm{polylog}~kr).$
An extremal problem on Hilbert cubes and complete r-partite hypergraphs
We construct a set of positive integers A in {1,..., n} with |A|>> n^{2/3} that does not contain Hilbert cubes of dimension 3. As a consequence we prove that ex(n; K^(3)(2,2,2))>> n^{8/3} where K^(3)(2,2,2) is the simplest complete 3-partite hypergraph. This is the first case of an improvement on the trivial lower bound for ex(n; L) when L is a complete r-partite hypergraph.
Online and size anti-Ramsey numbers
Published
• View Publication
• BIB
A graph is properly edge-colored if no two adjacent edges have the same color. The smallest number of edges in a graph any of whose proper edge colorings contains a totally multicolored copy of a graph H is the size anti-Ramsey number AR_s(H) of H. This number in offline and online setting is investigated here.
A diagrammatic approach to Kronecker squares
Published in J. Combin. Theory Ser. A 127 (2014) 243-285
• View Publication
• BIB
In this paper we apply a method of Robinson and Taulbee for computing Kronecker coefficients together with other ingredients and show that the multiplicity of each component in a Kronecker square can be obtained from an evaluation of a certain polynomial, which depends only on the component and is computed combinatorially. This polynomial has as many variables as the set of isomorphism classes of connected skew diagrams of size at most the depth of the component.
We present two applications. The first is a contribution to Saxl conjecture, which asserts that the Kronecker square of the staircase partition, contains every irreducible character of the symmetric group as a component. We prove that for any partition there is a piecewise polynomial function in one real variable such that for all k, such that the multiplicity of this partition in the Kronecker square of the staircase partition of size k is given by the evaluation of the polynomial function in k. The second application is a proof of a new stability property for Kronecker coefficients.
b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs
Published in Algorithmica 73(2), 2015, 59-69
• View Publication
• BIB
A b-coloring of a graph is a proper coloring such that every color class contains a vertex that is adjacent to all other color classes. The b-chromatic number of a graph G, denoted by χ_b(G), is the maximum number t such that G admits a b-coloring with t colors. A graph G is called b-continuous if it admits a b-coloring with t colors, for every t = χ(G),\ldots,χ_b(G), and b-monotonic if χ_b(H_1) \geq χ_b(H_2) for every induced subgraph H_1 of G, and every induced subgraph H_2 of H_1.
We investigate the b-chromatic number of graphs with stability number two. These are exactly the complements of triangle-free graphs, thus including all complements of bipartite graphs. The main results of this work are the following:
- We characterize the b-colorings of a graph with stability number two in terms of matchings with no augmenting paths of length one or three. We derive that graphs with stability number two are b-continuous and b-monotonic.
- We prove that it is NP-complete to decide whether the b-chromatic number of co-bipartite graph is at most a given threshold.
- We describe a polynomial time dynamic programming algorithm to compute the b-chromatic number of co-trees.
- Extending several previous results, we show that there is a polynomial time dynamic programming algorithm for computing the b-chromatic number of tree-cographs. Moreover, we show that tree-cographs are b-continuous and b-monotonic.
Semiarcs with long secants
In a projective plane $Π_q$ of order $q$, a non-empty point set ${\cal S}_t$ is a $t$-semiarc if the number of tangent lines to ${\cal S}_t$ at each of its points is $t$. If ${\cal S}_t$ is a $t$-semiarc in $Π_q$, $t<q$, then each line intersects ${\cal S}_t$ in at most $q+1-t$ points. Dover proved that semiovals (semiarcs with $t=1$) containing $q$ collinear points exist in $Π_q$ only if $q<3$. We show that if $t>1$, then $t$-semiarcs with $q+1-t$ collinear points exist only if $t\geq \sqrt{q-1}$. In $\mathrm{PG}(2,q)$ we prove the lower bound $t\geq(q-1)/2$, with equality only if ${\cal S}_t$ is a blocking set of Rédei type of size $3(q+1)/2$.
We call the symmetric difference of two lines, with $t$ further points removed from each line, a $V_t$-configuration. We give conditions ensuring a $t$-semiarc to contain a $V_t$-configuration and give the complete characterization of such $t$-semiarcs in $\mathrm{PG}(2,q)$.
Ramsey numbers of ordered graphs
Published in The Electronic Journal of Combinatorics 27 (2020), Issue 1, P1.16, 32 pp
• View Publication
• BIB
An ordered graph is a pair $\mathcal{G}=(G,\prec)$ where $G$ is a graph and $\prec$ is a total ordering of its vertices. The ordered Ramsey number $\overline{R}(\mathcal{G})$ is the minimum number $N$ such that every ordered complete graph with $N$ vertices and with edges colored by two colors contains a monochromatic copy of $\mathcal{G}$.
In contrast with the case of unordered graphs, we show that there are arbitrarily large ordered matchings $\mathcal{M}_n$ on $n$ vertices for which $\overline{R}(\mathcal{M}_n)$ is superpolynomial in $n$. This implies that ordered Ramsey numbers of the same graph can grow superpolynomially in the size of the graph in one ordering and remain linear in another ordering.
We also prove that the ordered Ramsey number $\overline{R}(\mathcal{G})$ is polynomial in the number of vertices of $\mathcal{G}$ if the bandwidth of $\mathcal{G}$ is constant or if $\mathcal{G}$ is an ordered graph of constant degeneracy and constant interval chromatic number. The first result gives a positive answer to a question of Conlon, Fox, Lee, and Sudakov.
For a few special classes of ordered paths, stars or matchings, we give asymptotically tight bounds on their ordered Ramsey numbers. For so-called monotone cycles we compute their ordered Ramsey numbers exactly. This result implies exact formulas for geometric Ramsey numbers of cycles introduced by Károlyi, Pach, Tóth, and Valtr.
Counting independent sets in hypergraphs
Published in Combinator. Probab. Comp. 23 (2014) 539-550
• View Publication
• BIB
Let $G$ be a triangle-free graph with $n$ vertices and average degree $t$. We show that $G$ contains at least \[ e^{(1-n^{-1/12})\frac{1}{2}\frac{n}{t}\ln t (\frac{1}{2}\ln t-1)} \] independent sets. This improves a recent result of the first and third authors \cite{countingind}. In particular, it implies that as $n \to \infty$, every triangle-free graph on $n$ vertices has at least $e^{(c_1-o(1)) \sqrt{n} \ln n}$ independent sets, where $c_1 = \sqrt{\ln 2}/4 = 0.208138..$. Further, we show that for all $n$, there exists a triangle-free graph with $n$ vertices which has at most $e^{(c_2+o(1))\sqrt{n}\ln n}$ independent sets, where $c_2 = 1+\ln 2 = 1.693147..$. This disproves a conjecture from \cite{countingind}.
Let $H$ be a $(k+1)$-uniform linear hypergraph with $n$ vertices and average degree $t$. We also show that there exists a constant $c_k$ such that the number of independent sets in $H$ is at least \[ e^{c_{k} \frac{n}{t^{1/k}}\ln^{1+1/k}{t}}. \] This is tight apart from the constant $c_k$ and generalizes a result of Duke, Lefmann, and Rödl \cite{uncrowdedrodl}, which guarantees the existence of an independent set of size $Ω(\frac{n}{t^{1/k}} \ln^{1/k}t)$. Both of our lower bounds follow from a more general statement, which applies to hereditary properties of hypergraphs.
Universality of random graphs for graphs of maximum degree two
Published in SIAM Journal on Discrete Mathematics 28 (2014), no. 3, 1467-1478
• View Publication
• BIB
For a family $\mathcal{F}$ of graphs, a graph $G$ is called \emph{$\mathcal{F}$-universal} if $G$ contains every graph in $\mathcal{F}$ as a subgraph. Let $\mathcal{F}_n(d)$ be the family of all graphs on $n$ vertices with maximum degree at most $d$. Dellamonica, Kohayakawa, Rödl and Ruciński showed that, for $d\geq 3$, the random graph $G(n,p)$ is $\mathcal{F}_n(d)$-universal with high probability provided $p\geq C\big(\frac{\log n}{n}\big)^{1/d}$ for a sufficiently large constant $C=C(d)$. In this paper we prove the missing part of the result, that is, the random graph $G(n,p)$ is $\mathcal{F}_n(2)$-universal with high probability provided $p\geq C\big(\frac{\log n}{n}\big)^{1/2}$ for a sufficiently large constant $C$.
Matchings and Hamilton Cycles with Constraints on Sets of Edges
The aim of this paper is to extend and generalise some work of Katona on the existence of perfect matchings or Hamilton cycles in graphs subject to certain constraints. The most general form of these constraints is that we are given a family of sets of edges of our graph and are not allowed to use all the edges of any member of this family. We consider two natural ways of expressing constraints of this kind using graphs and using set systems.
For the first version we ask for conditions on regular bipartite graphs $G$ and $H$ for there to exist a perfect matching in $G$, no two edges of which form a $4$-cycle with two edges of $H$.
In the second, we ask for conditions under which a Hamilton cycle in the complete graph (or equivalently a cyclic permutation) exists, with the property that it has no collection of intervals of prescribed lengths whose union is an element of a given family of sets. For instance we prove that the smallest family of $4$-sets with the property that every cyclic permutation of an $n$-set contains two adjacent pairs of points has size between $(1/9+o(1))n^2$ and $(1/2-o(1))n^2$. We also give bounds on the general version of this problem and on other natural special cases.
We finish by raising numerous open problems and directions for further study.
Barnette's Conjecture
This report provides an overview of theorems and statements related to a conjecture stated by D.W. Barnette in 1969 (which is an open problem in graph theory): Every cubic, bipartite, polyhedral graph contains a Hamilton cycle.
Deleting Edges from Ramsey Minimal Examples
Published
• View Publication
• BIB
If r(s, t) = p, we shall call Kp a Ramsey Minimal Example. We prove that if r{s,t) = p, and one edge is deleted from the Ramsey Minimal Example, Kp, the resulting graph no longer has the Ramsey property, that is, its edges can be colored red or blue so that the "red" subgraph does not contain Ks and the "blue" subgraph does not contain Kt. The paper is written in an accessible style explaining the process that led us to make the conjecture and then prove this result.
k-fold Sidon sets
Published
• View Publication
• BIB
Let $k \geq 1$ be an integer. A set $A \subset \mathbb{Z}$ is a $k$-fold Sidon set if $A$ has only trivial solutions to each equation of the form $c_1 x_1 + c_2 x_2 + c_3 x_3 + c_4 x_4 = 0$ where $0 \leq |c_i | \leq k$, and $c_1 + c_2 + c_3 + c_4 = 0$. We prove that for any integer $k \geq 1$, a $k$-fold Sidon set $A \subset [N]$ has at most $(N/k)^{1/2} + O((Nk)^{1/4})$ elements. Indeed we prove that given any $k$ positive integers $c_1<\cdots <c_k$, any set $A\subset [N]$ that contains only trivial solutions to $c_i(x_1-x_2)=c_j(x_3-x_4)$ for each $1 \le i \le j \le k$, has at most $(N/k)^{1/2}+O((c_k^2N/k)^{1/4})$ elements. On the other hand, for any $k \geq 2$ we can exhibit $k$ positive integers $c_1,\dots, c_k$ and a set $A\subset [N]$ with $|A|\ge (\frac 1k+o(1))N^{1/2}$, such that $A$ has only trivial solutions to $c_i(x_1 - x_2) = c_j (x_3 - x_4)$ for each $1 \le i \le j\le k$.
Cycle-maximal triangle-free graphs
Published in Discrete Mathematics 338 (2015) pp. 274-290
• View Publication
• BIB
We conjecture that the balanced complete bipartite graph $K_{\lfloor n/2 \rfloor,\lceil n/2 \rceil}$ contains more cycles than any other $n$-vertex triangle-free graph, and we make some progress toward proving this. We give equivalent conditions for cycle-maximal triangle-free graphs; show bounds on the numbers of cycles in graphs depending on numbers of vertices and edges, girth, and homomorphisms to small fixed graphs; and use the bounds to show that among regular graphs, the conjecture holds. We also consider graphs that are close to being regular, with the minimum and maximum degrees differing by at most a positive integer $k$. For $k=1$, we show that any such counterexamples have $n\le 91$ and are not homomorphic to $C_5$; and for any fixed $k$ there exists a finite upper bound on the number of vertices in a counterexample. Finally, we describe an algorithm for efficiently computing the matrix permanent (a #P-complete problem in general) in a special case used by our bounds.
The domination number and the least $Q$-eigenvalue
Published
• View Publication
• BIB
A vertex set $D$ of a graph $G$ is said to be a dominating set if every vertex of $V(G)\setminus D$ is adjacent to at least a vertex in $D$, and the domination number $γ(G)$ ($γ$, for short) is the minimum cardinality of all dominating sets of $G$. For a graph, the least $Q$-eigenvalue is the least eigenvalue of its signless Laplacian matrix. In this paper, for a nonbipartite graph with both order $n$ and domination number $γ$, we show that $n\geq 3γ-1$, and show that it contains a unicyclic spanning subgraph with the same domination number $γ$. By investigating the relation between the domination number and the least $Q$-eigenvalue of a graph, we minimize the least $Q$-eigenvalue among all the nonbipartite graphs with given domination number.