Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Uniform Bounds for Non-negativity of the Diffusion Game
We study a variant of the chip-firing game called the diffusion game. In the diffusion game, we begin with some integer labelling of the vertices of a graph, interpreted as a number of chips on each vertex, and then for each subsequent step every vertex simultaneously fires a chip to each neighbour with fewer chips. In general, this could result in negative vertex labels. Long and Narayanan asked whether there exists an $f(n)$ for each $n$, such that whenever we have a graph on $n$ vertices and an initial allocation with at least $f(n)$ chips on each vertex, then the number of chips on each vertex will remain non-negative. We answer their question in the affirmative, showing further that $f(n)=n-2$ is the best possible bound. We also consider the existence of a similar bound $g(d)$ for each $d$, where $d$ is the maximum degree of the graph.
On supra-SIM sets of natural numbers
Published
• View Publication
• BIB
We introduce the class of supra-SIM sets of natural numbers. We prove that this class is partition regular and closed under finite-embeddability. We also prove some results on sumsets and SIM sets motivated by their positive Banach density analogues.
Independence number of edge-chromatic critical graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph with maximum degree $Δ(G)$ and chromatic index $χ'(G)$. A classic result of Vizing indicates that either $χ'(G )=Δ(G)$ or $χ'(G )=Δ(G)+1$. The graph $G$ is called $Δ$-critical if $G$ is connected, $χ'(G )=Δ(G)+1$ and for any $e\in E(G)$, $χ'(G-e)=Δ(G)$. Let $G$ be an $n$-vertex $Δ$-critical graph. Vizing conjectured that $α(G)$, the independence number of $G$, is at most $\frac{n}{2}$. The current best result on this conjecture, shown by Woodall, is that $α(G)<\frac{3n}{5}$. We show that for any given $\varepsilon\in (0,1)$, there exist positive constants $d_0(\varepsilon)$ and $D_0(\varepsilon)$ such that if $G$ is an $n$-vertex $Δ$-critical graph with minimum degree at least $d_0$ and maximum degree at least $D_0$, then $α(G)<(\frac{1}{2}+\varepsilon)n$. In particular, we show that if $G$ is an $n$-vertex $Δ$-critical graph with minimum degree at least $d$ and $Δ(G)\ge (d+2)^{5d+10}$, then \[ α(G) < \left. \begin{cases} \frac{7n}{12}, & \text{if $d= 3$; } \frac{4n}{7}, & \text{if $d= 4$; } \frac{d+2+\sqrt[3]{(d-1)d}}{2d+4+\sqrt[3]{(d-1)d}}n<\frac{4n}{7}, & \text{if $d\ge 19$. } \end{cases} \right. \]
Moment curves and cyclic symmetry for positive Grassmannians
Published in Bull. Lond. Math. Soc. 51 (2019), no. 5, 900-916
• View Publication
• BIB
We show that for each k and n, the cyclic shift map on the complex Grassmannian Gr(k,n) has exactly $\binom{n}{k}$ fixed points. There is a unique totally nonnegative fixed point, given by taking n equally spaced points on the trigonometric moment curve (if k is odd) or the symmetric moment curve (if k is even). We introduce a parameter q, and show that the fixed points of a q-deformation of the cyclic shift map are precisely the critical points of the mirror-symmetric superpotential $\mathcal{F}_q$ on Gr(k,n). This follows from results of Rietsch about the quantum cohomology ring of Gr(k,n). We survey many other diverse contexts which feature moment curves and the cyclic shift map.
The Hadwiger-Nelson problem with two forbidden distances
In 1950 Edward Nelson asked the following simple-sounding question:
\emph{How many colors are needed to color the Euclidean plane $\mathbb{E}^2$ such that no two points distance $1$ apart are identically colored?}
We say that $1$ is a \emph{forbidden} distance. For many years, we only knew that the answer was $4$, $5$, $6$, or $7$. In a recent breakthrough, de Grey \cite{degrey} proved that at least five colors are necessary.
In this paper we consider a related problem in which we require \emph{two} forbidden distances, $1$ and $d$. In other words, for a given positive number $d\neq 1$, how many colors are needed to color the plane such that no two points distance $1$ \underline{or} $d$ apart are assigned the same color? We find several values of $d$, for which the answer to the previous question is at least $5$. These results and graphs may be useful in constructing simpler $5$-chromatic unit distance graphs.
Asymptotically Optimal Bounds for (t,2) Broadcast Domination on Finite Grids
Let $G=(V,E)$ be a graph and $t,r$ be positive integers. The \emph{signal} that a tower vertex $T$ of signal strength $t$ supplies to a vertex $v$ is defined as $sig(T,v)=max(t-dist(T,v),0),$ where $dist(T,v)$ denotes the distance between the vertices $v$ and $T$. In 2015 Blessing, Insko, Johnson, and Mauretour defined a \emph{$(t,r)$ broadcast dominating set}, or simply a \emph{$(t,r)$ broadcast}, on $G$ as a set $\mathbb{T}\subseteq V$ such that the sum of all signals received at each vertex $v \in V$ from the set of towers $\mathbb{T}$ is at least $r$. The $(t,r)$ broadcast domination number of a finite graph $G$, denoted $γ_{t,r}(G)$, is the minimum cardinality over all $(t,r)$ broadcasts for $G$.
Recent research has focused on bounding the $(t,r)$ broadcast domination number for the $m \times n$ grid graph $G_{m,n}$. In 2014, Grez and Farina bounded the $k$-distance domination number for grid graphs, equivalent to bounding $γ_{t,1}(G_{m,n})$. In 2015, Blessing et al. established bounds on $γ_{2,2}(G_{m,n})$, $γ_{3,2}(G_{m,n})$, and $γ_{3,3}(G_{m,n})$. In this paper, we take the next step and provide a tight upper bound on $γ_{t,2}(G_{m,n})$ for all $t>2$. We also prove the conjecture of Blessing et al. that their bound on $γ_{3,2}(G_{m,n})$ is tight for large values of $m$ and $n$.
Enumerating sparse uniform hypergraphs with given degree sequence and forbidden edges
Published
• View Publication
• BIB
For $n\geq 3$ and $r=r(n) \geq 3$, let $\boldsymbol{k} =\boldsymbol{k}(n)=(k_1, \ldots, k_n)$ be a sequence of non-negative integers with sum $M(\boldsymbol{k})=\sum_{j=1}^{n} k_j$. We assume that $M(\boldsymbol{k})$ is divisible by $r$ for infinitely many values of $n$, and restrict our attention to these values. Let $X=X(n)$ be a simple $r$-uniform hypergraph on the vertex set $V=\{v_1,v_2, \ldots, v_n\}$ with $t$ edges and maximum degree $x_{\max}$. We denote by $\mathcal{H}_r(\boldsymbol{k})$ the set of all simple $r$-uniform hypergraphs on the vertex set $V$ with degree sequence $\boldsymbol{k}$, and let $\mathcal{H}_r(\boldsymbol{k},X)$ be the set of all hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain no edge of $X$. We give an asymptotic enumeration formula for the size of $\mathcal{H}_r(\boldsymbol{k},X)$. This formula holds when $r^4 k_{\max}^3=o(M(\boldsymbol{k}))$, $t\, k_{\max}^{3}\, =o(M(\boldsymbol{k})^2)$ and $r\,t\,k_{\max}^4 = o(M(\boldsymbol{k})^3)$. Our proof involves the switching method.
As a corollary, we obtain an asymptotic formula for the number of hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain every edge of $X$. We apply this result to find asymptotic expressions for the expected number of perfect matchings and loose Hamilton cycles in a random hypergraph in $\mathcal{H}_r(\boldsymbol{k})$ in the regular case.
Square-free graphs with no six-vertex induced path
Published
• View Publication
• BIB
We elucidate the structure of $(P_6,C_4)$-free graphs by showing that every such graph either has a clique cutset, or a universal vertex, or belongs to several special classes of graphs. Using this result, we show that for any $(P_6,C_4)$-free graph $G$, $\lceil\frac{5ω(G)}{4}\rceil$ and $\lceil\frac{Δ(G) + ω(G) +1}{2}\rceil$ are tight upper bounds for the chromatic number of $G$. Moreover, our structural results imply that every ($P_6$,$C_4$)-free graph with no clique cutset has bounded clique-width, and thus the existence of a polynomial-time algorithm that computes the chromatic number (or stability number) of any $(P_6,C_4)$-free graph.
On the 2-Vertex Fault Hamiltonicity for Graphs satisfying Ore's Theorem
For any undirected and simple graph G = (V;E), where V denotes the vertex set and E the edge set of G. G is called hamiltonian if it contains a cycle that visits each vertex of G exactly once. Ore (1960) proved that G is hamiltonian if degG(u) + degG(v) >= n holds for every nonadjacent pair of vertices u and v in V, where n is the total number of distinct vertices of G. Kao et al. (2012) proved that any graph G satisfying Ore's theorem remains hamiltonian after the removal of any vertex x in V unless G belongs to one of the two exceptional families of graphs. In this paper, we proved that in fact, any graph satisfying Ore's theorem remains hamiltonian after the removal of two vertices x, y in V unless G belongs to one of the nine exceptional families of graphs.
Cyclic permutations avoiding pairs of patterns of length three
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018, Permutation Patterns (November 26, 2019) dmtcs:5014
• View Publication
• BIB
We complete the enumeration of cyclic permutations avoiding two patterns of length three each by providing explicit formulas for all but one of the pairs for which no such formulas were known. The pair $(123,231)$ proves to be the most difficult of these pairs. We also prove a lower bound for the growth rate of the number of cyclic permutations that avoid a single pattern $q$, where $q$ is an element of a certain infinite family of patterns.
Linear bounds on nowhere-zero group irregularity strength and nowhere-zero group sum chromatic number of graphs
Published in Applied Mathematics and Computation Volume 343, 15 February 2019, Pages 149-155
• View Publication
• BIB
We investigate the \textit{group irregularity strength}, $s_g(G)$, of a graph, i.e. the least integer $k$ such that taking any Abelian group $\mathcal{G}$ of order $k$, there exists a function $f:E(G)\rightarrow \mathcal{G}$ so that the sums of edge labels incident with every vertex are distinct. So far the best upper bound on $s_g(G)$ for a general graph $G$ was exponential in $n-c$, where $n$ is the order of $G$ and $c$ denotes the number of its components. In this note we prove that $s_g(G)$ is linear in $n$, namely not greater than $2n$. In fact, we prove a stronger result, as we additionally forbid the identity element of a group to be an edge label or the sum of labels around a vertex.
We consider also locally irregular labelings where we require only sums of adjacent vertices to be distinct. For the corresponding graph invariant we prove the general upper bound: $Δ(G)+{\rm col}(G)-1$ (where ${\rm col}(G)$ is the coloring number of $G$) in the case when we do not use the identity element as an edge label, and a slightly worse one if we additionally forbid it as the sum of labels around a vertex. In the both cases we also provide a sharp upper bound for trees and a constant upper bound for the family of planar graphs.
Cross-intersecting subfamilies of levels of hereditary families
Published
• View Publication
• BIB
A set $A$ $t$-intersects a set $B$ if $A$ and $B$ have at least $t$ common elements. Families $\mathcal{A}_1, \mathcal{A}_2, \dots, \mathcal{A}_k$ of sets are cross-$t$-intersecting if, for every $i$ and $j$ in $\{1, 2, \dots, k\}$ with $i \neq j$, each set in $\mathcal{A}_i$ $t$-intersects each set in $\mathcal{A}_j$. An active problem in extremal set theory is to determine, for a given finite family $\mathcal{F}$, the structure of $k$ cross-$t$-intersecting subfamilies whose sum or product of sizes is maximum. For a family $\mathcal{H}$, the $r$-th level $\mathcal{H}^{(r)}$ of $\mathcal{H}$ is the family of all sets in $\mathcal{H}$ of size $r$, and, for $s \leq r$, $\mathcal{H}^{(s)}$ is called a $(\leq r)$-level of $\mathcal{H}$. We solve the problem for any union $\mathcal{F}$ of $(\leq r)$-levels of any union $\mathcal{H}$ of power sets of sets of size at least a certain integer $n_0$, where $n_0$ is independent of $\mathcal{H}$ and $k$ but depends on $r$ and $t$ (dependence on $r$ is inevitable, but dependence on $t$ can be avoided). Our primary result asserts that there are only two possible optimal configurations for the sum. A special case was conjectured by Kamat in 2011. We also prove generalizations, whereby $\mathcal{A}_1, \mathcal{A}_2, \dots, \mathcal{A}_k$ are not necessarily contained in the same union of levels. Various Erdős-Ko-Rado-type results follow. The sum problem for a level of a power set was solved for $t=1$ by Hilton in 1977, and for any $t$ by Wang and Zhang in 2011.
Monotonous subsequences and the descent process of invariant random permutations
Published
• View Publication
• BIB
It is known from the work of Baik, Deift, and Johansson [1999] that we have Tracy-Widom fluctuations for the longest increasing subsequence of uniform permutations. In this paper, we prove that this result holds also in the case of the Ewens distribution and more generally for a class of random permutation with distribution invariant under conjugation. Moreover, we obtain the convergence of the first components of the associated Young tableaux to the Airy Ensemble as well as the global convergence to the Vershik-Kerov-Logan-Shepp shape. Using similar techniques, we also prove that the limiting descent process of a large class of random permutations is stationary, one-dependent and determinantal.
On Neighbourhood Zagreb index of product graphs
Published
• View Publication
• BIB
There is powerful relation between the chemical behaviour of chemical compounds and their molecular structures. Topological indices defined on these chemical molecular structures are capable to predict physical properties, chemical reactivity and biological activity. In this article, a new topological index named as Neighbourhood Zagreb index $(M_N)$ is presented. Here the chemical importance of this newly introduced index is studied and some explicit results for this index of different product graphs such as Cartesian, Tensor and Wreath product is derived. Some of these results are applied to obtain the Neighbourhood Zagreb index of several chemically important graphs and nano-structures.
Biased partitions of $\mathbb{Z}^n$
Published in European Journal of Combinatorics 79 (2019): 262-270
• View Publication
• BIB
Given a function $f$ on the vertex set of some graph $G$, a scenery, let a simple random walk run over the graph and produce a sequence of values. Is it possible to, with high probability, reconstruct the scenery $f$ from this random sequence? To show this is impossible for some graphs, Gross and Grupel, call a function $f:V\to\{0,1\}$ on the vertex set of a graph $G=(V,E)$ $p$-biased if for each vertex $v$ the fraction of neighbours on which $f$ is 1 is exactly $p$. Clearly, two $p$-biased functions are indistinguishable based on their sceneries. Gross and Grupel construct $p$-biased functions on the hypercube $\{0,1\}^n$ and ask for what $p\in[0,1]$ there exist $p$-biased functions on $\mathbb{Z}^n$ and additionally how many there are. We fully answer this question by giving a complete characterization of these values of $p$. We show that $p$-biased functions exist for all $p=c/2n$ with $c\in\{0,\dots,2n\}$ and, in fact, there are uncountably many of them for every $c\in\{1,\dots,2n-1\}$. To this end, we construct uncountably many partitions of $\mathbb{Z}^n$ into $2n$ parts such that every element of $\mathbb{Z}^n$ has exactly one neighbour in each part. This additionally shows that not all sceneries on $\mathbb{Z}^n$ can be reconstructed from a sequence of values on attained on a simple random walk.
Strong Skolem Starters
Published
• View Publication
• BIB
This paper concerns a class of combinatorial objects called Skolem starters, and more specifically, strong Skolem starters, which are generated by Skolem sequences.
In 1991, Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or $3\pmod{8},\ n\ge11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\le n\le57$. Only finitely many strong Skolem starters have been known to date.
In this paper, we offer a geometrical interpretation of strong Skolem starters and explicitly construct infinite families of them.
Functions with large additive energy supported on a Hamming Sphere
In this note, we prove that, among functions $f$ supported on a Hamming Sphere in $\mathbb{F}_2^n$ with fixed $\ell^2$ norm, the additive energy is maximised when $f$ is constant. This answers a question asked by Kirshner and Samorodnitsky.
Transforming graph states using single-qubit operations
Published in Philosophical Transactions of the Royal Society A 376: 20170325, 2018, Special issue: 'Foundations of quantum mechanics and their impact on contemporary society'
• View Publication
• BIB
Stabilizer states form an important class of states in quantum information, and are of central importance in quantum error correction. Here, we provide an algorithm for deciding whether one stabilizer (target) state can be obtained from another stabilizer (source) state by single-qubit Clifford operations (LC), single-qubit Pauli measurements (LPM), and classical communication (CC) between sites holding the individual qubits. What's more, we provide a recipe to obtain the sequence of LC+LPM+CC operations which prepare the desired target state from the source state, and show how these operations can be applied in parallel to reach the target state in constant time. Our algorithm has applications in quantum networks, quantum computing, and can also serve as a design tool - for example, to find transformations between quantum error correcting codes. We provide a software implementation of our algorithm that makes this tool easier to apply.
A key insight leading to our algorithm is to show that the problem is equivalent to one in graph theory, which is to decide whether some graph G' is a vertex-minor of another graph G. Here we show that the vertex-minor problem can be solved in time O(|G|^3) where |G| is the size of the graph G, whenever the rank-width of G and the size of G' are bounded. Our algorithm is based on techniques by Courcelle for solving fixed parameter tractable problems, where here the relevant fixed parameter is the rank width. The second half of this paper serves as an accessible but far from exhausting introduction to these concepts, that could be useful for many other problems in quantum information.
How to transform graph states using single-qubit operations: computational complexity and algorithms
Published
• View Publication
• BIB
Graph states are ubiquitous in quantum information with diverse applications ranging from quantum network protocols to measurement based quantum computing. Here we consider the question whether one graph (source) state can be transformed into another graph (target) state, using a specific set of quantum operations (LC+LPM+CC): single-qubit Clifford operations (LC), single-qubit Pauli measurements (LPM) and classical communication (CC) between sites holding the individual qubits. We first show that deciding whether a graph state |G> can be transformed into another graph state |G'> using LC+LPM+CC is NP-Complete, even if |G'> is restricted to be the GHZ-state. However, we also provide efficient algorithms for two situations of practical interest:
1. |G> has Schmidt-rank width one and |G'> is a GHZ-state. The Schmidt-rank width is an entanglement measure of quantum states, meaning this algorithm is efficient if the original state has little entanglement. Our algorithm has runtime O(|V(G')||V(G)|^3), and is also efficient in practice even on small instances as further showcased by a freely available software implementation.
2. |G> is in a certain class of states with unbounded Schmidt-rank width, and |G'> is a GHZ-state of a constant size. Here the runtime is O(poly(|V(G)|)), showing that more efficient algorithms can in principle be found even for states holding a large amount of entanglement, as long as the output state has constant size.
Our results make use of the insight that deciding whether a graph state |G> can be transformed to another graph state |G'> is equivalent to a known decision problem in graph theory, namely the problem of deciding whether a graph G' is a vertex-minor of a graph G. Many of the technical tools developed to obtain our results may be of independent interest.
An application of the theory of FI-algebras to graph configuration spaces
Published
• View Publication
• BIB
Recent work of An, Drummond-Cole, and Knudsen, as well as the author, has shown that the homology groups of configuration spaces of graphs can be equipped with the structure of a finitely generated graded module over a polynomial ring. In this work we study this module structure in certain families of graphs using the language of FI-algebras recently explored by Nagel and Römer. As an application we prove that the syzygies of the modules in these families exhibit a range of stable behaviors.