About some robustness and complexity properties of [formula omitted]-graphs networks

This paper is concerned with the linkedness of Cartesian products of complete graphs. A graph with at least 2 k vertices is k -linked if, for every set of 2 k distinct vertices organised in arbitrary k pairs of vertices, there are k vertex-disjoint paths joining the vertices in the pairs. We show that the Cartesian product K d 1 +1 × K d 2 +1 of complete graphs K d 1 +1 and K d 2 +1 is ⌊( d 1 + d 2 )/2⌋ -linked for d 1 , d 2 ≥ 2 , and this is best possible. This result is connected to graphs of simple polytopes. The Cartesian product K d 1 +1 × K d 2 +1 is the graph of the Cartesian product T ( d 1 ) × T ( d 2 ) of a d 1 -dimensional simplex T ( d 1 ) and a d 2 -dimensional simplex T ( d 2 ) . And the polytope T ( d 1 ) × T ( d 2 ) is a simple polytope , a ( d 1 + d 2 ) -dimensional polytope in which every vertex is incident to exactly d 1 + d 2 edges. While not every d -polytope is ⌊ d /2⌋ -linked, it may be conjectured that every simple d -polytope is. Our result implies the veracity of the revised conjecture for Cartesian products of two simplices.

We give two combinatorial proofs of a product formula for the number of spanning trees of the $n$-dimensional hypercube. The first proof is based on the assertion that if one chooses a uniformly random rooted spanning tree of the hypercube and orient each edge from parent to child, then the parallel edges of the hypercube get orientations which are independent of one another. This independence property actually holds in a more general context and has intriguing consequences. The second proof uses some "killing involutions'' in order to identify the factors in the product formula. It leads to an enumerative formula for the spanning trees of the $n$-dimensional hypercube augmented with diagonals edges, counted according to the number of edges of each type. We also discuss more general formulas, obtained using a matrix-tree approach, for the number of spanning trees of the Cartesian product of complete graphs.

A radio coloring of graphs is a modification of the frequency assignment problem. For a connected simple graph G, a mapping g of the vertices of G to the positive integers (colors) such that for every pair u and v of G, | g(u) − g(v)| is at least 1 + diam(G) − d(u, v), is called a radio coloring of G. The largest color used by g is called span of g, denoted by rn(g). The radio number, rn(G), is the least of { rn(g) : g is a radio coloring of G }. In this paper, for n ⩾ 7 we obtain the radio number of Cartesian product of complete graph K n and cycle C m , K n ☐C m , for n even and m odd, and for n odd and m 5 (mod 8).

A set of vertices $S$ in a connected graph $G$ is a different-distance set if, for any vertex $w$ outside $S$, no two vertices in $S$ have the same distance to $w$.The lower and upper different-distance number of a graph are the order of a smallest, respectively largest, maximal different-distance set.We prove that a different-distance set induces either a special type of path or an independent set. We present properties of different-distance sets, and consider the different-distance numbers of paths, cycles, Cartesian products of bipartite graphs, and Cartesian products of complete graphs. We conclude with some open problems and questions.

The distinguishing number of Cartesian products of complete graphs

Current High-Performance Computing (HPC) and data center networks rely on large-radix routers. Hamming graphs (Cartesian products of complete graphs) and dragonflies (two-level direct networks with nodes organized in groups) are some direct topologies proposed for such networks. The original definition of the dragonfly topology is very loose, with several degrees of freedom, such as the inter- and intragroup topology, the specific global connectivity, and the number of parallel links between groups (or trunking level). This work provides a comprehensive analysis of the topological properties of the dragonfly network, providing balancing conditions for network dimensioning, as well as introducing and classifying several alternatives for the global connectivity and trunking level. From a topological study of the network, it is noted that a Hamming graph can be seen as a canonical dragonfly topology with a high level of trunking. Based on this observation and by carefully selecting the global connectivity, the Dimension Order Routing (DOR) mechanism safely used in Hamming graphs is adapted to dragonfly networks with trunking. The resulting routing algorithms approximate the performance of minimal, nonminimal, and adaptive routings typically used in dragonflies but without requiring virtual channels to avoid packet deadlock, thus allowing for lower cost router implementations. This is obtained by properly selecting the link to route between groups based on a graph coloring of network routers. Evaluations show that the proposed mechanisms are competitive with traditional solutions when using the same number of virtual channels and enable for simpler implementations with lower cost. Finally, multilevel dragonflies are discussed, considering how the proposed mechanisms could be adapted to them.

