Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes

## Контекст Определение моделей классических стохастических процессов является одной из основных задач обработки сигналов, теории информации и развития новых технологий. Эти модели используются для моделирования, описания и объяснения поведения в различных областях, от физики до информатики. Однако возникает вопрос о том, могут ли разные модели генерировать одинаковое видимое поведение. Этот вопрос называется проблемой **identifiability**. До недавнего времени акцент был сделан на классических моделях, однако последние исследования показали, что использование **квантовых моделей** может привести к более эффективному использованию ресурсов, таких как память и тепловая эффективность. Таким образом, возникает новая проблема — определить, насколько узкой должна быть квантовая модель, чтобы генерировать конкретное поведение классического стохастического процесса. Это и есть **minimality** проблема. Статья решает эти проблемы, предоставляя методы для сравнения любых моделей — классических, квантовых и "пост-квантовых". ## Метод Статья предлагает новую методологию, основанную на **генерализованных скрытых Марковских моделях (generalized hidden Markov models, GHMMs)**. Эти модели позволяют преобразовать любую классическую модель, квантовую или пост-квантовую модель стохастического процесса в унифицированный вид. Это позволяет проводить сравнение моделей независимо от их физической природы. Для разрешения проблемы **identifiability**, авторы предлагают метод, который определяет, могут ли две модели генерировать одинаковое поведение. Для **minimality**, авторы разрабатывают формальную подход, позволяющий определить минимальный размер квантовой модели, необходимый для генерации данного классического процесса. Таким образом, весь анализ основывается на преобразовании моделей в общую форму, что обеспечивает универсальный подход к их сравнению и оптимизации. ## Результаты Авторы применяют свой подход к нескольким примерам классических и квантовых моделей. Используя эти примеры, они показывают, как можно выявить **identifiability** между моделями и определить **minimality** квантовых моделей для того, чтобы генерировать заданный классический процесс. Для каждого примера, они показывают, какая минимальная размерность квантовой модели требуется для того, чтобы процесс мог быть точно генерироваться. Эти результаты подтверждают, что квантовые модели могут быть значительно эффективнее классических в отношении используемого ресурса. ## Значимость Полученные результаты имеют значительное значение для **квантовой информатики**, **теории систем** и **машинного обучения**. Они позволяют оптимизировать кван