Related papers: Expander Graphs are Non-Malleable Codes
Let $G$ be a graph attaining the maximum spectral radius among all connected nonregular graphs of order $n$ with maximum degree $\Delta$. Let $\lambda_1(G)$ be the spectral radius of $G$. A nice conjecture due to Liu, Shen and Wang [On the…
For planar graphs, we consider the problems of \emph{list edge coloring} and \emph{list total coloring}. Edge coloring is the problem of coloring the edges while ensuring that two edges that are adjacent receive different colors. Total…
A classic result in extremal graph theory, known as Mantel's theorem, states that every non-bipartite graph of order $n$ with size $m>\lfloor \frac{n^{2}}{4}\rfloor$ contains a triangle. Lin, Ning and Wu [Comb. Probab. Comput. 30 (2021)…
In this work we show that given a connectivity graph $G$ of a $[[n,k,d]]$ quantum code, there exists $\{K_i\}_i, K_i \subset G$, such that $\sum_i |K_i|\in \Omega(k), \ |K_i| \in \Omega(d)$, and the $K_i$'s are $\tilde{\Omega}(…
It is known that, for an oriented hypergraph with (vertex) coloring number $\chi$ and smallest and largest normalized Laplacian eigenvalues $\lambda_1$ and $\lambda_N$, respectively, the inequality $\chi\geq…
For a number $l\geq 2$, let ${\cal{G}}_l$ denote the family of graphs which have girth $2l+1$ and have no odd hole with length greater than $2l+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{l\geq 2} {\cal{G}}_{l}$ is…
Let $\mathcal{G}_{n, \beta^*}$ $(\mathcal{G}^*_{n,\beta^*})$ be the set of all (connected) graphs of order $n$ with fractional matching number $\beta^*$. In this paper, the graphs with maximal spectral radius in $\mathcal{G}_{n,\beta^*}$…
A graph of order $n>3$ is called {switching separable} if its modulo-2 sum with some complete bipartite graph on the same set of vertices is divided into two mutually independent subgraphs, each having at least two vertices. We prove the…
Expander graphs are highly connected sparse finite graphs. They play an important role in computer science as basic building blocks for network constructions, error correcting codes, algorithms and more. In recent years they have started to…
In this paper we study the spectrum of the operator \begin{equation} \label{ope} H:=(-\Delta)^{M/2}+\mathcal{V}\ , \quad M>0\ , \end{equation} on $L^2(\mathbb{R}^d/\Gamma)$, with $\Gamma$ a maximal dimension lattice in $\mathbb{R}^d$ and…
This paper proves the existence of $t$-identifying codes on the class of undirected de Bruijn graphs with string length $n$ and alphabet size $d$, referred to as $\mathcal{B}(d,n)$. It is shown that $\mathcal{B}(d,n)$ is $t$-identifiable…
We introduce and investigate the solvable graph $\Gamma_\mathfrak{S}(L)$ of a finite-dimensional Lie algebra $L$ over a field $F$. The vertices are the elements outside the solvabilizer $\sol(L)$, and two vertices are adjacent whenever they…
This paper formalizes connections between stability of polynomials and convergence rates of Markov Chain Monte Carlo (MCMC) algorithms. We prove that if a (multivariate) partition function is nonzero in a region around a real point…
Large graphs are sometimes studied through their degree sequences (power law or regular graphs). We study graphs that are uniformly chosen with a given degree sequence. Under mild conditions, it is shown that sequences of such graphs have…
To untangle a geometric graph means to move some of the vertices so that the resulting geometric graph has no crossings. Pach and Tardos [Discrete Comput. Geom., 2002] asked if every n-vertex geometric planar graph can be untangled while…
An identifying open code of a graph $G$ is a set $S$ of vertices that is both a separating open code (that is, $N_G(u) \cap S \ne N_G(v) \cap S$ for all distinct vertices $u$ and $v$ in $G$) and a total dominating set (that is, $N(v) \cap S…
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. For the broad history of the problem see [RaiSh]. It is known that for a fixed $n$ the sequence \[ \frac{m(n,r)}{r^n} \] has a limit.…
An $(L,d)^*$-coloring is a mapping $\phi$ that assigns a color $\phi(v)\in L(v)$ to each vertex $v\in V(G)$ such that at most $d$ neighbors of $v$ receive colore $\phi(v)$. A graph is called $(m,d)^*$-choosable, if $G$ admits an…
Add to each level of binary tree edges to make the induced graph on the level a uniform expander. It is shown that such a graph admits no non-constant bounded harmonic functions.
We show that planar embeddable 3-connected CAD graphs are generically non-soluble. A CAD graph represents a configuration of points on the Euclidean plane with just enough distance dimensions between them to ensure rigidity. Formally, a CAD…