A transitive decomposition is a pair (Γ, 𝒫) where Γ is a graph and 𝒫 is a partition of the arc set of Γ, such that there exists a group of automorphisms of Γ which leaves 𝒫 invariant and transitively permutes the parts in 𝒫. This paper concerns transitive decompositions where the group is a primitive rank 3 group of ‘grid’ type. The graphs Γ in this case are either products or Cartesian products of complete graphs. We first give some generic constructions for transitive decompositions of products and Cartesian products of copies of an arbitrary graph, and we then prove (except in a small number of cases) that all transitive decompositions with respect to a rank 3 group of grid type can be characterized using these constructions. Furthermore, the main results of this work provide a new proof and insight into the classification of rank 3 partial linear spaces of product action type studied by Devillers.

An H-decomposition of a graph Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document} is a partition of its edge set into subgraphs isomorphic to H. A transitive decomposition is a special kind of H-decomposition that is highly symmetrical in the sense that the subgraphs (copies of H) are preserved and transitively permuted by a group of automorphisms of Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document}. This paper concerns transitive H-decompositions of the graph Kn□Kn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$K_n \\Box K_n$$\\end{document} where H is a path. When n is an odd prime, we present a construction for a transitive path decomposition where the paths in the decomposition are considerably large compared to the number of vertices. Our main result supports well-known Gallai’s conjecture and an extended version of Ringel’s conjecture.

On the Complexity of Recognizing Hamming Graphs and Related Classes of Graphs

This thesis presents some contributions in additive combinatorics and arithmetic Ramsey theory. More specifically, it deals with the interaction between combinatorics, number theory and additive combinatorics. This area saw a great improvement with the Szemerédi Regularity Lemma and some of the results that followed. The Regularity Lemma and its consequences have become a widely used tool in graph theory, combinatorics and number theory. Furthermore, its language and point of view has deeply changed the face of additive number theory, a fact universally acknowledged by the Abel award given to Szemerédi in 2012. One of the main reasons for the prize has been Szemerédi's theorem, a result regarding the existence of arbitrarily long arithmetic progressions in dense sets of the integers, the proof of which uses the Regularity Lemma in a key step. One of the earlier consequences of the Regularity Lemma was the Removal Lemma for graphs that was used by Ruzsa and Szemerédi to show Roth theorem, regarding the existence of 3-term arithmetic progressions in dense sets of the integers, in a combinatorial way. The Removal Lemma states that in any graph K with few copies of a subgraph, say a triangle, we can remove few edges from K so that the result contains no copy of the subgraph. This has become a key tool in the applications of the so-called Regularity Method, which has extensive literature in combinatorics, graph theory, number theory and computer science. In 2005 Green introduced a regularity lemma for Abelian groups as well as an algebraic removal lemma. The removal lemma for groups states that, for a given finite Abelian group G, if there are o(|G|^3) solution to x+y+z+t=0 with the variables taking values in S, a subset of G, then we can remove o(|G|) elements from S to make the set S solution-free. The main contributions of this work corresponds to extensions of the removal lemma for groups to either more general contexts, like non-necessary Abelian finite groups, or to linear systems of equations for finite Abelian groups. The main goal is to give a comprehensive and more general framework for many results in additive number theory like Szemerédi Theorem. In particular, we show that the removal lemma for groups by Green can be extended to non-necessary Abelian finite groups. Moreover, we prove a removal lemma for linear systems on finite fields: for every e>0 there exists a d>0 such that if A is a (k x m) linear system of equations with coefficients in a finite field F and the number of solutions to Ax=b, where each variable takes values from a subset Si in F is less than d times |F| raised to m-k, then by removing less than e|F| elements in each Si we can make the resulting sets solution-free, thus solving a conjecture by Green to that respect. Even more, if A is an integer linear system, G is a finite Abelian group, and the determinantal of A and |G| are coprime, then a similar statement holds. Let us mention that the last result allows us to characterize those linear systems where any set S with size proportional to G has a nontrivial solution in S, provided |G| is large enough. This extends the validity of Szmerédi's theorem to finite Abelian groups. These extensions of the removal lemma have been used in arithmetic Ramsey theory to obtain counting results for the number of monochromatic solutions of linear systems. The main result from a work by Frankl, Graham and Rödl in '88 states that the number of monochromatic solutions of regular systems in integer intervals is in fact a positive proportion of the total number of solutions. We give analogous results for solutions in Abelian groups with bounded exponent, for which the main tool in the torsion-free case cannot be applied. Density versions of these counting results are also obtained, in this case with a full characterization.

