Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A Sublinear Bound on the Page Number of Upward Planar Graphs
Published
• View Publication
• BIB
The page number of a directed acyclic graph $G$ is the minimum $k$ for which there is a topological ordering of $G$ and a $k$-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We address the long-standing open problem asking for the largest page number among all upward planar graphs. We improve the best known lower bound to $5$ and present the first asymptotic improvement over the trivial $O(n)$ upper bound, where $n$ denotes the number of vertices in $G$. Specifically, we first prove that the page number of every upward planar graph is bounded in terms of its width, as well as its height. We then combine both approaches to show that every $n$-vertex upward planar graph has page number $O(n^{2/3} \log(n)^{2/3})$.
Enumerating Magic Distinct Labellings of the Cube
Published
• View Publication
• BIB
We find by applying MacMahon's partition analysis that all magic labellings of the cube are of eight types, each generated by six basis elements. A combinatorial proof of this fact is given. The number of magic labellings of the cube is thus reobtained as a polynomial in the magic sum of degree $5$. Then we enumerate magic distinct labellings, the number of which turns out to be a quasi-polynomial of period 720720. We also find the group of symmetry can be used to significantly simplify the computation.
The general Albertson irregularity index of graphs
Published
• View Publication
• BIB
We introduce the general Albertson irregularity index of a connected graph $G$ and define it as $A_{p}(G) =(\sum_{uv\in E(G)}|d(u)-d(v)|^p)^{\frac{1}{p}}$, where $p$ is a positive real number and $d(v)$ is the degree of the vertex $v$ in $G$. The new index is not only generalization of the well-known Albertson irregularity index and $σ$-index, but also it is the Minkowski norm of the degree of vertex. We present lower and upper bounds on the general Albertson irregularity index. In addition, we study the extremal value on the general Albertson irregularity index for trees of given order. Finally, we give the calculation formula of the general Albertson index of generalized Bethe trees and Kragujevac trees.
Elekes-Szabó for groups, and approximate subgroups in weak general position
We show that with a suitable weak notion of general position, the Elekes-Szabó condition on the group operation of a connected complex algebraic group characterises nilpotence of the group. Along the way, we prove a Mordell-Lang result for generic finitely generated subgroups of commutative complex algebraic groups.
Enumerating conjugacy classes of graphical groups over finite fields
Published
• View Publication
• BIB
Each graph and choice of a commutative ring gives rise to an associated graphical group. In this article, we introduce and investigate graph polynomials that enumerate conjugacy classes of graphical groups over finite fields according to their sizes.
Coloring graphs with forbidden bipartite subgraphs
Published
• View Publication
• BIB
A conjecture of Alon, Krivelevich, and Sudakov states that, for any graph $F$, there is a constant $c_F > 0$ such that if $G$ is an $F$-free graph of maximum degree $Δ$, then $χ(G) \leq c_F Δ/ \logΔ$. Alon, Krivelevich, and Sudakov verified this conjecture for a class of graphs $F$ that includes all bipartite graphs. Moreover, it follows from recent work by Davies, Kang, Pirot, and Sereni that if $G$ is $K_{t,t}$-free, then $χ(G) \leq (t + o(1)) Δ/ \logΔ$ as $Δ\to \infty$. We improve this bound to $(1+o(1)) Δ/\log Δ$, making the constant factor independent of $t$. We further extend our result to the DP-coloring setting (also known as correspondence coloring), introduced by Dvořák and Postle.
A rainbow connectivity threshold for random graph families
Published
• View Publication
• BIB
Given a family $\mathcal G$ of graphs on a common vertex set $X$, we say that $\mathcal G$ is rainbow connected if for every vertex pair $u,v \in X$, there exists a path from $u$ to $v$ that uses at most one edge from each graph in $\mathcal G$. We consider the case that $\mathcal G$ contains $s$ graphs, each sampled randomly from $G(n,p)$, with $n = |X|$ and $p = \frac{c \log n}{sn}$, where $c > 1$ is a constant. We show that when $s$ is sufficiently large, $\mathcal G$ is a.a.s. rainbow connected, and when $s$ is sufficiently small, $\mathcal G$ is a.a.s. not rainbow connected. We also calculate a threshold of $s$ for the rainbow connectivity of $\mathcal G$, and we show that this threshold is concentrated on at most three values, which are larger than the diameter of the union of $\mathcal G$ by about $\frac{\log n}{(\log \log n)^2}$.
The same results also hold in a more traditional random rainbow setting, where we take a random graph $G\in G(n,p)$ with $p=\frac{c \log n}{n}$ ($c>1$) and color each edge of $G$ with a color chosen uniformly at random from the set $[s]$ of $s$ colors.
The apparent structure of dense Sidon sets
Published
• View Publication
• BIB
The correspondence between perfect difference sets and transitive projective planes is well-known. We observe that all known dense (i.e., close to square-root size) Sidon subsets of abelian groups come from projective planes through a similar construction. We classify the Sidon sets arising in this manner from desarguesian planes and find essentially no new examples, but there are many further examples arising from nondesarguesian planes. We conjecture that all dense Sidon sets arise in this manner. We also give a brief bestiary of somewhat smaller Sidon sets with a variety of algebraic origins, and for some of them provide an overarching pattern.
On λ-backbone coloring of cliques with tree backbones in linear time
Published
• View Publication
• BIB
A $λ$-backbone coloring of a graph $G$ with its subgraph (also called a backbone) $H$ is a function $c \colon V(G) \rightarrow \{1,\dots, k\}$ ensuring that $c$ is a proper coloring of $G$ and for each $\{u,v\} \in E(H)$ it holds that $|c(u) - c(v)| \ge λ$. In this paper we propose a way to color cliques with tree and forest backbones in linear time that the largest color does not exceed $\max\{n, 2 λ\} + Δ(H)^2 \lceil\log{n} \rceil$. This result improves on the previously existing approximation algorithms as it is $(Δ(H)^2 \lceil\log{n} \rceil)$-absolutely approximate, i.e. with an additive error over the optimum. We also present an infinite family of trees $T$ with $Δ(T) = 3$ for which the coloring of cliques with backbones $T$ require to use at least $\max\{n, 2 λ\} + Ω(\log{n})$ colors for $λ$ close to $\frac{n}{2}$.
Rank of the vertex-edge incidence matrix of $r$-out hypergraphs
Published
• View Publication
• BIB
We consider a space of sparse Boolean matrices of size $n \times n$, which have finite co-rank over $GF(2)$ with high probability. In particular, the probability such a matrix has full rank, and is thus invertible, is a positive constant with value about $0.2574$ for large $n$.
The matrices arise as the vertex-edge incidence matrix of 1-out 3-uniform hypergraphs The result that the null space is finite, can be contrasted with results for the usual models of sparse Boolean matrices, based on the vertex-edge incidence matrix of random $k$-uniform hypergraphs. For this latter model, the expected co-rank is linear in the number of vertices $n$, \cite{ACO}, \cite{CFP}.
For fields of higher order, the co-rank is typically Poisson distributed.
On the number of linear multipartite hypergraphs with given size
Published
• View Publication
• BIB
For any given integer $r\geqslant 3$, let $k=k(n)$ be an integer with $r\leqslant k\leqslant n$. A hypergraph is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if two edges intersect in at most one vertex. Let $A_1,\ldots,A_k$ be a given $k$-partition of $[n]$ with $|A_i|=n_i\geqslant 1$. An $r$-uniform hypergraph $H$ is called {\it $k$-partite} if each edge $e$ satisfies $|e\cap A_i|\leqslant 1$ for $1\leqslant i\leqslant k$. In this paper, the number of linear $k$-partite $r$-uniform hypergraphs on $n\to\infty$ vertices is determined asymptotically when the number of edges is $m(n)=o(n^{\frac{4}{3}})$. For $k=n$, it is the number of linear $r$-uniform hypergraphs on vertex set $[n]$ with $m=o(n^{ \frac{4}{3}})$ edges.
The Mixed Page Number of Graphs
Published
• View Publication
• BIB
A linear layout of a graph typically consists of a total vertex order, and a partition of the edges into sets of either non-crossing edges, called stacks, or non-nested edges, called queues. The stack (queue) number of a graph is the minimum number of required stacks (queues) in a linear layout. Mixed linear layouts combine these layouts by allowing each set of edges to form either a stack or a queue. In this work we initiate the study of the mixed page number of a graph which corresponds to the minimum number of such sets.
First, we study the edge density of graphs with bounded mixed page number. Then, we focus on complete and complete bipartite graphs, for which we derive lower and upper bounds on their mixed page number. Our findings indicate that combining stacks and queues is more powerful in various ways compared to the two traditional layouts.
Counterexamples to a conjecture on matching Kneser graphs
Let $G$ be a graph and $r\in\mathbb{N}$. The matching Kneser graph $\textsf{KG}(G, rK_2)$ is a graph whose vertex set is the set of $r$-matchings in $G$ and two vertices are adjacent if their corresponding matchings are edge-disjoint. In [Alishahi, M. and Hajiabolhassan, H., On the Chromatic Number of Matching Kneser Graphs, Combin. Probab. and Comput. 29 (2020), no. 1, 1--21.] it was conjectured that for any connected graph $G$ and positive integer $r\geq 2$, the chromatic number of $\textsf{KG}(G, rK_2)$ is equal to $|E(G)|-\textsf{ex}(G,rK_2)$, where $\textsf{ex}(G,rK_2)$ denotes the largest number of edges in $G$ avoiding a matching of size $r$. In this note, we show that the conjecture is not true for snarks.
Asymptotic Distribution of the Zeros of recursively defined Non-Orthogonal Polynomials
Published
• View Publication
• BIB
We study the zero distribution of non-orthogonal polynomials attached to $g(n)=s(n)=n^2$: \begin{equation*} Q_n^g(x)= x \sum_{k=1}^n g(k) \, Q_{n-k}^g(x), \quad Q_0^g(x):=1. \end{equation*} It is known that the case $g=id$ involves Chebyshev polynomials of the second kind. The zeros of $Q_n^s(x)$ are real, simple, and are located in $(-6\sqrt{3},0]$. Let $N_n(a,b)$ be the number of zeros between $-6 \sqrt{3} \leq a < b \leq 0$. Then we determine a density function $v(x)$, such that \begin{equation*} \lim_{n \rightarrow \infty} \frac{N_n(a,b)}{n} = \int_a^b v(x) \,\, \mathrm{d}x. \end{equation*} The polynomials $Q_n^s(x)$ satisfy a four-term recursion. We present in detail an analysis of the fundamental roots and give an answer to an open question on recent work by Adams and Tran--Zumba. We extend a method proposed by Freud for orthogonal polynomials to more general systems of polynomials. We determine the underlying moments and density function for the zero distribution.
The algebra of conjugacy classes of the wreath product of a finite group with the symmetric group
Published in Rocky Mountain Journal of Mathematics 53(2) (2023) 561-577
• View Publication
• BIB
For a finite group $G,$ we define the concept of $G$-partial permutation and use it to show that the structure coefficients of the center of the wreath product $G\wr \mathcal{S}_n$ algebra are polynomials in $n$ with non-negative integer coefficients. Our main tool is a combinatorial algebra which projects onto the center of the group $G\wr \mathcal{S}_n$ algebra for every $n.$ This generalizes the Ivanov and Kerov method to prove the polynomiality property for the structure coefficients of the center of the symmetric group algebra.
Random Regular Bipartite Graphs Satisfy Weak Virial Positivity, for a Large Range of the Parameters
We deal with $r$-regular bipartite graphs with $2n$ vertices. In a previous paper, Butera, Pernici and the author have introduced a quantity $u(i)$, $u(i) = -\ln(i!m\_i)$, a function of the number of $i$-matchings, $m\_i$, and conjectured that the fraction of graphs that violate $Δ^k u(i) > 0$ for $k > 1$ vanishes as $n$ goes to infinity.
Here $Δ$ is the finite difference operator. We now more particularly define the "Virial Positivity Conjecture" as the conjecture that the fraction of graphs that satisfy $Δ^k u(i)$ go to 0 for all $k > 1$ and $i$, approaches 1 as $n$ goes to infinity. The "Weak Virial Positivity Conjecture" is the conjecture that for each $i$ and $k > 1$ the probability that $Δ^k u(i) > 0$ goes to $1$ as $n$ goes to infinity. The term Virial is used since the condition $Δ^k u(i) > 0$ corresponds to the positivity of the Virial coefficients for infinite regular lattices.
Herein we prove Weak Virial Positivity for the range of parameters $r < 11$, $i+k < 101$, $1 < k < 28$,or $i+k < 30$ all $r$. A formalism of Wanless as systematized by Pernici is central to this effort. Basically this paper is a corollary to our parallel attack on graph positivity in a previous paper. We assume basic knowledge of this previous paper.
eGHWT: The Extended Generalized Haar-Walsh Transform
Published
• View Publication
• BIB
Extending computational harmonic analysis tools from the classical setting of regular lattices to the more general setting of graphs and networks is very important and much research has been done recently. The Generalized Haar-Walsh Transform (GHWT) developed by Irion and Saito (2014) is a multiscale transform for signals on graphs, which is a generalization of the classical Haar and Walsh-Hadamard Transforms. We propose the extended Generalized Haar-Walsh Transform (eGHWT), which is a generalization of the adapted time-frequency tilings of Thiele and Villemoes (1996). The eGHWT examines not only the efficiency of graph-domain partitions but also that of "sequency-domain" partitions simultaneously. Consequently, the eGHWT and its associated best-basis selection algorithm for graph signals significantly improve the performance of the previous GHWT with the similar computational cost, $O(N \log N)$, where $N$ is the number of nodes of an input graph. While the GHWT best-basis algorithm seeks the most suitable orthonormal basis for a given task among more than $(1.5)^N$ possible orthonormal bases in $\mathbb{R}^N$, the eGHWT best-basis algorithm can find a better one by searching through more than $0.618\cdot(1.84)^N$ possible orthonormal bases in $\mathbb{R}^N$. This article describes the details of the eGHWT best-basis algorithm and demonstrates its superiority using several examples including genuine graph signals as well as conventional digital images viewed as graph signals. Furthermore, we also show how the eGHWT can be extended to 2D signals and matrix-form data by viewing them as a tensor product of graphs generated from their columns and rows and demonstrate its effectiveness on applications such as image approximation.
New symmetric 2-(176,50,14) designs
In this paper we construct two new symmetric designs with parameters 2-(176,50,14) as designs invariant under certain subgroups of the full automorphism group of the Higman design. One is self-dual and has the full automorphism group of size 11520 and other is not self-dual and has the full automorphism group of size 2520.
Finite simple automorphism groups of edge-transitive maps
Published
• View Publication
• BIB
Building on earlier results for regular maps and for orientably regular chiral maps, we classify the non-abelian finite simple groups arising as automorphism groups of maps in each of the 14 Graver-Watkins classes of edge-transitive maps.
Graph-theoretic estimation of reconfigurability in origami-based metamaterials
Published
• View Publication
• BIB
Origami-based mechanical metamaterials have recently received significant scientific interest due to their versatile and reconfigurable architectures. However, it is often challenging to account for all possible geometrical configurations of the origami assembly when each origami cell can take multiple phases. Here, we investigate the reconfigurability of a tessellation of origami-based cellular structures composed of bellows-like unit cells, specifically Tachi-Miura Polyhedron (TMP). One of the unique features of the TMP is that a single cell can take four different phases in a rigid foldable manner. Therefore, the TMP tessellation can achieve various shapes out of one originally given assembly. To assess the geometrical validity of the astronomical number of origami phase combinations, we build a graph-theoretical framework to describe the connectivity of unit cells and to analyze the reconfigurability of the tessellations. Our approach can pave the way to develop a systematic computational tool to design origami-based mechanical metamaterials with tailored properties.