Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Graph Homomorphism Convolution
Published in PMLR 119, 2020
• Search Publication
In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some family of graphs (e.g. paths or non-isomorphic trees). We show that graph homomorphism numbers provide a natural invariant (isomorphism invariant and $\mathcal{F}$-invariant) embedding maps which can be used for graph classification. Viewing the expressive power of a graph classifier by the $\mathcal{F}$-indistinguishable concept, we prove the universality property of graph homomorphism vectors in approximating $\mathcal{F}$-invariant functions. In practice, by choosing $\mathcal{F}$ whose elements have bounded tree-width, we show that the homomorphism method is efficient compared with other methods.
Pairs of disjoint matchings and related classes of graphs
Published in Involve 16 (2023) 249-264
• View Publication
• BIB
For a finite graph $G$, we study the maximum $2$-edge colorable subgraph problem and a related ratio $\frac{μ(G)}{ν(G)}$, where $ν(G)$ is the matching number of $G$, and $μ(G)$ is the size of the largest matching in any pair $(H,H')$ of disjoint matchings maximizing $|H| + |H'|$ (equivalently, forming a maximum $2$-edge colorable subgraph). Previously, it was shown that $\frac{4}{5} \le \frac{μ(G)}{ν(G)} \le 1$, and the class of graphs achieving $\frac{4}{5}$ was completely characterized. We show here that any rational number between $\frac{4}{5}$ and $1$ can be achieved by a connected graph. Furthermore, we prove that every graph with ratio less than $1$ must admit special subgraphs.
A note on total co-independent domination in trees
Published in Ars Combinatoria (2020)
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total domination number of $G$ is the minimum cardinality of any total dominating set of $G$ and is denoted by $γ_t(G)$. The total dominating set $D$ is called a total co-independent dominating set if $V(G)\setminus D$ is an independent set and has at least one vertex. The minimum cardinality of any total co-independent dominating set is denoted by $γ_{t,coi}(G)$. In this paper, we show that, for any tree $T$ of order $n$ and diameter at least three, $n-β(T)\leq γ_{t,coi}(T)\leq n-|L(T)|$ where $β(T)$ is the maximum cardinality of any independent set and $L(T)$ is the set of leaves of $T$. We also characterize the families of trees attaining the extremal bounds above and show that the differences between the value of $γ_{t,coi}(T)$ and these bounds can be arbitrarily large for some classes of trees.
Finite record sets of chip-firing games
Published in Innov. Incidence Geom. 20 (2023) 55-61
• View Publication
• BIB
A finite graph with an assignment of non-negative integers to vertices gives chip-firing games. Chip-firing games determine languages (sets of words) called the record sets of legal games. Björner, Lovász and Shor found several properties that are satisfied by record sets. In this paper, we will find two more properties of record sets. Under the assumption that the record set is finite and the game fires only two vertices, these properties characterize the record sets of graphs.
Directed Steiner tree packing and directed tree connectivity
Published
• View Publication
• BIB
For a digraph $D=(V(D), A(D))$, and a set $S\subseteq V(D)$ with $r\in S$ and $|S|\geq 2$, an $(S, r)$-tree is an out-tree $T$ rooted at $r$ with $S\subseteq V(T)$. Two $(S, r)$-trees $T_1$ and $T_2$ are said to be arc-disjoint if $A(T_1)\cap A(T_2)=\emptyset$. Two arc-disjoint $(S, r)$-trees $T_1$ and $T_2$ are said to be internally disjoint if $V(T_1)\cap V(T_2)=S$. Let $κ_{S,r}(D)$ and $λ_{S,r}(D)$ be the maximum number of internally disjoint and arc-disjoint $(S, r)$-trees in $D$, respectively. The generalized $k$-vertex-strong connectivity of $D$ is defined as $$κ_k(D)= \min \{κ_{S,r}(D)\mid S\subset V(D), |S|=k, r\in S\}.$$ Similarly, the generalized $k$-arc-strong connectivity of $D$ is defined as $$λ_k(D)= \min \{λ_{S,r}(D)\mid S\subset V(D), |S|=k, r\in S\}.$$ The generalized $k$-vertex-strong connectivity and generalized $k$-arc-strong connectivity are also called directed tree connectivity which extends the well-established tree connectivity on undirected graphs to directed graphs and could be seen as a generalization of classical connectivity of digraphs.
In this paper, we completely determine the complexity for both $κ_{S, r}(D)$ and $λ_{S, r}(D)$ on general digraphs, symmetric digraphs and Eulerian digraphs. In particular, among our results, we prove and use the NP-completeness of 2-linkage problem restricted to Eulerian digraphs. We also give sharp bounds and characterizations for the two parameters $κ_k(D)$ and $λ_k(D)$.
The Bosonic-Fermionic Diagonal Coinvariant Modules Conjecture
We describe a general conjecture on how one may derive from the generic bosonic case all structural properties of multivariate diagonal coinvariant modules in $k$ sets of $n$ commuting variables (bosons), and $j$ sets of $n$ anticommuting variables (fermions).
On the treewidth of Hanoi graphs
Published in Theor. Comput. Sci. 906: 1-17, 2022
• View Publication
• BIB
The objective of the well-known Towers of Hanoi puzzle is to move a set of disks one at a time from one of a set of pegs to another, while keeping the disks sorted on each peg. We propose an adversarial variation in which the first player forbids a set of states in the puzzle, and the second player must then convert one randomly-selected state to another without passing through forbidden states. Analyzing this version raises the question of the treewidth of Hanoi graphs. We find this number exactly for three-peg puzzles and provide nearly-tight asymptotic bounds for larger numbers of pegs.
The Regular Polygon Minimizes The Ratio of Plucker Coordinates on The Positive Grassmannian
For a point $x$ on the Positive Grassmannian of two-dimensional subspaces in $\mathbb{R}^n$, define the loss function $E(x)$ as the ratio of its largest and smallest Plucker coordinates. We solve the extremal problem of minimizing the loss function $E(x)$ over the Grassmannian. This minimax problem was posed by Berman, et al. in their paper on error-correcting codes over the real numbers.
Flow Extensions and Group Connectivity with Applications
Published
• View Publication
• BIB
We study the flow extension of graphs, i.e., pre-assigning a partial flow on the edges incident to a given vertex and aiming to extend to the entire graph. This is closely related to Tutte's $3$-flow conjecture(1972) that every $4$-edge-connected graph admits a nowhere-zero $3$-flow and a $\mathbb{Z}_3$-group connectivity conjecture(3GCC) of Jaeger, Linial, Payan, and Tarsi(1992) that every $5$-edge-connected graph $G$ is $\mathbb{Z}_3$-connected. Our main results show that these conjectures are equivalent to their natural flow extension versions and present some applications. The $3$-flow case gives an alternative proof of Kochol's result(2001) that Tutte's $3$-flow conjecture is equivalent to its restriction on $5$-edge-connected graphs and is implied by the 3GCC. It also shows a new fact that Gr{ö}tzsch's theorem (that triangle-free planar graphs are $3$-colorable) is equivalent to its seemly weaker girth five case that planar graphs of grith $5$ are $3$-colorable. Our methods allow to verify 3GCC for graphs with crossing number one, which is in fact reduced to the planar case proved by Richter, Thomassen and Younger(2017). Other equivalent versions of 3GCC and related partial results are obtained as well.
On the proportion of prefix codes in the set of three-element codes
Published in Discrete Mathematics 343 (2020) 111939
• View Publication
• BIB
Let $L$ be a finite sequence of natural numbers. In Woryna (2017,2018), we derived some interesting properties for the ratio $ρ_{n,L}=|PR_n(L)|/|UD_n(L)|$, where $UD_n(L)$ denotes the set of all codes over an $n$-letter alphabet and with length distribution $L$, and $PR_n(L)\subseteq UD_n(L)$ is the corresponding subset of prefix codes. In the present paper, we study the case when the length distributions are three-element sequences. We show in this case that the ratio $ρ_{n,L}$ is always greater than $α_n$, where $α_n=(n-2)/n$ for $n>2$ and $α_2=1/6$. Moreover, the number $α_n$ is the best possible lower bound for this ratio, as the length distributions of the form $L=(1,1,c)$ and $L=(1,2,c)$ assure that the ratios asymptotically approach $α_n$. Namely, if $L=(1,1,c)$, then $ρ_{n,L}$ tends to $(n-2)/n$ with $c\to\infty$, and, if $L=(1,2,c)$, then $ρ_{2,L}$ tends to $1/6$ with $c\to\infty$.
Some doubly semi-equivelar maps on the plane and the torus
Published
• View Publication
• BIB
A vertex $v$ in a map $M$ has the face-sequence $(p_1 ^{n_1}. \ldots. p_k^{n_k})$, if there are $n_i$ numbers of $p_i$-gons incident at $v$ in the given cyclic order, for $1 \leq i \leq k$. A map $M$ is called a semi-equivelar map if each of its vertex has same face-sequence. Doubly semi-equivelar maps are a generalization of semi-equivelar maps which have precisely 2 distinct face-sequences. In this article, we enumerate the types of doubly semi-equivelar maps on the plane and torus which have combinatorial curvature 0. Further, we present classification of doubly semi-equivelar maps on the torus and illustrate this classification for those doubly semi-equivelar maps which comprise of face-sequence pairs $\{(3^6), (3^3.4^2)\}$ and $\{(3^3.4^2), (4^4)\}$.
Pattern-Avoiding (0,1)-Matrices
We investigate pattern-avoiding (0,1)-matrices as generalizations of pattern-avoiding permutations. Our emphasis is on 123-avoiding and 321-avoiding patterns for which we obtain exact results as to the maximum number of 1's such matrices can have. We also give algorithms when carried out in all possible ways, construct all of the pattern-avoiding matrices of these two types.
Approximate quantum fractional revival in paths and cycles
Published
• View Publication
• BIB
We initiate the study of approximate quantum fractional revival in graphs, a generalization of pretty good quantum state transfer in graphs. We give a complete characterization of approximate fractional revival in a graph in terms of the eigenvalues and eigenvectors of the adjacency matrix of a graph. This characterization follows from a lemma due to Kronecker on Diophantine approximation, and is similar to the spectral characterization of pretty good state transfer in graphs. Using this, we give a complete characterizations of when approximate fractional revival can occur in paths and in cycles.
New bounds for Ryser's conjecture and related problems
Published
• View Publication
• BIB
A Latin square of order $n$ is an $n \times n$ array filled with $n$ symbols such that each symbol appears only once in every row or column and a transversal is a collection of cells which do not share the same row, column or symbol. The study of Latin squares goes back more than 200 years to the work of Euler. One of the most famous open problems in this area is a conjecture of Ryser-Brualdi-Stein from 60s which says that every Latin square of order $n\times n$ contains a transversal of order $n-1$. In this paper we prove the existence of a transversal of order $n-O(\log{n}/\log{\log{n}})$, improving the celebrated bound of $n-O(\log^2n)$ by Hatami and Shor. Our approach (different from that of Hatami-Shor) is quite general and gives several other applications as well. We obtain a new lower bound on a 40 year old conjecture of Brouwer on the maximum matching in Steiner triple systems, showing that every such system of order $n$ is guaranteed to have a matching of size $n/3-O(\log{n}/\log{\log{n}})$. This substantially improves the current best result of Alon, Kim and Spencer which has the error term of order $n^{1/2+o(1)}$. Finally, we also show that $O(n\log{n}/\log{\log{n}})$ many symbols in Latin arrays suffice to guarantee a full transversal, improving on previously known bound of $n^{2-\varepsilon}$. The proofs combine in a novel way the semirandom method together with the robust expansion properties of edge coloured pseudorandom graphs to show the existence of a rainbow matching covering all but $O(\log n/\log{\log{n}})$ vertices. All previous results, based on the semi-random method, left uncovered at least $Ω(n^α)$ (for some constant $α$) vertices.
A random analogue of Gilbreath's conjecture
Published
• View Publication
• BIB
A well-known conjecture of Gilbreath, and independently Proth from the 1800s, states that if $a_{0,n} = p_n$ denotes the $n^{\text{th}}$ prime number and $a_{i,n} = |a_{i-1,n}-a_{i-1,n+1}|$ for $i, n \ge 1$, then $a_{i,1} = 1$ for all $i \ge 1$. It has been postulated repeatedly that the property of having $a_{i,1} = 1$ for $i$ large enough should hold for any choice of initial $(a_{0,n})_{n \ge 1}$ provided that the gaps $a_{0,n+1}-a_{0,n}$ are not too large and are sufficiently random. We prove (a precise form of) this postulate.
Relationships between the number of inputs and other complexity measures of Boolean functions
Published
• View Publication
• BIB
We generalize and extend the ideas in a recent paper of Chiarelli, Hatami and Saks to prove new bounds on the number of relevant variables for boolean functions in terms of a variety of complexity measures. Our approach unifies and refines all previously known bounds of this type. We also improve Nisan and Szegedy's well-known block sensitivity vs. degree inequality by a constant factor, thereby improving Huang's recent proof of the sensitivity conjecture by the same constant.
An Algebraic Approach to Projective Uniqueness with an Application to Order Polytopes
Published
• View Publication
• BIB
A combinatorial polytope $P$ is said to be projectively unique if it has a single realization up to projective transformations. Projective uniqueness is a geometrically compelling property but is difficult to verify. In this paper, we merge two approaches to projective uniqueness in the literature. One is primarily geometric and is due to McMullen, who showed that certain natural operations on polytopes preserve projective uniqueness. The other is more algebraic and is due to Gouveia, Macchia, Thomas, and Wiebe. They use certain ideals associated to a polytope to verify a property called graphicality that implies projective uniqueness. In this paper, we show that that McMullen's operations preserve not only projective uniquness but also graphicality. As an application, we show that large families of order polytopes are graphic and thus projectively unique.
On the Connectivity of Token Graphs of Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (March 30, 2022) dmtcs:7538
• View Publication
• BIB
Let $k$ and $n$ be integers such that $1\leq k \leq n-1$, and let $G$ be a simple graph of order $n$. The $k$-token graph $F_k(G)$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. In this paper we show that if $G$ is a tree, then the connectivity of $F_k(G)$ is equal to the minimum degree of $F_k(G)$.
On Solving Cycle Problems with Branch-and-Cut: Extending Shrinking and Exact Subcycle Elimination Separation Algorithms
Published
• View Publication
• BIB
In this paper, we extend techniques developed in the context of the Travelling Salesperson Problem for cycle problems. Particularly, we study the shrinking of support graphs and the exact algorithms for subcycle elimination separation problems. The efficient application of the considered techniques has proved to be essential in the Travelling Salesperson Problem when solving large size problems by Branch-and-Cut, and this has been the motivation behind this work. Regarding the shrinking of support graphs, we prove the validity of the Padberg-Rinaldi general shrinking rules and the Crowder-Padberg subcycle-safe shrinking rules. Concerning the subcycle separation problems, we extend two exact separation algorithms, the Dynamic Hong and the Extended Padberg-Grötschel algorithms, which are shown to be superior to the ones used so far in the literature of cycle problems.
The proposed techniques are empirically tested in 24 subcycle elimination problem instances generated by solving the Orienteering Problem (involving up to 15112 vertices) with Branch-and-Cut. The experiments suggest the relevance of the proposed techniques for cycle problems. The obtained average speedup for the subcycle separation problems in the Orienteering Problem when the proposed techniques are used together is around 50 times in medium-sized instances and around 250 times in large-sized instances.
Generalized power sum and Newton-Girard identities
Published
• View Publication
• BIB
In this article we prove an algebraic identity which significantly generalizes the formula for sum of powers of consecutive integers involving Stirling numbers of the second kind. Also we have obtained a generalization of Newton-Girard power sum identity.