English
Related papers

Related papers: Complexity and speed of semi-algebraic multi-persi…

200 papers

In this article we derive a priori error estimates for the $hp$-version of the mortar finite element method for parabolic initial-boundary value problems. Both semidiscrete and fully discrete methods are analysed in $L^2$- and $H^1$-norms.…

Analysis of PDEs · Mathematics 2018-07-24 Sanjib Kumar Acharya , Ajit Patel , Talal Rahman

Let $(\mathfrak{M},\rho,\mu)$ be a metric measure space satisfying a doubling condition, $p_0\in (1,\infty)$, and $T(t):L^{p_0}(\mathfrak{M},\mu)\rightarrow L^{p_0}(\mathfrak{M},\mu)$, $t\geq 0$, a strongly continuous semi-group. We provide…

Analysis of PDEs · Mathematics 2026-01-13 Brian Street

In a \emph{separability problem}, we are given two sets $K$ and $L$ from a class $\mathcal{C}$, and we want to decide whether there exists a set $S$ from a class $\mathcal{S}$ such that $K\subseteq S$ and $S\cap L=\emptyset$. In this case,…

Formal Languages and Automata Theory · Computer Science 2025-07-02 Elias Rojas Collins , Chris Köcher , Georg Zetzsche

In the present work, we demonstrate how the pseudoinverse concept from linear algebra can be used to represent and analyze the boundary conditions of linear systems of partial differential equations. This approach has theoretical and…

Numerical Analysis · Mathematics 2024-01-05 Pelle Olsson

Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebraic proofs lead to conjecturally optimal polynomial-time…

Logic in Computer Science · Computer Science 2021-05-20 Fedor Part , Neil Thapen , Iddo Tzameret

Our objective in this article is to show a possibly interesting structure of homotopic nature appearing in persistent (co)homology. Assuming that the filtration of the (say) simplicial set embedded in a finite dimensional vector space…

Algebraic Topology · Mathematics 2014-12-08 Estanislao Herscovich

Given a semigroup $S$, we introduce relative (with respect to a filter $\tau$ on $S$) versions of large, thick and prethick subsets of $S$, give the ultrafilter characterizations of these subsets and explain how large could be some cell in…

General Topology · Mathematics 2015-06-02 Igor Protasov , Serhii Slobodianiuk

Bilevel reinforcement learning (BRL) has emerged as a powerful framework for aligning generative models, yet its theoretical foundations, especially sample complexity bounds, remain underexplored. In this work, we present the first sample…

Machine Learning · Computer Science 2026-02-17 Mudit Gaur , Utsav Singh , Amrit Singh Bedi , Raghu Pasupathu , Vaneet Aggarwal

In the problem of semialgebraic range searching, we are to preprocess a set of points in $\mathbb{R}^D$ such that the subset of points inside a semialgebraic region described by $O(1)$ polynomial inequalities of degree $\Delta$ can be found…

Computational Geometry · Computer Science 2022-03-16 Peyman Afshani , Pingan Cheng

Consider a semi-algebraic set A in R^d constructed from the sets which are determined by inequalities p_i(x)>0, p_i(x)\ge 0, or p_i(x)=0 for a given list of polynomials p_1,...,p_m. We prove several statements that fit into the following…

Algebraic Geometry · Mathematics 2008-05-06 Gennadiy Averkov

Recently it has been shown that the complexity of SU($n$) operator is determined by the geodesic length in a bi-invariant Finsler geometry, which is constrained by some symmetries of quantum field theory. It is based on three axioms and one…

High Energy Physics - Theory · Physics 2019-05-01 Run-Qiu Yang , Yu-Sen An , Chao Niu , Cheng-Yong Zhang , Keun-Young Kim

In this paper we produce a few continuations of our previous work on partitions into fractions. Specifically, we study strictly increasing integer sequences $\{n_j\}$ such that there are partitions for all integers less than the floor of…

Number Theory · Mathematics 2021-03-02 Zachary Hoelscher

It is well-known that by adding integrality constraints to the semidefinite programming (SDP) relaxation of the max-cut problem, the resulting integer semidefinite program is an exact formulation of the problem. In this paper we show…

Optimization and Control · Mathematics 2023-11-09 Frank de Meijer , Renata Sotirov

This paper aims to investigate the numerical approximation of semilinear non-autonomous stochastic partial differential equations (SPDEs) driven by multiplicative or additive noise. Such equations are more realistic than autonomous SPDEs…

Numerical Analysis · Mathematics 2020-11-18 Jean Daniel Mukam , Antoine Tambue

We establish strong Feller property and irreducibility for the transition semigroup associated to a class of nonlinear stochastic partial differential equations with multiplicative degenerate noise. As a by-product, we prove uniqueness of…

Probability · Mathematics 2026-04-01 Luca Scarpa , Margherita Zanella

We show that there is a language in $\mathsf{S}_2\mathsf{E}/_1$ (symmetric exponential time with one bit of advice) with circuit complexity at least $2^n/n$. In particular, the above also implies the same near-maximum circuit lower bounds…

Computational Complexity · Computer Science 2023-09-25 Lijie Chen , Shuichi Hirahara , Hanlin Ren

In this paper we develop a general theoretical tool for the establishment of the boundedness of notoriously difficult operators (such as potentials) on certain specific types of rearrangement-invariant function spaces from analogous…

Functional Analysis · Mathematics 2026-02-16 Zdeněk Mihula , Luboš Pick , Daniel Spector

Given a polynomial ring $P$ over a field $K$, an element $g \in P$, and a $K$-subalgebra $S$ of $P$, we deal with the problem of saturating $S$ with respect to $g$, i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$. In the general case we…

Commutative Algebra · Mathematics 2020-05-12 Anna Maria Bigatti , Lorenzo Robbiano

Recently there is a line of research work proposing to employ Spectral Clustering (SC) to segment (group){Throughout the paper, we use segmentation, clustering, and grouping, and their verb forms, interchangeably.} high-dimensional…

Computer Vision and Pattern Recognition · Computer Science 2010-10-11 Yuzhao Ni , Ju Sun , Xiaotong Yuan , Shuicheng Yan , Loong-Fah Cheong

We study the exponent of the exponential rate of convergence in terms of the number of degrees of freedom for various non-standard {$p$-version} finite element spaces employing reduced cardinality basis. More specifically, we show that…

Numerical Analysis · Mathematics 2019-03-11 Zhaonan Dong