Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On the determinant of the distance matrix of a bicyclic graph
Two cycles are referred as disjoint if they have no common edges. In this paper, we will investigate the determinant of the distance matrix of a graph, giving a formula for the determinant of the distance matrix of a bicyclic graph whose two cycles are disjoint, which extends the formula for the determinant of the distance matrix of a tree, as well as that of a unicyclic graph.
Integer invariants of abelian Cayley graphs
Published
• View Publication
• BIB
Let $G$ be a finite abelian group, let $E$ be a subset of $G$, and form the Cayley (directed) graph of $G$ with connecting set $E$. We explain how, for various matrices associated to this graph, the spectrum can be used to give information on the Smith normal form. This technique is applied to several interesting examples, including matrices in the Bose-Mesner algebra of the Hamming association scheme $H(n,q)$. We also recover results of Bai and Jacobson-Niedermaier-Reiner on the critical group of a Cartesian product of complete graphs.
The Minimum Spectral Radius of Graphs with the Independence Number
Published
• View Publication
• BIB
In this paper, we investigate some properties of the Perron vector of connected graphs. These results are used to characterize that all extremal connected graphs with having the minimum (maximum) spectra radius among all connected graphs of order $n=kα$ with the independence number $α$, respectively.
Defensive alliances in graphs: a survey
A set $S$ of vertices of a graph $G$ is a defensive $k$-alliance in $G$ if every vertex of $S$ has at least $k$ more neighbors inside of $S$ than outside. This is primarily an expository article surveying the principal known results on defensive alliances in graph. Its seven sections are: Introduction, Computational complexity and realizability, Defensive $k$-alliance number, Boundary defensive $k$-alliances, Defensive alliances in Cartesian product graphs, Partitioning a graph into defensive $k$-alliances, and Defensive $k$-alliance free sets.
Fast Recognition of Partial Star Products and Quasi Cartesian Products
Published
• View Publication
• BIB
This paper is concerned with the fast computation of a relation $\R$ on the edge set of connected graphs that plays a decisive role in the recognition of approximate Cartesian products, the weak reconstruction of Cartesian products, and the recognition of Cartesian graph bundles with a triangle free basis.
A special case of $\R$ is the relation $δ^\ast$, whose convex closure yields the product relation $σ$ that induces the prime factor decomposition of connected graphs with respect to the Cartesian product. For the construction of $\R$ so-called Partial Star Products are of particular interest. Several special data structures are used that allow to compute Partial Star Products in constant time. These computations are tuned to the recognition of approximate graph products, but also lead to a linear time algorithm for the computation of $δ^\ast$ for graphs with maximum bounded degree.
Furthermore, we define \emph{quasi Cartesian products} as graphs with non-trivial $δ^\ast$. We provide several examples, and show that quasi Cartesian products can be recognized in linear time for graphs with bounded maximum degree. Finally, we note that quasi products can be recognized in sublinear time with a parallelized algorithm.
The nonexistence of an additive quaternary [15,5,9]-code
Published
• View Publication
• BIB
We show that no additive [15,5,9]_4-code exists. As a consequence the largest dimension k such that an additive quaternary [15,k,9]_4-code exists is k=4.5.
Tropical Fourier-Motzkin elimination, with an application to real-time verification
Published in International Journal of Algebra and Computation, 24(5) :569-607, 2014
• View Publication
• BIB
We introduce a generalization of tropical polyhedra able to express both strict and non-strict inequalities. Such inequalities are handled by means of a semiring of germs (encoding infinitesimal perturbations). We develop a tropical analogue of Fourier-Motzkin elimination from which we derive geometrical properties of these polyhedra. In particular, we show that they coincide with the tropically convex union of (non-necessarily closed) cells that are convex both classically and tropically. We also prove that the redundant inequalities produced when performing successive elimination steps can be dynamically deleted by reduction to mean payoff game problems. As a complement, we provide a coarser (polynomial time) deletion procedure which is enough to arrive at a simply exponential bound for the total execution time. These algorithms are illustrated by an application to real-time systems (reachability analysis of timed automata).
Taylor Expansion Proof of the Matrix Tree Theorem - Part I
The Matrix-Tree Theorem states that the number of spanning trees of a graph is given by the absolute value of any cofactor of the Laplacian matrix of the graph. We propose a very short proof of this result which amounts to comparing Taylor expansions.
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.