Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On a Conjecture of Nagy on Extremal Densities
Published
• View Publication
• BIB
We disprove a conjecture of Nagy on the maximum number of copies N(G,H) of a fixed graph G in a large graph H with prescribed edge density. Nagy conjectured that for all G, the quantity N(G,H) is asymptotically maximised by either a quasi-star or a quasi-clique. We show this is false for infinitely many graphs, the smallest of which has 6 vertices and 6 edges. We also propose some new conjectures for the behaviour of N(G,H), and present some evidence for them.
Centrosymmetric Stochastic Matrices
Published
• View Publication
• BIB
We consider the convex set $Γ_{m,n}$ of $m\times n$ stochastic matrices and the convex set $Γ_{m,n}^π\subset Γ_{m,n}$ of $m\times n$ centrosymmetric stochastic matrices (stochastic matrices that are symmetric under rotation by 180 degrees). For $Γ_{m,n}$, we demonstrate a Birkhoff theorem for its extreme points and create a basis from certain $(0,1)$-matrices. For $Γ_{m,n}^π$, we characterize its extreme points and create bases, whose construction depends on the parity of $m$, using our basis construction for stochastic matrices. For each of $Γ_{m,n}$ and $Γ_{m,n}^π$, we further characterize their extreme points in terms of their associated bipartite graphs, we discuss a graph parameter called the fill and compute it for the various basis elements, and we examine the number of vertices of the faces of these sets. We provide examples illustrating the results throughout.
A Structured Table of Graphs with Symmetries and Other Special Properties
Published
• View Publication
• BIB
We organize a table of regular graphs with minimal diameters and minimal mean path lengths, large bisection widths and high degrees of symmetries, obtained by enumerations on supercomputers. These optimal graphs, many of which are newly discovered, may find wide applications, for example, in design of network topologies.
A Bruhat Atlas on the Wonderful Compactification of PSO(2n)/SO(2n-1)
A stratified manifold has a Bruhat atlas on it if it can be covered with open charts such that each chart is stratified-isomorphic to an (opposite) Bruhat cell in a (usually Kac-Moody) flag manifold. In this paper, we construct an anticanonical stratification on the wonderful compactification of the symmetric space $PSO(2n)/SO(2n-1)$ and show that the open charts are isomorphic to certain (opposite) Bruhat cells in the type $D_{n+1}$ flag manifold.
A Ramsey variant of the Brown-Erdős-Sós conjecture
Published
• View Publication
• BIB
An $r$-uniform hypergraph ($r$-graph for short) is called linear if every pair of vertices belong to at most one edge. A linear $r$-graph is complete if every pair of vertices are in exactly one edge. The famous Brown-Erdős-Sós conjecture states that for every fixed $k$ and $r$, every linear $r$-graph with $Ω(n^2)$ edges contains $k$ edges spanned by at most $(r-2)k+3$ vertices. As an intermediate step towards this conjecture, Conlon and Nenadov recently suggested to prove its natural Ramsey relaxation. Namely, that for every fixed $k$, $r$ and $c$, in every $c$-colouring of a complete linear $r$-graph, one can find $k$ monochromatic edges spanned by at most $(r-2)k+3$ vertices. We prove that this Ramsey version of the conjecture holds under the additional assumption that $r \geq r_0(c)$, and we show that for $c=2$ it holds for all $r\geq 4$.
All 4-variable functions can be perfectly quadratized with only 1 auxiliary variable
We prove that any function with real-valued coefficients, whose input is 4 binary variables and whose output is a real number, is perfectly equivalent to a quadratic function whose input is 5 binary variables and is minimized over the new variable. Our proof is constructive: we provide quadratizations for all possible 4-variable functions. There exists 4 different classes of 4-variable functions that each have their own 5-variable quadratization formula. Since we provide 'perfect' quadratizations, we can apply these formulas to any 4-variable subset of an n-variable function even if n >> 4. We provide 5 examples of functions that can be quadratized using the result of this work. For each of the 5 examples we compare the best possible quadratization we could construct using previously known methods, to a quadratization that we construct using our new result. In the most extreme example, the quadratization using our new result needs only N auxiliary variables for a 4N-variable degree-4 function, whereas the previous state-of-the-art quadratization requires 2N (double as many) auxiliary variables and therefore we can reduce by the cost of optimizing such a function by a factor of 2^1000 if it were to have 4000 variables before quadratization. In all 5 of our examples, the range of coefficient sizes in our quadratic function is smaller than in the previous state-of-the-art one, and our coefficient range is a factor of 7 times smaller in our 15-term, 5-variable example of a degree-4 function.
qFunctions -- A Mathematica package for $q$-series and partition theory applications
Published
• View Publication
• BIB
We describe the qFunctions Mathematica package for $q$-series and partition theory applications. This package includes both experimental and symbolic tools. The experimental set of elements includes guessers for $q$-shift equations and recurrences for given $q$-series and fitting/finding explicit expressions for sequences of polynomials. This package can symbolically handle formal manipulations on $q$-differential, $q$-shift equations and recurrences, such as switching between these forms, finding the greatest common divisor of recurrences, and formal substitutions. Here, we also extend the classical method of the weighted words approach. Moreover, qFunctions has implementations that automate the recurrence system creation of the weighted words approach as well as a scheme on cylindric partitions.
A proof of conjectured partition identities of Nandi
Published
• View Publication
• BIB
We generalize the theory of linked partition ideals due to Andrews using finite automata in formal language theory and apply it to prove three Rogers--Ramanujan type identities of modulo 14 that were posed by Nandi through vertex operator theoretic construction of the level 4 standard modules of the affine Lie algebra $A^{(2)}_{2}$.
Strong fractional choice number of series-parallel graphs
Published
• View Publication
• BIB
The strong fractional choice number of a graph $G$ is the infimum of those real numbers $r$ such that $G$ is
$(\lceil rm \rceil, m)$-choosable for every positive integer $m$. The strong fractional choice number of a family ${\cal G}$ of graphs is the supremum of the strong fractional choice number of graphs in ${\cal G}$.
We denote by ${\cal{Q}}_k$ the class of series-parallel graphs with girth at least $k$.
This paper proves that for $k=4q-1, 4q,4q+1, 4q+2$, the strong fractional number of ${\cal{Q}}_k$ is exactly $2+ \frac{1}{q}$.
Eigenvalues and triangles in graphs
Published in Combin. Probab. Comput. 30 (2021), no. 2, 258--270
• View Publication
• BIB
Bollobás and Nikiforov [J. Combin. Theory, Ser. B. 97 (2007) 859--865] conjectured the following. If $G$ is a $K_{r+1}$-free graph on at least $r+1$ vertices and $m$ edges, then $λ^2_1(G)+λ^2_2(G)\leq \frac{r-1}{r}\cdot2m$, where $λ_1(G)$ and $λ_2(G)$ are the largest and the second largest eigenvalues of the adjacency matrix $A(G)$, respectively. In this paper, we confirm the conjecture in the case $r=2$, by using tools from doubly stochastic matrix theory, and also characterize all families of extremal graphs. Motivated by classic theorems due to Erdős and Nosal respectively, we prove that every non-bipartite graph $G$ of order $n$ and size $m$ contains a triangle, if one of the following is true: (1) $λ_1(G)\geq\sqrt{m-1}$ and $G\neq C_5\cup (n-5)K_1$; and (2) $λ_1(G)\geq λ_1(S(K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}))$ and $G\neq S(K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil})$, where $S(K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil})$ is obtained from $K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}$ by subdividing an edge. Both conditions are best possible. We conclude this paper with some open problems.
List colouring triangle free planar graphs
Published
• View Publication
• BIB
This paper proves the following result: Assume $G$ is a triangle free planar graph, $X$ is an independent set of $G$. If $L$ is a list assignment of $G$ such that $\mid L(v)\mid = 4$ for each vertex $v \in V(G)-X$ and $\mid L(v)\mid = 3$ for each vertex $v \in X$, then $G$ is $L$-colourable.
On product-one sequences over dihedral groups
Published
• View Publication
• BIB
Let $G$ be a finite group. A sequence over $G$ means a finite sequence of terms from $G$, where repetition is allowed and the order is disregarded. A product-one sequence is a sequence whose elements can be ordered such that their product equals the identity element of the group. The set of all product-one sequences over $G$ (with concatenation of sequences as the operation) is a finitely generated C-monoid. Product-one sequences over dihedral groups have a variety of extremal properties. This article provides a detailed investigation, with methods from arithmetic combinatorics, of the arithmetic of the monoid of product-one sequences over dihedral groups.
Eigenvalues, Smith normal form and determinantal ideals
Determinantal ideals of graphs generalize, among others, the spectrum and the Smith normal form (SNF) of integer matrices associated to graphs. In this work we investigate the relationship of the spectrum and the SNF with the determinantal ideals. We show that an eigenvalue divides the $k$-th invariant factor of its SNF if the eigenvalue belongs to a variety of the $k$-th univariate integer determinantal ideal of the matrix. This result has as a corollary a theorem of Rushanan. We also study graphs having the same determinantal ideals with at most one indeterminate; the socalled codeterminantal graphs, which generalize the concepts of cospectral and coinvariant graphs. We establish a necessary and sufficient condition for graphs to be codeterminantal on $\mathbb{R}[x]$, and we present some computational results on codeterminantal graphs up to 9 vertices. Finally, we show that complete graphs and star graphs are determined by the SNF of its distance Laplacian matrix.
Chromatic $λ$-choosable and $λ$-paintable graphs
Published
• View Publication
• BIB
Let $φ(k)$ be the minimum number of vertices in a non-$k$-choosable $k$-chromatic graph. The Ohba conjecture, confirmed by Noel, Reed and Wu, asserts that $φ(k) \ge 2k+2$. This bound is tight if $k$ is even. If $k$ is odd, then it is known that $φ(k) \le 2k+3$ and it is conjectured by Noel that $φ(k) = 2k+3$. For a multi-set $λ=\{k_1,k_2, \ldots, k_q\}$ of positive integers, let $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a $k_λ$-list assignment $L$ for which the colour set $\cup_{v \in V(G)}L(v)$ can be partitioned into the disjoint union $C_1 \cup C_2 \cup \ldots \cup C_q$ of $q$ sets so that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is $λ$-choosable if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. Let $φ(λ)$ be the minimum number of vertices in a non-$λ$-choosable $k_λ$-chromatic graph. Let $1_λ$ be the multiplicity of $1$ in $λ$, and let $o_λ$ be the number of elements in $λ$ that are odd integers. We prove that if $1_λ \ne k_λ$, then $2k_λ+1_λ+2 \leqslant φ(λ) \leqslant 2k_λ+ o_λ+2$. In particular, if $1_λ=o_λ=t$, i.e. $λ$ contains no odd integer greater than $1$, then $φ(λ) = 2k_λ+t+2$. We also prove that $φ(λ) \leqslant 2k_λ+5 1_λ+3$. In particular, if $1_λ=0$, then $2k_λ+2 \leqslant φ(λ) \leqslant 2k_λ+3$.
Quantum walks defined by digraphs and generalized Hermitian adjacency matrices
Published in Quantum Inf Process 20, 95 (2021)
• View Publication
• BIB
We propose a quantum walk defined by digraphs (mixed graphs). This is like Grover walk that is perturbed by a certain complex-valued function defined by digraphs. The discriminant of this quantum walk is a matrix that is a certain normalization of generalized Hermitian adjacency matrices. Furthermore, we give definitions of the positive and negative supports of the transfer matrix, and clarify explicit formulas of their supports of the square. In addition, we give tables by computer on the identification of digraphs by their eigenvalues.
Bivariate systems of polynomial equations with roots of high multiplicity
Published
• View Publication
• BIB
Given a bivariate system of polynomial equations with fixed support sets $A, B$ it is natural to ask which multiplicities its solutions can have. We prove that there exists a system with a solution of multiplicity $i$ for all $i$ in the range $\{0,1,...,|A|-|\mbox{conv}(A)\ominus B|-1\}$, where $A\ominus B$ is the set of all integral vectors that shift B to a subset of $A$. As an application of this result we classify all pairs $(A, B)$ such that the system supported at $(A, B)$ does not have a solution of multiplicity $3$.
Eigenvalues of zero-divisor graphs of finite commutative rings
We investigate eigenvalues of the zero-divisor graph $Γ(R)$ of finite commutative rings $R$ and study the interplay between these eigenvalues, the ring-theoretic properties of $R$ and the graph-theoretic properties of $Γ(R)$. The graph $Γ(R)$ is defined as the graph with vertex set consisting of all non-zero zero-divisors of $R$ and adjacent vertices $x,y$ whenever $xy = 0$. We provide formulas for the nullity of $Γ(R)$, i.e. the multiplicity of the eigenvalue 0 of $Γ(R)$. Moreover, we precisely determine the spectra of $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ and $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ for a prime number $p$. We introduce a graph product $\times_Γ$ with the property that $Γ(R) \cong Γ(R_1) \times_Γ \ldots \times_Γ Γ(R_r)$ whenever $R \cong R_1 \times \ldots \times R_r.$ With this product, we find relations between the number of vertices of the zero-divisor graph $Γ(R)$, the compressed zero-divisor graph, the structure of the ring $R$ and the eigenvalues of $Γ(R)$.
On the moments of the moments of the characteristic polynomials of Haar distributed symplectic and orthogonal matrices
Published
• View Publication
• BIB
We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously
Hamiltonicity of random graphs in the stochastic block model
Published
• View Publication
• BIB
We study the Hamiltonicity of the following model of a random graph. Suppose that we partition [n] into V_1,V_2,...,V_k and add edge {x,y} to our graph with probability p if there exists i such that x,y\in V_i. Otherwise, we add the edge with probbability q. We denote this model by G(n, p,q) and give tight results for Hamiltonicity, including a critical window analysis, under various conditions.
The Alon-Tarsi number of planar graphs without cycles of lengths $4$ and $l$
Published
• View Publication
• BIB
This paper proves that if $G$ is a planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$, then there exists a matching $M$ such that $AT(G-M)\leq 3$. This implies that every planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$ is 1-defective 3-paintable.