Related papers: Remembering Mark Sapir
Previous work on planning as active inference addresses finite horizon problems and solutions valid for online planning. We propose solving the general Stochastic Shortest-Path Markov Decision Process (SSP MDP) as probabilistic inference.…
The dream of building machines that can do science has inspired scientists for decades. Remarkable advances have been made recently; however, we are still far from achieving this goal. In this paper, we focus on the scientific discovery…
Constraint Satisfaction Problems (CSPs) play a central role in many applications in Artificial Intelligence and Operations Research. In general, solving CSPs is NP-complete. The structure of CSPs is best described by hypergraphs. Therefore,…
We have implemented a gated-based quantum version of a restricted Boltzmann machine for approximating the ground state of a Pauli-decomposed qubit Hamiltonian. During the implementation and evaluation, we have noticed a variety of…
Professor Chen Ning Yang has made seminal and influential contributions in many different areas in theoretical physics. This talk focuses on his contributions in statistical mechanics, a field in which Professor Yang has held a continual…
This is a brief survey of T. E. Harris's work on recurrent Markov processes and on stochastic flows, and of some more recent work in these fields.
Ising machines are emerging as a new technology for solving various classes of computationally hard problems of practical importance, yet their limits on structured SAT workloads, representative of numerous real-world applications, remain…
This article, written in fond memory of Herbert Saul Wilf (June 13, 1931- Jan. 7, 2012), explores integer partitions where each part shows up a different number of times than the other parts (if it shows up at least once), thereby making a…
This paper introduces the design and implementation of two parallel dual simplex solvers for general large scale sparse linear programming problems. One approach, called PAMI, extends a relatively unknown pivoting strategy called…
This article aims to reinforce the broad applicability of the umbral approach to address complex mathematical challenges and contribute to various scientific and engineering endeavors. The umbral methods are used to reformulate the…
In a pair of recent papers (one to appear and one forthcoming), the author develops a general version of small cancellation theory applicable in higher dimensions, and then applies this theory to the Burnside groups of sufficiently large…
We consider a spin coherent states description of a general quantum spin system. It is shown that it is possible to use the spin-1/2 representation to study the general spin-J case. We identify the 1/2 spinor components as the homogeneous…
Even if Einstein brought major contributions as a founder of quantum mechanics, he remained deeply unsatisfied with the bases of this structure he knew to be so efficient for physics. His critics are often known through his numerous…
We introduce the spinor representations for osp(m|2n). These generalize the spinors for so(m) and the symplectic spinors for sp(2n) and correspond to representations of the supergroup with supergroup pair (Spin(m) x Mp(2n),osp(m|2n)). We…
The Yuri Golfand Memorial Volume commemorates Thirty Years of Supersymmetry. It will be published soon by World Scientific. The participants of the project are: D. Brace, L. Brink, S. Deser, G. Dvali, B. Feng, D. Freedman, G.-L. Gervais, G.…
These notes are an expanded version of a short course of lectures given for graduate students in particle physics at Oxford. The level was intended to be appropriate for students in both experimental and theoretical particle physics.The…
We develop a practical semidefinite programming (SDP) facial reduction procedure that utilizes computationally efficient approximations of the positive semidefinite cone. The proposed method simplifies SDPs with no strictly feasible…
SSP reductions are a type of polynomial reductions that also preserve the solutions of the instances. This means there is a mapping from each solution in the original instance to one in the reduced instance, allowing direct deduction of an…
This is, with minor modifications, a text read at the 114th Statistical Mechanics meeting, in honor of D.Ruelle and Y.Sinai, at Rutgers, Dec.13-15, 2015. It does not attempt to analyze, or not even just quote, all works of David Ruelle; I…
This paper provides some reflections on the field of mathematical software on the occasion of John Rice's 65th birthday. I describe some of the common themes of research in this field and recall some significant events in its evolution.…