Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Assigned rational functions of a rooted tree
Published in Appl. Math. Comput. Sci. 7 (2023) 1-16
• Search Publication
We investigate the spectral properties of rooted trees with the intention of improving the currently existing results that deal with this matter. The concept of an assigned rational function is recursively defined for each vertex of a rooted tree. Afterwards, two mathematical formulas are given which show how the characteristic polynomials of the adjacency and Laplacian matrix can be represented as products of the aforementioned rational functions. In order to demonstrate their general use case scenario, the obtained formulas are subsequently implemented on balanced trees, with a special focus on the Bethe trees. In the end, some of the previously derived results are used in order to construct a tree merging procedure which preserves the spectra of all of the starting trees.
Lattice of Integer Flows and the Poset of Strongly Connected Orientations for Regular Matroids
Published
• View Publication
• BIB
A 2010 result of Amini provides a way to extract information about the structure of the graph from the geometry of the Voronoi polytope of the lattice of integer flows (which determines the graph up to two-isomorphism). Specifically, Amini shows that the face poset of the Voronoi polytope is isomorphic to the poset of strongly connected orientations of subgraphs. This answers a question raised by Caporaso and Viviani, and Amini also proves a dual result for integer cuts. In this paper we generalise Amini's result to regular matroids; in this context the theorem for integer cuts becomes a direct consequence of the theorem for integer flows, by making duality explicit as matroid duality.
On the spectral radius of uniform weighted hypergraph
Published
• View Publication
• BIB
Let $\mathbb{Q}_{k,n}$ be the set of the connected $k$-uniform weighted hypergraphs with $n$ vertices, where $k,n\geq 3$. For a hypergraph $G\in \mathbb{Q}_{k,n}$, let $\mathcal{A}(G)$, $\mathcal{L} (G)$ and $\mathcal{Q} (G)$ be its adjacency tensor, Laplacian tensor and signless Laplacian tensor, respectively. The spectral radii of $\mathcal{A}(G)$ and $\mathcal{Q} (G)$ are investigated. Some basic properties of the $H$-eigenvalue, the $H^{+}$-eigenvalue and the $H^{++}$-eigenvalue of $\mathcal{A}(G)$, $\mathcal{L} (G)$ and $\mathcal{Q} (G)$ are presented. Several lower and upper bounds of the $H$-eigenvalue, the $H^{+}$-eigenvalue and the $H^{++}$-eigenvalue for $\mathcal{A}(G)$, $\mathcal{L} (G)$ and $\mathcal{Q} (G)$ are established. The largest $H^{+}$-eigenvalue of $\mathcal{L} (G)$ and the smallest $H^{+}$-eigenvalue of $\mathcal{Q} (G)$ are characterized. A relationship among the $H$-eigenvalues of $\mathcal{L} (G)$, $\mathcal{Q} (G)$ and $\mathcal{A} (G)$ is also given.
The maximal spectral radius of the uniform unicyclic hypergraph with perfect matchings
Published
• View Publication
• BIB
Let $\mathcal{U}(n,k)$ and $Γ(n,k)$ be the set of the $k$-uniform linear and nonlinear unicyclic hypergraphs having perfect matchings with $n$ vertices respectively, where $n\geq k(k-1)$ and $k\geq 3$. By using some techniques of transformations and constructing the incidence matrices for the hypergraphs considered, we get the hypergraphs with the maximal spectral radii among three kinds of hypergraphs, namely $\mathcal{U}(n,k)$ with $n= 2k(k-1)$ and $n\geq 9k(k-1)$, $Γ(n,k)$ with $n\geq k(k-1)$, and $\mathcal{U}(n,k)\cup Γ(n,k)$ with $n\geq 2k(k-1)$, where $k\geq 3$.
On the walk matrix of the Dynkin graph $D_n$
Published
• View Publication
• BIB
Let $W(D_n)$ denote the walk matrix of the Dynkin graph $D_n$, a tree obtained from the path of order $n-1$ by adding a pendant edge at the second vertex. We prove that $\text{rank}\,W(D_n)=n-2$ if $4\mid n$ and $\text{rank}\,W(D_n)=n-1$ otherwise. Furthermore, we prove that the Smith normal form of $W(D_n)$ is $$\text{diag}[\underbrace{1,1,\ldots,1}_{\lceil\frac{n}{2}\rceil},\underbrace{2,2,\ldots,2}_{\lfloor\frac{n}{2}\rfloor-1},0]$$ when $4\nmid n$. This confirms a recent conjecture in [W.Wang, F.Liu, W.Wang, Generalized spectral characterizations of almost controllable graphs, European J. Combin., 96(2021):103348].
Heroes in oriented complete multipartite graphs
Published
• View Publication
• BIB
The dichromatic number of a digraph is the minimum size of a partition of its vertices into acyclic induced subgraphs. Given a class of digraphs $\mathcal C$, a digraph $H$ is a hero in $\mc C$ if $H$-free digraphs of $\mathcal C$ have bounded dichromatic number. In a seminal paper, Berger at al. give a simple characterization of all heroes in tournaments. In this paper, we give a simple proof that heroes in quasi-transitive oriented graphs are the same as heroes in tournaments. We also prove that it is not the case in the class of oriented multipartite graphs, disproving a conjecture of Aboulker, Charbit and Naserasr. We also give a full characterisation of heroes in oriented complete multipartite graphs up to the status of a single tournament on $6$ vertices.
Enumeration of chordal planar graphs and maps
We determine the number of labelled chordal planar graphs with $n$ vertices, which is asymptotically $c_1\cdot n^{-5/2} γ^n n!$ for a constant $c_1>0$ and $γ\approx 11.89235$. We also determine the number of rooted simple chordal planar maps with $n$ edges, which is asymptotically $c_2 n^{-3/2} δ^n$, where $δ= 1/σ\approx 6.40375$, and $σ$ is an algebraic number of degree 12. The proofs are based on combinatorial decompositions and singularity analysis. Chordal planar graphs (or maps) are a natural example of a subcritical class of graphs in which the class of 3-connected graphs is relatively rich. The 3-connected members are precisely chordal triangulations, those obtained starting from $K_4$ by repeatedly adding vertices adjacent to an existing triangular face.
Submodule codes as spherical codes in buildings
Published in Des. Codes Cryptogr. 91, 2449-2472 (2023)
• View Publication
• BIB
We give a generalization of subspace codes by means of codes of modules over finite commutative chain rings. We define a new class of Sperner codes and use results from extremal combinatorics to prove the optimality of such codes in different cases. Moreover, we explain the connection with Bruhat-Tits buildings and show how our codes are the buildings' analogue of spherical codes in the Euclidean sense.
The Normalized Laplacian Spectrum Analysis of Fractal Mobius Octagonal Networks and its Applications
The study and calculation of spectrum of networks can be used to describe networks structure and quantify analysis of networks performance. The fractal Möbius octagonal networks, denoted by $Q_n$, is derived from the inverse identification of the opposite lateral edges of fractal linear octagonal networks. In this paper, the normalized Laplacian spectrum of $Q_n$ is determined by two matrices $\mathcal {L}_A$ and $\mathcal {L}_S$. As an important application of our results, some topological indices (multiplicative degree-Kirchhoff index, the number of spanning trees) formulas of $Q_n$ are obtained.
A new infinite family of star normal quotient graphs of twisted wreath type
Published
• View Publication
• BIB
We construct the first infinite families of locally arc transitive graphs with the property that the automorphism group has two orbits on vertices and is quasiprimitive on exactly one orbit, of twisted wreath type. This work contributes to Giudici, Li and Praeger's program for the classification of locally arc transitive graphs by showing that the star normal quotient twisted wreath category also contains infinitely many graphs.
The expected degree of noninvertibility of compositions of functions and a related combinatorial identity
Recently, Defant and Propp [2020] defined the degree of noninvertibility of a function $f\colon X\to Y$ between two finite nonempty sets by $\text{deg}(f)=\frac{1}{|X|}\sum_{x\in X}|f^{-1}(f(x))|$. We obtain an exact formula for the expected degree of noninvertibility of the composition of $t$ functions for every $t\in \mathbb{N}$. An equivalent formulation for the definition of the degree of noninvertibility is then the starting point for a generalization yielding a seemingly new combinatorial identity involving the Stirling transform of the signed Stirling numbers of the first kind.
Stable and metastable contract networks
Published
• View Publication
• BIB
We consider a hypergraph (I,C), with possible multiple (hyper)edges and loops, in which the vertices $i\in I$ are interpreted as agents, and the edges $c\in C$ as contracts that can be concluded between agents. The preferences of each agent i concerning the contracts where i takes part are given by use of a choice function $f_i$ possessing the so-called path independent property. In this general setup we introduce the notion of stable network of contracts.
The paper contains two main results. The first one is that a general problem on stable systems of contracts for (I,C,f) is reduced to a set of special ones in which preferences of agents are described by use of so-called weak orders, or utility functions. However, for a special case of this sort, the stability may not exist. Trying to overcome this trouble when dealing with such special cases, we introduce a weaker notion of metastability for systems of contracts. Our second result is that a metastable system always exists.
The $m$-bipartite Ramsey number of the $K_{2,2}$ versus $K_{6,6}$
Given bipartite graphs $G_1, \ldots, G_n$, the bipartite Ramsey number $BR(G_1,\ldots, G_n)$ is the last integer $b$ such that any complete bipartite graph $K_{b,b}$ with edges coloured with colours $1,2,\ldots,n$ contains a copy of some $G_i$ ($1\leq i\leq n$) where all edges of $G_i$ have colour $i$. As another view of bipartite Ramsey numbers, for given bipartite graphs $G_1, \ldots, G_n$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(G_1, \ldots, G_n)$, is defined as the least integer $b$, such that any complete bipartite graph $K_{m,b}$ with edges coloured with colours $1,2,\ldots,n$ contains a copy of some $G_i$ ($1\leq i\leq n$) where all edges of $G_i$ have colour $i$. The size of $BR_m(G_1, G_2)$, where $G_1=K_{2,2}$ and $G_2\in \{K_{3,3}, K_{4,4}\}$ for each $m$ and the size of $BR_m(K_{3,3}, K_{3,3})$ and $BR_m(K_{2,2}, K_{5,5})$ for special values of $m$, have been determined in several article up to now. In this article, we compute the size of $BR_m(K_{2,2}, K_{6,6})$ for some $m\geq 2$.
Constructing the $r$-uniform supertrees with the same spectral radius and matching energyv
Published
• View Publication
• BIB
An $r$-uniform supertree is a connected and acyclic hypergraph of which each edge has $r$ vertices, where $r\geq 3$. We propose the concept of matching energy for an $r$-uniform hypergraph, which is defined as the sum of the absolute value of all the eigenvalues of its matching polynomial. With the aid of the matching polynomial of an $r$-uniform supertree, three pairs of $r$-uniform supertrees with the same spectral radius and the same matching energy are constructed, and two infinite families of $r$-uniform supertrees with the same spectral radius and the same matching energy are characterized. Some known results about the graphs with the same spectra regarding to their adjacency matrices can be naturally deduced from our new results.
On the chromatic number of some $P_5$-free graphs
Published
• View Publication
• BIB
Let $G$ be a graph. We say that $G$ is perfectly divisible if for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. For two disjoint graphs $F_1$ and $F_2$, we use $F_1\cup F_2$ to denote the graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)$, and use $F_1+F_2$ to denote the graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)\cup \{xy\;|\; x\in V(F_1)\mbox{ and } y\in V(F_2)\}$. In this paper, we prove that (i) $(P_5, C_5, K_{2, 3})$-free graphs are perfectly divisible, (ii) $χ(G)\le 2ω^2(G)-ω(G)-3$ if $G$ is $(P_5, K_{2,3})$-free with $ω(G)\ge 2$, (iii) $χ(G)\le {3\over 2}(ω^2(G)-ω(G))$ if $G$ is $(P_5, K_1+2K_2)$-free, and (iv) $χ(G)\le 3ω(G)+11$ if $G$ is $(P_5, K_1+(K_1\cup K_3))$-free.
Calculating eigenvectors in max-algebra by mutation-sunflower method
In this article we introduce a new method, which we call a mutation-sunflower method, for calculating max-eigenvectors of a nonnegative irreducible $n\times n$ matrix $A$. Our method works in the general irreducible case, but it is in comparison with existing methods most effective for some special classes of matrices for example for sparse enough matrices. Our method reduces to solving max-eigenproblems for simple mutation-sunflower matrices that have exactly one positive entry in each row. We include some instructive examples.
Chebyshev Polynomials, Sliding Columns, and the $k$-step Fibonacci Numbers
Published
• View Publication
• BIB
We give a direct and intuitive proof (via sliding some columns up and down) of the following interesting fact: if we write out the Chebyshev polynomials in a chart and take the sums of coefficients along certain diagonals, we obtain the Fibonaccis, the Tribonaccis, the Tetranaccis, and so on.
On the regular 2-connected 2-path Hamiltonian graphs
Published
• View Publication
• BIB
A graph $G$ is $l$-path Hamiltonian if every path of length not exceeding $l$ is contained in a Hamiltonian cycle. It is well known that a 2-connected, $k$-regular graph $G$ on at most $3k-1$ vertices is edge-Hamiltonian if for every edge $uv$ of $G$, $\{u,v\}$ is not a cut-set. Thus $G$ is 1-path Hamiltonian if $G\setminus \{u,v\}$ is connected for every edge $uv$ of $G$. Let $P=uvz$ be a 2-path of a 2-connected, $k$-regular graph $G$ on at most $2k$ vertices. In this paper, we show that there is a Hamiltonian cycle containing the 2-path $P$ if $G\setminus V(P)$ is connected. Therefore, the work implies a condition for a 2-connected, $k$-regular graph to be 2-path Hamiltonian. An example shows that the $2k$ is almost sharp, i.e., the number is at most $2k+1$.
Application of Tikhonov Regularization in Generalized Inverse of Adjacency Matrix of Undirected Graph
Published
• View Publication
• BIB
In this paper, we found the Moore-Penrose generalized inverse of adjacency matrix of an undirected graph, explicitly. We proved that the matrix $R_λ= [r_{ij}]$ is nonsingular where $r_{ii}=\frac{1}λ+ °v_i$ and $r_{ij}=\mid N_G(V_i)\cap N_G(V_j)\mid$ for $i\neq j$, and we proved that $A^{\dagger}_G=[s_{ij}]_{1\leq i, j \leq n}$ where $\displaystyle{s_{ij}=s_{ji}=\lim_{λ\rightarrow +\infty} \langle R^{-1}_λe_j, f_i \rangle }$. The proof of the main result was based on the Tikhonov regularization.
Twin-width and Transductions of Proper k-Mixed-Thin Graphs
The new graph parameter twin-width, introduced by Bonnet, Kim, Thomass e and Watrigant in 2020, allows for an FPT algorithm for testing all FO properties of graphs. This makes classes of efficiently bounded twin-width attractive from the algorithmic point of view. In particular, classes of efficiently bounded twin-width include proper interval graphs, and (as digraphs) posets of width k. Inspired by an existing generalization of interval graphs into so-called k-thin graphs, we define a new class of proper k-mixed-thin graphs which largely generalizes proper interval graphs. We prove that proper k-mixed-thin graphs have twin-width linear in k, and that a slight subclass of k-mixed-thin graphs is transduction-equivalent to posets of width k' such that there is a quadratic-polynomial relation between k and k'. In addition to that, we also give an abstract overview of the so-called red potential method which we use to prove our twin-width bounds.