I'm aware of the basics of the synthetic control method, and that permutation tests are commonly used for inference.
Are there papers that develop asymptotic theory? i.e. if the regression approach to create weights is used (as in the synth command), and the number of control groups and pre-treatment time periods goes to infinity, are there papers proving consistency or asymptotic normality?