English
Related papers

Related papers: Efficient Local Unfolding with Ancestor Stacks

200 papers

Elegant and general algorithms for handling upwards-closed and downwards-closed subsets of WQOs can be developed using the filter-based and ideal-based representation for these sets. These algorithms can be built in a generic or…

Logic in Computer Science · Computer Science 2019-04-25 Jean Goubault-Larrecq , Simon Halfon , Prateek Karandikar , K. Narayan Kumar , Philippe Schnoebelen

Deep unrolling, or unfolding, is an emerging learning-to-optimize method that unrolls a truncated iterative algorithm in the layers of a trainable neural network. However, the convergence guarantees and generalizability of the unrolled…

Machine Learning · Computer Science 2024-12-02 Samar Hadou , Navid NaderiAlizadeh , Alejandro Ribeiro

Local quantum annealing (LQA), an iterative algorithm, is designed to solve combinatorial optimization problems. It draws inspiration from QA, which utilizes adiabatic time evolution to determine the global minimum of a given objective…

Quantum Physics · Physics 2025-01-07 Shunta Arai , Satoshi Takabe

We use the known soft and collinear limits of tree- and one-loop scattering amplitudes -- computed over a decade ago -- to explicitly construct a subtraction scheme for next-to-next-to-leading order (NNLO) computations. Our approach…

High Energy Physics - Phenomenology · Physics 2015-06-03 Radja Boughezal , Kirill Melnikov , Frank Petriello

Scaling laws play an instrumental role in the sustainable improvement in model quality. Unfortunately, recommendation models to date do not exhibit such laws similar to those observed in the domain of large language models, due to the…

High-energy physics is replete with hard computational problems and it is one of the areas where quantum computing could be used to speed up calculations. We present an implementation of likelihood-based regularized unfolding on a quantum…

Data Analysis, Statistics and Probability · Physics 2020-10-09 Kyle Cormier , Riccardo Di Sipio , Peter Wittek

Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity), and associativity. This leads to a resource-sensitive…

Logic in Computer Science · Computer Science 2025-05-01 Nikolaos Galatos , Vitor Greati , Revantha Ramanayake , Gavin St. John

In experimental High-Energy Physics, unfolding refers to the problem of estimating the underlying distribution of a physical observable from detector-level data, in the presence of statistical fluctuations and systematic uncertainties.…

Quantum Physics · Physics 2026-05-13 Simone Gasperini , Gianluca Bianco , Marco Lorusso , Carla Rieger , Michele Grossi

Higher-order numerical methods are used to find accurate numerical solutions to hyperbolic partial differential equations and equations of transport type. Limiting is required to either converge to the correct type of solution or to adhere…

Numerical Analysis · Mathematics 2024-07-10 James Woodfield

Q-learning is widely used to optimize wireless networks with unknown system dynamics. Recent advancements include ensemble multi-environment hybrid Q-learning algorithms, which utilize multiple Q-learning algorithms across structurally…

Signal Processing · Electrical Eng. & Systems 2024-09-02 Talha Bozkus , Urbashi Mitra

In the tensor completion problem, one seeks to estimate a low-rank tensor based on a random sample of revealed entries. In terms of the required sample size, earlier work revealed a large gap between estimation with unbounded computational…

Data Structures and Algorithms · Computer Science 2016-12-26 Andrea Montanari , Nike Sun

Fault-tolerant quantum computing requires classical hardware to perform the decoding necessary for error correction. The Union-Find decoder is one of the best candidates for this. It has remarkably organic characteristics, involving the…

Quantum Physics · Physics 2023-11-15 Tim Chan , Simon C. Benjamin

We outline an algorithm to recover the canonical (or, coarsest) stratification of a given finite-dimensional regular CW complex into cohomology manifolds, each of which is a union of cells. The construction proceeds by iteratively…

Algebraic Topology · Mathematics 2019-06-18 Vidit Nanda

Variational quantum algorithms have become the de facto model for current quantum computations. A prominent example of such algorithms -- the quantum approximate optimization algorithm (QAOA) -- was originally designed for combinatorial…

Quantum Physics · Physics 2024-07-16 Ernesto Campos , Daniil Rabinovich , Alexey Uvarov

Minimizing functionals in the space of probability distributions can be done with Wasserstein gradient flows. To solve them numerically, a possible approach is to rely on the Jordan-Kinderlehrer-Otto (JKO) scheme which is analogous to the…

Machine Learning · Computer Science 2022-11-16 Clément Bonet , Nicolas Courty , François Septier , Lucas Drumetz

In this article, we introduce a new method which allows utilizing all the available sub-stencils of a WENO scheme to increase the accuracy of the numerical solution of conservation laws while preserving the non-oscillatory property of the…

Computational Physics · Physics 2024-10-15 Hossein Mahmoodi Darian

Answering complex logical queries on incomplete knowledge graphs is a challenging task, and has been widely studied. Embedding-based methods require training on complex queries, and cannot generalize well to out-of-distribution query…

Machine Learning · Computer Science 2023-06-08 Yushi Bai , Xin Lv , Juanzi Li , Lei Hou

Future quantum networks will have nodes equipped with multiple quantum memories, allowing for multiplexing and entanglement distillation strategies in order to increase fidelities and reduce waiting times for end-to-end entanglement…

A generate and test algorithm is described which parses a surface form into one or more lexical entries using linearly ordered phonological rules. This algorithm avoids the exponential expansion of search space which a naive parsing…

cmp-lg · Computer Science 2008-02-03 Michael Maxwell

The well-quasi-orders (WQO) play an important role in various fields such as Computer Science, Logic or Graph Theory. Since the class of WQOs lacks closure under some important operations, the proof that a certain quasi-order is WQO…

Logic · Mathematics 2024-10-18 Yann Pequignot
‹ Prev 1 2 3 10 Next ›