Квантовая физика

В статье представлена теоретическая база и библиотека Coco для Rocq, позволяющие автоматизировать анализ корекурсивных определений и повысить надежность программного кода.

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

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

В статье представлена разработка усовершенствованных квантовых последовательностей, позволяющих более эффективно управлять квантовыми системами и снижать потребность в ресурсах.

Квантовая сеть из обычного кабеля: Неужели это возможно? Знаете, всегда забавно, когда самые сложные вещи оказываются построенными на самых простых. Как будто природа насмехается над нашей склонностью к усложнению. Вот и тут: квантовая сеть, связывающая несколько узлов, построена… из обычного оптического кабеля! Это как построить космический корабль из консервных банок. Представьте себе запутанные нити, связывающие … Читать далее

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

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

Исследователи разработали эффективный классический метод, сочетающий Sparse Pauli Dynamics и Variational Double Bracket Flow, для быстрого и точного вычисления энергии основного состояния квантовых многочастичных систем.

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

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