Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Taylor Expansion Proof of the Matrix Tree Theorem - Part II
The All Minors Matrix Tree Theorem states that the determinant of any submatrix of a matrix whose columns sum to zero can be computed as a sum over certain oriented forests. We offer a particularly short proof of this result, which amounts to comparing Taylor series expansions.
Concerning Kurosaki's squarefree word
In 2008, Kurosaki gave a new construction of a (bi-)infinite squarefree word over three letters. We show that in fact Kurosaki's word avoids 7/4+-powers, which, as shown by Dejean, is optimal over a 3-letter alphabet.
A linear bound on the Manickam-Miklos-Singhi Conjecture
Published
• View Publication
• BIB
Suppose that we have a set of numbers x_1, ..., x_n which have nonnegative sum. How many subsets of k numbers from {x_1, ..., x_n} must have nonnegative sum? Manickam, Miklos, and Singhi conjectured that for n at least 4k the answer is (n-1 \choose k-1). This conjecture is known to hold when n is large compared to k. The best known bounds are due to Alon, Huang, and Sudakov who proved the conjecture when n > 33k^2. In this paper we improve this bound by showing that there is a constant C such that the conjecture holds when n > Ck.
Tuza's Conjecture for Graphs of Maximum Average Degree Less Than 7
Published in European Journal of Combinatorics 49 (2015), pp. 134-152
• View Publication
• BIB
Tuza's Conjecture states that if a graph $G$ does not contain more than $k$ edge-disjoint triangles, then some set of at most $2k$ edges meets all triangles of $G$. We prove Tuza's Conjecture for all graphs $G$ having no subgraph with average degree at least $7$. As a key tool in the proof, we introduce a notion of reducible sets for Tuza's Conjecture; these are substructures which cannot occur in a minimal counterexample to Tuza's Conjecture. We also introduce weak König--Egerváry graphs, a generalization of the well-studied König--Egerváry graphs.
Large values of the additive energy in R^d and Z^d
Published in Math. Proc. Camb. Phil. Soc. 156 (2014) 327-341
• View Publication
• BIB
Combining Freiman's theorem with Balog-Szemeredi-Gowers theorem one can show that if an additive set has large additive energy, then a large piece of the set is contained in a generalized arithmetic progression of small rank and size. In this paper, we prove the above statement with the optimal bound for the rank of the progression. The proof strategy involves studying upper bounds for additive energy of subsets of R^d and Z^d.
Webs on surfaces, rings of invariants, and clusters
Published
• View Publication
• BIB
We construct and study cluster algebra structures in rings of invariants of the special linear group action on collections of three-dimensional vectors, covectors, and matrices. The construction uses Kuperberg's calculus of webs on marked surfaces with boundary.
On the theory of coconvex bodies
If the complement of a closed convex set in a closed convex cone is bounded, then this complement minus the apex of the cone is called a coconvex set. Coconvex sets appear in singularity theory (they are closely related to Newton diagrams) and in commutative algebra. Such invariants of coconvex sets as volumes, mixed volumes, number of integer points, etc., play an important role. This paper aims at extending various results from the theory of convex bodies to the coconvex setting. These include the Aleksandrov-Fenchel inequality and the Ehrhart duality.
Editing to a Connected Graph of Given Degrees
Published
• View Publication
• BIB
The aim of edge editing or modification problems is to change a given graph by adding and deleting of a small number of edges in order to satisfy a certain property. We consider the Edge Editing to a Connected Graph of Given Degrees problem that asks for a graph G, non-negative integers d,k and a function δ:V(G)->{1,...,d}, whether it is possible to obtain a connected graph G' from G such that the degree of v is δ(v) for any vertex v by at most k edge editing operations. As the problem is NP-complete even if δ(v)=2, we are interested in the parameterized complexity and show that Edge Editing to a Connected Graph of Given Degrees admits a polynomial kernel when parameterized by d+k. For the special case δ(v)=d, i.e., when the aim is to obtain a connected d-regular graph, the problem is shown to be fixed parameter tractable when parameterized by k only.
$q$-Analogs of $t$-Wise Balanced Designs from Borel Subgroups
Published
• View Publication
• BIB
A $t\text{-}(n,K,λ;q)$ design, also called the $q$-analog of a $t$-wise balanced design, is a set ${\mathcal B}$ of subspaces with dimensions contained in $K$ of the $n$-dimensional vector space ${\mathbb F}_q^n$ over the finite field with $q$ elements such that each $t$-subspace of ${\mathbb F}_q^n$ is contained in exactly $λ$ elements of ${\mathcal B}$. In this paper we give a construction of an infinite series of nontrivial $t\text{-}(n,K,λ;q)$ designs with $|K|=2$ for all dimensions $t\ge 1$ and all prime powers $q$ admitting the standard Borel subgroup as group of automorphisms. Furthermore, replacing $q=1$ gives an ordinary $t$-wise balanced design defined on sets.
On the chromatic number of random Cayley graphs
Published
• View Publication
• BIB
Let G be an abelian group of cardinality N, where (N,6) = 1, and let A be a random subset of G. Form a graph Gamma_A on vertex set G by joining x to y if and only if x + y is in A. Then, almost surely as N tends to infinity, the chromatic number chi(Gamma_A) is at most (1 + o(1))N/2 log_2 N. This is asymptotically sharp when G = Z/NZ, N prime.
Presented at the conference in honour of Bela Bollobas on his 70th birthday, Cambridge August 2013.
Small maximal partial ovoids in generalized quadrangles
Published
• View Publication
• BIB
A {\em maximal partial ovoid} of a generalized quadrangle is a maximal set of points no two of which are collinear. The problem of determining the smallest size of a maximal partial ovoid in quadrangles has been extensively studied in the literature. In general, theoretical lower bounds on the size of a maximal partial ovoid in a quadrangle of order $(s,t)$ are linear in $s$. In this paper, in a wide class of quadrangles of order $(s,t)$ we give a construction of a maximal partial ovoid of size at most $s \cdot \mbox{polylog}(s)$, which is within a polylogarithmic factor of theoretical lower bounds.
The construction substantially improves previous quadratic upper bounds in quadrangles of order $(s,s^2)$, in particular in the well-studied case of the elliptic quadrics $Q^-(5,s)$.
Reflection factorizations of Singer cycles
Published in J. Alg. Comb. 40, issue 3, Nov. 2014, pp. 663-691
• View Publication
• BIB
The number of shortest factorizations into reflections for a Singer cycle in GL_n(F_q) is shown to be (q^n-1)^(n - 1). Formulas counting factorizations of any length, and counting those with reflections of fixed conjugacy classes are also given. The method is a standard character-theory technique, requiring the compilation of irreducible character values for Singer cycles, semisimple reflections, and transvections. The results suggest several open problems and questions, which are discussed at the end.
Thin subsets of groups
Published
• View Publication
• BIB
For a group $G$ and a natural number $m$, a subset $A$ of $G$ is called $m$-thin if, for each finite subset $F$ of $G$, there exists a finite subset $K$ of $G$ such that $|Fg\cap A|\leqslant m$ for every $g\in G\setminus K$. We show that each $m$-thin subset of a group $G$ of cardinality $\aleph_n$, $n= 0,1,...$ can be partitioned into $\leqslant m^{n+1}$ 1-thin subsets. On the other side, we construct a group $G$ of cardinality $\aleph_ω$ and point out a 2-thin subset of $G$ which cannot be finitely partitioned into 1-thin subsets.
Ultracompanions of subsets of a group
Let $G$ be a group, $βG$ is the Stone-$\check{C}$ech compactification of $βG$ endowed with the structure of a right topological semigroup, $G^*=βG\setminus G$. Given any subset $A$ of $G$ and $p\in G^*$, we define the $p$-companion $\vt_p(A)=A^*\cap Gp$ of $A$, and characterize the subsets with finite and discrete ultracompanions.
The Parameterised Complexity of Counting Connected Subgraphs and Graph Motifs
Published
• View Publication
• BIB
We introduce a class of parameterised counting problems on graphs, p-#Induced Subgraph With Property(Φ), which generalises a number of problems which have previously been studied. This paper focusses on the case in which Φdefines a family of graphs whose edge-minimal elements all have bounded treewidth; this includes the special case in which Φdescribes the property of being connected. We show that exactly counting the number of connected induced k-vertex subgraphs in an n-vertex graph is #W[1]-hard, but on the other hand there exists an FPTRAS for the problem; more generally, we show that there exists an FPTRAS for p-#Induced Subgraph With Property(Φ) whenever Φis monotone and all the minimal graphs satisfying Φhave bounded treewidth. We then apply these results to a counting version of the Graph Motif problem.
Avoiding approximate repetitions with respect to the longest common subsequence distance
Published in Involve 9 (2016) 657-666
• View Publication
• BIB
Ochem, Rampersad, and Shallit gave various examples of infinite words avoiding what they called approximate repetitions. An approximate repetition is a factor of the form xx', where x and x' are close to being identical. In their work, they measured the similarity of x and x' using either the Hamming distance or the edit distance. In this paper, we show the existence of words avoiding approximate repetitions, where the measure of similarity between adjacent factors is based on the length of the longest common subsequence. Our principal technique is the so-called "entropy compression" method, which has its origins in Moser and Tardos's algorithmic version of the Lovasz local lemma.
On the structure of vertex cuts separating the ends of a graph
Published in Pacific J. Math. Vol. 278 (2015) No. 2 479-510
• View Publication
• BIB
Dinits, Karzanov and Lomonosov showed that the minimal edge cuts of a finite graph have the structure of a cactus, a tree-like graph constructed from cycles. Evangelidou and Papasoglu extended this to minimal cuts separating the ends of an infinite graph. In this paper we show that minimal vertex cuts separating the ends of a graph can be encoded by a succulent, a mild generalization of a cactus that is still tree-like. We go on to show that the earlier cactus results follow from our work.
Periodicity of the last digits of some combinatorial sequences
In 1962 O. A. Gross proved that the last digits of the Fubini numbers (or surjective numbers) have a simple periodicity property. We extend this result to a wider class of combinatorial numbers coming from restricted set partitions.
Maxima of the Q-index: forbidden 4-cycle and 5-cycle
Published
• View Publication
• BIB
This paper gives tight upper bounds on the largest eigenvalue q(G) of the signless Laplacian of graphs with no 4-cycle and no 5-cycle. If n is odd, let F_{n} be the friendship graph of order n; if n is even, let F_{n} be F_{n-1} with an edge hanged to its center. It is shown that if G is a graph of order n, with no 4-cycle, then q(G)<q(F_{n}), unless G=F_{n}. Let S_{n,k} be the join of a complete graph of order k and an independent set of order n-k. It is shown that if G is a graph of order n, with no 5-cycle, then q(G)<q(S_{n,2}), unless G=S_{n,k}. It is shown that these results are significant in spectral extremal graph problems. Two conjectures are formulated for the maximum q(G) of graphs with forbidden cycles.
Maxima of the Q-index: graphs with bounded clique number
Published in Electronic J. Linear Algebra 23 (2012), 782-789
• View Publication
• BIB
This paper gives a tight upper bound on the spectral radius of the signless Laplacian of graphs of given order and clique number. More precisely, let G be a graph of order n, let A be its adjacency matrix, and let D be the diagonal matrix of the row-sums of A. If G has clique number r, then the largest eigenvalue q(G) of the matrix Q=A+D satisfies q(G)<= 2(1-1/r)n.
If G is a complete regular r-partite graph, then equality holds in the above inequality. This result confirms a conjecture of Hansen and Lucas.