Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Simultaneous tiling
We discuss problems of simultaneous tiling. This means that we have an object (set, function) which tiles space with two or more different sets of translations. The most famous problem of this type is the Steinhaus problem which asks for a set simultaneously tiling the plane with all rotates of the integer lattice as translation sets.
Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture
Published
• View Publication
• BIB
An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the study of "random-like" properties of Ramsey graphs and the study of small-ball probabilities for low-degree polynomials of independent random variables.
The proof proceeds via an "additive structure" dichotomy on the degree sequence, and involves a wide range of different tools from Fourier analysis, random matrix theory, the theory of Boolean functions, probabilistic combinatorics, and low-rank approximation. One of the consequences of our result is the resolution of an old conjecture of Erdős and McKay, for which Erdős offered one of his notorious monetary prizes.
Stirling's approximation and a hidden link between two of Ramanujan's approximations
A conjectured relation between Ramanujan's asymptotic approximations to the exponential function and the exponential integral is established. The proof involves Stirling numbers, second-order Eulerian numbers, modifications of both of these, and Stirling's approximation to the gamma function. Our work provides new information about the coefficients in Stirling's approximation and their connection to Ramanujan's approximation coefficients. A more analytic second proof of the main result is also included in an appendix.
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.