Constructions of sensitive graphs which are not strongly sensitive

We investigate recursive relations for the Grothendieck classes of the affine graph hypersurface complements of melonic graphs. We compute these classes explicitly for several families of melonic graphs, focusing on the case of graphs with valence- 4 internal vertices, relevant to CTKT tensor models. The results hint at a complex and interesting structure in terms of divisibility relations or nontrivial relations between classes of graphs in different families. Using the recursive relations, we prove that the Grothendieck classes of all melonic graphs are positive as polynomials in the class of the moduli space \mathcal M_{0,4} . We also conjecture that the corresponding polynomials are log-concave , on the basis of hundreds of explicit computations.

In a directed graph with the unique path property, there is a unique directed path of a given length between any ordered pair of its vertices. Such graphs, their paths, cycles, factors, and other properties, were extensively studied during the years, mainly in the context of de Bruijn graphs, forming the most important family of such graphs. Such a graph is equivalent to a binary matrix for which , where is the all‐ones matrix. In this paper, some new results on the structural properties of such graphs, which are not necessarily de Bruijn graphs, are proved. We mainly concentrate on such graphs for which each vertex has in‐degree two and out‐degree two. The minimum number and the maximum number of vertices which are reached from a given vertex using all paths of length smaller than are considered. We provide an exact formula for the number of factors in these graphs and show that this number depends only on the number of alternating cycles in the graph, where in an alternating cycle every two consecutive edges have opposite directions in the cycle. Constructions of such graphs using several methods are presented. In particular, we present a new construction which provides a large set of such graphs with long alternating cycles. We define the integral graph and the derivative graph and implement these definitions on this family of graphs. Various properties from the point of view of the de Bruijn graph and the theory of nonsingular shift‐registers sequences are also considered. Finally, generalizations for graphs in which the in‐degree and the out‐degree of each vertex are greater than two are also discussed.

Expanders are highly connected sparse graphs of great interest in computer science, in areas ranging from parallel computation to complexity theory, from cryptography to coding theory, and, most recently, computational group theory (see e.g. [AKS, G+, LP, SS, V, WZ].) The explicit constructions of expander graphs [M1, M2, LPS] (see also [GG, Lu]) use deep mathematical tools to construct families of Cayley graphs of finite groups. The Independence Problem [LW], is whether being an expander family is a property of the groups alone, independent of the choice of generators. A counterexample to the general the problem was recently obtained in [ALW], by using a new combinatorial construction of expanders [RVW]. The problem remains for all classical series of finite simple groups (An, PSL(2,p), etc.)Let G be a finite group generated by at most d elements. The product replacement graph Γk(G) is defined to be a graph, with vertices corresponding to generating k-tuples in G, and edges corresponding to Nielsen transformations. Most recently, graphs Γk(G) became a subject of an intense investigation, prompted by the study of a commonly used 'practical' product replacement algorithm for generating random elements in finite groups, designed Leedham-Green and Soicher [LG]. This algorithm, based on the random walk on graphs Γk(G), showed a remarkable performance, as reported in [C+]. It was suggested in [LP], and proved in several special cases, that the product replacement graphs Γk(G) are expanders, for a fixed k, when |G| → ∞The main result of this paper is Theorem 2, establishing the connection between the expansion coefficient of the product replacement graph Γk(G) and the minimal expansion coefficient of a Cayley graph of group G with k generators. One can think of our result as of an additional evidence in favor of the speculation in [LP]. On the other hand, it gives an algorithmic motivation for study of the Independence Problem, in the aftermath of [ALW].In a special case (see Theorem 1 below), we show that if one assumes that all Cayley graphs with at most four generators in PSL (2, p) have a universal lower bound on expansion, then the product replacement graphs Γk(PSL(2,p)) form an expander family, when k ≥ 8 is fixed, and p → ∞.The proof of the Theorems consists of two parts: probability on groups and graph theoretic. The latter is based on a new combinatorial result of independent interest (Lemmas 4, 5), which generalizes a classical lemma that the direct product of expanders is an expander (see e.g. [Ch]). We prove that if a graph Γ on a direct product of sets satisfies two conditions:1) all 'row' subgraphs are expanders,2) at least (1-e) proportion of 'column' graphs are expanders,then graph &Gamma is also an expander. We use a novel combinatorial technique based on graph decomposition, as opposed to path arguments used in previously in [CG, DS2, DS3, P4]. It is easy to see that such a technique can never prove that a certain family of graphs is an expander family (cf. [P3]).

In [A note about cospectral graphs for the adjacency and normalized Laplacian matrices. Linear Multilinear Algebra. 2010;58(3-4):387–390], Butler constructed a family of bipartite graphs, which are cospectral for both the adjacency and the normalized Laplacian matrices. In this article, we extend this construction for generating larger classes of bipartite graphs, which are cospectral for both the adjacency and the normalized Laplacian matrices. Also, we provide a couple of constructions of non-bipartite graphs, which are cospectral for the adjacency matrices but not necessarily for the normalized Laplacian matrices.

The well known “real-life examples” of small world graphs, including the graph of binary relation: “two persons on the earth know each other” contains cliques, so they have cycles of order 3 and 4. Some problems of Computer Science require explicit construction of regular algebraic graphs with small diameter but without small cycles. The well known examples here are generalised polygons, which are small world algebraic graphs i.e. graphs with the diameter d≤clog k−1(v), where v is order, k is the degree and c is the independent constant, semiplanes (regular bipartite graphs without cycles of order 4); graphs that can be homomorphically mapped onto the ordinary polygons. The problem of the existence of regular graphs satisfying these conditions with the degree ≥k and the diameter ≥d for each pair k≥3 and d≥3 is addressed in the paper. This problem is positively solved via the explicit construction. Generalised Schubert cells are defined in the spirit of Gelfand-Macpherson theorem for the Grassmanian. Constructed graph, induced on the generalised largest Schubert cells, is isomorphic to the well-known Wenger’s graph. We prove that the family of edge-transitive q-regular Wenger graphs of order 2qn, where integer n≥2 and q is prime power, q≥n, q>2 is a family of small world semiplanes. We observe the applications of some classes of small world graphs without small cycles to Cryptography and Coding Theory.

