Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Make a graph singly connected by edge orientations
Published
• View Publication
• BIB
A directed graph $D$ is singly connected if for every ordered pair of vertices $(s,t)$, there is at most one path from $s$ to $t$ in $D$. Graph orientation problems ask, given an undirected graph $G$, to find an orientation of the edges such that the resultant directed graph $D$ has a certain property. In this work, we study the graph orientation problem where the desired property is that $D$ is singly connected. Our main result concerns graphs of a fixed girth $g$ and coloring number $c$. For every $g,c\geq 3$, the problem restricted to instances of girth $g$ and coloring number $c$, is either NP-complete or in P. As further algorithmic results, we show that the problem is NP-hard on planar graphs and polynomial time solvable distance-hereditary graphs.
Independent coalition in graphs: existence and characterization
Published
• View Publication
• BIB
An independent coalition in a graph $G$ consists of two disjoint sets of vertices $V_1$ and $V_2$ neither of which is an independent dominating set but whose union $V_1 \cup V_2$ is an independent dominating set. An independent coalition partition, abbreviated, $ic$-partition, in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that each set $V_i$ of $π$ either is a singleton dominating set, or is not an independent dominating set but forms an independent coalition with another set $V_j \in π$.
The maximum number of classes of an $ic$-partition of $G$ is the independent coalition number of $G$, denoted by $IC(G)$. In this paper we study the concept of $ic$-partition. In particular, we discuss the possibility of the existence of $ic$-partitions in graphs and introduce a family of graphs for which no $ic$-partition exists. We also determine the independent coalition number of some classes of graphs and investigate graphs $G$ of order $n$ with $IC(G)\in\{1,2,3,4,n\}$ and the trees $T$ of order $n$ with $IC(T)=n-1$.
An $(\aleph_0,k+2)$-Theorem for $k$-Transversals
Published
• View Publication
• BIB
A family $\mathcal{F}$ of sets satisfies the $(p,q)$-property if among every $p$ members of $\mathcal{F}$, some $q$ can be pierced by a single point. The celebrated $(p,q)$-theorem of Alon and Kleitman asserts that for any $p \geq q \geq d+1$, any family $\mathcal{F}$ of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$-property can be pierced by a finite number $c(p,q,d)$ of points. A similar theorem with respect to piercing by $(d-1)$-dimensional flats, called $(d-1)$-transversals, was obtained by Alon and Kalai.
In this paper we prove the following result, which can be viewed as an $(\aleph_0,k+2)$-theorem with respect to $k$-transversals: Let $\mathcal{F}$ be an infinite family of closed balls in $\mathbb{R}^d$, and let $0 \leq k < d$. If among every $\aleph_0$ elements of $\mathcal{F}$, some $k+2$ can be pierced by a $k$-dimensional flat, then $\mathcal{F}$ can be pierced by a finite number of $k$-dimensional flats. We derive this result as a corollary of a more general result which proves the same assertion for families of not necessarily convex objects called \emph{near-balls}, to be defined below.
This is the first $(p,q)$-theorem in which the assumption is weakened to an $(\infty,\cdot)$ assumption. Our proofs combine geometric and topological tools.
Decompositions of Nonlinear Input-Output Systems to Zero the Output
Published in Systems & Control Letters, Volume 187, May 2024, 105783
• View Publication
• BIB
Consider an input-output system where the output is the tracking error given some desired reference signal. It is natural to consider under what conditions the problem has an exact solution, that is, the tracking error is exactly the zero function. If the system has a well defined relative degree and the zero function is in the range of the input-output map, then it is well known that the system is locally left invertible, and thus, the problem has a unique exact solution. A system will fail to have relative degree when more than one exact solution exists. The general goal of this paper is to describe a decomposition of an input-output system having a Chen-Fliess series representation into a parallel product of subsystems in order to identify possible solutions to the problem of zeroing the output. For computational purposes, the focus is on systems whose generating series are polynomials. It is shown that the shuffle algebra on the set of generating polynomials is a unique factorization domain so that any polynomial can be uniquely factored modulo a permutation into its irreducible elements for the purpose of identifying the subsystems in a parallel product decomposition. This is achieved using the fact that this shuffle algebra is isomorphic to the symmetric algebra over the vector space spanned by Lyndon words. A specific algorithm for factoring generating polynomials into its irreducible factors is presented based on the Chen-Fox-Lyndon factorization of words.
Subchromatic numbers of powers of graphs with excluded minors
A $k$-subcolouring of a graph $G$ is a function $f:V(G) \to \{0,\ldots,k-1\}$ such that the set of vertices coloured $i$ induce a disjoint union of cliques. The subchromatic number, $χ_{\textrm{sub}}(G)$, is the minimum $k$ such that $G$ admits a $k$-subcolouring. Nešetřil, Ossona de Mendez, Pilipczuk, and Zhu (2020), recently raised the problem of finding tight upper bounds for $χ_{\textrm{sub}}(G^2)$ when $G$ is planar. We show that $χ_{\textrm{sub}}(G^2)\le 43$ when $G$ is planar, improving their bound of 135. We give even better bounds when the planar graph $G$ has larger girth. Moreover, we show that $χ_{\textrm{sub}}(G^{3})\le 95$, improving the previous bound of 364. For these we adapt some recent techniques of Almulhim and Kierstead (2022), while also extending the decompositions of triangulated planar graphs of Van den Heuvel, Ossona de Mendez, Quiroz, Rabinovich and Siebertz (2017), to planar graphs of arbitrary girth. Note that these decompositions are the precursors of the graph product structure theorem of planar graphs.
We give improved bounds for $χ_{\textrm{sub}}(G^p)$ for all $p$, whenever $G$ has bounded treewidth, bounded simple treewidth, bounded genus, or excludes a clique or biclique as a minor. For this we introduce a family of parameters which form a gradation between the strong and the weak colouring numbers. We give upper bounds for these parameters for graphs coming from such classes.
Finally, we give a 2-approximation algorithm for the subchromatic number of graphs coming from any fixed class with bounded layered cliquewidth. In particular, this implies a 2-approximation algorithm for the subchromatic number of powers $G^p$ of graphs coming from any fixed class with bounded layered treewidth (such as the class of planar graphs). This algorithm works even if the power $p$ and the graph $G$ is unknown.
Valid path-based graph vertex numbering
A labelling of a graph is an assignment of labels to its vertex or edge sets (or both), subject to certain conditions, a well established concept. A labelling of a graph G of order n is termed a numbering when the set of integers {1,...,n} is used to label the vertices of G distinctly. A 2-path (a path with three vertices) in a vertex-numbered graph is said to be valid if the number of its middle vertex is smaller than the numbers of its endpoints. The problem of finding a vertex numbering of a given graph that optimises the number of induced valid 2-paths is studied, which is conjectured to be in the NP-hard class. The reported results for several graph classes show that apparently there are not one or more numbering patterns applicable to different classes of graphs, which requires the development of a specific numbering for each graph class under study.
Integer k-matching preclusion of graphs
Published
• View Publication
• BIB
As a generalization of matching preclusion number of a graph, we provide the (strong) integer $k$-matching preclusion number, abbreviated as $MP^{k}$ number ($SMP^{k}$ number), which is the minimum number of edges (vertices and edges) whose deletion results in a graph that has neither perfect integer $k$-matching nor almost perfect integer $k$-matching. In this paper, we show that when $k$ is even, the ($SMP^{k}$) $MP^{k}$ number is equal to the (strong) fractional matching preclusion number. We obtain a necessary condition of graphs with an almost-perfect integer $k$-matching and a relational expression between the matching number and the integer $k$-matching number of bipartite graphs. Thus the $MP^{k}$ number and the $SMP^{k}$ number of complete graphs, bipartite graphs and arrangement graphs are obtained, respectively.
Short rank-metric codes and scattered subspaces
Published
• View Publication
• BIB
By exploiting the connection between scattered $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^3$ and minimal non degenerate $3$-dimensional rank metric codes of $\mathbb{F}_{q^m}^{n}$, $n \geq m+2$, described in [2], we will exhibit a new class of codes with parameters $[m+2,3,m-2]_{q^m/q}$ for infinite values of $q$ and $m \geq 5$ odd. Moreover, by studying the geometric structures of these scattered subspaces, we determine the rank weight distribution of the associated codes.
New bounds for odd colourings of graphs
Published
• View Publication
• BIB
Given a graph $G$, a vertex-colouring $σ$ of $G$, and a subset $X\subseteq V(G)$, a colour $x \in σ(X)$ is said to be \emph{odd} for $X$ in $σ$ if it has an odd number of occurrences in $X$. We say that $σ$ is an \emph{odd colouring} of $G$ if it is proper and every (open) neighbourhood has an odd colour in $σ$. The odd chromatic number of a graph $G$, denoted by $χ_o(G)$, is the minimum $k\in\mathbb{N}$ such that an odd colouring $σ\colon V(G)\to [k]$ exists. In a recent paper, Caro, Petru\v sevski and \v Skrekovski conjectured that every connected graph of maximum degree $Δ\ge 3$ has odd-chromatic number at most $Δ+1$. We prove that this conjecture holds asymptotically: for every connected graph $G$ with maximum degree $Δ$, $χ_o(G)\leΔ+O(\lnΔ)$ as $Δ\to \infty$. We also prove that $χ_o(G)\le\lfloor3Δ/2\rfloor+2$ for every $Δ$. If moreover the minimum degree $δ$ of $G$ is sufficiently large, we have $χ_o(G) \le χ(G) + O(Δ\ln Δ/δ)$ and $χ_o(G) = O(χ(G)\ln Δ)$. Finally, given an integer $h\ge 1$, we study the generalisation of these results to $h$-odd colourings, where every vertex $v$ must have at least $\min \{°(v),h\}$ odd colours in its neighbourhood. Many of our results are tight up to some multiplicative constant.
Injective coloring of product graphs
Published in Bulletin of the Malaysian Mathematical Sciences Society, 2024
• View Publication
• BIB
The problem of injective coloring in graphs can be revisited through two different approaches: coloring the two-step graphs and vertex partitioning of graphs into open packing sets, each of which is equivalent to the injective coloring problem itself. Taking these facts into account, we observe that the injective coloring lies between graph coloring and domination theory.
We make use of these three points of view in this paper so as to investigate the injective coloring of some well-known graph products. We bound the injective chromatic number of direct and lexicographic product graphs from below and above. In particular, we completely determine this parameter for the direct product of two cycles. We also give a closed formula for the corona product of two graphs.
Unifying Linear Algebra
We unify Linear Algebra by proposing a definition of determinants via one equation that implies all known properties of them:\\ 1. Cramer's Rule,\\ 2. Cofactor expansion,\\ 3. Antisymmetry of determinants,\\ 4. Linearity of determinants,\\ 5. Uniqueness of determinants up to a constant.\\ 6. $\det(A\cdot B)=\det(A)\cdot\det(B)$ for square matrices,\\ 7. $\det(A^T)=\det(A)$ for square matrices.
In other words, we propose a top-down approach to determinants: instead of building up slowly via definitions, we propose one equation that implies all of the above properties. It also leads naturally to basic concepts of Linear Algebra: linear combinations, linear independence, basis, dimension.
On Fan's conjecture about $4$-flow
Published
• View Publication
• BIB
Let $G$ be a bridgeless graph, $C$ is a circuit of $G$. Fan proposed a conjecture that if $G/C$ admits a nowhere-zero 4-flow, then $G$ admits a 4-flow $(D,f)$ such that $E(G)-E(C)\subseteq$ supp$(f)$ and $|\textrm{supp}(f)\cap E(C)|>\frac{3}{4}|E(C)|$. The purpose of this conjecture is to find shorter circuit cover in bridgeless graphs. Fan showed that the conjecture holds for $|E(C)|\le19.$ Wang, Lu and Zhang showed that the conjecture holds for $|E(C)|\le 27$. In this paper, we prove that the conjecture holds for $|E(C)|\le 35.$
Using alternating de Bruijn sequences to construct de Bruijn tori
Published
• View Publication
• BIB
A de Bruijn torus is the two dimensional generalization of a de Bruijn sequence. While some methods exist to generate these tori, only a few methods of construction are known. We present a novel method to generate de Bruijn tori with rectangular windows by combining two variants de Bruijn sequences called `Alternating de Bruijn sequences' and `De Bruijn families'.
Gauss diagram formulae for Vassiliev invariants from Kauffman polynomial
Published
• View Publication
• BIB
A state model for Kauffman polynomial of Dubrovnik-version is given. Based on the state model, the Gauss diagram formulae for Vassiliev invariants are given from the coefficients of Kauffman polynomial following the method of Chmutov and Polyak. Some arrow diagram identities are given to simplify the Gauss diagram formulae of order 3, which give Polyak-Viro and Chmutov-Polyak formulae for the Vassiliev invariant of order 3. The models of Kauffman polynomial and HOMFLY-PT polynomial give different Gauss diagram expressions when specializing to Jones poynomial.
Strong domination number of graphs from primary subgraphs
Published
• View Publication
• BIB
A set $D$ of vertices is a strong dominating set in a graph $G$, if for every vertex $x\in V(G) \setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x) \leq deg(y)$. The strong domination number $γ_{st}(G)$ of $G$ is the minimum cardinality of a strong dominating set in $G$. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identifying these two vertices, and thereafter continuing in this manner inductively. The graphs $G_1,\ldots ,G_k$ are the primary subgraphs of $G$. In this paper, we study the strong domination number of $K_r$-gluing of two graphs and investigate the strong domination number for some particular cases of graphs from their primary subgraphs.
Stability of Rose Window graphs
Published
• View Publication
• BIB
A graph $Γ$ is said to be stable if for the direct product $Γ\times\mathbf{K}_2$, ${\rm Aut}(Γ\times \mathbf{K}_2)$ is isomorphic to ${\rm Aut}(Γ) \times \mathbb{Z}_2$; otherwise, it is called unstable. An unstable graph is called non-trivially unstable when it is not bipartite and no two vertices have the same neighborhood. Wilson described nine families of unstable Rose Window graphs and conjectured that these contain all non-trivially unstable Rose Window graphs (2008). In this paper we show that the conjecture is true.
Distinct eigenvalues of the Transposition graph
Published
• View Publication
• BIB
Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group generated by all transpositions. It is known that all eigenvalues of $T_n$ are integers. Moreover, zero is its eigenvalue for any $n\geqslant 4$. But the exact distribution of the spectrum of the graph $T_n$ is unknown. In this paper we prove that integers from the interval $[-\frac{n-4}{2}, \frac{n-4}{2}]$ lie in the spectrum of $T_n$ if $n \geqslant 19$.
Discreteness of asymptotic tensor ranks
Published in Discrete Analysis, September 2025
• View Publication
• BIB
Tensor parameters that are amortized or regularized over large tensor powers, often called "asymptotic" tensor parameters, play a central role in several areas including algebraic complexity theory (constructing fast matrix multiplication algorithms), quantum information (entanglement cost and distillable entanglement), and additive combinatorics (bounds on cap sets, sunflower-free sets, etc.). Examples are the asymptotic tensor rank, asymptotic slice rank and asymptotic subrank. Recent works (Costa-Dalai, Blatter-Draisma-Rupniewski, Christandl-Gesmundo-Zuiddam) have investigated notions of discreteness (no accumulation points) or "gaps" in the values of such tensor parameters.
We prove a general discreteness theorem for asymptotic tensor parameters of order-three tensors and use this to prove that (1) over any finite field (and in fact any finite set of coefficients in any field), the asymptotic subrank and the asymptotic slice rank have no accumulation points, and (2) over the complex numbers, the asymptotic slice rank has no accumulation points.
Central to our approach are two new general lower bounds on the asymptotic subrank of tensors, which measures how much a tensor can be diagonalized. The first lower bound says that the asymptotic subrank of any concise three-tensor is at least the cube-root of the smallest dimension. The second lower bound says that any concise three-tensor that is "narrow enough" (has one dimension much smaller than the other two) has maximal asymptotic subrank.
Our proofs rely on new lower bounds on the maximum rank in matrix subspaces that are obtained by slicing a three-tensor in the three different directions. We prove that for any concise tensor, the product of any two such maximum ranks must be large, and as a consequence there are always two distinct directions with large max-rank.
The Graph Minors Structure Theorem through Bidimensionality
The bidimensionality of a set of vertices $X$ in a graph $G$ is the maximum $k$ for which $G$ contains as a $X$-rooted minor some $(k \times k)$-grid. This notion allows for the following version of the Graph Minors Structure Theorem (GMST) that avoids the use of apices and vortices: $K_k$-minor free graphs are those that admit tree-decompositions whose torsos contain sets of bounded bidimensionality whose removal yield a graph embeddable in some surface $Σ$ of bounded Euler-genus. We next fix the target condition by demanding that $Σ$ is some particular surface. This defines a "surface extension" of treewidth, where $Σ\mbox{-}\textsf{tw}(G)$ is the minimum $k$ for which $G$ admits a tree-decomposition whose torsos become embeddable embeddable in $Σ$ after the removal of a set of dimensionality at most $k$. We identify a finite collection $\mathfrak{D}_Σ$ of parametric graphs and prove that the minor-exclusion of the graphs in $\mathfrak{D}_Σ$ determines the behavior of $Σ\mbox{-}\textsf{tw}$, for every surface $Σ.$ It follows that the collection $\mathfrak{D}_Σ$ bijectively corresponds to the "surface obstructions" for $Σ,$ i.e., surfaces that are minimally non-contained in $Σ.$ Our results are tight in the sense that $Σ\mbox{-}\textsf{tw}$ cannot be bounded for all parametric graphs in $\mathfrak{D}_Σ$.
The diameter of randomly twisted hypercubes
Published in European J. Combin. 124 (2025) 104078
• View Publication
• BIB
The $n$-dimensional random twisted hypercube $\mathbf{G}_n$ is constructed recursively by taking two instances of $\mathbf{G}_{n-1}$, with any joint distribution, and adding a random perfect matching between their vertex sets. Benjamini, Dikstein, Gross, and Zhukovskii showed that its diameter is $O(n\log \log \log n/\log \log n)$ with high probability and at least ${(n - 1)/ \log_2 n}$. We improve their upper bound by showing that $$\operatorname{diam}(\mathbf{G}_n) = \big(1 + o(1)\big) \frac{n}{\log_2 n}$$ with high probability.