Abstract:Given a graph $G$, the maximum size of an induced subgraph of $G$ each component of which is a star is called the edge open packing number, $\rho_{e}^{o}(G)$, of $G$. Similarly, the maximum size of an induced subgraph of $G$ each component of which is the star $K_{1,1}$ is the induced matching number, $\nu_I(G)$, of $G$. While the inequality $\rho_e^o(G)\geq \nu_{I}(G)$ clearly holds for all graphs $G$, we provide a structural characterization of those trees that attain the equality. We prove that the induced matching number of the lexicographic product $G\circ H$ of arbitrary two graphs $G$ and $H$ equals $\alpha(G)\nu_I(H)$. By similar techniques, we prove sharp lower and upper bounds on the edge open packing number of the lexicographic product of graphs, which in particular lead to NP-hardness results in triangular graphs for both invariants studied in this paper. For the direct product $G\times H$ of two graphs we provide lower bounds on $\nu_I(G\times H)$ and $\rho_{e}^{o}(G\times H)$, both of which are widely sharp. We also present sharp lower bounds for both invariants in the Cartesian and the strong product of two graphs. Finally, we consider the edge open packing number in hypercubes establishing the exact values of $\rho_e^o(Q_n)$ when $n$ is a power of $2$, and present a closed formula for the induced matching number of the rooted product of arbitrary two graphs over an arbitrary root vertex.

Different covering numbers of compact tree ideals

On ideals related to Laver and Miller trees

On algebraic sums, trees and ideals in the Baire space

On algebraic sums, trees and ideals in the Cantor space

Two Binary trees of Rational numbers -- the S-tree and the SC-tree

Arithmetic subtrees in large subsets of products of trees

Perfect matchings and spanning trees: squarishness, bijections and independence

On the tree cover number and the positive semidefinite maximum nullity of a graph

Induced matching vs edge open packing: trees and product graphs

Bounds on tree distribution in number theory

Total Forcing Sets in Trees

Uncountable trees and Cohen $κ$-reals

Bowditch's JSJ tree and the quasi-isometry classification of certain Coxeter groups, with an appendix written jointly with Christopher Cashen

Forcing Over a Free Suslin Tree

Set Cover, Set Packing and Hitting Set for Tree Convex and Tree-Like Set Systems.

(Almost) Complete Intersection Lovász-Saks-Schrijver ideals and regularity of their powers

A Proof of the Tree Packing Conjecture

Compactness with ideals

On the number of integral ideals in a number field

Spanning trees in $\mathbb{Z}$-covers of a finite graph and Mahler measures

SPANNING TREES IN -COVERS OF A FINITE GRAPH AND MAHLER MEASURES