The metric representation of a vertex v of a graph G is a finite vector representing distances of v with respect to vertices of some ordered subset S⊆V (G). If no suitable subset of S provides separate representations for each vertex of V(G), then the set S is referred to as a minimal resolving set. The metric dimension of G is the cardinality of the smallest (with respect to its cardinality) minimal resolving set. A resolving set S is secure if for any v∈V–S, there exists x∈S such that (S–{x})∪{v} is a resolving set. For various classes of graphs, the value of the secure resolving number is determined and defined. The secure metric dimension of the graph classes is being studied in this work. The results show that different graph families have different metric dimensions.

New families of graphs without short cycles and large size

Accordion graphs: Hamiltonicity, matchings and isomorphism with quartic circulants

We consider the approximability of the maximum edge-disjoint paths problem (MEDP) in undirected graphs, and in particular, the integrality gap of the natural multicommodity flow based relaxation for it. The integrality gap is known to be \(\Omega(\sqrt{n})\) even for planar graphs [11] due to a simple topological obstruction and a major focus, following earlier work [14], has been understanding the gap if some constant congestion is allowed. In planar graphs the integrality gap is O(1) with congestion 2 [19,5]. In general graphs, recent work has shown the gap to be O(polylog(n)) [8,9] with congestion 2. Moreover, the gap is Ω(logΩ(c) n) in general graphs with congestion c for any constant c ≥ 1 [1].It is natural to ask for which classes of graphs does a constant-factor constant-congestion property hold. It is easy to deduce that for given constant bounds on the approximation and congestion, the class of “nice” graphs is minor-closed. Is the converse true? Does every proper minor-closed family of graphs exhibit a constant-factor constant-congestion bound relative to the LP relaxation? We conjecture that the answer is yes. One stumbling block has been that such bounds were not known for bounded treewidth graphs (or even treewidth 3). In this paper we give a polytime algorithm which takes a fractional routing solution in a graph of bounded treewidth and is able to integrally route a constant fraction of the LP solution’s value. Note that we do not incur any edge congestion. Previously this was not known even for series parallel graphs which have treewidth 2. The algorithm is based on a more general argument that applies to k-sums of graphs in some graph family, as long as the graph family has a constant-factor constant-congestion bound. We then use this to show that such bounds hold for the class of k-sums of bounded genus graphs.KeywordsPlanar GraphTree DecompositionGraph FamilyDisjoint Path ProblemSeries Parallel GraphThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Supervised neighborhood graph construction for semi-supervised classification

String graphs of k-bend paths on a grid

In the context of a random walk on an undirected graph, Kemeny's constant can measure the average travel time for a random walk between two randomly chosen vertices. We are interested in graphs that behave counter-intuitively in regard to Kemeny's constant: in particular, we examine graphs with a cut-vertex at which at least two branches are paths, regarding whether the insertion of a particular edge into a graph results in an increase of Kemeny's constant. We provide several tools for identifying such an edge in a family of graphs and for analysing asymptotic behaviour of the family regarding the tendency to have that edge; and classes of particular graphs are given as examples. Furthermore, asymptotic behaviours of families of trees are described.

This paper proposes a new method of chemical graph construction which is implemented in the chemical structure recognition and correction system ChemInfty (www.inftyproject.org/en/ChemInfty/). The system starts with recognizing the graphical elements of the chemical structure such as lines and characters. In the chemical graph construction phase the validity of the chemical graph is checked to detect inconsistencies. The graph construction starts with an empty chemical graph using only the graphical components. After a solving cycle the system returns a partially solved graph which can be checked for inconsistencies again. This results in a flexible, cycle based and inconsistency-driven graph construction. Furthermore the system introduces semi-automated correction allowing users to interact with the graph-construction cycles.

Letter graphs and modular decomposition

A thrackle is a drawing of a graph in which any two vertex-disjoint edges cross exactly once and incident edges do not cross. A graph that has a thrackle drawing is thracklable. In the past three decades, mathematicians investigated a number of variations of thrackles by relaxing or changing the required number of crossings on edges or restricting the placement of vertices on the surface (e.g., restricting to outerdrawings, in which vertices are restricted to a boundary curve of the surface). A graph is superthracklable if it can be drawn so that any two edges cross exactly once. We provide a simple proof for the following: a graph can be drawn on the plane so that every two edges cross an odd number of times if and only if it is superthracklable on the plane. A graph is outersuperthracklable if it has a drawing on a disc in which every vertex is on the boundary of the disc and every pair of edges cross exactly once. We introduce some natural generalisations of outersuperthracklable graphs and we show that these classes of graphs are equivalent. Lastly, using the Hanani-Tutte characterisation of planar graphs we show that for any surface $\Sigma$, there is a relationship between the class of graphs that are not embeddable on $\Sigma$ and the class of graphs that are not superthracklable with respect to $\Sigma$. More specifically, we show how to construct, from any forbidden minor $G$ for embeddability in $\Sigma$, two infinite families of graphs that are not superthracklable with respect to $\Sigma$. This sheds further light on the relationship between some of Archdeacon and Stor's forbidden configurations for superthrackles and Kuratowski's forbidden minors for planarity.