https://arxiv.org/api/d6Lf8LB0pH2HIUc/NDZmZ4kCN9A 2026-04-05T13:07:03Z 3072 75 15 http://arxiv.org/abs/2204.05138v3 2026-02-09T23:30:19Z

This article presents an artificial intelligence (AI) architecture intended to simulate the iterative updating of the human working memory system. It features several interconnected neural networks designed to emulate the specialized modules of the cerebral cortex. These are structured hierarchically and integrated into a global workspace. They are capable of temporarily maintaining high-level representational patterns akin to the psychological items maintained in working memory. This maintenance is made possible by persistent neural activity in the form of two modalities: sustained neural firing (resulting in a focus of attention) and synaptic potentiation (resulting in a short-term store). Representations held in persistent activity are recursively replaced resulting in incremental changes to the content of the working memory system. As this content gradually evolves, successive processing states overlap and are continuous with one another. The present article will explore how this architecture can lead to iterative shift in the distribution of coactive representations, ultimately leading to mental continuity between processing states, and thus to human-like thought and cognition. Taken together, these components outline a biologically motivated route toward synthetic consciousness or artificial sentience and subjectivity.

2022-03-29T22:23:36Z Jared Edward Reser http://arxiv.org/abs/2602.08916v1 2026-02-09T17:16:13Z

Altitude sickness is a potentially life-threatening condition that impacts many individuals traveling to elevated altitudes. Timely detection is critical as symptoms can escalate rapidly. Early recognition enables simple interventions such as descent, oxygen, or medication, and prompt treatment can save lives by significantly lowering the risk of severe complications. Although conventional machine learning (ML) techniques have been applied to identify altitude sickness using physiological signals, such as heart rate, oxygen saturation, respiration rate, blood pressure, and body temperature, they often struggle to balance predictive performance with low hardware demands. In contrast, hyperdimensional computing (HDC) remains under-explored for this task with limited biomedical features, where it may offer a compelling alternative to existing classification models. Its vector symbolic framework is inherently suited to hardware-efficient design, making it a strong candidate for low-power systems like wearables. Leveraging lightweight computation and efficient streamlined memory usage, HDC enables real-time detection of altitude sickness from physiological parameters collected by wearable devices, achieving accuracy comparable to that of traditional ML models. We present AMS-HD, a novel system that integrates tailored feature extraction and Hadamard HV encoding to enhance both the precision and efficiency of HDC-based detection. This framework is well-positioned for deployment in wearable health monitoring platforms, enabling continuous, on-the-go tracking of acute altitude sickness.

2026-02-09T17:16:13Z Abu Masum Mehran Moghadam M. Hassan Najafi Bige Unluturk Ulkuhan Guler Sercan Aygun http://arxiv.org/abs/2602.08297v1 2026-02-09T06:05:10Z

Symmetry in integer programming causes redundant search and is often handled with symmetry breaking constraints that remove as many equivalent solutions as possible. We propose an algebraic method which allows to generate a random family of polynomial inequalities which can be used as symmetry breakers. The method requires as input an arbitrary base polynomial and a group of permutations which is specific to the integer program. The computations can be easily carried out in any major symbolic computation software. In order to test our approach, we describe a case study on near half-capacity 0-1 bin packing instances which exhibit substantial symmetries. We statically generate random quadratic breakers and add them to a baseline integer programming problem which we then solve with Gurobi. It turns out that simple symmetry breakers, especially combining few variables and permutations, most consistently reduce work time.

2026-02-09T06:05:10Z Madalina Erascu Johannes Middeke http://arxiv.org/abs/2602.08027v1 2026-02-08T15:58:56Z

Following several decades of successive algorithmic improvements, works from the 2010s have showed how to compute the Hermite normal form (HNF) of a univariate polynomial matrix within a complexity bound which is essentially that of polynomial matrix multiplication. Recently, several results on bivariate polynomials and Gröbner bases have highlighted the interest of computing determinants or HNFs of polynomial matrices that happen to be structured, with a small displacement rank. In such contexts, a small leading principal submatrix of the HNF often contains all the sought information. In this article, we show how the displacement structure can be exploited in order to accelerate the computation of such submatrices. To achieve this, we rely on structured linear algebra over the field thanks to evaluation-interpolation. This allows us to recover some rows of the inverse of the input matrix, from which we deduce the sought HNF submatrix via bases of relations.

