Ciao ,
quindi è raster e puoi solo tentare un ridimensionamento (resize) , meglio con un buon programma , ma l'algoritmo di ridimensionamento , inevitabilmente deve inventarsi dei pixel che non esistono , per cui il risultato sarà sempre approssimativo.