Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Spectral Fundamentals and Characterizations of Signed Directed Graphs
Published
• View Publication
• BIB
The spectral properties of signed directed graphs, which may be naturally obtained by assigning a sign to each edge of a directed graph, have received substantially less attention than those of their undirected and/or unsigned counterparts. To represent such signed directed graphs, we use a striking equivalence to $\mathbb{T}_6$-gain graphs to formulate a Hermitian adjacency matrix, whose entries are the unit Eisenstein integers $\exp(kπi/3),$ $k\in \mathbb{Z}_6.$ Many well-known results, such as (gain) switching and eigenvalue interlacing, naturally carry over to this paradigm. We show that non-empty signed directed graphs whose spectra occur uniquely, up to isomorphism, do not exist, but we provide several infinite families whose spectra occur uniquely up to switching equivalence. Intermediate results include a classification of all signed digraphs with rank $2,3$, and a deep discussion of signed digraphs with extremely few (1 or 2) non-negative (eq. non-positive) eigenvalues.
Fractional vertex-arboricity of planar graphs
We initiate a systematic study of the fractional vertex-arboricity of planar graphs and demonstrate connections to open problems concerning both fractional coloring and the size of the largest induced forest in planar graphs. In particular, the following three long-standing conjectures concern the size of a largest induced forest in a planar graph, and we conjecture that each of these can be generalized to the setting of fractional vertex-arboricity. In 1979, Albertson and Berman conjectured that every planar graph has an induced forest on at least half of its vertices, in 1987, Akiyama and Watanabe conjectured that every bipartite planar graph has an induced forest on at least five-eighths of its vertices, and in 2010, Kowalik, Lužar, and Škrekovski conjectured that every planar graph of girth at least five has an induced forest on at least seven-tenths of its vertices. We make progress toward the fractional generalization of the latter of these, by proving that every planar graph of girth at least five has fractional vertex-arboricity at most $2 - 1/324$.
Restrained Italian domination in graphs
Published in RAIRO-Operations Research, 55 (2021), 319-332
• View Publication
• BIB
For a graph $G=(V(G),E(G))$, an Italian dominating function (ID function) $f:V(G)\rightarrow\{0,1,2\}$ has the property that for every vertex $v\in V(G)$ with $f(v)=0$, either $v$ is adjacent to a vertex assigned $2$ under $f$ or $v$ is adjacent to least two vertices assigned $1$ under $f$. The weight of an ID function is $\sum_{v\in V(G)}f(v)$. The Italian domination number is the minimum weight taken over all ID functions of $G$.
In this paper, we initiate the study of a variant of ID functions. A restrained Italian dominating function (RID function) $f$ of $G$ is an ID function of $G$ for which the subgraph induced by $\{v\in V(G)\mid f(v)=0\}$ has no isolated vertices, and the restrained Italian domination number $γ_{rI}(G)$ is the minimum weight taken over all RID functions of $G$. We first prove that the problem of computing this parameter is NP-hard, even when restricted to bipartite graphs and chordal graphs as well as planar graphs with maximum degree five. We prove that $γ_{rI}(T)$ for a tree $T$ of order $n\geq3$ different from the double star $S_{2,2}$ can be bounded from below by $(n+3)/2$. Moreover, all extremal trees for this lower bound are characterized in this paper. We also give some sharp bounds on this parameter for general graphs and give the characterizations of graphs $G$ with small or large $γ_{rI}(G)$.
Classification of partially metric Q-polynomial association schemes with $m_1 = 4$
Published
• View Publication
• BIB
We classify the Q-polynomial association schemes with $m_{1} = 4$ which are partially metric with respect to the nearest neighbourhood relation. An association scheme is partially metric with respect to a relation $R_1$ if the scheme graph of $R_2$ is exactly the distance-2 graph of the scheme graph of $R_1$ under a certain ordering of the relations.
The quiver of an affine monoid
Published
• View Publication
• BIB
If $R$ is a finite commutative ring, then the affine monoid of $R$ is the monoid of all affine mappings $x\mapsto ax+b$ on $R$. Alternatively, it is the semidirect product of the multiplicative monoid of $R$ with the additive group of $R$. In this paper we compute the Gabriel quiver of the complex algebra of the affine monoid of any finite commutative ring.
Hypergraph $k$-cut for fixed $k$ in deterministic polynomial time
Published
• View Publication
• BIB
We consider the Hypergraph-$k$-cut problem. The input consists of a hypergraph $G=(V,E)$ with non-negative hyperedge-costs $c: E\rightarrow R_+$ and a positive integer $k$. The objective is to find a least-cost subset $F\subseteq E$ such that the number of connected components in $G-F$ is at least $k$. An alternative formulation of the objective is to find a partition of $V$ into $k$ non-empty sets $V_1,V_2,\ldots,V_k$ so as to minimize the cost of the hyperedges that cross the partition. Graph-$k$-cut, the special case of Hypergraph-$k$-cut obtained by restricting to graph inputs, has received considerable attention. Several different approaches lead to a polynomial-time algorithm for Graph-$k$-cut when $k$ is fixed, starting with the work of Goldschmidt and Hochbaum (1988). In contrast, it is only recently that a randomized polynomial time algorithm for Hypergraph-$k$-cut was developed (Chandrasekaran, Xu, Yu, 2018) via a subtle generalization of Karger's random contraction approach for graphs. In this work, we develop the first deterministic polynomial time algorithm for Hypergraph-$k$-cut for all fixed $k$. We describe two algorithms both of which are based on a divide and conquer approach. The first algorithm is simpler and runs in $n^{O(k^2)}$ time while the second one runs in $n^{O(k)}$ time. Our proof relies on new structural results that allow for efficient recovery of the parts of an optimum $k$-partition by solving minimum $(S,T)$-terminal cuts. Our techniques give new insights even for Graph-$k$-cut.
Stability of $\mathbb{Z}^2$ configurations in 3D
Published
• View Publication
• BIB
Inspired by the issue of stability of molecular structures, we investigate the strict minimality of point sets with respect to configurational energies featuring two- and three-body contributions. Our main focus is on characterizing those configurations which cannot be deformed without changing distances between first neighbors or angles formed by pairs of first neighbors. Such configurations are called {\it angle-rigid}.
We tackle this question in the class of finite configurations in $\mathbb{Z}^2$, seen as planar three-dimensional point sets. A sufficient condition preventing angle-rigidity is presented. This condition is also proved to be necessary when restricted to specific subclasses of configurations.
The Elser nuclei sum revisited
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (June 3, 2021) dmtcs:7012
• View Publication
• BIB
Fix a finite undirected graph $Γ$ and a vertex $v$ of $Γ$. Let $E$ be the set of edges of $Γ$. We call a subset $F$ of $E$ pandemic if each edge of $Γ$ has at least one endpoint that can be connected to $v$ by an $F$-path (i.e., a path using edges from $F$ only). In 1984, Elser showed that the sum of $\left(-1\right)^{\left| F\right|}$ over all pandemic subsets $F$ of $E$ is $0$ if $E\neq \varnothing$. We give a simple proof of this result via a sign-reversing involution, and discuss variants, generalizations and refinements, revealing connections to abstract convexity (the notion of an antimatroid) and discrete Morse theory.
Partially scattered linearized polynomials and rank metric codes
Published
• View Publication
• BIB
A linearized polynomial $f(x)\in\mathbb F_{q^n}[x]$ is called scattered if for any $y,z\in\mathbb F_{q^n}$, the condition $zf(y)-yf(z)=0$ implies that $y$ and $z$ are $\mathbb F_{q}$-linearly dependent. In this paper two generalizations of the notion of a scattered linearized polynomial are defined and investigated. Let $t$ be a nontrivial positive divisor of $n$. By weakening the property defining a scattered linearized polynomial, L-$q^t$-partially scattered and R-$q^t$-partially scattered linearized polynomials are introduced in such a way that the scattered linearized polynomials are precisely those which are both L-$q^t$- and R-$q^t$-partially scattered. Also, connections between partially scattered polynomials, linear sets and rank metric codes are exhibited.
Phylosymmetric algebras: mathematical properties of a new tool in phylogenetics
Published
• View Publication
• BIB
In phylogenetics it is of interest for rate matrix sets to satisfy closure under matrix multiplication as this makes finding the set of corresponding transition matrices possible without having to compute matrix exponentials. It is also advantageous to have a small number of free parameters as this, in applications, will result in a reduction of computation time. We explore a method of building a rate matrix set from a rooted tree structure by assigning rates to internal tree nodes and states to the leaves, then defining the rate of change between two states as the rate assigned to the most recent common ancestor of those two states. We investigate the properties of these matrix sets from both a linear algebra and a graph theory perspective and show that any rate matrix set generated this way is closed under matrix multiplication. The consequences of setting two rates assigned to internal tree nodes to be equal are then considered. This methodology could be used to develop parameterised models of amino acid substitution which have a small number of parameters but convey biological meaning.
Distance Eigenvalues and Forwarding Indices of Multiplicative Circulant Graph of Order Power of Two and Three
Published
• View Publication
• BIB
In this paper, we use Breadth-first search algorithm to determine the distance matrix of multiplicative circulant graph of order power of two and three. As a consequence, the diameter of the graphs were determined. We also give their distance spectral radii, average distances, as well as the exact values of vertex-forwarding indices. Finally, using some known relationships between the distance spectral radii and forwarding indices of a graph, we give some bounds for their edge-forwarding indices.
Cellularity of the p-Canonical Basis for Symmetric Groups
For symmetric groups we show that the p-canonical basis can be extended to a cell datum for the Iwahori-Hecke algebra H and that the two-sided p-cell preorder coincides with the Kazhdan-Lusztig two-sided cell preorder. Moreover, we show that left (or right) p-cells inside the same two-sided p-cell for Hecke algebras of finite crystallographic Coxeter systems are incomparable (Property A).
Multichannel Conflict-Avoiding Codes of Weights Three and Four
Published
• View Publication
• BIB
Conflict-avoiding codes (CACs) were introduced by Levenshtein as a single-channel transmission scheme for a multiple-access collision channel without feedback. When the number of simultaneously active source nodes is less than or equal to the weight of a CAC, it is able to provide a hard guarantee that each active source node transmits at least one packet successfully within a fixed time duration, no matter what the relative time offsets between the source nodes are. In this paper, we extend CACs to multichannel CACs for providing such a hard guarantee over multiple orthogonal channels. Upper bounds on the number of codewords for multichannel CACs of weights three and four are derived, and constructions that are optimal with respect to these bounds are presented.
An Incidence Result for Well-Spaced Atoms in all Dimensions
Published
• View Publication
• BIB
We prove an incidence result counting the $k$-rich $δ$-tubes induced by a well-spaced set of $δ$-atoms. Our result coincides with the bound that would be heuristically predicted by the Szemerédi--Trotter Theorem and holds in all dimensions $d \geq 2$.
On the prime spectrum of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph
Published
• View Publication
• BIB
This paper is devoted to the problem of classification of ${\rm AT4}(p,p+2,r)$-graphs. There is a unique ${\rm AT4}(p,p+2,r)$-graph with $p=2$, namely, the distance-transitive Soicher graph with intersection array $\{56, 45, 16, 1;1, 8, 45, 56\}$, whose local graphs are isomorphic to the Gewirtz graph. It is still unknown whether an ${\rm AT4}(p,p+2,r)$-graph with $p>2$ exists. The local graphs of each ${\rm AT4}(p,p+2,r)$-graph are strongly regular with parameters $((p+2)(p^2+4p+2),p(p+3),p-2,p)$. In the present paper, we find an upper bound for the prime spectrum of an automorphism group of a strongly regular graph with such parameters, and we also obtain some restrictions for the prime spectrum and the structure of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph in case when $p$ is a prime power. As a corollary, we show that there are no arc-transitive ${\rm AT4}(p,p+2,r)$-graphs with $p\in \{11,17,27\}$.
A new construction of Deza graphs through $π$-local fusion graphs of finite simple groups of Lie-type of even characteristic
In this paper, we investigate the structure of $π$-local fusion graphs of some finite simple groups of Lie-type of even characteristic. We indicate a strong connection between such graphs and other combinatorial objects, as antipodal covers and Deza graphs. In particular, we find several infinite families of $π$-local fusion graphs of finite simple groups of Lie-type of even characteristic that are strictly Deza graphs.
Sets avoiding six-term arithmetic progressions in $\mathbb{Z}_6^n$ are exponentially small
Published
• View Publication
• BIB
We show that sets avoiding 6-term arithmetic progressions in $\mathbb{Z}_6^n$ have size at most $5.709^n$. It is also pointed out that the "product construction" does not work in this setting, specially, we show that for the extremal sizes in small dimensions we have $r_6(\mathbb{Z}_6)=5$, $r_6(\mathbb{Z}_6^2)=25$ and $ 116\leq r_6(\mathbb{Z}_6^3)\leq 124$.
Zero forcing number of graphs with a power law degree distribution
Published in Phys. Rev. E 103, 022301 (2021)
• View Publication
• BIB
The zero forcing number is the minimum number of black vertices that can turn a white graph black following a single neighbour colour forcing rule. The zero forcing number provides topological information about linear algebra on graphs, with applications to the controllability of linear dynamical systems and quantum walks on graphs among other problems. Here, I investigate the zero forcing number of undirected simple graphs with a power law degree distribution $p_k\sim k^{-γ}$. For graphs generated by the preferential attachment model, with a diameter scaling logarithmically with the graph size, the zero forcing number approaches the graph size when $γ\rightarrow2$. In contrast, for graphs generated by the deactivation model, with a diameter scaling linearly with the graph size, the zero forcing number is smaller than the graph size independently of $γ$. Therefore the scaling of the graph diameter with the graph size is another factor determining the controllability of dynamical systems.
Freely Independent Coin Tosses, Standard Young Tableaux, and the Kesten--McKay Law
Published
• View Publication
• BIB
In this article, we shall start with a closed walk on a regular tree of degree $d$. These walks are described by the Kesten-McKay law which arises as the asymptotic distribution of a random $d$-regular graph on $n$ vertices. We will show that the moments of the Kesten-McKay law are given by counting standard Young tableaux with at most 2 rows, and how some properties of the walk make sense even when $d$ is not an integer. We will use free probability to instruct us how to build an explicit model in random matrix theory.
Laplacian integral graphs with a given degree sequence constraint
Published
• View Publication
• BIB
Let G be a graph on n vertices. The Laplacian matrix of G, denoted by L(G), is defined as L(G) = D(G) - A(G), where A(G) is the adjacency matrix of G and D(G) is the diagonal matrix of the vertex degrees of G. A graph G is said to be L-integral is all eigenvalues of the matrix L(G) are integers. In this paper, we characterize all L-integral non-bipartite graphs among all connected graphs with at most two vertices of degree larger than or equal to three.