Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Lower Bound and Exact Values for the Boundary Independence Broadcast Number of a Tree
A broadcast on a nontrivial connected graph G is a function f from V(G) to the set {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all vertices v of G. The weight of f is the sum of the function values over V(G). A vertex u hears f from v if f(v) is positive and u is within distance f(v) from v. A broadcast f is boundary independent if any vertex that hears f from two or more vertices is at distance f(v) from each such vertex v. The maximum weight of a boundary independent broadcast on G is denoted by α_{bn}(G). We prove a sharp lower bound on α_{bn}(T) for a tree T. Combined with a previously determined upper bound, this gives exact values of α_{bn}(T) for some classes of trees T. We also determine α_{bn}(T) for trees with exactly two branch vertices and use this result to demonstrate the existence of trees for which α_{bn} lies strictly between the lower and upper bounds.
Most rigid representation and Cayley index of finitely generated groups
Published in The Electronic Journal of Combinatorics, Vol. 29, Issue 4 (2022)
• View Publication
• BIB
If $G$ is a group and $S$ a generating set, $G$ canonically embeds into the automorphism group of its Cayley graph and it is natural to try to minimize, over all generating sets, the index of this inclusion. This infimum is called the Cayley index of the group. In a recent series of works, we have characterized the infinite finitely generated groups with Cayley index $1$. We complement this characterization by showing that the Cayley index is $2$ in the remaining cases and is attained for a finite generating set.
Improved Bounds for the Oriented Radius of Mixed Multigraphs
Published
• View Publication
• BIB
A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each $r \in \mathbb{N}$, let $f(r)$ denote the smallest number such that any strongly connected bridgeless mixed multigraph with radius $r$ can be oriented to a digraph of radius at most $f(r)$. We improve the current best upper bound of $4r^2+4r$ on $f(r)$ [Chung, Garey and Tarjan, Networks, 1985] to $1.5 r^2 + r + 1$. Our upper bound is tight upto a multiplicative factor of $1.5$ since, $\forall r \in \mathbb{N}$, there exists an undirected bridgeless graph of radius $r$ such that every orientation of it has radius at least $r^2 + r$ [Chvátal and Thomassen, J. Comb. Theory. Ser. B., 1978]. We prove a marginally better lower bound, $f(r) \geq r^2 + 3r + 1$, for mixed multigraphs. While this marginal improvement does not help with asymptotic estimates, it clears a natural suspicion that, like undirected graphs, $f(r)$ may be equal to $r^2 + r$ even for mixed multigraphs. En route, we show that if each edge of $G$ lies in a cycle of length at most $η$, then the oriented radius of $G$ is at most $1.5 r η$. All our proofs are constructive and lend themselves to polynomial time algorithms.
The ratio of the numbers of odd and even cycles in outerplanar graphs
Published
• View Publication
• BIB
In this paper, we investigate the ratio of the numbers of odd and even cycles in outerplanar graphs. We verify that the ratio generally diverges to infinity as the order of a graph diverges to infinity. We also give sharp estimations of the ratio for several classes of outerplanar graphs, and obtain a constant upper bound of the ratio for some of them. Furthermore, we consider similar problems in graphs with some pairs of forbidden subgraphs/minors, and propose a challenging problem concerning claw-free graphs.
Period collapse in characteristic quasi-polynomials of hyperplane arrangements
Published
• View Publication
• BIB
Given an integral hyperplane arrangement, Kamiya-Takemura-Terao (2008 & 2011) introduced the notion of characteristic quasi-polynomial, which enumerates the cardinality of the complement of the arrangement modulo a positive integer. The most popular candidate for period of the characteristic quasi-polynomials is the lcm period. In this paper, we initiate a study of period collapse in characteristic quasi-polynomials stemming from the concept of period collapse in the theory of Ehrhart quasi-polynomials. We say that period collapse occurs in a characteristic quasi-polynomial when the minimum period is strictly less than the lcm period. Our first main result is that in the non-central case, with regard to period collapse anything is possible: period collapse occurs in any dimension $\ge 1$, occurs for any value of the lcm period $\ge 2$, and the minimum period when it is not the lcm period can be any proper divisor of the lcm period. Our second main result states that in the central case, however, no period collapse is possible in any dimension, that is, the lcm period is always the minimum period.
Separating layered treewidth and row treewidth
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (May 13, 2022) dmtcs:7458
• View Publication
• BIB
Layered treewidth and row treewidth are recently introduced graph parameters that have been key ingredients in the solution of several well-known open problems. It follows from the definitions that the layered treewidth of a graph is at most its row treewidth plus 1. Moreover, a minor-closed class has bounded layered treewidth if and only if it has bounded row treewidth. However, it has been open whether row treewidth is bounded by a function of layered treewidth. This paper answers this question in the negative. In particular, for every integer $k$ we describe a graph with layered treewidth 1 and row treewidth $k$. We also prove an analogous result for layered pathwidth and row pathwidth.
Twisted pre-lie algebras of finite topological spaces
Published
• View Publication
• BIB
In this paper, we first study the species of finite topological spaces recently considered by F. Fauvet, L. Foissy, and D. Manchon. Then, we construct a twisted pre-Lie structure on the species of connected finite topological spaces. The underlying pre-Lie structure defines a coproduct on the species of finite topological spaces different from those already defined by the Authors above. In the end, we illustrate the link between the Grossman-Larson product and the proposed coproduct.
Switching 3-edge-colorings of cubic graphs
Published
• View Publication
• BIB
The chromatic index of a cubic graph is either 3 or 4. Edge-Kempe switching, which can be used to transform edge-colorings, is here considered for 3-edge-colorings of cubic graphs. Computational results for edge-Kempe switching of cubic graphs up to order 30 and bipartite cubic graphs up to order 36 are tabulated. Families of cubic graphs of orders $4n+2$ and $4n+4$ with $2^n$ edge-Kempe equivalence classes are presented; it is conjectured that there are no cubic graphs with more edge-Kempe equivalence classes. New families of nonplanar bipartite cubic graphs with exactly one edge-Kempe equivalence class are also obtained. Edge-Kempe switching is further connected to cycle switching of Steiner triple systems, for which an improvement of the established classification algorithm is presented.
Global rigidity of complete bipartite graphs
This note gives a detailed proof of the following statement. Let $d\in \mathbb{N}$ and $m,n \ge d + 1$, with $m + n \ge \binom{d+2}{2} + 1$. Then the complete bipartite graph $K_{m,n}$ is generically globally rigid in dimension $d$.
Classes of intersection digraphs with good algorithmic properties
Published
• View Publication
• BIB
An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if $S_v\cap T_v\neq \emptyset$ for every vertex $v$. Compared to well-known undirected intersection graphs like interval graphs and permutation graphs, not many algorithmic applications on intersection digraphs have been developed. Motivated by the successful story on algorithmic applications of intersection graphs using a graph width parameter called mim-width, we introduce its directed analogue called `bi-mim-width' and prove that various classes of reflexive intersection digraphs have bounded bi-mim-width. In particular, we show that as a natural extension of $H$-graphs, reflexive $H$-digraphs have linear bi-mim-width at most $12|E(H)|$, which extends a bound on the linear mim-width of $H$-graphs [On the Tractability of Optimization Problems on $H$-Graphs. Algorithmica 2020]. For applications, we introduce a novel framework of directed versions of locally checkable problems, that streamlines the definitions and the study of many problems in the literature and facilitates their common algorithmic treatment. We obtain unified polynomial-time algorithms for these problems on digraphs of bounded bi-mim-width, when a branch decomposition is given. Locally checkable problems include Kernel, Dominating Set, and Directed $H$-Homomorphism.
Codes for the Z-channel
Published
• View Publication
• BIB
This paper is a collection of results on combinatorial properties of codes for the Z-channel. A Z-channel with error fraction $τ$ takes as input a length-$n$ binary codeword and injects in an adversarial manner up to $nτ$ asymmetric errors, i.e., errors that only zero out bits but do not flip $0$'s to $1$'s. It is known that the largest $(L-1)$-list-decodable code for the Z-channel with error fraction $τ$ has exponential size (in $n$) if $τ$ is less than a critical value that we call the $(L-1)$-list-decoding Plotkin point and has constant size if $τ$ is larger than the threshold. The $(L-1)$-list-decoding Plotkin point is known to be $ L^{-\frac{1}{L-1}} - L^{-\frac{L}{L-1}} $, which equals $1/4$ for unique-decoding with $ L-1=1 $. In this paper, we derive various results for the size of the largest codes above and below the list-decoding Plotkin point. In particular, we show that the largest $(L-1)$-list-decodable code $ε$-above the Plotkin point, {for any given sufficiently small positive constant $ ε>0 $,} has size $Θ_L(ε^{-3/2})$ for any $L-1\ge1$. We also devise upper and lower bounds on the exponential size of codes below the list-decoding Plotkin point.
Counting vertices of integral polytopes defined by facets
Published
• View Publication
• BIB
We present a number of complexity results concerning the problem of counting vertices of an integral polytope defined by a system of linear inequalities. The focus is on polytopes with small integer vertices, particularly 0/1 polytopes and half-integral polytopes.
Hadamard matrices in $\{0,1\}$ presentation and an algorithm for generating them
Hadamard matrices are square $n\times n$ matrices whose entries are ones and minus ones and whose rows are orthogonal to each other with respect to the standard scalar product in $\Bbb R^n$. Each Hadamard matrix can be transformed to a matrix whose entries are zeros and ones. This presentation of Hadamard matrices is investigated in the paper and based on it an algorithm for generating them is designed.
Novel Algorithm for Computing All-Pairs Homogeneity-Arc Binary-State Undirected Network Reliability
Published
• View Publication
• BIB
Among various real-life emerging applications, wireless sensor networks, Internet of Things, smart grids, social networks, communication networks, transportation networks, and computer grid systems, etc., the binary-state network is the fundamental network structure and model with either working or failed binary components. The network reliability is an effective index for assessing the network function and performance. Hence, the network reliability between two specific nodes has been widely adopted and more efficient network reliability algorithm is always needed. To have complete information for a better decision, all-pairs network reliability thus arises correspondingly. In this study, a new algorithm called the all-pairs BAT is proposed by revising the binary-addition-tree algorithm (BAT) and the layered-search algorithm (LSA). From both the theoretical analysis and the practical experiments conducted on 20 benchmark problems, the proposed all-pairs BAT is more efficient than these algorithms by trying all combinations of any pairs of nodes.
Homology of tropical fans
The aim of this paper is to study homological properties of tropical fans and to propose a notion of smoothness in tropical geometry, which goes beyond matroids and their Bergman fans and which leads to an enrichment of the category of smooth tropical varieties.
Among the resulting applications, we prove the Hodge isomorphism theorem which asserts that the Chow rings of smooth unimodular tropical fans are isomorphic to the tropical cohomology rings of their corresponding canonical compactifications, and prove a slightly weaker statement for any unimodular fan. We furthermore introduce a notion of shellability for tropical fans and show that shellable tropical fans are smooth and thus enjoy all the nice homological properties of smooth tropical fans. Several other interesting properties for tropical fans are shown to be shellable. Finally, we obtain a generalization, both in the tropical and in the classical setting, of the pioneering work of Feichtner-Yuzvinsky and De Concini-Procesi on the cohomology ring of wonderful compactifications of complements of hyperplane arrangements.
The results in this paper form the basis for our subsequent works on Hodge theory for tropical and non-Archimedean varieties.
Tableau models for semi-infinite Bruhat order and level-zero representations of quantum affine algebras
Published
• View Publication
• BIB
We prove that semi-infinite Bruhat order on an affine Weyl group is completely determined from those on the quotients by affine Weyl subgroups associated with various maximal (standard) parabolic subgroups of finite type. Furthermore, for an affine Weyl group of classical type, we give a complete classification of all cover relations of semi-infinite Bruhat order (or equivalently, all edges of the quantum Bruhat graphs) on the quotients in terms of tableaux. Combining these we obtain a tableau criterion for semi-infinite Bruhat order on an affine Weyl group of classical type. As an application, we give new tableau models for the crystal bases of a level-zero fundamental representation and a level-zero extremal weight module over a quantum affine algebra of classical untwisted type, which we call quantum Kashiwara-Nakashima columns and semi-infinite Kashiwara-Nakashima tableaux. We give an explicit description of the crystal isomorphisms among three different realizations of the crystal basis of a level-zero fundamental representation by quantum Lakshmibai-Seshadri paths, quantum Kashiwara-Nakashima columns, and (ordinary) Kashiwara-Nakashima columns.
$L$-balancing families
P. Hrube\v s, S. Natarajan Ramamoorthy, A. Rao and A. Yehudayoff proved the following result:
Let $p$ be a prime and let $f\in \mathbb F _p[x_1,\ldots,x_{2p}]$ be a polynomial. Suppose that $f(\mathbf{v_F})=0$ for each $F\subseteq [2p]$, where $|F|=p$ and that $f(\mathbf{0})\neq 0$. Then $\mbox{deg}(f)\geq p$.
We prove here the following generalization of their result.
Let $p$ be a prime and $q=p^α>1$, $α\geq 1$. Let $n>0$ be a positive integer and $q-1\leq d\leq n-q+1$ be an integer. Let $\mathbb F$ be a field of characteristic $p$. Suppose that $f(\mathbf{v_F})=0$ for each $F\subseteq [n]$, where $|F|=d$ and $\mbox{deg}(f)\leq q-1$. Then $f(\mathbf{v_F})=0$ for each $F\subseteq [n]$, where $|F|\equiv d \mbox{ (mod }q)$.
Let $t=2d$ be an even number and $L\subseteq [d-1]$ be a given subset. We say that $\mbox{$\cal F$}\subseteq 2^{[t]}$ is an {\em $L$-balancing family} if for each $F\subseteq [t]$, where $|F|=d$ there exists a $G\subseteq [n]$ such that $|F\cap G|\in L$.
We give a general upper bound for the size of an $L$-balancing family.
Two Families of Unravelled Abstract Regular Polytopes in Bn
Published
• View Publication
• BIB
This paper exhibits two families of unravelled abstract regular polytopes in Coxeter groups of type Bn. For one family they have rank 4 while the other family has arbitrarily large rank.
2-uniform covers of $2$-semiequivelar toroidal maps
If every vertex in a map has one out of two face-cycle types, then the map is said to be $2$-semiequivelar. A 2-uniform tiling is an edge-to-edge tiling of regular polygons having $2$ distinct transitivity classes of vertices. Clearly, a $2$-uniform map is $2$-semiequivelar. The converse of this is not true in general. There are 20 distinct 2-uniform tilings (these are of $14$ different types) on the plane. In this article, we prove that a $2$-semiequivelar toroidal map $K$ has a finite $2$-uniform cover if the universal cover of $K$ is $2$-uniform except of two types.
FPT algorithms for packing $k$-safe spanning rooted sub(di)graphs
We study three problems introduced by Bang-Jensen and Yeo [Theor. Comput. Sci. 2015] and by Bang-Jensen, Havet, and Yeo [Discret. Appl. Math. 2016] about finding disjoint "balanced" spanning rooted substructures in graphs and digraphs, which generalize classic packing problems. Namely, given a positive integer $k$, a digraph $D=(V,A)$, and a root $r \in V$, we consider the problem of finding two arc-disjoint $k$-safe spanning $r$-arborescences and the problem of finding two arc-disjoint $(r,k)$-flow branchings. We show that both these problems are FPT with parameter $k$, improving on existing XP algorithms. The latter of these results answers a question of Bang-Jensen, Havet, and Yeo [Discret. Appl. Math. 2016]. Further, given an integer $k$, a graph $G=(V,E)$, and $r \in V$, we consider the problem of finding two arc-disjoint $(r,k)$-safe spanning trees. We show that this problem is also FPT with parameter $k$, again improving on a previous XP algorithm. Our main technical contribution is to prove that the existence of such spanning substructures is equivalent to the existence of substructures with size and maximum (out-)degree both bounded by a (linear or quadratic) function of $k$, which may be of independent interest.