English
Related papers

Related papers: Revisiting virtual difference ideals

200 papers

We study the ideal generated by polynomials vanishing on a semialgebraic set and propose an algorithm to calculate the generators, which is based on some techniques of the cylindrical algebraic decomposition. By applying these, polynomial…

Optimization and Control · Mathematics 2009-02-14 Yoshiyuki Sekiguchi , Tomoyuki Takenawa , Hayato Waki

Basic assumptions about comparison-based indexing are laid down and a general design space is derived from these. An index structure spanning this design space (the sprawl) is described, along with an associated family of partitioning…

Data Structures and Algorithms · Computer Science 2019-08-20 Magnus Lie Hetland

The study of intelligent systems explains behaviour in terms of economic rationality. This results in an optimization principle involving a function or utility, which states that the system will evolve until the configuration of maximum…

Information Theory · Computer Science 2024-06-18 Pedro Hack

We develop a semigroup-theoretic analogue of liaison for relative ideals of a numerical semigroup. Two parallel linkage notions are proposed: a theory based on translates of the semigroup and a theory based on translates of the canonical…

Commutative Algebra · Mathematics 2026-04-17 Ignacio Ojeda

The intransitive cycle of superiority is characterized by such binary relations between A, B, and C that A is superior to B, B is superior to C, and C is superior to A (i.e., A>B>C>A - in contrast with transitive relations A>B>C). The first…

History and Overview · Mathematics 2018-09-12 Alexander Poddiakov

Selfdual variational principles are introduced in order to construct solutions for Hamiltonian and other dynamical systems which satisfy a variety of linear and nonlinear boundary conditions including many of the standard ones. These…

Analysis of PDEs · Mathematics 2007-05-23 Nassif Ghoussoub , Abbas Moameni

Correlations between spacelike separated measurements on entangled quantum systems are stronger than any classical correlations and are at the heart of numerous quantum technologies. In practice, however, spacelike separation is often not…

Quantum Physics · Physics 2017-11-28 Martin Ringbauer , Rafael Chaves

In modelling complex processes, the potential past data that influence future expectations are immense. Models that track all this data are not only computationally wasteful but also shed little light on what past data most influence the…

For two causal structures with the same set of visible variables, one is said to observationally dominate the other if the set of distributions over the visible variables realizable by the first contains the set of distributions over the…

Machine Learning · Statistics 2025-02-24 Marina Maciel Ansanelli , Elie Wolfe , Robert W. Spekkens

A notion of sectional regularity for a homogeneous ideal $I$, which measures the regularity of its generic sections with respect to linear spaces of various dimensions, is introduced. It is related to axial constants defined as the…

We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated…

Commutative Algebra · Mathematics 2007-05-23 Amelia Taylor

This paper investigates the application of the theoretical algebraic notion of a separable ring extension, in the realm of cyclic convolutional codes or, more generally, ideal codes. We work under very mild conditions, that cover all…

Information Theory · Computer Science 2014-08-08 José Gómez-Torrecillas , F. J. Lobillo , Gabriel Navarro

Recently there has been much effort in developing a quantum generalisation of reference frame transformations. Despite important progress, a complete understanding of their principles is still lacking. In particular, we argue that previous…

Quantum Physics · Physics 2023-07-21 Esteban Castro-Ruiz , Ognyan Oreshkov

Replicating In-Context Learning (ICL) in computer vision remains challenging due to task heterogeneity. We propose \textbf{VIRAL}, a framework that elicits visual reasoning from a pre-trained image editing model by formulating ICL as…

Computer Vision and Pattern Recognition · Computer Science 2026-02-04 Zhiwen Li , Zhongjie Duan , Jinyan Ye , Cen Chen , Daoyuan Chen , Yaliang Li , Yingda Chen

The paper discusses the question of why intervals, which are the main object of Interval Analysis, have exactly the form that we know well and habitually use, and not some other. In particular, we investigate why traditional intervals are…

Numerical Analysis · Mathematics 2022-03-17 Sergey P. Shary

We study methods for improving fairness to subgroups in settings with overlapping populations and sequential predictions. Classical notions of fairness focus on the balance of some property across different populations. However, in many…

Machine Learning · Computer Science 2019-12-04 Avrim Blum , Thodoris Lykouris

In a typical online learning scenario, a learner is required to process a large data stream using a small memory buffer. Such a requirement is usually in conflict with a learner's primary pursuit of prediction accuracy. To address this…

Machine Learning · Computer Science 2012-05-14 Thomas P. Minka , Rongjing Xiang , Yuan , Qi

Machine learning can benefit from causal discovery for interpretation and from causal inference for generalization. In this line of research, a few invariant learning algorithms for out-of-distribution (OOD) generalization have been…

Machine Learning · Computer Science 2023-04-06 Borja Guerrero Santillan

Partial orders have been used to model several experimental setups, going from classical thermodynamics and general relativity to the quantum realm with its resource theories. In order to study such experimental setups, one typically…

Combinatorics · Mathematics 2025-09-18 Pedro Hack , Daniel A. Braun , Sebastian Gottwald

Category theory is famous for its innovative way of thinking of concepts by their descriptions, in particular by establishing universal properties. Concepts that can be characterized in a universal way receive a certain quality seal, which…

Logic in Computer Science · Computer Science 2021-07-06 Sergey Goncharov