Showing 20 papers (Total: 83133 papers, 48023 authors in database)
The coset and stability rings
Published in Online J. Anal. Comb. No. 15 (2020)
• View Publication
• BIB
We show that if $G$ is a discrete Abelian group and $A \subset G$ has $\|1_A\|_{B(G)} \leq M$ then $A$ is $O(\exp(πM))$-stable in the sense of Terry and Wolf.
Friezes satisfying higher SL$_k$-determinants
Published in Alg. Number Th. 15 (2021) 29-68
• View Publication
• BIB
In this article, we construct SL$_k$-friezes using Plücker coordinates, making use of the cluster structure on the homogeneous coordinate ring of the Grassmannian of $k$-spaces in $n$-space via the Plücker embedding. When this cluster algebra is of finite type, the SL$_k$-friezes are in bijection with the so-called mesh friezes of the corresponding Grassmannian cluster category. These are collections of positive integers on the AR-quiver of the category with relations inherited from the mesh relations on the category. In these finite type cases, many of the SL$_k$-friezes arise from specialising a cluster to 1. These are called unitary. We use Iyama-Yoshino reduction to analyse the non-unitary friezes. With this, we provide an explanation for all known friezes of this kind. An appendix by Cuntz and Plamondon proves that there are 868 friezes of type $E_6$.
Cops and Robbers on Toroidal Chess Graphs
We investigate multiple variants of the game Cops and Robbers. Playing it on an $n \times n$ toroidal chess graph, the game is varied by defining moves for cops and robbers differently, always mimicking moves of certain chess pieces. In these cases, the cop number is completely determined.
Graph isomorphism and Gaussian boson sampling
Published in Spec. Matrices 9 (2021), 166-196
• View Publication
• BIB
We introduce a connection between a near-term quantum computing device, specifically a Gaussian boson sampler, and the graph isomorphism problem. We propose a scheme where graphs are encoded into quantum states of light, whose properties are then probed with photon-number-resolving detectors. We prove that the probabilities of different photon-detection events in this setup can be combined to give a complete set of graph invariants. Two graphs are isomorphic if and only if their detection probabilities are equivalent. We present additional ways that the measurement probabilities can be combined or coarse-grained to make experimental tests more amenable. We benchmark these methods with numerical simulations on the Titan supercomputer for several graph families: pairs of isospectral nonisomorphic graphs, isospectral regular graphs, and strongly regular graphs.
On the tree cover number and the positive semidefinite maximum nullity of a graph
For a simple graph $G=(V,E),$ let $\mathcal{S}_+(G)$ denote the set of real positive semidefinite matrices $A=(a_{ij})$ such that $a_{ij}\neq 0$ if $\{i,j\}\in E$ and $a_{ij}=0$ if $\{i,j\}\notin E$. The maximum positive semidefinite nullity of $G$, denoted $\operatorname{M}_+(G),$ is $\max\{\operatorname{null}(A)|A\in \mathcal{S}_+(G)\}.$ A tree cover of $G$ is a collection of vertex-disjoint simple trees occurring as induced subgraphs of $G$ that cover all the vertices of $G$. The tree cover number of $G$, denoted $T(G)$, is the cardinality of a minimum tree cover. It is known that the tree cover number of a graph and the maximum positive semidefinite nullity of a graph are equal for outerplanar graphs, and it was conjectured in 2011 that $T(G)\leq M_+(G)$ for all graphs [Barioli et al., Minimum semidefinite rank of outerplanar graphs and the tree cover number, $ Elec. J. Lin. Alg.,$ 2011]. We show that the conjecture is true for certain graph families. Furthermore, we prove bounds on $T(G)$ to show that if $G$ is a connected outerplanar graph on $n\geq 2$ vertices, then $\operatorname{M}_+(G)=T(G)\leq \left\lceil\frac{n}{2}\right\rceil$, and if $G$ is a connected outerplanar graph on $n\geq 6$ vertices with no three or four cycle, then $\operatorname{M}_+(G)=T(G)\leq \frac{n}{3}$. We also characterize connected outerplanar graphs with $\operatorname{M}_+(G)=T(G)=\left\lceil\frac{n}{2}\right\rceil.$
More on rainbow disconnection in graphs
Published
• View Publication
• BIB
Let $G$ be a nontrivial edge-colored connected graph. An edge-cut $R$ of $G$ is called a rainbow cut if no two edges of it are colored the same. An edge-colored graph $G$ is rainbow disconnected if for every two vertices $u$ and $v$, there exists a $u-v$ rainbow cut. For a connected graph $G$, the rainbow disconnection number of $G$, denoted by $rd(G)$, is defined as the smallest number of colors that are needed in order to make $G$ rainbow disconnected. In this paper, we first solve a conjecture that determines the maximum size of a connected graph $G$ of order $n$ with $rd(G) = k$ for given integers $k$ and $n$ with $1\leq k\leq n-1$, where $n$ is odd, posed by Chartrand et al. in \cite{CDHHZ}. Secondly, we discuss bounds of the rainbow disconnection numbers for complete multipartite graphs, critical graphs, minimal graphs with respect to chromatic index and regular graphs, and give the rainbow disconnection numbers for several special graphs. Finally, we get the Nordhaus-Gaddum-type theorem for the rainbow disconnection number of graphs. We prove that if $G$ and $\overline{G}$ are both connected, then $n-2 \leq rd(G)+rd(\overline{G})\leq 2n-5$ and $n-3\leq rd(G)\cdot rd(\overline{G})\leq (n-2)(n-3)$. Furthermore, examples are given to show that the upper bounds are sharp for $n\geq 6$, and the lower bounds are sharp when $G=\overline{G}=P_4$.
A generalization of Noel-Reed-Wu Theorem to signed graphs
Published
• View Publication
• BIB
Let $Σ$ be a signed graph where two edges joining the same pair of vertices with opposite signs are allowed. The zero-free chromatic number $χ^*(Σ)$ of $Σ$ is the minimum even integer $2k$ such that $G$ admits a proper coloring $f\colon\,V(Σ)\mapsto \{\pm 1,\pm 2,\ldots,\pm k\}$. The zero-free list chromatic number $χ^*_l(Σ)$ is the list version of zero-free chromatic number. $Σ$ is called zero-free chromatic-choosable if $χ^*_l(Σ)=χ^*(Σ)$. We show that if $Σ$ has at most $χ^*(Σ)+1$ vertices then $Σ$ is zero-free chromatic-choosable. This result strengthens Noel-Reed-Wu Theorem which states that every graph $G$ with at most $2χ(G)+1$ vertices is chromatic-choosable, where $χ(G)$ is the chromatic number of $G$.
Monochromatic combinatorial lines of length three
Published
• View Publication
• BIB
We show that there is a constant $c$ such that any colouring of the cube $[3]^n$ in $c \log \log n$ colours contains a monochromatic combinatorial line.
Operational Methods in the Study of Sobolev-Jacobi Polynomials
Published in Mathematics, vol. 7, no. 2, p. 124, Jan. 2019
• View Publication
• BIB
Inspired by ideas from umbral calculus and based on the two types of integrals occurring in the defining equations for the gamma and the reciprocal gamma functions, respectively, we develop a multi-variate version of umbral calculus and of the so-called umbral image technique. Besides providing a class of new formulae for generalized hypergeometric functions and an implementation of series manipulations for computing lacunary generating functions, our main application of these techniques is the study of Sobolev-Jacobi polynomials. Motivated by applications to theoretical chemistry, we moreover present a deep link between generalized normal-ordering techniques introduced by Gurappa and Panigrahi, two-variable Hermite polynomials and our integral-based series transforms. Notably, we thus calculate all K-tuple L-shifted lacunary exponential generating functions for a certain family of SJ polynomials explicitly.
Heading in the right direction? Using head moves to traverse phylogenetic network space
Published
• View Publication
• BIB
Head moves are a type of rearrangement moves for phylogenetic networks. They have mostly been studied as part of more encompassing types of moves, such as rSPR moves. Here, we study head moves as a type of moves on themselves. We show that the tiers ($k>0$) of phylogenetic network space are connected by local head moves. Then we show tail moves and head moves are closely related: sequences of tail moves can be converted to sequences of head moves and vice versa, changing the length by at most a constant factor. Because the tiers of network space are connected by rSPR moves, this gives a second proof of the connectivity of these tiers. Furthermore, we show that these tiers have small diameter by reproving the connectivity a third time. As the head move neighbourhood is in general small, this makes head moves a good candidate for local search heuristics. Finally we prove that finding the shortest sequence of head moves between two networks is NP-hard.
On orthogonal symmetric chain decompositions
Published
• View Publication
• BIB
The $n$-cube is the poset obtained by ordering all subsets of $\{1,\ldots,n\}$ by inclusion, and it can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains, which is the minimum possible number. Two such decompositions of the $n$-cube are called orthogonal if any two chains of the decompositions share at most a single element. Shearer and Kleitman conjectured in 1979 that the $n$-cube has $\lfloor n/2\rfloor+1$ pairwise orthogonal decompositions into the minimum number of chains, and they constructed two such decompositions. Spink recently improved this by showing that the $n$-cube has three pairwise orthogonal chain decompositions for $n\geq 24$. In this paper, we construct four pairwise orthogonal chain decompositions of the $n$-cube for $n\geq 60$. We also construct five pairwise edge-disjoint chain decompositions of the $n$-cube for $n\geq 90$, where edge-disjointness is a slightly weaker notion than orthogonality.
Perfect Codes for Generalized Deletions from Minuscule Elements of Weyl Groups
This paper discusses a connection between insertion/deletion (ID) codes and minuscule elements of Weyl groups.
Positional strategies in games of best choice
Published in Involve 12 (2019) 647-658
• View Publication
• BIB
We study a variation of the game of best choice (also known as the secretary problem or game of googol) under an additional assumption that the ranks of interview candidates are restricted using permutation pattern-avoidance. We describe the optimal positional strategies and develop formulas for the probability of winning.
Connectivity of inhomogeneous random K-out graphs
Published
• View Publication
• BIB
We propose inhomogeneous random K-out graphs $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$, where each of the $n$ nodes is assigned to one of $r$ classes independently with a probability distribution $\pmbμ = \{μ_1, \ldots, μ_r\}$. In particular, each node is classified as class-$i$ with probability $μ_i>0$, independently. Each class-$i$ node selects $K_{i,n}$ distinct nodes uniformly at random from among all other nodes. A pair of nodes are adjacent in $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ if at least one selects the other. Without loss of generality, we assume that $K_{1,n} \leq K_{2,n} \leq \ldots \leq K_{r,n}$. Earlier results on homogeneous random K-out graphs $\mathbb{H}(n; K_n)$, where all nodes select the same number $K$ of other nodes, reveal that $\mathbb{H}(n; K_n)$ is connected with high probability (whp) if $K_n \geq 2$ which implies that $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ is connected whp if $K_{1,n} \geq 2$. In this paper, we investigate the connectivity of inhomogeneous random K-out graphs $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ for the special case when $K_{1,n}=1$, i.e., when each class-$1$ node selects only one other node. We show that $\mathbb{H}\left(n;\pmbμ,\pmb{K}_n\right)$ is connected whp if $K_{r,n}$ is chosen such that $\lim_{n \to \infty} K_{r,n} = \infty$. However, any bounded choice of the sequence $K_{r,n}$ gives a positive probability of $\mathbb{H}\left(n;\pmbμ,\pmb{K}_n\right)$ being not connected. Simulation results are provided to validate our results in the finite node regime.
Expansion of coset graphs of PSL_2(F_p)
Published in Isr. J. Math. 233, 335-349 (2019)
• View Publication
• BIB
Let $G$ be a finite group and let $H_1,H_2<G$ be two subgroups. In this paper, we are concerned with the bipartite graph whose vertices are $G/H_1\cup G/H_2$ and a coset $g_1H_1$ is connected with another coset $g_2H_2$ if and only if $g_1H_1\cap g_2 H_2\neq\varnothing$. The main result of the paper establishes the existence of such graphs with large girth and large spectral gap. Lubotzky, Manning and Wilton use such graphs to construct certain infinite groups of interest in geometric group theory.
Sharply $k$-arc-transitive-digraphs: finite and infinite examples
A general method for constructing sharply $k$-arc-transitive digraphs, i.e. digraphs that are $k$-arc-transitive but not $(k+1)$-arc-transitive, is presented. Using our method it is possible to construct both finite and infinite examples. The infinite examples can have one, two or infinitely many ends. Among the one-ended examples there are also digraphs that have polynomial growth.
Algorithmic Traversals of Infinite Graphs
A traversal of a connected graph is a linear ordering of its vertices all of whose initial segments induce connected subgraphs. Traversals, and their refinements such as breadth-first and depth-first traversals, are computed by various graph searching algorithms. We extend the theory of generic search and breadth-first search from finite graphs to wellordered infinite graphs, recovering the notion of "search trees" in this context. We also prove tight upper bounds on the extent to which graph search and breadth-first search can modify the order type of the original graph, as well as characterize the traversals computed by these algorithms as lexicographically minimal.
Lower bounds for Max-Cut in $H$-free graphs via semidefinite programming
Published
• View Publication
• BIB
For a graph $G$, let $f(G)$ denote the size of the maximum cut in $G$. The problem of estimating $f(G)$ as a function of the number of vertices and edges of $G$ has a long history and was extensively studied in the last fifty years. In this paper we propose an approach, based on semidefinite programming (SDP), to prove lower bounds on $f(G)$. We use this approach to find large cuts in graphs with few triangles and in $K_r$-free graphs.
A Method to Construct $1$-Rotational Factorizations of Complete Graphs and Solutions to the Oberwolfach Problem
Published
• View Publication
• BIB
The concept of a $1$-rotational factorization of a complete graph under a finite group $G$ was studied in detail by Buratti and Rinaldi. They found that if $G$ admits a $1$-rotational $2$-factorization, then the involutions of $G$ are pairwise conjugate. We extend their result by showing that if a finite group $G$ admits a $1$-rotational $k=2^nm$-factorization where $n\geq 1$, and $m$ is odd, then $G$ has at most $m(2^n-1)$ conjugacy classes containing involutions. Also, we show that if $G$ has exactly $m(2^n-1)$ conjugacy classes containing involutions, then the product of a central involution with an involution in one conjugacy class yields an involution in a different conjugacy class. We then demonstrate a method of constructing a $1$-rotational $2n$-factorization under $G \times \mathbb{Z}_n$ given a $1$-rotational $2$-factorization under a finite group $G$. This construction, given a $1$-rotational solution to the Oberwolfach problem $OP(a_{\infty},a_1, a_2 \cdots, a_n)$, allows us to find a solution to $OP(2a_{\infty}-1,^2a_1, ^2a_2\cdots, ^2a_n)$ when the $a_i$'s are even ($i \neq \infty$), and $OP(p(a_{\infty}-1)+1, ^pa_1, ^pa_2 \cdots, ^pa_n)$ when $p$ is an odd prime, with no restrictions on the $a_i$'s.
Ramsey subsets of the space of infinite block sequences of vectors
We study families of infinite block sequences of elements of the space $\FIN_k$. In particular we study Ramsey properties of such families and Ramsey properties localized to a selective or semiselective coideal. We show how the stable ordered-union ultrafilters defined by Blass, and Matet-adequate families defined by Eisworth in the case $k=1$ fit in the theory of the Ramsey space of infinite block sequences of finite sets of natural numbers.