Showing 20 papers (Total: 83502 papers, 48219 authors in database)
An Optimization Approach to Degree Deviation and Spectral Radius
Published
• View Publication
• BIB
For a finite, simple, and undirected graph $G$ with $n$ vertices and average degree $d$, Nikiforov introduced the degree deviation of $G$ as $s=\sum_{u\in V(G)}\left|d_G(u)-d\right|$. Provided that $G$ has largest eigenvalue $λ$, minimum degree at least $δ$, and maximum degree at most $Δ$, where $0\leqδ<d<Δ<n$, we show $$s\leq \frac{2n(Δ-d)(d-δ)}{Δ-δ} \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\mbox{and}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, λ\geq \begin{cases} \frac{d^2n}{\sqrt{d^2n^2-s^2}} & \mbox{, if } s\leq \frac{dn}{\sqrt{2}},\\[3mm] \frac{2s}{n} & \mbox{, if } s> \frac{dn}{\sqrt{2}}. \end{cases}$$ Our results are based on a smoothing technique relating the degree deviation and the largest eigenvalue to low-dimensional non-linear optimization problems.
Towards plethystic $\mathfrak{sl}_2$ crystals
To find crystals of $\mathfrak{sl}_2$ representations of the form $Λ^n\text{Sym}^r\mathbb{C}^2$ it suffices to solve the combinatorial problem of decomposing Young's lattice into symmetric, saturated chains. We review the literature on this latter problem, and present a strategy to solve it. For $n \le 4$, the strategy recovers recently discovered solutions. We obtain (i) counting formulas for plethystic coefficients, (ii) new recursive formulas for plethysms of Schur functions, and (iii) formulas for the number of constituents of $Λ^n\text{Sym}^r\mathbb{C}^2$.
The hypergraph removal process
Published
• View Publication
• BIB
Let $k\geq 2$ and fix a $k$-uniform hypergraph $\mathcal{F}$. Consider the random process that, starting from a $k$-uniform hypergraph $\mathcal{H}$ on $n$ vertices, repeatedly deletes the edges of a copy of $\mathcal{F}$ chosen uniformly at random and terminates when no copies of $\mathcal{F}$ remain. Let $R(\mathcal{H},\mathcal{F})$ denote the number of edges that are left after termination. We show that $R(\mathcal{H},\mathcal{F})=n^{k-1/ρ\pm o(1)}$, where $ρ:=(\lvert E(\mathcal{F})\rvert-1)/(\lvert V(\mathcal{F})\rvert -k)$, holds with high probability provided that $\mathcal{F}$ is strictly $k$-balanced and $\mathcal{H}$ is sufficiently dense with pseudorandom properties. Since we may in particular choose $\mathcal{F}$ and $\mathcal{H}$ to be complete graphs, this confirms the major folklore conjecture in the area in a very strong form.
Ancient caloric functions and parabolic frequency on graphs
Published
• View Publication
• BIB
We study ancient solutions to discrete heat equations on some weighted graphs. On a graph of the form of a product with $\bb Z,$ we show that there are no non-trivial ancient solutions with polynomial growth. This result is parallel to the case of finite graphs, which is also discussed. Along the way, we prove a backward uniqueness result for solutions with appropriate decaying rate based on a monotonicity formula of parabolic frequency.
Induced arithmetic removal for partition-regular patterns of complexity 1
Published
• View Publication
• BIB
In 2019, Fox, Tidor and Zhao (arXiv:1911.03427) proved an induced arithmetic removal lemma for linear patterns of complexity 1 in vector spaces over a fixed finite field. With no further assumptions on the pattern, this induced removal lemma cannot guarantee a fully pattern-free recolouring of the space, as some `non-generic' instances must necessarily remain. On the other hand, Bhattacharyya et al. (arXiv:1212.3849) showed that in the case of translation-invariant patterns, it is possible to obtain recolourings that eliminate the given pattern completely, with no exceptions left behind. This paper demonstrates that such complete removal can be achieved for all partition-regular arithmetic patterns of complexity 1.
Rainbow Arborescence Conjecture
The famous Ryser--Brualdi--Stein conjecture asserts that every $k \times k$ Latin square contains a partial transversal of size $k-1$. Since its appearance, the conjecture has attracted significant interest, leading to several proposed generalizations. One of the most notable of these, by Aharoni, Kotlar, and Ziv, conjectures that $k$ disjoint common bases of two matroids of rank $k$ have a common independent partial transversal of size $k-1$. Although simple counterexamples show that the size $k-1$ above cannot be improved to $k$ (i.e., a transversal instead of a partial transversal), it is remarkable that no such counterexample is known for the special case of spanning arborescences. This motivated the formulation of the Rainbow Arborescence Conjecture: any graph on $n$ vertices formed by the union of $n-1$ spanning arborescences contains an arborescence using exactly one arc from each.
We prove several partial results on this conjecture. We show that the computational problem of testing the existence of such an arborescence with a fixed root is NP-complete, verify the conjecture in several special cases, and study relaxations of the problem. In particular, we establish the validity of the conjecture when the underlying undirected graph is a cycle; this also yields a new result on systems of distinct representatives for intervals on a cycle.
Hamiltonian decompositions of the wreath product of hamiltonian decomposable digraphs
Published
• View Publication
• BIB
We affirm most open cases of a conjecture that first appeared in Alspach et al. (1987) which stipulates that the wreath (lexicographic) product of two hamiltonian decomposable directed graphs is also hamiltonian decomposable. Specifically, we show that the wreath product of a hamiltonian decomposable directed graph $G$, such that $|V(G)|$ is even and $|V(G)|\geqslant 2$, with a hamiltonian decomposable directed graph $H$, such that $|V(H)| \geqslant 4$, is also hamiltonian decomposable except possibly when $G$ is a directed cycle and $H$ is a directed graph of odd order that admits a decomposition into $c$ directed hamiltonian cycle where $c$ is odd and $3\leqslant c \leqslant |V(H)|-2$.
Dense halves in balanced 2-partition of K4-free graphs
A balanced 2-partition of a graph is a bipartition $A,A^c$ of $V(G)$ such that $|A|=|A^c|$. Balogh, Clemen, and Lidický conjectured that for every $K_4$-free graph on $n$ (even) vertices, there exists a balanced 2-partition $A,A^c$ such that $\max\{e(A),e(A^c)\}\leq n^2/16$ edges. In this paper, we present a family of counterexamples to the conjecture and provide a new upper bound ($0.074n^2$) for every sufficiently large even integer $n$.
Inertia and other properties of the matrix $\left[β(i,j)\right]$
Published
• View Publication
• BIB
Let $π(A)$, $ξ(A)$ and $ν(A)$, respectively, denote the number of positive, zero and negative eigenvalues of the matrix $A$. Then the triplet $(π(A), ξ(A), ν(A))$ is called the \emph{inertia} of $A$ and is denoted by $\textup{Inertia(A)}$. Let $β$ be the beta function. The inertia of the matrix $\left[β(i,j )\right]$ is shown to be $\left(\frac{n}{2},0,\frac{n}{2}\right)$ if $n$ is even, and $\left(\frac{n+1}{2},0,\frac{n-1}{2}\right)$ if $n$ is odd. %Its connections with Birkhoff-James orthogonality are given. It is also shown that $\left[β(i,j)\right]$ is Birkhoff-James orthogonal to the $n\times n$ identity matrix $I$ in the trace norm if and only if $n$ is even. %We prove that the inverse of $\left[{β(i,j)}\right]$ is an integer matrix. For $0<\la_1<\cdots<\la_n, 0<μ_1<\cdots<μ_n$, it is shown that the matrix $\left[(β(\la_i,μ_j))^m\right]$ is non singular if $μ_{i+1}-μ_{i}\in \N$ for all $1\leq i \leq n-1$. It is also shown that if $μ_{i+1}-μ_i \in \N$ for $1\leq i\leq n-1$, then for $m\in \mathbb N$, the matrix $\left[\frac{1}{β(\la_i,μ_j)^m}\right]$ is totally positive.
Gelfand-Tsetlin Crystals of Kostant-Kumar modules
Published
• View Publication
• BIB
We give Gelfand-Tsetlin crystals for the Kostant-Kumar modules for the finite simple Lie algebra of type A. Kostant-Kumar modules are cyclic submodules of the tensor product of two irreducible highest weight modules of a symmetrizable Kac-Moody Lie algebras. In this case (type A), we also provide a polytopal model for Kostant-Kumar modules in terms of BiKogan faces.
Flexible realizations existence: NP-completeness on sparse graphs and algorithms
One of the questions in Rigidity Theory is whether a realization of the vertices of a graph in the plane is flexible, namely, if it allows a continuous deformation preserving the edge lengths. A flexible realization of a connected graph in the plane exists if and only if the graph has a NAC-coloring, which is a surjective edge coloring by two colors such that for each cycle, either all the edges have the same color, or there are at least two edges of each color. The question whether a graph has a NAC-coloring, and hence also the existence of a flexible realization, has been proven to be NP-complete. We show that this question is also NP-complete on graphs with maximum degree five and on graphs with the average degree at most $4+\varepsilon$ for every fixed $\varepsilon >0$. We also show that NAC-colorings can be counted in linear time for graphs with bounded treewidth. Since the only existing implementation of checking the existence of a NAC-coloring is rather naive, we propose new algorithms along with their implementation, which is significantly faster. We also focus on searching all NAC-colorings of a graph, since they provide useful information about its possible flexible realizations.
Locally Markov walks on finite graphs
Published
• View Publication
• BIB
Locally Markov walks are natural generalizations of classical Markov chains, where instead of a particle moving independently of the past, it decides where to move next depending on the last action performed at the current location. We introduce the concept of locally Markov walks and we describe their stationary distribution and recurrent states, and we prove several properties such as irreducibility and ergodicity. For a particular locally Markov walk - the uniform unicycle walk on the complete graph - we investigate the mixing time and we prove that it exhibits cutoff.
Spectral radius of graphs of given size with forbidden a fan graph $F_6$
Published
• View Publication
• BIB
Let $F_k=K_1\vee P_{k-1}$ be the fan graph on $k$ vertices. A graph is said to be $F_k$-free if it does not contain $F_k$ as a subgraph. Yu et al. in [arXiv:2404.03423] conjectured that for $k\geq2$ and $m$ sufficiently large, if $G$ is an $F_{2k+1}$-free or $F_{2k+2}$-free graph, then $λ(G)\leq \frac{k-1+\sqrt{4m-k^2+1}}{2}$ and the equality holds if and only if $G\cong K_k\vee\left(\frac{m}{k}-\frac{k-1}{2}\right)K_1$. Recently, Li et al. in [arXiv:2409.15918] showed that the above conjecture holds for $k\geq 3$. The only left case is for $k=2$, which corresponds to $F_5$ or $F_6$. Since the case of $F_5$ was solved by Yu et al. in [arXiv:2404.03423] and Zhang and Wang in [On the spectral radius of graphs without a gem, Discrete Math. 347 (2024) 114171]. So, one needs only to deal with the case of $F_6$. In this paper, we solve the only left case by determining the maximum spectral radius of $F_6$-free graphs with size $m\geq 88$, and the corresponding extremal graph.
Erdős-Pósa property of cycles that are far apart
We prove that there exist functions $f,g:\mathbb{N}\to\mathbb{N}$ such that for all nonnegative integers $k$ and $d$, for every graph $G$, either $G$ contains $k$ cycles such that vertices of different cycles have distance greater than $d$ in $G$, or there exists a subset $X$ of vertices of $G$ with $|X|\leq f(k)$ such that $G-B_G(X,g(d))$ is a forest, where $B_G(X,r)$ denotes the set of vertices of $G$ having distance at most $r$ from a vertex of $X$.
Whitney Numbers of Rank-Metric Lattices and Code Enumeration
Published
• View Publication
• BIB
We investigate the Whitney numbers of the first kind of rank-metric lattices, which are closely linked to the open problem of enumerating rank-metric codes having prescribed parameters. We apply methods from the theory of hyperovals and linear sets to compute these Whitney numbers for infinite families of rank-metric lattices. As an application of our results, we prove asymptotic estimates on the density function of certain rank-metric codes that have been conjectured in previous work.
Random permutations acting on $k$--tuples have near--optimal spectral gap for $k=\mathrm{poly}(n)$
We extend Friedman's theorem to show that, for any fixed $r>1$, a random $2r$--regular Schreier graph associated with the action of $r$ uniformly random permutations of $[n]$ on $k_{n}$--tuples of distinct elements in $[n]$ has a near--optimal spectral gap with high probability, provided $k_{n}\leq n^{\frac{1}{20}-ε}.$ Previously this was known only for $k$--tuples where $k$ is fixed. In fact, we prove the stronger result of strong convergence of random permutations in irreducible representations of quasi--exponential dimension.
Along the way, we give a new bound for the expected stable irreducible character of a random permutation obtained via a word map, showing that $\mathbb{E}\left[χ^μ\left(w(σ_{1},\dots,σ_{r})\right)\right]=O\left(\frac{1}{\dimχ^μ}\right)=O\left(n^{-k}\right)$, where $k$ is the number of boxes outside the first row of the Young diagram $μ,$ solving one aspect of a conjecture of Hanany and Puder. We obtain this bound using an extension of Wise's $w$--cycle conjecture.
Restricted subgraphs of edge-colored graphs and applications
A properly edge-colored graph is a graph with a coloring of its edges such that no vertex is incident to two or more edges of the same color. A subgraph is called rainbow if all its edges have different colors. The problem of finding rainbow subgraphs or other restricted structures in edge-colored graphs has a long history, dating back to Euler's work on Latin squares. It has also proven to be a powerful method for studying several well-known questions in other areas.
In this survey, we will provide a brief introduction to this topic, discuss several results in this area, and demonstrate their applications to problems in graph decomposition, additive combinatorics, theoretical computer science, and coding theory.
On the order of 4-dimensional regular polytope numbers
Published
• View Publication
• BIB
In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those regular 4-polytopes. Moreover, we are able to obtain a more general result of the asymptotics for any degree-four polynomial $f$ satisfying $f(0)=0$ and $f(1)=1$.
The number of descendants in a preferential attachment graph
We study the number $X^{(n)}$ of vertices that can be reached from the last added vertex $n$ via a directed path (the descendants) in the standard preferential attachment graph. In this model, vertices are sequentially added, each born with outdegree $m\ge 2$; the endpoint of each outgoing edge is chosen among previously added vertices with probability proportional to the current degree of the vertex plus some number $ρ$.
We show that $X^{(n)}/n^ν$ converges in distribution as $n\to\infty$, where $ν$ depends on both $m$ and $ρ$, and the limiting distribution is given by a product of a constant factor and the $(1-ν)$-th power of a Gamma(m/(m-1),1) variable. The proof uses a Pólya urn representation of preferential attachment graphs, and the arguments of Janson (2024) where the same problem was studied in uniform attachment graphs. Further results, including convergence of all moments and analogues for the version with possible self-loops are provided.
Combinatorial interpretation of the coefficients of the causal set d'Alembertian
Published
• View Publication
• BIB
The causal set theory d'Alembertian has rational coefficients for which alternating expressions are known. Here, a combinatorial interpretation of these numbers is given.