Let an element of a group be called an FC element if it has only a finite number of conjugates in the group. Baer(1) and Neumann (8) have discussed groups in which every element is FC, and called them FC-groups. Both Abelian and finite groups are trivially FC-groups; Neumann has studied the properties common to FC-groups and Abelian groups, and Baer the properties common to FC-groups and finite groups. Baer has also shown that, for an arbitrary group G, the set H1 of all FC elements is a characteristic subgroup. Haimo (3) has defined the FC-chain of a group G byHi/Hi−1 is the subgroup of all FC elements in G/Hi−1.

In this chapter, we discuss several special types of modules that will make frequent appearances later. These include semisimple modules, artinian modules, and torsionfree modules, which have prototypes in vector spaces, finite abelian groups, and torsionfree abelian groups, respectively. That special types of modules have useful roles in the study of arbitrary modules may be seen already in the case of abelian groups (i.e., ℤ-modules). In studying an arbitrary abelian group, an almost reflexive first step is to look at its torsion part (i.e., the torsion subgroup) and its torsionfree part (i.e., the factor group modulo the torsion subgroup), since entirely different techniques are available (and needed) for dealing with torsion groups and torsionfree groups. On the torsionfree side, vector spaces make an appearance due to the facts that the torsionfree divisible abelian groups are exactly the vector spaces over ℚ and that every torsionfree abelian group can be embedded in a divisible one. On the torsion side, many questions can be reduced to the case of finite abelian groups, since every torsion abelian group is a directed union of finite subgroups. In studying torsion abelian groups, one also reduces to the case of p -groups for various primes p . Vector spaces make another appearance here, since in an abelian p -group the set of elements of order p (together with 0) forms a vector space over ℤ/ p ℤ.

The enhanced power graph [Formula: see text] of a group [Formula: see text] is the graph with vertex set [Formula: see text] such that two vertices [Formula: see text] and [Formula: see text] are adjacent if they are contained in the same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between undirected power graph of finite groups is an isomorphism between enhanced power graphs of these groups, and we find all finite groups [Formula: see text] for which [Formula: see text] is abelian, all finite groups [Formula: see text] with [Formula: see text] being prime power, and all finite groups [Formula: see text] with [Formula: see text] being square-free. Also, we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.

The present study is concerned with the development of a unified approach to the modeling and the design of an effective feedback linearizing and stabilizing nonlinear controller for multibody flexible and articulated systems. Modeling and control system design for such systems is of current interest. The principal objectives are to investigate the attitude regulation of rigid and/or flexible articulated multibody structures and to demonstrate how interacting nonlinear behaviors of flexible and articulated systems affect the stability and robustness properties of the controlled system. A systematic method for the formulation of the equations of motion for the nonlinear dynamics of flexible and articulated systems is employed based on a unified serial chain body algorithm, and this algorithm is integrated into Poincare's form of Lagrange's equations to formulate an innovative new approach to modeling of the system. The closed form solution of partial feedback linearization is derived using simple mathematical techniques and PFL compensation is applied as a general approach for the attitude decoupling and stabilization of the system having perfect knowledge of model uncertainties. The performance of a linear stabilizer, constructed on the same decoupling principle of the PFL stabilizer, is compared to that of PFL stabilizer with respect to attitude decoupling and stabilization. In the presence of model uncertainties, parameter adaptive control method is combined with PFL to enhance stability and robustness properties. Throughout these analyses, it is shown that (1) the developed modeling procedure is an effective tool in constructing feedback linearizing control laws, (2) with the perfect knowledge of parametric uncertainties, PFL controller yields excellent performance with respect to attitude decoupling and stabilization, (3) the domain of attraction of the linear controller applied to nonlinear systems is critically small, and the boundary of stability is explained as a subcritical Hopf bifurcation, and (4) the equilibrium point of the closed-loop adaptive control system is asymptotically stable, but the domain of attraction of adaptive PFL is limited due to nonlinear effects between flexible and articulated bodies.

A group G is called semi-n-abelian, if for every g ∈ G there exists at least one a(g) ∈ G-which depends only on g-such that (gh)n = a-1(g)gnhna(g) for all h ∈ G; a group G is called n-abelian, if a(g) = e for all g ∈ G. According to Durbin the following holds for n-abelian groups: If G is n-abelian for at lesast 3 consecutive integers, then G in n-abelian for all integers and these groups are exactly the abelian groups. In this paper this problem is generalized to the semi-n-abelian case: If a finite group G is semi-n-abelian for at least 4 consecutive integers then G is semi-n-abelian for all integers and these groups are exactly the nilpotent groups, where the Sylow-2-subgroup is abelian, the Sylow-3-subgroup is any element of the Levi-variety ([[g, h], h] = e ∀ g, h ∈ G) and the Sylow-p-subgroup (p < 3) is of class <2. As a consequence we get a description of all finite (3-)groups, which are elements of the Levi-variety.