graph
34934 papers tagged with this keyword
The Minimal Total Irregularity of Graphs
Published
• View Publication
• BIB
In \cite{2012a}, Abdo and Dimitov defined the total irregularity of a graph $G=(V,E)$ as
\hskip3.3cm $\rm irr_{t}$$(G) = \frac{1}{2}\sum_{u,v\in V}|d_{G}(u)-d_{G}(v)|, $
\noindent where $d_{G}(u)$ denotes the vertex degree of a vertex $u\in V$. In this paper, we investigate the minimal total irregularity of the connected graphs, determine the minimal, the second minimal, the third minimal total irregularity of trees, unicyclic graphs, bicyclic graphs on $n$ vertices, and propose an open problem for further research.
$s$-Elusive Codes in Hamming Graphs
Published
• View Publication
• BIB
A code is a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of all vertices at Hamming distance $s$ from their nearest codeword. A code $C$ is $s$-elusive if there exists a distinct code $C'$ that is equivalent to $C$ under the full automorphism group of the Hamming graph such that $C$ and $C'$ have the same set of $s$-neighbours.
It is proved here that the minimum distance of an $s$-elusive code is at most $2s+2$, and that an $s$-elusive code with minimum distance at least $2s+1$ gives rise to a $q$-ary $t$-design with certain parameters. This leads to the construction of: an infinite family of $1$-elusive and completely transitive codes, an infinite family of $2$-elusive codes, and a single example of a $3$-elusive code. Answers to several open questions on elusive codes are also provided.
On the Schur expansion of Hall-Littlewood and related polynomials via Yamanouchi words
Published
• View Publication
• BIB
This paper uses the theory of dual equivalence graphs to give explicit Schur expansions for several families of symmetric functions. We begin by giving a combinatorial definition of the modified Macdonald polynomials and modified Hall-Littlewood polynomials indexed by any diagram $δ\subset {\mathbb Z} \times {\mathbb Z}$, written as $\widetilde H_δ(X;q,t)$ and $\widetilde H_δ(X;0,t)$, respectively. We then give an explicit Schur expansion of $\widetilde H_δ(X;0,t)$ as a sum over a subset of the Yamanouchi words, as opposed to the expansion using the charge statistic given in 1978 by Lascoux and Schüztenberger. We further define the symmetric function $R_{γ,δ}(X)$ as a refinement of $\widetilde H_δ(X;0,t)$ and similarly describe its Schur expansion. We then analyze $R_{γ,δ}(X)$ to determine the leading term of its Schur expansion. We also provide a conjecture towards the Schur expansion of $\widetilde H_δ(X;q,t)$. To gain these results, we use a construction from the 2007 work of Sami Assaf to associate each Macdonald polynomial with a signed colored graph $\mathcal{H}_δ$. In the case where a subgraph of $\mathcal{H}_δ$ is a dual equivalence graph, we provide the Schur expansion of its associated symmetric function, yielding several corollaries.
Characteristics of Finite Jaco Graphs, $J_n(1), n \in \Bbb N$
We introduce the concept of a family of finite directed graphs (order 1) which are directed graphs derived from an infinite directed graph (order 1), called the 1-root digraph. The 1-root digraph has four fundamental properties which are; $V(J_\infty(1)) = \{v_i|i \in \Bbb N\}$ and, if $v_j$ is the head of an edge (arc) then the tail is always a vertex $v_i, i<j$ and, if $v_k$, for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k< \ell <j$ are tails of arcs to $v_j$ and finally, the degree of vertex $k$ is $d(v_k) = k.$ The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and edges arcing to vertices) $v_t, t> n.$ Hence, trivially we have $d(v_i) \leq i$ for $i \in \Bbb N$. We present an interesting Fibonaccian-Zeckendorf result and present the Fisher Algorithm to table particular values of interest. It is meant to be an introductory paper to encourage exploratory research.
A Common Generalization of Dirac's two Theorems
Let $G$ be a 2-connected graph of order $n$ and let $c$ be the circumference - the order of a longest cycle in $G$. In this paper we present a sharp lower bound for the circumference based on minimum degree $δ$ and $p$ - the order of a longest path in $G$. This is a common generalization of two earlier classical results for 2-connected graphs due to Dirac: (i) $c\ge \min\{n,2δ\}$; and (ii) $c\ge\sqrt{2p}$. Moreover, the result is stronger than (ii).
Labeling Schemes for Bounded Degree Graphs
Published
• View Publication
• BIB
We investigate adjacency labeling schemes for graphs of bounded degree $Δ= O(1)$. In particular, we present an optimal (up to an additive constant) $\log n + O(1)$ adjacency labeling scheme for bounded degree trees. The latter scheme is derived from a labeling scheme for bounded degree outerplanar graphs. Our results complement a similar bound recently obtained for bounded depth trees [Fraigniaud and Korman, SODA 10], and may provide new insights for closing the long standing gap for adjacency in trees [Alstrup and Rauhe, FOCS 02]. We also provide improved labeling schemes for bounded degree planar graphs. Finally, we use combinatorial number systems and present an improved adjacency labeling schemes for graphs of bounded degree $Δ$ with $(e+1)\sqrt{n} < Δ\leq n/5$.
Minimum Bisection is NP-hard on Unit Disk Graphs
In this paper we prove that the \textsc{Min-Bisection} problem is NP-hard on \emph{unit disk graphs}, thus solving a longstanding open question.
Topological infinite gammoids, and a new Menger-type theorem for infinite graphs
Published
• View Publication
• BIB
Answering a question of Diestel, we develop a topological notion of gammoids in infinite graphs which, unlike traditional infinite gammoids, always define a matroid. As our main tool, we prove for any infinite graph $G$ with vertex sets $A$ and $B$ that if every finite subset of $A$ is linked to $B$ by disjoint paths, then the whole of $A$ can be linked to the closure of $B$ by disjoint paths or rays in a natural topology on $G$ and its ends. This latter theorem re-proves and strengthens the infinite Menger theorem of Aharoni and Berger for `well-separated' sets $A$ and $B$. It also implies the topological Menger theorem of Diestel for locally finite graphs.
Triangle-free geometric intersection graphs with no large independent sets
Published in Discrete Comput.Geom. 53 (2015) 221-225
• View Publication
• BIB
It is proved that there are triangle-free intersection graphs of line segments in the plane with arbitrarily small ratio between the maximum size of an independent set and the total number of vertices.
Double-normal pairs in space
Published in Mathematika 61 (2015) 259-272
• View Publication
• BIB
A double-normal pair of a finite set $S$ of points from $R^d$ is a pair of points $\{p,q\}$ from $S$ such that $S$ lies in the closed strip bounded by the hyperplanes through $p$ and $q$ perpendicular to $pq$. A double-normal pair $pq$ is strict if $S\setminus\{p,q\}$ lies in the open strip. The problem of estimating the maximum number $N_d(n)$ of double-normal pairs in a set of $n$ points in $R^d$, was initiated by Martini and Soltan (2006).
It was shown in a companion paper that in the plane, this maximum is $3\lfloor n/2\rfloor$, for every $n>2$. For $d\geq 3$, it follows from the Erdős-Stone theorem in extremal graph theory that $N_d(n)=\frac12(1-1/k)n^2 + o(n^2)$ for a suitable positive integer $k=k(d)$. Here we prove that $k(3)=2$ and, in general, $\lceil d/2\rceil \leq k(d)\leq d-1$. Moreover, asymptotically we have $\lim_{n\rightarrow\infty}k(d)/d=1$. The same bounds hold for the maximum number of strict double-normal pairs.
A Study on Ornated Graphs
Published
• View Publication
• BIB
In this paper, we introduce the notion of a finite non-simple directed graph, called an ornated graph and initiate a study on ornated graphs. An ornated graph is a directed graph on $n$ vertices, denoted by $O_n(s_l)$, whose vertices are consecutively labeled clockwise on the circumference of a circle and constructed from an ordered string $s_l$ joining them in such a way that for an odd indexed entry $a_t$ of the string, a tail $v_i$ has clockwise heads $v_j$ if and only if $(i+a_t) \ge j$ and for an even indexed entry $a_s$ of the string a tail $v_i$ has anticlockwise heads $v_j$ if and only if $(i-a_s) \le j$. The collection of the ornated graphs having this property is called the family of ornated graphs. Some interesting results are also presented in this paper on certain types of ornated graphs.
Additive codes over $GF(4)$ from circulant graphs
In $2006$, Danielsen and Parker \cite{DP} proved that every self-dual additive code over $GF(4)$ is equivalent to a graph code. So, graph is an important tool for searching (proposed) optimum codes. In this paper, we introduce a new method of searching (proposed) optimum additive codes from circulant graphs.
On color-critical ($P_{5},\overline{P}_5$)-free graphs
A graph is $k$-critical if it is $k$-chromatic but each of its proper induced subgraphs is ($k-1$)-colorable. It is known that the number of $4$-critical $P_5$-free graphs is finite, but there is an infinite number of $k$-critical $P_5$-free graphs for each $k \geq 5$. We show that the number of $k$-critical $(P_5, \overline{P}_5)$-free graphs is finite for every fixed $k$. Our result implies the existence of a certifying algorithm for $k$-coloring $(P_5, \overline{P}_5)$-free graphs.
Coloring Digraphs with Forbidden Cycles
Published
• View Publication
• BIB
Let $k$ and $r$ be two integers with $k \ge 2$ and $k\ge r \ge 1$. In this paper we show that (1) if a strongly connected digraph $D$ contains no directed cycle of length $1$ modulo $k$, then $D$ is $k$-colorable; and (2) if a digraph $D$ contains no directed cycle of length $r$ modulo $k$, then $D$ can be vertex-colored with $k$ colors so that each color class induces an acyclic subdigraph in $D$. The first result gives an affirmative answer to a question posed by Tuza in 1992, and the second implies the following strong form of a conjecture of Diwan, Kenkre and Vishwanathan: If an undirected graph $G$ contains no cycle of length $r$ modulo $k$, then $G$ is $k$-colorable if $r\ne 2$ and $(k+1)$-colorable otherwise. Our results also strengthen several classical theorems on graph coloring proved by Bondy, Erdős and Hajnal, Gallai and Roy, Gyárfás, etc.
Noncrossing sets and a Graßmann associahedron
Published in Forum of Mathematics, Sigma, 5 (2017), e5
• View Publication
• BIB
We study a natural generalization of the noncrossing relation between pairs of elements in [n] to k-tuples in [n] that was first considered by Petersen, Pylyavskyy, Speyer (2010). We give an alternative approach to their result that the flag simplicial complex on $\binom{[n]}{k}$ induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product $[k]\times[n-k]$ of two chains (also called Gelfand-Tsetlin polytope), and that it is the join of a simplex and a sphere (that is, it is a Gorenstein triangulation). We then observe that this already implies the existence of a flag simplicial polytope generalizing the dual associahedron, whose Stanley-Reisner ideal is an initial ideal of the Graßmann-Plücker ideal, while previous constructions of such a polytope did not guarantee flagness nor reduced to the dual associahedron for k=2. On our way we provide general results about order polytopes and their triangulations. We call the simplicial complex the noncrossing complex, and the polytope derived from it the dual Graßmann associahedron. We extend results of Petersen, Pylyavskyy, Speyer (2010) showing that the non-crossing complex and the Graßmann associahedron naturally reflect the relations between Graßmannians with different parameters, in particular the isomorphism $G_{k,n} \cong G_{n-k,n}$. Moreover, our approach allows us to show that the adjacency graph of the noncrossing complex admits a natural acyclic orientation that allows us to define a Graßmann-Tamari order on maximal noncrossing families. Finally, we look at the precise relation of the noncrossing complex and the weak separability complex of Leclerc, Zelevinsky (1998) and show that the weak separability complex is the cyclically invariant part of the noncrossibg complex.
The space of framed chord diagrams as a Hopf module
Published
• View Publication
• BIB
This note is dedicated to the study of a Hopf module structures on the space of framed chord diagrams and framed graphs. We also introduce a framed version of the chromatic polynomial and propose two methods to construct framed weight systems.
Graphical representations of graphic frame matroids
Published
• View Publication
• BIB
A frame matroid M is graphic if there is a graph G with cycle matroid isomorphic to M. In general, if there is one such graph, there will be many. Zaslavsky has shown that frame matroids are precisely those having a representation as a biased graph; this class includes graphic matroids, bicircular matroids, and Dowling geometries. Whitney characterized which graphs have isomorphic cycle matroids, and Matthews characterised which graphs have isomorphic graphic bicircular matroids. In this paper, we give a characterization of which biased graphs give rise to isomorphic graphic frame matroids.
On groups all of whose undirected Cayley graphs of bounded valency are integral
A finite group $G$ is called Cayley integral if all undirected Cayley graphs over $G$ are integral, i.e., all eigenvalues of the graphs are integers. The Cayley integral groups have been determined by Kloster and Sander in the abelian case, and by Abdollahi and Jazaeri, and independently by Ahmady, Bell and Mohar in the non-abelian case. In this paper we generalize this class of groups by introducing the class $\mathcal{G}_k$ of finite groups $G$ for which all graphs $\mathrm{Cay}(G,S)$ are integral if $|S| \le k$. It will be proved that $\mathcal{G}_k$ consists of the Cayley integral groups if $k \ge 6;$ and the classes $\mathcal{G}_4$ and $\mathcal{G}_5$ are equal, and consist of:\ (1) the Cayley integral groups, (2) the generalized dicyclic groups $\mathrm{Dic}(E_{3^n} \times \mathbb{Z}_6),$ where $n \ge 1$.
Rainbow eulerian multidigraphs and the product of cycles
An arc colored eulerian multidigraph with $l$ colors is rainbow eulerian if there is an eulerian circuit in which a sequence of $l$ colors repeats. The digraph product that refers the title was introduced by Figueroa-Centeno et al. as follows: let $D$ be a digraph and let $Γ$ be a family of digraphs such that $V(F)=V$ for every $F\in Γ$. Consider any function $h:E(D)\longrightarrowΓ$. Then the product $D\otimes_{h} Γ$ is the digraph with vertex set $V(D)\times V$ and $((a,x),(b,y))\in E(D\otimes_{h}Γ)$ if and only if $ (a,b)\in E(D)$ and $ (x,y)\in E(h (a,b))$.
In this paper we use rainbow eulerian multidigraphs and permutations as a way to characterize the $\otimes_h$-product of oriented cycles. We study the behavior of the $\otimes_h$-product when applied to digraphs with unicyclic components. The results obtained allow us to get edge-magic labelings of graphs formed by the union of unicyclic components and with different magic sums.
A short proof of the Deutsch-Sagan congruence for connected non crossing graphs
We give a short proof, using Lagrange inversion, of a congruence modulo 3 for the number of connected noncrossing graphs on n vertices that was conjectured by Emeric Deutsch and Bruce Sagan. A more complicated proof had been given earlier by S.-P. Eu, S.-C. Liu, and Y.-N. Yeh.