2026-02-08T15:58:56Z 10 pages (2-column format), 4 algorithms Jérémy Berthomieu Vincent Neiger Hugo Passe http://arxiv.org/abs/2602.07718v1 2026-02-07T21:48:23Z

We propose an algorithm to construct a certified approximation of a surface by generalizing the Krawczyk test. The Krawczyk test is based on interval arithmetic, and confirms the existence and uniqueness of a solution to a square system of analytic equations in a region. By generalizing this test, we extend the reach of this technique to non-square systems and higher-dimensional varieties. We provide a prototype implementation and illustrate its use on several examples.

2026-02-07T21:48:23Z 15 pages, 5 figures Michael Burr Jonathan D. Hauenstein Kisun Lee http://arxiv.org/abs/2602.07576v1 2026-02-07T14:51:27Z

Given an algebraically closed field $K$, a dynamical sequence over $K$ is a $K$-valued sequence of the form $a(n):= f(φ^n(x_0))$, where $φ\colon X\to X$ and $f\colon X\to\mathbb{A}^1$ are rational maps defined over $K$, and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $\varphi$ and $f$. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the class of dynamical sequences enjoys numerous closure properties and encompasses all elliptic divisibility sequences, all Somos sequences, and all $C^n$- and $D^n$-finite sequences for all $n\ge 1$, as defined by Jiménez-Pastor, Nuspl, and Pillwein. We also give an algorithm for proving that two dynamical sequences are identical and illustrate how to use this algorithm by showing how to prove several classical combinatorial identities via this method.

2026-02-07T14:51:27Z 21 pages Jason P. Bell Yuxuan Sun http://arxiv.org/abs/2602.07237v1 2026-02-06T22:31:44Z

We present an algorithm to compute $\mathrm{LCLM}$-decompositions for linear differentials operators with coefficients in the rational function field of characteristic $p$, $\mathbb{F}_{p^n}(t)$. We show that for an operator $L$ of order $r$ with coefficients of degree $d$, it finishes in polynomial time in $r$, $d$ and $p$. This algorithm proceeds in three steps. We begin by showing that the ''shape'' of the factorisation of $L$ can be easily obtained from the Frobenius normal form of its $p$-curvature, which can be efficiently computed an algorithm from Bostan, Caruso and Schost. Using results from the thesis of the author, we are then able to construct an operator $L^*$ in the same equivalence class as $L$ for which an $\mathrm{LCLM}$-decomposition is known. Finally, by computing an isomorphism between the quotient modules $\mathbb{F}_q(t)\langle\partial\rangle/\mathbb{F}_q(t)\langle\partial\rangle L^*$ and $\mathbb{F}_q(t)\langle\partial\rangle/\mathbb{F}_q(t)\langle\partial\rangle L$, we find a corresponding $\mathrm{LCLM}$-decomposition of $L$.

2026-02-06T22:31:44Z Raphaël Pagès http://arxiv.org/abs/2602.06873v1 2026-02-06T16:57:19Z

This paper studies the integration problem in differential fields that may involve quantities reminiscent of the Weierstrass $\wp$ function, which are defined by a first-order nonlinear differential equation. We extend the classical notion of special polynomials to elements of Weierstrass-like extensions and present algorithms for reduction in such extensions. As an application of these results, we derive some new formulae for integrals of powers of $\wp$.

2026-02-06T16:57:19Z 23 pages Shaoshi Chen Manuel Kauers Wenqiao Li Xiuyun Li David Masser http://arxiv.org/abs/2602.06817v1 2026-02-06T16:03:50Z

In this paper, we present a generic parametrization of generically zero-dimensional parametric polynomial systems. More specifically, we study the specialization properties of the Rational Univariate Representation and derive bounds on the degrees and heights of its elements. In addition to that, we propose two algorithms to effectively compute this parametrization.

