  The combination of persistent homology and discrete Morse theory has proven
very effective in visualizing and analyzing big and heterogeneous data. Indeed,
topology provides computable and coarse summaries of data independently from
specific coordinate systems and does so robustly to noise. Moreover, the
geometric content of a discrete gradient vector field is very useful for
visualization purposes. The specific case of multivariate data still demands
for further investigations, on the one hand, for computational reasons, it is
important to reduce the necessary amount of data to be processed. On the other
hand, for analysis reasons, the multivariate case requires the detection and
interpretation of the possible interdepedance among data components. To this
end, in this paper we introduce and study a notion of perfectness for discrete
gradient vector fields with respect to multi-parameter persistent homology,
called relative-perfectness. As a natural generalization of usual perfectness
in Morse theory for homology, relative-perfectness entails having the least
number of critical cells relevant for multi-parameter persistence. As a first
contribution, we support our definition of relative-perfectness by generalizing
Morse inequalities to the filtration structure where homology groups involved
are relative with respect to subsequent sublevel sets. In order to allow for an
interpretation of critical cells in $2$-parameter persistence, our second
contribution consists of two inequalities bounding Betti tables of persistence
modules from above and below, via the number of critical cells. Our last result
is the proof that existing algorithms based on local homotopy expansions allow
for efficient computability over simplicial complexes up to dimension $2$.
