Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Descriptive combinatorics and distributed algorithms
Published
• View Publication
• BIB
This is a draft of an article to appear in the October 2022 issue of the Notices of the AMS. In this survey article we explore a fascinating area called descriptive combinatorics and its recently discovered connections to distributed algorithms -- a fundamental part of computer science that is becoming increasingly important in the modern era of decentralized computation. In the first part of the article we give a brief introduction to some of the central notions and problems of descriptive combinatorics. The second part is devoted to an overview of some of the results concerning the interactions between descriptive combinatorics and distributed algorithms, as well as a few open problems. The article should be accessible to readers with little to no background in either descriptive set theory or computer science.
Functional graphs of families of quadratic polynomials
Published
• View Publication
• BIB
We study functional graphs generated by several quadratic polynomials, acting simultaneously on a finite field of odd characteristic. We obtain several results about the number of leaves in such graphs. In particular, in the case of graphs generated by three polynomials, we relate the distribution of leaves to the Sato-Tate distribution of Frobenius traces of elliptic curves. We also present extensive numerical results which we hope may shed some light on the distribution of leaves for larger families of polynomials.
Generalized non-coprime graphs of groups
Published
• View Publication
• BIB
Let G be a finite group with identity e and H \neq \{e\} be a subgroup of G. The generalized non-coprime graph GAmma_{G,H} of G with respect to H is the simple undirected graph with G - \{e \}\) as the vertex set and two distinct vertices a and b are adjacent if and only if \gcd(|a|,|b|) \neq 1 and either a \in H or b \in H, where |a| is the order of a\in G. In this paper, we study certain graph theoretical properties of generalized non-coprime graphs of finite groups, concentrating on cyclic groups. More specifically, we obtain necessary and sufficient conditions for the generalized non-coprime graph of a cyclic group to be in the class of stars, paths, cycles, triangle-free, complete bipartite, complete, unicycle, split, claw-free, chordal or perfect graphs. Then we show that widening the class of groups to all finite nilpotent groups gives us no new graphs, but we give as an example of contrasting behaviour the class of EPPO groups (those in which all elements have prime power order). We conclude with a connection to the Gruenberg--Kegel graph.
On adjacency operators of locally finite graphs
Published in Izvestiya RAN: Ser. Mat. 88:3 (2024) 139-191 (English translation of the paper: Izvestiya: Mathematics 88:3 (2024) 542-589)
• View Publication
• BIB
A graph $Γ$ is called locally finite if, for each vertex $v$ of $Γ$, the set $Γ(v)$ of all neighbors of $v$ in $Γ$ is finite. For any locally finite graph $Γ$ with vertex set $V(Γ)$ and for any field $F$, let $F^{V(Γ)}$ be the vector space over $F$ of all functions $V(Γ) \to F$ (with natural componentwise operations) and let $A^{({\rm alg})}_{Γ,F}$ be the linear operator $F^{V(Γ)} \to F^{V(Γ)}$ defined by $(A^{({\rm alg})}_{Γ,F}(f))(v) = \sum_{u \in Γ(v)}f(u)$ for all $f \in F^{V(Γ)}$, $v \in V(Γ)$. In the case of finite graph $Γ$ the mapping $A^{({\rm alg})}_{Γ,F}$ is the well known operator defined by the adjacency matrix of $Γ$ (over $F$), and the theory of eigenvalues and eigenfunctions of such operator is a well-developed (at least in the case $F = \mathbb{C}$) part of the theory of finite graphs. In this paper we develope a theory of eigenvalues and eigenfunctions of $A^{({\rm alg})}_{Γ,F}$ for arbitrary infinite locally finite graphs $Γ$ (although a few results may be of interest for finite graphs) and fields $F$ with a special emphasis on the case when $Γ$ is connected with uniformly bounded vertex degrees and $F = \mathbb{C}$. By the author opinion, previous attempts in this direction were not quite satisfactory since were limited by consideration of rather special eigenfunctions and corresponding eigenvalues.
An upper bound on the nullity of signed graphs
In this paper, an upper bound on the nullity of signed graphs in terms of the cyclomatic number and the number of pendant vertices is proved, and the corresponding extremal signed graphs are completely characterized.
Disproof of a conjecture on the minimum Wiener index of signed trees
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of distances between all unordered pairs of vertices. Sam Spiro [The Wiener index of signed graphs, Appl. Math. Comput., 416(2022)126755] recently introduced the Wiener index for a signed graph and conjectured that the path $P_n$ with alternating signs has the minimum Wiener index among all signed trees with $n$ vertices. By constructing an infinite family of counterexamples, we prove that the conjecture is false whenever $n$ is at least 30.
Common Pairs of Graphs
Published
• View Publication
• BIB
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimized by a random colouring with an equal proportion of each colour. We extend this notion to an asymmetric setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimized by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. We extend many of the results on common graphs to this asymmetric setting. In addition, we obtain several novel results for common pairs of graphs with no natural analogue in the symmetric setting. We also obtain new examples of common graphs in the classical sense and propose several open problems.
Minimum non-chromatic-$λ$-choosable graphs
Published
• View Publication
• BIB
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 list assignment $L$ of $G$ such that the colour set $\bigcup_{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$. The concept of $λ$-choosability puts $k$-colourability and $k$-choosability in the same framework: If $λ= \{k\}$, then $λ$-choosability is equivalent to $k$-choosability; if $λ$ consists of $k $ copies of $1$, then $λ$-choosability is equivalent to $k $-colourability. If $G$ is $λ$-choosable, then $G$ is $k_λ$-colourable. On the other hand, there are $k_λ$-colourable graphs that are not $λ$-choosable, provided that $λ$ contains an integer larger than $1$. Let $φ(λ)$ be the minimum number of vertices in a $k_λ$-colourable non-$λ$-choosable graph. This paper determines the value of $φ(λ)$ for all $λ$.
Zolotarev polynomials of degree 5, 6 and 7 with simple critical points and their moduli spaces
A polynomial $p\in \mathbb{C}[z]$ with three finite values is called the Zolotarev polynomial. For a class of such polynomials with the given degree, given passport and simple critical points we define a \emph{combinatorial moduli space}. A combinatorial moduli space have the same essential properties as analytical moduli space, but much easier to construct. We study these objects for Zolotarev polynomials of degree 5, 6 and 7.
Neighborly spheres and transversal numbers
Published
• View Publication
• BIB
We survey several old and new problems related to the number of simplicial spheres, the number of neighborly simplicial spheres, the number of centrally symmetric simplicial spheres that are cs-neighborly, and the transversal numbers of hypergraphs that arise from simplicial spheres.
Sombor-index-like invariants of some graphs
Published
• View Publication
• BIB
The Sombor index (SO) is a vertex-degree-based graph invariant, defined as the sum over all pairs of adjacent vertices of $\sqrt{d_i^2+d_j^2}$, where $d_i$ is the degree of the $i$-th vertex. It has been conceived using geometric considerations. Recently, a series of new SO-like degree-based graph invariants (denoted by $SO_1, SO_2,..., SO_6$) is taken into consideration, when the geometric background of several classical topological indices (Zagreb, Albertson) has considered. In this paper, we compute and study these new indices for some graphs, cactus chains and polymers.
Bounding the number of odd paths in planar graphs via convex optimization
Published
• View Publication
• BIB
Let $N_{\mathcal{P}}(n,H)$ denote the maximum number of copies of $H$ in an $n$ vertex planar graph. The problem of bounding this function for various graphs $H$ has been extensively studied since the 70's. A special case that received a lot of attention recently is when $H$ is the path on $2m+1$ vertices, denoted $P_{2m+1}$. Our main result in this paper is that $$ N_{\mathcal{P}}(n,P_{2m+1})=O(m^{-m}n^{m+1})\;.$$ This improves upon the previously best known bound by a factor $e^{m}$, which is best possible up to the hidden constant, and makes a significant step towards resolving conjectures of Gosh et al. and of Cox and Martin. The proof uses graph theoretic arguments together with (simple) arguments from the theory of convex optimization.
Various bounds on the minimum number of arcs in a $k$-dicritical digraph
Published
• View Publication
• BIB
The dichromatic number $\vecχ(G)$ of a digraph $G$ is the least integer $k$ such that $G$ can be partitioned into $k$ acyclic digraphs. A digraph is $k$-dicritical if $\vecχ(G) = k$ and each proper subgraph $H$ of $G$ satisfies $\vecχ(H) \leq k-1$. %An oriented graph is a digraph with no cycle of length $2$. We prove various bounds on the minimum number of arcs in a $k$-dicritical digraph, a structural result on $k$-dicritical digraphs and a result on list-dicolouring.
We characterise $3$-dicritical digraphs $G$ with $(k-1)|V(G)| + 1$ arcs. For $k \geq 4$, we characterise $k$-dicritical digraphs $G$ on at least $k+1$ vertices and with $(k-1)|V(G)| + k-3$ arcs, generalising a result of Dirac. We prove that, for $k \geq 5$, every $k$-dicritical digraph $G$ has at least $(k-1/2 - 1/(k-1)) |V(G)| - k(1/2 - 1/(k-1))$ arcs, which is the best known lower bound. We prove that the number of connected components induced by the vertices of degree $2(k-1)$ of a $k$-dicritical digraph is at most the number of connected components in the rest of the digraph, generalising a result of Stiebitz. Finally, we generalise a Theorem of Thomassen on list-chromatic number of undirected graphs to list-dichromatic number of digraphs.
Partially Palindromic Compositions
We generalize recent work of Andrews, Just, and Simay on modular palindromic compositions and anti-palindromic compositions by viewing all compositions partially (modular) palindromic or anti-palindromic. More precisely, we enumerate compositions by the extent to which they are (modular) palindromic or anti-palindromic. We obtain various closed formulas from generating functions and provide bijective proofs for many of them. We recover some known results of Andrews, Just, and Simay and discover new connections with numerous sequences in The On-Line Encyclopedia of Integer Sequences (OEIS).
On Brooks' Theorem
Published
• View Publication
• BIB
In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.
5-Coloring Reconfiguration of Planar Graphs with No Short Odd Cycles
Published in Journal of Graph Theory. Vol. 105(4). April 2024. pp. 670-679
• View Publication
• BIB
The coloring reconfiguration graph $\mathcal{C}_k(G)$ has as its vertex set all the proper $k$-colorings of $G$, and two vertices in $\mathcal{C}_k(G)$ are adjacent if their corresponding $k$-colorings differ on a single vertex. Cereceda conjectured that if an $n$-vertex graph $G$ is $d$-degenerate and $k\geq d+2$, then the diameter of $\mathcal{C}_k(G)$ is $O(n^2)$. Bousquet and Heinrich proved that if $G$ is planar and bipartite, then the diameter of $\mathcal{C}_5(G)$ is $O(n^2)$. (This proves Cereceda's Conjecture for every such graph with degeneracy 3.) They also highlighted the particular case of Cereceda's Conjecture when $G$ is planar and has no 3-cycles. As a partial solution to this problem, we show that the diameter of $\mathcal{C}_5(G)$ is $O(n^2)$ for every planar graph $G$ with no 3-cycles and no 5-cycles.
On the chromatic numbers of 3-dimensional slices
Published in Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI)518(2022), 94-113
• View Publication
• BIB
We prove that for an arbitrary $\varepsilon > 0$ holds \[ χ(\mathbb{R}^3 \times [0,\varepsilon]^6) \geq 10, \] where $χ(M)$ stands for the chromatic number of an (infinite) graph with the vertex set $M$ and the edge set consists of pairs of monochromatic points at the distance 1 apart.
Maximising the number of regions when embedding a N-cycle graph
We find the maximal number of regions that a straight line embedding of a N-cycle graph can enclose.
Further results on outer independent $2$-rainbow dominating functions of graphs
Published in RAIRO - Operations Research (2023)
• View Publication
• BIB
Let $G=(V(G),E(G))$ be a graph. A function $f:V(G)\rightarrow \mathbb{P}(\{1,2\})$ is a $2$-rainbow dominating function if for every vertex $v$ with $f(v)=\emptyset$, $f\big{(}N(v)\big{)}=\{1,2\}$. An outer-independent $2$-rainbow dominating function (OI$2$RD function) of $G$ is a $2$-rainbow dominating function $f$ for which the set of all $v\in V(G)$ with $f(v)=\emptyset$ is independent. The outer independent $2$-rainbow domination number (OI$2$RD number) $γ_{oir2}(G)$ is the minimum weight of an OI$2$RD function of $G$.
In this paper, we first prove that $n/2$ is a lower bound on the OI$2$RD number of a connected claw-free graph of order $n$ and characterize all such graphs for which the equality holds, solving an open problem given in an earlier paper. In addition, a study of this parameter for some graph products is carried out. In particular, we give a closed (resp. an exact) formula for the OI$2$RD number of rooted (resp. corona) product graphs and prove upper bounds on this parameter for the Cartesian product and direct product of two graphs.
Counting Abelian Squares for a Problem in Quantum Computing
Published
• View Publication
• BIB
In a recent work I developed a formula for efficiently calculating the number of abelian squares of length $t+t$ over an alphabet of size $d$, where $d$ may be very large. Here I show how the expressiveness of a certain class of parameterized quantum circuits can be reduced to the problem of counting abelian squares over a large alphabet, and use the recently developed formula to efficiently calculate this quantity.