Showing 20 papers (Total: 82797 papers, 47838 authors in database)
The colouring number of infinite graphs
Published
• View Publication
• BIB
We show that, given an infinite cardinal $μ$, a graph has colouring number at most $μ$ if and only if it contains neither of two types of subgraph. We also show that every graph with infinite colouring number has a well-ordering of its vertices that simultaneously witnesses its colouring number and its cardinality.
Progress Towards the Total Domination Game $\frac{3}{4}$-Conjecture
Published
• View Publication
• BIB
In this paper, we continue the study of the total domination game in graphs introduced in [Graphs Combin. 31(5) (2015), 1453--1462], where the players Dominator and Staller alternately select vertices of $G$. Each vertex chosen must strictly increase the number of vertices totally dominated, where a vertex totally dominates another vertex if they are neighbors. This process eventually produces a total dominating set $S$ of $G$ in which every vertex is totally dominated by a vertex in $S$. Dominator wishes to minimize the number of vertices chosen, while Staller wishes to maximize it. The game total domination number, $γ_{\rm tg}(G)$, of $G$ is the number of vertices chosen when Dominator starts the game and both players play optimally. Henning, Klavžar and Rall [Combinatorica, to appear] posted the $\frac{3}{4}$-Game Total Domination Conjecture that states that if $G$ is a graph on $n$ vertices in which every component contains at least three vertices, then $γ_{\rm tg}(G) \le \frac{3}{4}n$. In this paper, we prove this conjecture over the class of graphs $G$ that satisfy both the condition that the degree sum of adjacent vertices in $G$ is at least $4$ and the condition that no two vertices of degree $1$ are at distance $4$ apart in $G$. In particular, we prove that by adopting a greedy strategy, Dominator can complete the total domination game played in a graph with minimum degree at least $2$ in at most $3n/4$ moves.
On Uniform f-vectors of Cutsets in the Truncated Boolean Lattice
Let $[n] = \{1, 2, \ldots, n\}$ and let $2^{[n]}$ be the collection of all subsets of $[n]$ ordered by inclusion. ${\cal C} \subseteq 2^{[n]}$ is a {\em cutset} if it meets every maximal chain in $2^{[n]}$, and the {\em width} of ${\cal C} \subseteq 2^{[n]}$ is the minimum number of chains in a chain decomposition of ${\cal C}$. Fix $0 \leq m \leq l \leq n$. What is the smallest value of $k$ such that there exists a cutset that consists only of subsets of sizes between $m$ and $l$, and such that it contains exactly $k$ subsets of size $i$ for each $m \leq i \leq l$? The answer, which we denote by $g_n(m,l)$, gives a lower estimate for the width of a cutset between levels $m$ and $l$ in $2^{[n]}$. After using the Kruskal-Katona Theorem to give a general characterization of cutsets in terms of the number and sizes of their elements, we find lower and upper bounds (as well as some exact values) for $g_n(m,l)$.
Criteria for regularity of Mahler power series and Becker's conjecture
Published
• View Publication
• BIB
Allouche and Shallit introduced the notion of a regular power series as a generalization of automatic sequences. Becker showed that all regular power series satisfy Mahler equations and conjectured equivalent conditions for the converse to be true. We prove a stronger form of Becker's conjecture for a subclass of Mahler power series.
On the Minimum Width of a Cutset in the Truncated Boolean Lattice
For integers $0 \leq m \leq l \leq n-m$, the truncated Boolean lattice ${\cal B}_n(m,l)$ is the poset of all subsets of $[n] = \{1, 2, \ldots, n\}$ which have size at least $m$ and at most $l$. ${\cal C} \subseteq {\cal B}_n(m,l)$ is a {\em cutset} if it meets every chain of length $l-m$ in ${\cal B}_n(m,l)$, and the {\em width} of ${\cal C}$ is the size of the largest antichain in ${\cal C}$. We conjecture that for $n >> m$ the minimum width $h_n(m,l)$ of a cutset in ${\cal B}_n(m,l)$ is $Σ_{j \geq 0} Δ_n(m-jc) = Δ_n(m)+Δ_n(m-c)+Δ_n(m-2c)+ \dots$, where $c=l-m+1$ is the number of level sets in ${\cal B}_n(m,l)$ and $Δ_n(k)={n \choose k}- {n \choose k-1}$. We establish our conjecture for the cases of "short lattices" ($l=m$, $l=m+1$, and $l=m+2$). For "taller lattices" ($l \geq 2m$) our conjecture gives ${n \choose m} - {n \choose m-1}$, independently of $l$. Our main result is that $h_n(m,l) \leq {n \choose m} - {n \choose m-1}$ if $l \geq 2m$.
On Euclidean $t$-designs
A Euclidean $t$-design, as introduced by Neumaier and Seidel (1988), is a finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ for which $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), also proved a Fisher-type inequality $|{\cal X}| \geq N(n,|R|,t)$ (assuming that the design is antipodal if $t$ is odd). For fixed $n$ and $|R|$ we have $N(n,|R|,t)=O(t^{n-1})$. In Part I of this paper we provide a recursive construction for Euclidean $t$-designs in $\mathbb{R}^n$. Namely, we show how to use certain Gauss--Jacobi quadrature formulae to "lift" a Euclidean $t$-design in $\mathbb{R}^{n-1}$ to a Euclidean $t$-design in $\mathbb{R}^{n}$, preserving both the norm spectrum $R$ and the weight sum $W_r$ for each $r \in R$. A Euclidean design with exactly $N(n,|R|,t)$ points is called tight. In Part II of this paper we construct tight Euclidean designs for $n=2$ and every $t$ and $|R|$ with $|R| \leq \frac{t+5}{4}$. We also provide examples for tight Euclidean designs with $(n,|R|,t) \in \{(3,2,5),(3,3,7),(4,2,7)\}$.
Spherical Designs and Generalized Sum-Free Sets in Abelian Groups
We extend the concepts of sum-free sets and Sidon-sets of combinatorial number theory with the aim to provide explicit constructions for spherical designs. We call a subset $S$ of the (additive) abelian group $G$ {\it $t$-free} if for all non-negative integers $k$ and $l$ with $k+l \leq t$, the sum of $k$ (not necessarily distinct) elements of $S$ does not equal the sum of $l$ (not necessarily distinct) elements of $S$ unless $k=l$ and the two sums contain the same terms.
Here we shall give asymptotic bounds for the size of a largest $t$-free set in ${\bf Z}_n$, and for $t \leq 3$ discuss how $t$-free sets in ${\bf Z}_n$ can be used to construct spherical $t$-designs.
Quasi-graphic matroids
Published
• View Publication
• BIB
Frame matroids and lifted-graphic matroids are two interesting generalizations of graphic matroids. Here we introduce a new generalization, {\em quasi-graphic matroids}, that unifies these two existing classes. Unlike frame matroids and lifted-graphic matroids, it is easy to certify that a matroid is quasi-graphic. The main result of the paper is that every $3$-connected representable quasi-graphic matroid is either a lifted-graphic matroid or a frame matroid.
Enumeration and investigation of acute 0/1-simplices modulo the action of the hyperoctahedral group
Published
• View Publication
• BIB
The convex hull of n+1 affinely independent vertices of the unit n-cube Cn is called a 0/1-simplex. It is nonobtuse if none its dihedral angles is obtuse, and acute if additionally none of them is right. In terms of linear algebra, acute 0/1-simplices in Cn can be described by nonsingular 0/1-matrices P of size n x n whose Gramians have an inverse that is strictly diagonally dominant, with negative off-diagonal entries.
The first part of this paper deals with giving a detailed description of how to efficiently compute, by means of a computer program, a representative from each orbit of an acute 0/1-simplex under the action of the hyperoctahedral group Bn of symmetries of Cn. A side product of the investigations is a simple code that computes the cycle index of Bn, which can in explicit form only be found in the literature for n < 7. Using the computed cycle indices in combination with Polya's theory of enumeration shows that acute 0/1-simplices are extremely rare among all 0/1-simplices.
In the second part of the paper, we study the 0/1-matrices that represent the acute 0/1-simplices that were generated by our code from a mathematical perspective. One of the patterns observed in the data involves unreduced upper Hessenberg 0/1-matrices of size n x n, block-partitioned according to certain integer compositions of n. These patterns will be fully explained using a so-called One Neighbor Theorem. Additionally, we are able to prove that the volumes of the corresponding acute simplices are in one-to-one correspondence with the part of Kepler's Tree of Fractions that enumerates the rationals between 0 and 1. Another key ingredient in the proofs is the fact that the Gramians of the unreduced upper Hessenberg matrices involved are strictly ultrametric matrices.
Algebraic discrete Morse theory for the hull resolution
We study how powerful algebraic discrete Morse theory is when applied to hull resolutions. The main result describes all cases when the hull resolution of the edge ideal of the complement of a triangle-free graph can be made minimal using algebraic discrete Morse theory.
Q-polynomial invariant of rooted trees
Published
• View Publication
• BIB
We describe in this note a new invariant of rooted trees. We argue that the invariant is interesting on it own, and that it has connections to knot theory and homological algebra. However, the real reason that we propose this invariant to readers is that we deal here with an elementary, interesting, new mathematics, and after reading this essay readers can take part in developing the topic, inventing new results and connections to other disciplines of mathematics, and likely, statistical mechanics, and combinatorial biology. We also provide a (free) translation of the paper in Polish.
The Construction and Properties of Assortative Configuration Graphs
Published
• View Publication
• BIB
In the new field of financial systemic risk, the network of interbank counterparty relationships can be described as a directed random graph. In "cascade models" of systemic risk, this "skeleton" acts as the medium through which financial contagion is propagated. It has been observed in real networks that such counterparty relationships exhibit negative assortativity, meaning that a bank's counterparties are more likely to have unlike characteristics. This paper introduces and studies a general class of random graphs called the assortative configuration model, parameterized by an arbitrary node-type distribution P and edge-type distribution Q. The first main result is a law of large numbers that says the empirical edge-type distributions converge in probability to Q. The second main result is a formula for the large N asymptotic probability distribution of general graphical objects called "configurations". This formula exhibits a key property called "locally tree-like" that in simpler models is known to imply strong results of percolation theory on the size of large connected clusters. Thus this paper provides the essential foundations needed to prove rigorous percolation bounds and cascade mappings in assortative networks.
Money as Minimal Complexity
Published
• View Publication
• BIB
We consider mechanisms that provide traders the opportunity to exchange commodity $i$ for commodity $j$, for certain ordered pairs $ij$. Given any connected graph $G$ of opportunities, we show that there is a unique mechanism $M_{G}$ that satisfies some natural conditions of "fairness" and "convenience". Let $\mathfrak{M}(m)$ denote the class of mechanisms $M_{G}$ obtained by varying $G$ on the commodity set $\left\{1,\ldots,m\right\} $. We define the complexity of a mechanism $M$ in $\mathfrak{M(m)}$ to be a certain pair of integers $τ(M),π(M)$ which represent the time required to exchange $i$ for $j$ and the information needed to determine the exchange ratio (each in the worst case scenario, across all $i\neq j$). This induces a quasiorder $\preceq$ on $\mathfrak{M}(m)$ by the rule \[ M\preceq M^{\prime}\text{if}τ(M)\leqτ(M^{\prime})\text{and}π(M)\leqπ(M^{\prime}). \] We show that, for $m>3$, there are precisely three $\preceq$-minimal mechanisms $M_{G}$ in $\mathfrak{M}(m)$, where $G$ corresponds to the star, cycle and complete graphs. The star mechanism has a distinguished commodity -- the money -- that serves as the sole medium of exchange and mediates trade between decentralized markets for the other commodities.
Our main result is that, for any weights $λ,μ>0,$ the star mechanism is the unique minimizer of $λτ(M)+μπ(M)$ on $\mathfrak{M}(m)$ for large enough $m$.
Equitable Candy Sharing
Published
• View Publication
• BIB
Children, sitting in a circle, each have a nonnegative number of candies in front of them. A whistle is blown and each child with more than one candy passes one candy to the left and one to the right. The sharing process is repeated until a fixed state is attained, or the system enters a periodic cycle. This paper treats the case where the total number of candies equals the number of children. For a given initial distribution of candies, a necessary and sufficient condition is given for the system to ultimately attain the equitable distribution in which each child has one candy.
A new way to evaluate MOY graphs
We define a new way to evaluate MOY graphs. We prove that this new evaluation coincides with the classical evaluation by checking some skein relations. As a consequence, we prove a formula which relates the $\mathfrak{sl}_N$ and $\mathfrak{sl}_{N-1}$-evaluations of MOY graphs.
Crossing Number is Hard for Kernelization
The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed- parameter tractable for the parameter k [Grohe]. This suggests a closely related question of whether this problem has a polynomial kernel, meaning whether every instance of cr(G)<=k can be in polynomial time reduced to an equivalent instance of size polynomial in k (and independent of |G|). We answer this question in the negative. Along the proof we show that the tile crossing number problem of twisted planar tiles is NP-hard, which has been an open problem for some time, too, and then employ the complexity technique of cross-composition. Our result holds already for the special case of graphs obtained from planar graphs by adding one edge.
Box representations of embedded graphs
Published in Discrete and Computational Geometry 57(3) (2017), 590-606
• View Publication
• BIB
A $d$-box is the cartesian product of $d$ intervals of $\mathbb{R}$ and a $d$-box representation of a graph $G$ is a representation of $G$ as the intersection graph of a set of $d$-boxes in $\mathbb{R}^d$. It was proved by Thomassen in 1986 that every planar graph has a 3-box representation. In this paper we prove that every graph embedded in a fixed orientable surface, without short non-contractible cycles, has a 5-box representation. This directly implies that there is a function $f$, such that in every graph of genus $g$, a set of at most $f(g)$ vertices can be removed so that the resulting graph has a 5-box representation. We show that such a function $f$ can be made linear in $g$. Finally, we prove that for any proper minor-closed class $\mathcal{F}$, there is a constant $c(\mathcal{F})$ such that every graph of $\mathcal{F}$ without cycles of length less than $c(\mathcal{F})$ has a 3-box representation, which is best possible.
On the existence of infinitely many universal tree-based networks
Published
• View Publication
• BIB
A tree-based network on a set $X$ of $n$ leaves is said to be universal if any rooted binary phylogenetic tree on $X$ can be its base tree. Francis and Steel showed that there is a universal tree-based network on $X$ in the case of $n=3$, and asked whether such a network exists in general. We settle this problem by proving that there are infinitely many universal tree-based networks for any $n>1$.
A sufficient condition for a pair of sequences to be bipartite graphic
Published in Bull. Aust. Math. Soc. 94 (2016) 195-200
• View Publication
• BIB
We present a sufficient condition for a pair of finite integer sequences to be degree sequences of a bipartite graph, based only on the lengths of the sequences and their largest and smallest elements.
Properties for CD Inequalities with Unbounded Laplacians
Published
• View Publication
• BIB
The CD equalities were introduced to imply the gradient estimate of laplace operator on graphs. This article is based on the unbounded Laplacians, and finally concludes some equivalent properties of the CD(K,$\infty$)and CD(K,n).