English
Related papers

Related papers: Detecting fully irreducible automorphisms: a polyn…

200 papers

We design a deterministic subexponential time algorithm that takes as input a multivariate polynomial $f$ computed by a constant-depth circuit over rational numbers, and outputs a list $L$ of circuits (of unbounded depth and possibly with…

Computational Complexity · Computer Science 2024-03-05 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi , Ben Lee Volk

We consider the problem of designing a machine learning-based model of an unknown dynamical system from a finite number of (state-input)-successor state data points, such that the model obtained is also suitable for optimal control design.…

Systems and Control · Electrical Eng. & Systems 2024-10-10 Filippo Fabiani , Bartolomeo Stellato , Daniele Masti , Paul J. Goulart

The independence gap of a graph was introduced by Ekim et al. (2018) as a measure of how far a graph is from being well-covered. It is defined as the difference between the maximum and minimum size of a maximal independent set. We…

Combinatorics · Mathematics 2018-12-14 Tınaz Ekim , Didem Gözüpek , Ademir Hujdurović , Martin Milanič

Algebraic independence is an advanced notion in commutative algebra that generalizes independence of linear polynomials to higher degree. Polynomials {f_1, ..., f_m} \subset \F[x_1, ..., x_n] are called algebraically independent if there is…

Computational Complexity · Computer Science 2011-02-15 Malte Beecken , Johannes Mittmann , Nitin Saxena

We propose a polynomial time $f$-algorithm (a deterministic algorithm which uses an oracle for factoring univariate polynomials over $\mathbb{F}_q$) for computing an isomorphism (if there is any) of a finite dimensional…

Rings and Algebras · Mathematics 2017-01-03 Gábor Ivanyos , Péter Kutas , Lajos Rónyai

We present a classification method with incremental capabilities based on the Optimum-Path Forest classifier (OPF). The OPF considers instances as nodes of a fully-connected training graph, arc weights represent distances between two…

Machine Learning · Computer Science 2019-08-02 Moacir Ponti , Mateus Riva

Plug-and-Play (PnP) is a non-convex optimization framework that combines proximal algorithms, for example, the alternating direction method of multipliers (ADMM), with advanced denoising priors. Over the past few years, great empirical…

Computer Vision and Pattern Recognition · Computer Science 2021-09-21 Kaixuan Wei , Angelica Aviles-Rivero , Jingwei Liang , Ying Fu , Hua Huang , Carola-Bibiane Schönlieb

Quantum Fisher Information (QFI) sets the ultimate precision limit for parameter estimation and is therefore a central quantity in quantum metrology. In time-dependent many-body systems, however, maximizing QFI is a highly non-trivial task…

If $f\!:\![a,b]\to\R$ such that $f^{(n)}$ is integrable then integration by parts gives the formula \begin{align*} &\intab f(x)\,dx = &\frac{(-1)^n}{n!}\sum_{k=0}^{n-1}(-1)^{n-k-1}\left[ \phi_n^{(n-k-1)}(a)f^{(k)}(a)-…

Classical Analysis and ODEs · Mathematics 2016-05-02 Erik Talvila

Partial Differential Equations are infinite dimensional encoded representations of physical processes. However, imbibing multiple observation data towards a coupled representation presents significant challenges. We present a fully…

Machine Learning · Computer Science 2020-03-09 Gurpreet Singh , Soumyajit Gupta , Matt Lease , Clint N. Dawson

Autonomous motion planning under unknown nonlinear dynamics presents significant challenges. An agent needs to continuously explore the system dynamics to acquire its properties, such as reachability, in order to guide system navigation…

Robotics · Computer Science 2025-03-06 Zhiquan Zhang , Gokul Puthumanaillam , Manav Vora , Melkior Ornik

We initiate the study of a fundamental combinatorial problem: Given a capacitated graph $G=(V,E)$, find a shortest walk ("route") from a source $s\in V$ to a destination $t\in V$ that includes all vertices specified by a set…

Data Structures and Algorithms · Computer Science 2018-05-01 Saeed Akhoondian Amiri , Klaus-Tycho Foerster , Stefan Schmid

We study a family of $H^m$-conforming piecewise polynomials based on artificial neural network, named as the finite neuron method (FNM), for numerical solution of $2m$-th order partial differential equations in $\mathbb{R}^d$ for any $m,d…

Numerical Analysis · Mathematics 2020-12-30 Jinchao Xu

In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects of elimination theory (i.e. polynomial equation systems)…

Commutative Algebra · Mathematics 2007-05-23 David Castro , Marc Giusti , Joos Heintz , Guillermo Matera , Luis Miguel Pardo

Let $E/F$ be a finite cyclic extension of local fields of characteristic zero, of degree $d$, and $\kappa$ be a character of $F^\times$ whose kernel is $\mathrm{N}_{E/F}(E^\times)$. For $m\in \mathbb{N}^*$, we prove that every irreducible…

Representation Theory · Mathematics 2025-10-07 Martin Fatou , Bertrand Lemaire

It is widely believed that complex machine learning models generally encode features through linear representations. This is the foundational hypothesis behind a vast body of work on interpretability. A key challenge toward extracting…

Machine Learning · Computer Science 2026-04-01 Allen Liu

We consider the problem of finding weights and biases for a two-layer fully connected neural network to fit a given set of data points as well as possible, also known as EmpiricalRiskMinimization. Our main result is that the associated…

Computational Complexity · Computer Science 2024-03-25 Daniel Bertschinger , Christoph Hertrich , Paul Jungeblut , Tillmann Miltzow , Simon Weber

We study the notion of irreducibility of semigroup morphisms. Given an alphabet $\Sigma$, a morphism $\varphi:\Sigma^+\rightarrow\Sigma^+$ is irreducible if any factorisation $\varphi=\psi_2\circ\psi_1$ can only be satisfied if $\psi_1$ or…

Formal Languages and Automata Theory · Computer Science 2026-03-17 Paul C. Bell , Eva Foster , Daniel Reidenbach

In this note, we embed the set of all Fricke characters of a free group F -- the set of all characters of representations of F into SL(2,C) -- as an irreducible affine variety V in complex affine space of dimension 2^n-1. Using the Horowitz…

Differential Geometry · Mathematics 2007-05-23 Richard Brown

We give a new fpt algorithm testing isomorphism of $n$-vertex graphs of tree width $k$ in time $2^{k\operatorname{polylog} (k)}\operatorname{poly} (n)$, improving the fpt algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS…

Data Structures and Algorithms · Computer Science 2018-03-20 Martin Grohe , Daniel Neuen , Pascal Schweitzer , Daniel Wiebking