Логика «Здесь и Там»: Новые Инструменты Автоматического Доказательства

В статье представлен анализ и оценка четырех систем автоматического доказательства теорем для логики «Здесь и Там», открывающих путь к эффективному рассуждению в этой области.

Квантовый двигатель Отто: игра с магнетизмом и фрустрацией

Исследование эффективности спинового теплового двигателя на 4-узловом кластере выявило, что при значениях параметров [latex] (T_{h}, T_{c}, h_{1}) = (10^{2}, 10^{0}, 1) [/latex] и изменяющемся [latex] h_{2} [/latex], чисто китаевская структура ([latex] |\kappa| = 1 [/latex]) и чисто гейзенберговская (трикоординированная) структура ([latex] |J| = 1 [/latex]) демонстрируют различную зависимость эффективности и выполненной работы от спинового размера, что позволяет оценить влияние топологии кластера на термодинамические характеристики системы.

Новое исследование показывает, как взаимодействие спиновых кластеров в модели Китая-Гейзенберга может быть использовано для создания эффективного квантового двигателя.

Квантовый свет: Когда лазер перестает быть экспериментом

Квантовый свет: Когда лазер перестает быть экспериментом Парадоксально, но часто самые сложные вещи оказываются самыми простыми в теории. А вот реализовать эту простоту… это уже искусство. Представьте себе оркестр. Каждый музыкант – это отдельный оптический компонент. А теперь представьте, что все они собраны в один, идеально настроенный модуль. Это и есть то, чем занимается Monarch … Читать далее

Квантовое машинное обучение: новый взгляд на динамику открытых квантовых систем

Наблюдения за предсказанной диссипативной динамикой демонстрируют, что как конволюционные рекуррентные нейронные сети (CVNN), так и рекуррентные нейронные сети (RVNN) эффективно сохраняют траектории в моделях SB (при [latex]\epsilon/\Delta = 0.0[/latex], [latex]\gamma/\Delta = 9.0[/latex], [latex]\lambda/\Delta = 6.0[/latex], [latex]\beta\Delta = 1.0[/latex]) и комплексах FMO (4 сайта при [latex]\gamma = 250~\mathrm{cm}^{-1}[/latex], [latex]\lambda = 70~\mathrm{cm}^{-1}[/latex], [latex]T = 130~\mathrm{K}[/latex]; 7 сайтов при [latex]\gamma = 350~\mathrm{cm}^{-1}[/latex], [latex]\lambda = 70~\mathrm{cm}^{-1}[/latex], [latex]T = 30~\mathrm{K}[/latex]; и 8 сайтов при [latex]\gamma = 400~\mathrm{cm}^{-1}[/latex], [latex]\lambda = 250~\mathrm{cm}^{-1}[/latex], [latex]T = 30~\mathrm{K}[/latex]) даже при анализе траекторий, не использованных в процессе обучения.

Исследование демонстрирует, что использование комплексных нейронных сетей значительно повышает точность прогнозирования эволюции квантовых систем, подверженных диссипации.

Квантовый Монте-Карло: Моделирование рождения электрон-позитронных пар

В ходе эксперимента продемонстрировано создание электронно-позитронных пар посредством линейного процесса Брайта-Уиллера, возникающих при столкновении двух пучков частиц.

Новый алгоритм, основанный на квантовых вычислениях, позволяет эффективно моделировать процесс рождения пар в сильных полях, открывая перспективы для изучения квантовой электродинамики.

Квантовые алгоритмы против классических: кто точнее предсказывает финансовые рынки?

Для сравнительного анализа производительности квантовых и классических моделей машинного обучения - QNN против ANN, QLSTM против LSTM и QSVR против SVR - был сформирован портфель активов, охватывающий рынки США и Турции, ежедневно отслеживались цены с использованием API Yahoo Finance, применялась специфическая для каждой задачи разработка признаков, после чего признаки масштабировались и разделялись по схеме перекрестной проверки, что позволило оценить эффективность моделей с использованием соответствующих метрик.

Новое исследование сравнивает возможности квантовых и классических алгоритмов машинного обучения в задачах финансового прогнозирования, выявляя области, где квантовые модели могут демонстрировать превосходство.