English
Related papers

Related papers: On Holant Theorem and Its Proof

200 papers

Due to the proliferation of spatial light modulators, digital holography is finding wide-spread use in fields from augmented reality to medical imaging to additive manufacturing to lithography to optical tweezing to telecommunications.…

Image and Video Processing · Electrical Eng. & Systems 2020-05-19 Peter J. Christopher , George S. D. Gordon , Timothy D. Wilkinson

The rise of mixed reality systems such as Microsoft HoloLens has prompted an increase in interest in the fields of 2D and 3D holography. Already applied in fields including telecommunications, imaging, projection, lithography, beam shaping…

Image and Video Processing · Electrical Eng. & Systems 2021-09-28 Peter J. Christopher , Andrew Kadis , George S. D. Gordon , Timothy D. Wilkinson

We prove a complexity dichotomy theorem for Holant problems over an arbitrary set of complex-valued symmetric constraint functions F on Boolean variables. This extends and unifies all previous dichotomies for Holant problems on symmetric…

Computational Complexity · Computer Science 2018-01-11 Jin-Yi Cai , Heng Guo , Tyson Williams

Increasing popularity of augmented and mixed reality systems has seen a similar increase of interest in 2D and 3D computer generated holography (CGH). Unlike stereoscopic approaches, CGH can fully represent a light field including depth of…

Graphics · Computer Science 2020-06-19 Peter J. Christopher , Timothy D. Wilkinson

Within the field of numerical multilinear algebra, block tensors are increasingly important. Accordingly, it is appropriate to develop an infrastructure that supports reasoning about block tensor computation. In this paper we establish…

Numerical Analysis · Mathematics 2011-10-04 Stefan Ragnarsson , Charles F. Van Loan

Gravitational holography is argued to render the cosmological constant stable against divergent quantum corrections. This provides a technically natural solution to the cosmological constant problem. Evidence for quantum stability of the…

High Energy Physics - Theory · Physics 2007-05-23 Scott Thomas

Recently, a general tool called a holographic transformation, which transforms an expression of the partition function to another form, has been used for polynomial-time algorithms and for improvement and understanding of the belief…

Information Theory · Computer Science 2014-02-07 Ryuhei Mori

Existing algorithms for explaining the output of image classifiers perform poorly on inputs where the object of interest is partially occluded. We present a novel, black-box algorithm for computing explanations that uses a principled…

Machine Learning · Computer Science 2021-09-08 Hana Chockler , Daniel Kroening , Youcheng Sun

We propose a novel algorithm for computing the Walsh-Hadamard Transform (WHT) which consists entirely of Haar wavelet transforms. We prove that the algorithm, which we call the Cascading Haar Wavelet (CHW) algorithm, shares precisely the…

Data Structures and Algorithms · Computer Science 2017-06-28 Andrew Thompson

One of the main goals of modern cosmology remains to summon up a self consistent policy, able to explain, in the framework of the Einstein's theory, the cosmic speed up and the presence of Dark Matter in the Universe. Accordingly to the…

General Relativity and Quantum Cosmology · Physics 2015-05-30 Alejandro Aviles , Luca Bonanno , Orlando Luongo , Hernando Quevedo

Invented in 1962, holography is a unique merging of art and technology. It persisted at the scientific cutting edge through the 1990s, when digital imaging emerged and supplanted film. Today, holography is experiencing new interest as…

History and Philosophy of Physics · Physics 2021-10-13 Marc Walton , Pengxiao Hao , Marc Vermeulen , Florian Willomitzer , Oliver Cossairt

There is no known model in holography exhibiting a $c$-theorem where the central charges of the dual CFT are distinct. We examine a holographic model of RG flows in a framework where the bulk gravity theory contains higher curvature terms.…

High Energy Physics - Theory · Physics 2011-02-04 Robert C. Myers , Aninda Sinha

Holograms of colloidal particles can be analyzed with the Lorenz-Mie theory of light scattering to measure individual particles' three-dimensional positions with nanometer precision while simultaneously estimating their sizes and refractive…

Soft Condensed Matter · Physics 2018-07-04 Mark D. Hannel , Aidan Abdulali , Michael O'Brien , David G. Grier

We use a tensor unfolding technique to prove a new identifiability result for discrete bipartite graphical models, which have a bipartite graph between an observed and a latent layer. This model family includes popular models such as…

Statistics Theory · Mathematics 2025-01-22 Yuqi Gu

We present an algorithm for holographic shaping of partially coherent light, bridging the gap between traditional coherent and geometric optical approaches. The description of partially coherent light relies on a mode expansion formalism,…

Optics · Physics 2022-01-26 Nicolas Barré , Alexander Jesacher

This paper proposes an efficient algorithm (HOLRR) to handle regression tasks where the outputs have a tensor structure. We formulate the regression problem as the minimization of a least square criterion under a multilinear rank…

Machine Learning · Computer Science 2016-02-23 Guillaume Rabusseau , Hachem Kadri

Tensor completion is a problem of filling the missing or unobserved entries of partially observed tensors. Due to the multidimensional character of tensors in describing complex datasets, tensor completion algorithms and their applications…

Machine Learning · Statistics 2018-05-04 Qingquan Song , Hancheng Ge , James Caverlee , Xia Hu

Convolutional Neural Networks (CNNs) are nowadays the model of choice in Computer Vision, thanks to their ability to automatize the feature extraction process in visual tasks. However, the knowledge acquired during training is fully…

Computer Vision and Pattern Recognition · Computer Science 2024-03-14 Francesco Dibitonto , Fabio Garcea , André Panisson , Alan Perotti , Lia Morra

Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (also known as theorem provers) was to enable mathematicians…

Software Engineering · Computer Science 2019-12-09 M. Saqib Nawaz , Moin Malik , Yi Li , Meng Sun , M. Ikram Ullah Lali

Progress in language and image understanding by machines has sparkled the interest of the research community in more open-ended, holistic tasks, and refueled an old AI dream of building intelligent machines. We discuss a few prominent…

Artificial Intelligence · Computer Science 2015-01-16 Mateusz Malinowski , Mario Fritz