graph
34629 papers tagged with this keyword
On a representation of the automorphism group of a graph in a unimodular group
We investigate a representation of the automorphism group of a connected graph $X$ in the group of unimodular matrices $U_β$ of dimension $β$, where $β$ is the Betti number of graph $X$. We classify the graphs for which the automorphism group does not embed into $U_β$. It follows that if $X$ has no pendant vertices and $X$ is not a simple cycle, then the representation is faithful and $\mathrm{Aut}\,X$ acts faithfully on $H_1(X,\mathbb{Z})$. The latter statement can be viewed as a discrete analogue of a classical Hurwitz's theorem on Riemann surfaces of genera greater than one.
Prophet Matching Meets Probing with Commitment
We consider the online stochastic matching problem for bipartite graphs where edges adjacent to an online node must be probed to determine if they exist, based on known edge probabilities. Our algorithms respect commitment, in that if a probed edge exists, it must be used in the matching. We study this matching problem subject to a downward-closed constraint on each online node's allowable edge probes. Our setting generalizes the commonly studied patience (or time-out) constraint which limits the number of probes that can be made to an online node's adjacent edges. We introduce a new LP that we prove is a relaxation of an optimal offline probing algorithm (the adaptive benchmark) and which overcomes the limitations of previous LP relaxations.
(1) A tight $\frac{1}{2}$ ratio when the stochastic graph is generated from a known stochastic type graph where the $t^{th}$ online node is drawn independently from a known distribution $\scr{D}_{π(t)}$ and $π$ is chosen adversarially. We refer to this setting as the known i.d. stochastic matching problem with adversarial arrivals.
(2) A $1-1/e$ ratio when the stochastic graph is generated from a known stochastic type graph where the $t^{th}$ online node is drawn independently from a known distribution $\scr{D}_{π(t)}$ and $π$ is a random permutation. We refer to this setting as the known i.d. stochastic matching problem with random order arrivals.
Our results improve upon the previous best competitive ratio of $0.46$ in the known i.i.d. setting against the standard adaptive benchmark. Moreover, we are the first to study the prophet secretary matching problem in the context of probing, where we match the best known classical result.
Extremal problems of Erdős, Faudree, Schelp and Simonovits on paths and cycles
Published in J. Combin. Theory Ser. B 152 (2022), 399--414
• View Publication
• BIB
For positive integers $n>d\geq k$, let $φ(n,d,k)$ denote the least integer $φ$ such that every $n$-vertex graph with at least $φ$ vertices of degree at least $d$ contains a path on $k+1$ vertices. Many years ago, Erdős, Faudree, Schelp and Simonovits proposed the study of the function $φ(n,d,k)$, and conjectured that for any positive integers $n>d\geq k$, it holds that $φ(n,d,k)\leq \lfloor\frac{k-1}{2}\rfloor\lfloor\frac{n}{d+1}\rfloor+ε$, where $ε=1$ if $k$ is odd and $ε=2$ otherwise. In this paper we determine the values of the function $φ(n,d,k)$ exactly. This confirms the above conjecture of Erdős et al. for all positive integers $k\neq 4$ and in a corrected form for the case $k=4$. Our proof utilizes, among others, a lemma of Erdős et al. \cite{EFSS89}, a theorem of Jackson \cite{J81}, and a (slight) extension of a very recent theorem of Kostochka, Luo and Zirlin \cite{KLZ}, where the latter two results concern maximum cycles in bipartite graphs. Moreover, we construct examples to provide answers to two closely related questions raised by Erdős et al.
On deficiency problems for graphs
Published
• View Publication
• BIB
Motivated by analogous questions in the setting of Steiner triple systems and Latin squares, Nenadov, Sudakov and Wagner [Completion and deficiency problems, Journal of Combinatorial Theory Series B, 2020] recently introduced the notion of graph deficiency. Given a global spanning property $\mathcal P$ and a graph $G$, the deficiency $\text{def}(G)$ of the graph $G$ with respect to the property $\mathcal P$ is the smallest non-negative integer $t$ such that the join $G*K_t$ has property $\mathcal P$. In particular, Nenadov, Sudakov and Wagner raised the question of determining how many edges an $n$-vertex graph $G$ needs to ensure $G*K_t$ contains a $K_r$-factor (for any fixed $r\geq 3$). In this paper we resolve their problem fully. We also give an analogous result which forces $G*K_t$ to contain any fixed bipartite $(n+t)$-vertex graph of bounded degree and small bandwidth.
On $12$-regular nut graphs
A nut graph is a simple graph whose adjacency matrix is singular with $1$-dimensional kernel such that the corresponding eigenvector has no zero entries. In 2020, Fowler et al. characterised for each $d \in \{3,4,\ldots,11\}$ all values $n$ such that there exists a $d$-regular nut graph of order $n$. In the present paper, we determine all values $n$ for which a $12$-regular nut graph of order $n$ exists. We also present a result by which there are infinitely many circulant nut graphs of degree $d \equiv 0 \pmod 4$ and no circulant nut graph of degree $d \equiv 2 \pmod 4$.
Edge-connectivity matrices and their spectra
Published
• View Publication
• BIB
The edge-connectivity matrix of a weighted graph is the matrix whose off-diagonal $v$-$w$ entry is the weight of a minimum edge cut separating vertices $v$ and $w$. Its computation is a classical topic of combinatorial optimization since at least the seminal work of Gomory and Hu. In this article, we investigate spectral properties of these matrices. In particular, we provide tight bounds on the smallest eigenvalue and the energy. Moreover, we study the eigenvector structure and show in which cases eigenvectors can be easily obtained from matrix entries. These results in turn rely on a new characterization of those nonnegative matrices that can actually occur as edge-connectivity matrices.
Ramsey Numbers for Non-trivial Berge Cycles
Published
• View Publication
• BIB
In this paper, we consider an extension of cycle-complete graph Ramsey numbers to Berge cycles in hypergraphs: for $k \geq 2$, a {\em non-trivial Berge $k$-cycle} is a family of sets $e_1,e_2,\dots,e_k$ such that $e_1 \cap e_2, e_2 \cap e_3,\dots,e_k \cap e_1$ has a system of distinct representatives and $e_1 \cap e_2 \cap \dots \cap e_k = \emptyset$. In the case that all the sets $e_i$ have size three, let $\mathcal{B}_k$ denotes the family of all non-trivial Berge $k$-cycles. The {\em Ramsey numbers} $R(t,\mathcal{B}_k)$ denote the minimum $n$ such that every $n$-vertex $3$-uniform hypergraph contains either a non-trivial Berge $k$-cycle or an independent set of size $t$. We prove \[ R(t, \mathcal{B}_{2k}) \leq t^{1 + \frac{1}{2k-1} + \frac{4}{\sqrt{\log t}}}\] and moreover, we show that if a conjecture of Erdős and Simonovits \cite{ES} on girth in graphs is true, then this is tight up to a factor $t^{o(1)}$ as $t \rightarrow \infty$.
Hermitian adjacency matrix of the second kind for mixed graphs
Published
• View Publication
• BIB
This contribution gives an extensive study on spectra of mixed graphs via its Hermitian adjacency matrix of the second kind { ($N$-matrix for short)} introduced by Mohar \cite{0001}. This matrix is indexed by the vertices of the mixed graph, and the entry corresponding to an arc from $u$ to $v$ is equal to the sixth root of unity $ω=\frac{1+{\bf i}\sqrt{3}}{2}$ (and its symmetric entry is $\barω=\frac{1-{\bf i}\sqrt{3}}{2}$); the entry corresponding to an undirected edge is equal to 1, and 0 otherwise. The main results of this paper include the following: {equivalent} conditions for a mixed graph that shares the same spectrum of its $N$-matrix with its underlying graph are given. A sharp upper bound on the spectral radius is established and the corresponding extremal mixed graphs are identified. Operations which are called two-way and three-way switchings are discussed--they give rise to some cospectral mixed graphs. We extract all the mixed graphs whose rank of its $N$-matrix is $2$ (resp. 3). Furthermore, we show that {if $M_G$ is a connected mixed graph with rank $2,$ then $M_G$ is switching equivalent to each connected mixed graph to which it is cospectral}. However, this does not hold for some connected mixed graphs with rank $3$. We identify all mixed graphs whose eigenvalues of its $N$-matrix lie in the range $(-α,\, α)$ for $α\in\left\{\sqrt{2},\,\sqrt{3},\,2\right\}$.
On a correspondence between maximal cliques in Paley graphs of square order
Published
• View Publication
• BIB
Let $q$ be an odd prime power. Denote by $r(q)$ the value of $q$ modulo 4. In this paper, we establish a linear fractional correspondence between two types of maximal cliques of size $\frac{q+r(q)}{2}$ in the Paley graph of order $q^2$.
The stability method, eigenvalues and cycles of consecutive lengths
Woodall proved that for a graph $G$ of order $n\geq 2k+3$ where $k\geq 0$ is an integer, if $e(G)\geq \binom{n-k-1}{2}+\binom{k+2}{2}+1$ then $G$ contains a $C_{\ell}$ for each $\ell\in [3,n-k]$. In this article, we prove a stability result of this theorem. As a byproduct, we give complete solutions to two problems in \cite{GN19}. Our second part is devoted to an open problem by Nikiforov: what is the maximum $C$ such that for all positive $\varepsilon<C$ and sufficiently large $n$, every graph $G$ of order $n$ with spectral radius $ρ(G)>\sqrt{\lfloor\frac{n^2}{4}\rfloor}$ contains a cycle of length $\ell$ for every $\ell\leq (C-\varepsilon)n$. We prove that $C\geq\frac{1}{4}$ by a method different from previous ones, improving the existing bounds. We also derive an Erdős-Gallai type edge number condition for even cycles, which may be of independent interest.
Values of the $\mathfrak{sl}_2$ weight system on complete bipartite graphs
Published in Functional Analysis and Its Applications, 54(3), 208-223 (2020)
• View Publication
• BIB
A weight system is a function on chord diagrams that satisfies the so-called four-term relations. Vassiliev's theory of finite-order knot invariants describes these invariants in terms of weight systems. In particular, there is a weight system corresponding to the colored Jones polynomial. This weight system can be easily defined in terms of the Lie algebra $\mathfrak{sl}_2$, but this definition is too cumbersome from the computational point of view, so that the values of this weight system are known only for some limited classes of chord diagrams.
In the present paper we give a formula for the values of the $\mathfrak{sl}_2$ weight system for a class of chord diagrams whose intersection graphs are complete bipartite graphs with no more than three vertices in one of the parts.
Our main computational tool is the Chmutov--Varchenko reccurence relation. Furthermore, complete bipartite graphs with no more than three vertices in one of the parts generate Hopf subalgebras of the Hopf algebra of graphs, and we deduce formulas for the projection onto the subspace of primitive elements along the subspace of decomposable elements in these subalgebras. We compute the values of the $\mathfrak{sl}_2$ weight system for the projections of chord diagrams with such intersection graphs. Our results confirm certain conjectures due to S.K.Lando on the values of the weight system $\mathfrak{sl}_2$ at the projections of chord diagrams on the space of primitive elements.
Maximal distance spectral radius of 4-chromatic planar graphs
Published in Linear Algebra and its Applications, 618 (2021), 183-202
• View Publication
• BIB
We show that the kite graph $K_4^{(n)}$ uniquely maximizes the distance spectral radius among all connected $4$-chromatic planar graphs on $n$ vertices.
Twin-width IV: ordered graphs and matrices
Published
• View Publication
• BIB
We establish a list of characterizations of bounded twin-width for hereditary, totally ordered binary structures. This has several consequences. First, it allows us to show that a (hereditary) class of matrices over a finite alphabet either contains at least $n!$ matrices of size $n \times n$, or at most $c^n$ for some constant $c$. This generalizes the celebrated Stanley-Wilf conjecture/Marcus-Tardos theorem from permutation classes to any matrix class over a finite alphabet, answers our small conjecture [SODA '21] in the case of ordered graphs, and with more work, settles a question first asked by Balogh, Bollobás, and Morris [Eur. J. Comb. '06] on the growth of hereditary classes of ordered graphs. Second, it gives a fixed-parameter approximation algorithm for twin-width on ordered graphs. Third, it yields a full classification of fixed-parameter tractable first-order model checking on hereditary classes of ordered binary structures. Fourth, it provides a model-theoretic characterization of classes with bounded twin-width.
On multichromatic numbers of widely colorable graphs
Published
• View Publication
• BIB
A coloring is called $s$-wide if no walk of length $2s-1$ connects vertices of the same color. A graph is $s$-widely colorable with $t$ colors if and only if it admits a homomorphism into a universal graph $W(s,t)$. Tardif observed that the value of the $r^{\rm th}$ multichromatic number $χ_r(W(s,t))$ of these graphs is at least $t+2(r-1)$ and equality holds for $r=s=2$. He asked whether there is equality also for $r=s=3$. We show that $χ_s(W(s,t))=t+2(s-1)$ for all $s$ thereby answering Tardif's question. We observe that for large $r$ (with respect to $s$ and $t$ fixed) we cannot have equality and that for $s$ fixed and $t$ going to infinity the fractional chromatic number of $W(s,t)$ also tends to infinity. The latter is a simple consequence of another result of Tardif on the fractional chromatic number of generalized Mycielski graphs.
Spanning trees in dense directed graphs
Published
• View Publication
• BIB
In 2001, Komlós, Sárközy and Szemerédi proved that, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex graph with minimum degree at least $(1/2+α)n$ contains a copy of every $n$-vertex tree with maximum degree at most $cn/\log n$. We prove the corresponding result for directed graphs. That is, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex directed graph with minimum semi-degree at least $(1/2+α)n$ contains a copy of every $n$-vertex oriented tree whose underlying maximum degree is at most $cn/\log n$.
As with Komlós, Sárközy and Szemerédi's theorem, this is tight up to the value of $c$. Our result improves a recent result of Mycroft and Naia, which requires the oriented trees to have underlying maximum degree at most $Δ$, for any constant $Δ\in \mathbb{N}$ and sufficiently large $n$. In contrast to these results, our methods do not use Szemerédi's regularity lemma.
Combinatorial Differential Algebra of $x^p$
Published in Journal of Symbolic Computation, 114:193-208, 2023
• View Publication
• BIB
We link $n$-jets of the affine monomial scheme defined by $x^p$ to the stable set polytope of some perfect graph. We prove that, as $p$ varies, the dimension of the coordinate ring of a certain subscheme of the scheme of $n$-jets as a $\mathbb{C}$-vector space is a polynomial of degree $n+1$, namely the Ehrhart polynomial of the stable set polytope of that graph. One main ingredient for our proof is a result of Zobnin who determined a differential Gröbner basis of the differential ideal generated by $x^p$. We generalize Zobnin's result to the bivariate case. We study $(m,n)$-jets, a higher-dimensional analog of jets, and relate them to regular unimodular triangulations.
On the Signed Complete Graphs with Maximum Index
Published
• View Publication
• BIB
Let $Γ=(K_{n},H^-)$ be a signed complete graph whose negative edges induce a subgraph $H$. The index of $Γ$ is the largest eigenvalue of its adjacency matrix. In this paper we study the index of $Γ$ when $H$ is a unicyclic graph. We show that among all signed complete graphs of order $n>5$ whose negative edges induce a unicyclic graph of order $k$ and maximizes the index, the negative edges induce a triangle with all remaining vertices being pendant at the same vertex of the triangle.
Levelness versus almost Gorensteinness of edge rings of complete multipartite graphs
Published
• View Publication
• BIB
Levelness and almost Gorensteinness are well-studied properties on graded rings as a generalized notion of Gorensteinness. In the present paper, we study those properties for the edge rings of the complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$ with $1 \leq r_1 \leq \cdots \leq r_n$. We give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is level in terms of $n$ and $r_1,\ldots,r_n$. Similarly, we also give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is almost Gorenstein in terms of $n$ and $r_1,\ldots,r_n$.
New upper bounds for the forgotten index among bicyclic graphs
Published
• View Publication
• BIB
The forgotten topological index of a graph $G$, denoted by $F(G)$, is defined as the sum of weights $d(u)^{2}+d(v)^{2}$ over all edges $uv$ of $G$ , where $d(u)$ denotes the degree of a vertex $u$. In this paper, we give sharp upper bounds of the F-index (forgotten topological index) over bicyclic graphs, in terms of the order and maximum degree.
Sum-distinguishing number of sparse hypergraphs
Published
• View Publication
• BIB
A vertex labeling of a hypergraph is sum distinguishing if it uses positive integers and the sums of labels taken over the distinct hyperedges are distinct. Let s(H) be the smallest integer N such that there is a sum-distinguishing labeling of H with each label at most N. The largest value of s(H) over all hypergraphs on n vertices and m hyperedges is denoted s(n,m). We prove that s(n,m) is almost-quadratic in m as long as m is not too large. More precisely, the following holds: If n < m < n^{O(1)} then s(n,m)= m^2/w(m), where w(m) is a function that goes to infinity and is smaller than any polynomial in m.
The parameter s(n,m) has close connections to several other graph and hypergraph functions, such as the irregularity strength of hypergraphs. Our result has several applications, notably:
1. We answer a question of Gyarfas et al. whether there are n-vertex hypergraphs with irregularity strength greater than 2n. In fact we show that there are n-vertex hypergraphs with irregularity strength at least n^{2-o(1)}.
2. Our results imply that s*(n)=n^2/w(n) where s*(n) is the distinguishing closed-neighborhood number, i.e., the smallest integer N such that any n-vertex graph allows for a vertex labeling with positive integers at most N so that the sums of labels on distinct closed neighborhoods of vertices are distinct.