1: \begin{abstract}

2: We present an abstract framework for establishing smoothing properties within a specific class of inhomogeneous discrete-time Markov processes. These properties, in turn, serve as a basis for demonstrating the existence of density functions for our processes or more precisely for regularized versions of them. They can also be exploited to show the total variation convergence towards the solution of a Stochastic Differential Equation as the time step between two observations of the discrete time Markov processes tends to zero. The distinctive feature of our methodology lies in the exploration of smoothing properties under some local weak H\"ormander type conditions satisfied by the discrete-time Markov processes.  Our H\"ormander properties are demonstrated to align with the standard local weak H\"ormander properties satisfied by the coefficients of the Stochastic Differential Equations which are the total variation limits of our discrete time Markov processes. \\

3: %Hormander properties are well-documented in the context of SDEs (as evidenced by works such as Kusuoka-Stroock and Nualart), and are occasionally utilized to establish total variation convergence to solution of SDE of certain discrete-time Markov processes (as seen in the study of the Euler scheme by Bally-Talay). However, our approach uniquely concentrates on the Hormander property satisfied the discrete-time Markov process, independent of its connection to any specific SDE.

4: 

5: \noindent {\bf Keywords :} Discrete time Markov processes, H\"ormander properties,  Regularization properties, Malliavin Calculus, Invariance principle. \\

6: {\bf AMS MSC 2020:} 60J05, 60H50, 60H07, 35H10, 60F17.

7: 

8: \end{abstract}

9: