5 papers
Planted-solution SAT and Ising benchmarks from integer factorization
Itay Hen
We present a family of planted-solution benchmark instances for satisfiability (SAT) solvers and Ising optimization derived from integer factorization. Given two primes and …
Exponential divided differences via Chebyshev polynomials
Itay Hen
Exponential divided differences arise in numerical linear algebra, matrix-function evaluation, and quantum Monte Carlo simulations, where they serve as kernel weights for time evol…
Inequalities, identities, and bounds for divided differences of the exponential function
Qiulin Zeng, Nicholas Ezzell, Arman Babakhani +2
Let denote the divided difference of the exponential function. (i) We prove that exponential divided differences are log-submodular. (ii) We establish the…
Advanced measurement techniques in quantum Monte Carlo: The permutation matrix representation approach
Nic Ezzell, Itay Hen
In a typical finite temperature quantum Monte Carlo (QMC) simulation, estimators for simple static observables such as specific heat and magnetization are known. With a great deal…
A quantum Monte Carlo algorithm for arbitrary high-spin Hamiltonians
Arman Babakhani, Lev Barash, Itay Hen
We present a universal quantum Monte Carlo algorithm for simulating arbitrary high-spin (spin greater than 1/2) Hamiltonians, based on the recently developed permutation matrix rep…