2026-02-06T16:03:50Z Florent Corniquel SU, UPCité, IMJ-PRG, OURAGAN http://arxiv.org/abs/2602.06490v1 2026-02-06T08:35:46Z

Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gröbner basis implies the existence of a Koszul filtration for toric algebras equipped with the degree reverse lexicographic term order and for algebras defined by binomial edge ideals. We also resolve a conjecture of Ene, Herzog, and Hibi by constructing an example where this implication fails. These results are underpinned by algorithms we develop for constructing Koszul filtrations. We also demonstrate the utility of these algorithms on the pinched Veronese algebra.

2026-02-06T08:35:46Z 24 pages; comments welcome! Emily Berghofer Lisa Nicklasson Peder Thompson Thomas Westerbäck http://arxiv.org/abs/2602.06209v1 2026-02-05T21:38:33Z

The Weyl closure is a basic operation in algebraic analysis: it converts a system of differential operators with rational coefficients into an equivalent system with polynomial coefficients. In addition to encoding finer information on the singularities of the system, it serves as a preparatory step for many algorithms in symbolic integration. A new algorithm is introduced to approximate the partial Weyl closure of a holonomic module, where the closure is taken with respect to a subset of the variables. The method is based on a non-commutative generalization of Rabinowitsch's trick and yields a holonomic module included in the Weyl closure of the input system. The algorithm is implemented in the Julia package MultivariateCreativeTelescoping.jl and shows substantial speedups over existing exact Weyl closure algorithms in Singular and Macaulay2.

2026-02-05T21:38:33Z Hadrien Brochet http://arxiv.org/abs/2601.16105v2 2026-02-05T16:21:12Z

We discuss algorithms for arithmetic properties of hypergeometric functions. Most notably, we are able to compute the p-adic valuation of a hypergeometric function on any disk of radius smaller than the p-adic radius of convergence. This we use, building on work of Christol, to determine the set of prime numbers modulo which it can be reduced. Moreover, we describe an algorithm to find an annihilating polynomial of the reduction of a hypergeometric function modulo p.

2026-01-22T16:53:29Z 9 pages Xavier Caruso Florian Fürnsinn http://arxiv.org/abs/2505.00878v3 2026-02-04T22:11:57Z

Machine-assisted methods for discovering physical laws from background theory and data have recently emerged, promising to advance our understanding of the physical world. However, training and benchmarking these systems remains challenging: real physical theories are limited in number. To address this need, we introduce SynPAT, a system for generating synthetic physical theories with accompanying data. SynPAT produces: (i) a consistent set of axioms forming a synthetic theory, (ii) a symbolic consequence of these axioms representing the discovery target, and (iii) noisy data approximating this consequence. Crucially, to mirror historically incorrect theories (e.g., Newtonian mechanics before Special Relativity), SynPAT can also generate theories whose axioms do not strictly entail, and in fact conflict with, the observed consequence, requiring a correction to the assumed axioms to bridge the gap. We detail SynPAT's methodology and benchmark several open-source symbolic regression systems on our generated theories and data.

2025-05-01T21:39:55Z 28 pages, 2 figures Jonathan Lenchner Karan Srivastava Joao Goncalves Mark Squillante Lior Horesh http://arxiv.org/abs/2602.04707v1 2026-02-04T16:19:07Z

We compute the volumes of convex bodies that are given by inequalities of concave polynomials. These volumes are found to arbitrary precision thanks to the representation of periods by linear differential equations. Our approach rests on work of Lairez, Mezzarobba, and Safey El Din. We present a novel method to identify the relevant critical values. Convexity allows us to reduce the required number of creative telescoping steps by an exponential factor. We provide an implementation based on the ore_algebra package in SageMath. This is applied to a problem in geometric statistics, where the convex body is an intersection of $\ell_p$-balls.

2026-02-04T16:19:07Z 8 pages, 3 figures Lakshmi Ramesh Nicolas Weiss http://arxiv.org/abs/2602.04531v1 2026-02-04T13:20:18Z

We report on implementations for algorithms treating algebraic and arithmetic properties of hypergeometric functions in the computer algebra system SageMath. We treat hypergeometric series over the rational numbers, over finite fields, and over the p-adics. Among other things, we provide implementations deciding algebraicity, computing valuations, and computing minimal polynomials in positive characteristic.

2026-02-04T13:20:18Z 4 pages Xavier Caruso Florian Fürnsinn