Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Spanning embeddings of arrangeable graphs with sublinear bandwidth
The Bandwidth Theorem of Böttcher, Schacht and Taraz [Mathematische Annalen 343 (1), 175-205] gives minimum degree conditions for the containment of spanning graphs H with small bandwidth and bounded maximum degree. We generalise this result to a-arrangeable graphs H with Δ(H)<sqrt(n)/log(n), where n is the number of vertices of H.
Our result implies that sufficiently large n-vertex graphs G with minimum degree at least (3/4+γ)n contain almost all planar graphs on n vertices as subgraphs. Using techniques developed by Allen, Brightwell and Skokan [Combinatorica, to appear] we can also apply our methods to show that almost all planar graphs H have Ramsey number at most 12|H|. We obtain corresponding results for graphs embeddable on different orientable surfaces.
Proof of the Andrews-Dyson-Rhoades Conjecture on the spt-Crank
Published
• View Publication
• BIB
The notion of the spt-crank of a vector partition, or an $S$-partition, was introduced by Andrews, Garvan and Liang. Let $N_S(m,n)$ denote the number of $S$-partitions of $n$ with spt-crank $m$. Andrews, Dyson and Rhoades conjectured that $\{N_S(m,n)\}_m$ is unimodal for any $n$, and they showed that this conjecture is equivalent to an inequality between the rank and the crank of ordinary partitions. They obtained an asymptotic formula for the difference between the rank and the crank of ordinary partitions, which implies $N_S(m,n)\geq N_S(m+1,n)$ for sufficiently large $n$ and fixed $m$. In this paper, we introduce a representation of an ordinary partition, called the $m$-Durfee rectangle symbol, which is a rectangular generalization of the Durfee symbol introduced by Andrews. We give a proof of the conjecture of Andrews, Dyson and Rhoades by considering two cases. For $m\geq 1$, we construct an injection from the set of ordinary partitions of $n$ such that $m$ appears in the rank-set to the set of ordinary partitions of $n$ with rank not less than $-m$. The case for $m=0$ requires five more injections. We also show that this conjecture implies an inequality between the positive rank and crank moments obtained by Andrews, Chan and Kim.
When the largest eigenvalue of the modularity and normalized modularity matrix is zero
In July 2012, at the Conference on Applications of Graph Spectra in Computer Science, Barcelona, D. Stevanovic posed the following open problem: which graphs have the zero as the largest eigenvalue of their modularity matrix? The conjecture was that only the complete and complete multipartite graphs. They indeed have this property, but are they the only ones? In this paper, we will give an affirmative answer to this question and prove a bit more: both the modularity and the normalized modularity matrix of a graph is negative semidefinite if and only if the graph is complete or complete multipartite.
The complexity of generalized domino tilings
Published
• View Publication
• BIB
Tiling planar regions with dominoes is a classical problem in which the decision and counting problems are polynomial. We prove a variety of hardness results (both NP- and #P-completeness) for different generalizations of dominoes in three and higher dimensions.
Playing simple loony dots and boxes endgames optimally
We explain a highly efficient algorithm for playing the simplest type of dots and boxes endgame optimally (by which we mean "in such a way so as to maximise the number of boxes that you take"). The algorithm is sufficiently simple that it can be learnt and used in over-the-board games by humans. The types of endgames we solve come up commonly in practice in well-played games on a 5x5 board and were in fact developed by the authors in order to improve their over-the-board play.
Symmetries of statistics on lattice paths between two boundaries
Published in Adv. Math. 287 (2016), 347-388
• View Publication
• BIB
We prove that on the set of lattice paths with steps N=(0,1) and E=(1,0) that lie between two fixed boundaries T and B (which are themselves lattice paths), the statistics `number of E steps shared with B' and `number of E steps shared with T' have a symmetric joint distribution. To do so, we give an involution that switches these statistics, preserves additional parameters, and generalizes to paths that contain steps S=(0,-1) at prescribed x-coordinates. We also show that a similar equidistribution result for path statistics follows from the fact that the Tutte polynomial of a matroid is independent of the order of its ground set. We extend the two theorems to k-tuples of paths between two boundaries, and we give some applications to Dyck paths, generalizing a result of Deutsch, to watermelon configurations, to pattern-avoiding permutations, and to the generalized Tamari lattice. Finally, we prove a conjecture of Nicolás about the distribution of degrees of k consecutive vertices in k-triangulations of a convex n-gon. To achieve this goal, we provide a new statistic-preserving bijection between certain k-tuples of non-crossing paths and k-flagged semistandard Young tableaux, which is based on local moves reminiscent of jeu de taquin.
Directed nonabelian sandpile models on trees
Published in Communications in Mathematical Physics, 2015, Volume 335, Issue 3, pp 1065-1098
• View Publication
• BIB
We define two general classes of nonabelian sandpile models on directed trees (or arborescences) as models of nonequilibrium statistical phenomena. These models have the property that sand grains can enter only through specified reservoirs, unlike the well-known abelian sandpile model.
In the Trickle-down sandpile model, sand grains are allowed to move one at a time. For this model, we show that the stationary distribution is of product form. In the Landslide sandpile model, all the grains at a vertex topple at once, and here we prove formulas for all eigenvalues, their multiplicities, and the rate of convergence to stationarity. The proofs use wreath products and the representation theory of monoids.
Relation spaces of hyperplane arrangements and modules defined by graphs of fiber zonotopes
Published in Israel Journal of Mathematics 201 (2014) 901-947
• View Publication
• BIB
We study the exactness of certain combinatorially defined complexes which generalize the Orlik-Solomon algebra of a geometric lattice. The main results pertain to complex reflection arrangements and their restrictions. In particular, we consider the corresponding relation complexes and give a simple proof of the $n$-formality of these hyperplane arrangements. As an application, we are able to bound the Castelnouvo-Mumford regularity of certain modules over polynomial rings associated to Coxeter arrangements (real reflection arrangements) and their restrictions. The modules in question are defined using the relation complex of the Coxeter arrangement and fiber polytopes of the dual Coxeter zonotope. They generalize the algebra of piecewise polynomial functions on the original arrangement.
Highly symmetric fundamental domains for lattices in R^2 and R^3
It is shown that most lattices $Γ$ in $\mathbb{R}^2$ and $\mathbb{R}^3$ possess a fundamental domain $F$ for the action of $Γ$ on $\mathbb{R}^2$, respectively $\mathbb{R}^3$, having more symmetries than the point group $P(Γ)$, i.e., the group $P (Γ) \subset O(d)$ fixing $Γ$. In particular, $P (Γ)$ is a subgroup of the symmetry group $S(F)$ of $F$ of index 2 in these cases. Exceptions are cubic lattices in the three-dimensional case, where such an $F$ does not exist. Possible exceptions are rhombic lattices in the plane case, where the constructions presented here do not seem to work.
Strong Products of Hypergraphs: Unique Prime Factorization Theorems and Algorithms
Published
• View Publication
• BIB
It is well-known that all finite connected graphs have a unique prime factor decomposition (PFD) with respect to the strong graph product which can be computed in polynomial time. Essential for the PFD computation is the construction of the so-called Cartesian skeleton of the graphs under investigation.
In this contribution, we show that every connected thin hypergraph H has a unique prime factorization with respect to the normal and strong (hypergraph) product. Both products coincide with the usual strong graph product whenever H is a graph. We introduce the notion of the Cartesian skeleton of hypergraphs as a natural generalization of the Cartesian skeleton of graphs and prove that it is uniquely defined for thin hypergraphs. Moreover, we show that the Cartesian skeleton of hypergraphs can be determined in O(|E|^2) time and that the PFD can be computed in O(|V|^2|E|) time, for hypergraphs H = (V,E) with bounded degree and bounded rank.
Skew Hadamard Difference Sets from Dickson Polynomials of Order 7
Published
• View Publication
• BIB
Skew Hadamard difference sets are an interesting topic of study for over seventy years. For a long time, it had been conjectured the classical Paley difference sets (the set of nonzero quadratic residues in $\mathbb{F}_q$ where $q \equiv 3 \bmod{4}$) were the only example in abelian groups. In 2006, the first author and Yuan disproved this conjecture by showing that the image set of $\mathcal{D}_5(x^2,u)$ is a new skew Hadamard difference set in $(\mathbb{F}_{3^m},+)$ with $m$ odd, where $\mathcal{D}_n(x,u)$ denotes the first kind of Dickson polynomials of order $n$ and $u \in \mathbb{F}_q^*$. The key observation in the proof is that $\mathcal{D}_5(x^2,u)$ is a planar function from $\mathbb{F}_{3^m}$ to $\mathbb{F}_{3^m}$ for $m$ odd. Since then a few families of new skew Hadamard difference sets have been discovered. In this paper, we prove that for all $u \in \mathbb{F}_{3^m}^*$, the set $D_u := \{\mathcal{D}_7(x^2,u) : x \in \mathbb{F}_{3^m}^* \}$ is a skew Hadamard difference set in $(\mathbb{F}_{3^m}, +)$, where $m$ is odd and $m \not \equiv 0 \pmod{3}$. The proof is more complicated and different from that of Ding-Yuan skew Hadamard difference sets since $\mathcal{D}_7(x^2,u)$ is not planar in $\mathbb{F}_{3^m}$. Furthermore, we show that such skew Hadamard difference sets are inequivalent to all existing ones for $m = 5, 7$ by comparing the triple intersection numbers.
A Heuristic for Magic and Antimagic Graph Labellings
Published in Proceedings of the VII Spanish Congress on Metaheuristics, and Evolutive and Bioinspired Algorithms (MAEB 2010). V.Campos, A.Duarte, M.Gallego, F.Cortazar, R.Marti (eds). Ibergarceta Publicaciones, S.L., Madrid. pp. 677--684
• Search Publication
Graph labellings have been a very fruitful area of research in the last four decades. However, despite the staggering number of papers published in the field (over 1000), few general results are available, and most papers deal with particular classes of graphs and methods. Here we approach the problem from the computational viewpoint, and in a quite general way. We present the existence problem of a particular labelling as a combinatorial optimization problem, then we discuss the possible strategies to solve it, and finally we present a heuristic for finding different classes of labellings, like vertex-, edge-, or face-magic, and $(a, d)$-antimagic $(v, e, f)$-labellings. The algorithm has been implemented in C++ and MATLAB, and with its aid we have been able to derive new results for some classes of graphs, in particular, vertex-antimagic edge labellings for small graphs of the type $P_2^r \times P_3^s$, for which no general construction is known so far.
Sum list coloring, the sum choice number, and sc-greedy graphs
Let G=(V,E) be a graph and let f be a function that assigns list sizes to the vertices of G. It is said that G is f-choosable if for every assignment of lists of colors to the vertices of G for which the list sizes agree with f, there exists a proper coloring of G from the lists. The sum choice number is the minimum of the sum of list sizes for f over all choosable functions f for G. The sum choice number of a graph is always at most the sum |V|+|E|. When the sum choice number of G is equal to this upper bound, G is said to be sc-greedy. In this paper, we determine the sum choice number of all graphs on five vertices, show that trees of cycles are sc-greedy, and present some new general results about sum list coloring.
The Domination Number of Generalized Petersen Graphs with a Faulty Vertex
In this paper, we investigate the domination number of generalized Petersen graphs P(n, 2) when there is a faulty vertex. Denote by $γ(P(n,2))$ the domination number of P(n,2) and $γ(P_f(n,2))$ the domination number of P(n,2) with a faulty vertex $u_f$. We show that $γ(P_f(n,2))=γ(P(n,2))-1$ when $n=5k+1$ or $5k+2$ and $γ(P_f(n,2))=γ(P(n,2))$ for the other cases.
Unique Perfect Phylogeny Characterizations via Uniquely Representable Chordal Graphs
The perfect phylogeny problem is a classic problem in computational biology, where we seek an unrooted phylogeny that is compatible with a set of qualitative characters. Such a tree exists precisely when an intersection graph associated with the character set, called the partition intersection graph, can be triangulated using a restricted set of fill edges. Semple and Steel used the partition intersection graph to characterize when a character set has a unique perfect phylogeny. Bordewich, Huber, and Semple showed how to use the partition intersection graph to find a maximum compatible set of characters. In this paper, we build on these results, characterizing when a unique perfect phylogeny exists for a subset of partial characters. Our characterization is stated in terms of minimal triangulations of the partition intersection graph that are uniquely representable, also known as ur-chordal graphs. Our characterization is motivated by the structure of ur-chordal graphs, and the fact that the block structure of minimal triangulations is mirrored in the graph that has been triangulated.
Schur function identities arising from the basic representation of $A^{(2)}_{2}$
Published
• View Publication
• BIB
A Lie theoretic interpretation is given for some formulas of Schur functions and Schur $Q$-functions. Two realizations of the basic representation of the Lie algebra $A^{(2)}_2$ are considered; one is on the fermionic Fock space and the other is on the bosonic polynomial space. Via the boson-fermion correspondence, simple relations of the vacuum expectation values of fermions turn out to be algebraic relations of Schur functions.
Computing the autotopy group of a Latin square by cycle structure
Published in Discrete Mathematics. 331, 74--82 (2014)
• View Publication
• BIB
An algorithm that uses the cycle structure of the rows, or the columns, of a Latin square to compute its autotopy group is introduced. As a result, a bound for the size of the autotopy group is obtained. This bound is used to show that the computation time for the autotopy group of Latin squares that have two rows or two columns that map from one to the other by a permutation which decomposes into a bounded number of disjoint cycles, is polynomial in the order $n$.
The compositional inverse of a class of linearized permutation polynomials over $\mathbb{F}_{2^n}$, $n$ odd
Published
• View Publication
• BIB
In this paper, the compositional inverses of a class of linearized permutation polynomials of the form $P(x)=x+x^2+\tr(\frac{x}{a})$ over the finite field $\mathbb{F}_{2^n}$ for an odd positive integer $n$ are explicitly determined.
Explicit bounds for graph minors
Published
• View Publication
• BIB
Let $Σ$ be a surface with boundary $b(Σ)$, $\mathcal{L}$ be a collection of $k$ disjoint $b(Σ)$-paths in $Σ$, and $P$ be a non-separating $b(Σ)$-path in $Σ$. We prove that there is a homeomorphism $φ: Σ\to Σ$ that fixes each point of $b(Σ)$ and such that $φ(\mathcal{L})$ meets $P$ at most $2k$ times.
With this theorem, we derive explicit constants in the graph minor algorithms of Robertson and Seymour. We reprove a result concerning redundant vertices for graphs on surfaces, but with explicit bounds. That is, we prove that there exists a computable integer $t:=t(Σ,k)$ such that if $v$ is a '$t$-protected' vertex in a surface $Σ$, then $v$ is redundant with respect to any $k$-linkage.
Large Sets of $t$-Designs over Finite Fields
Published
• View Publication
• BIB
A $t\text{-}(n,k,λ;q)$-design is a set of $k$-subspaces, called blocks, of an $n$-dimensional vector space $V$ over the finite field with $q$ elements such that each $t$-subspace is contained in exactly $λ$ blocks. A partition of the complete set of $k$-subspaces of $V$ into disjoint $t\text{-}(n,k,λ;q)$ designs is called a large set of $t$-designs over finite fields. In this paper we give the first nontrivial construction of such a large set with $t\ge2$.