English
Related papers

Related papers: Quantitative concatenation for polynomial box norm…

200 papers

In this paper, we study the structure of set-multilinear arithmetic circuits and set-multilinear branching programs with the aim of showing lower bound results. We define some natural restrictions of these models for which we are able to…

Computational Complexity · Computer Science 2015-11-10 V. Arvind , S. Raja

This paper presents a novel convex optimization-based method for finding the globally optimal solutions of a class of mixed-integer non-convex optimal control problems. We consider problems with non-convex constraints that restrict the…

Optimization and Control · Mathematics 2019-11-21 Danylo Malyuta , Behcet Acikmese

Many graph problems were first shown to be fixed-parameter tractable using the results of Robertson and Seymour on graph minors. We show that the combination of finite, computable, obstruction sets and efficient order tests is not just one…

Computational Complexity · Computer Science 2013-05-15 Michael R. Fellows , Bart M. P. Jansen

We provide in a unified way quantitative forms of strong convergence results for numerous iterative procedures which satisfy a general type of Fejer monotonicity where the convergence uses the compactness of the underlying set. These…

Logic · Mathematics 2015-08-25 Ulrick Kohlenbach , Laurentiu Leustean , Adriana Nicolae

In this work, we present a complete characterization of the covariance structure of number statistics in boxes for hyperuniform point processes. Under a standard integrability assumption, the covariance depends solely on the overlap of the…

Probability · Mathematics 2026-05-26 Jonas Jalowy , Hanna Stange

The dispersion of a point set $P\subset[0,1]^d$ is the volume of the largest box with sides parallel to the coordinate axes, which does not intersect $P$. Here, we show a construction of low-dispersion point sets, which can be deduced from…

Computational Complexity · Computer Science 2024-12-20 Mario Ullrich , Jan Vybíral

A kernelization is an efficient algorithm that given an instance of a parameterized problem returns an equivalent instance of size bounded by some function of the input parameter value. It is quite well understood which problems do or…

Data Structures and Algorithms · Computer Science 2025-10-02 Leonid Antipov , Stefan Kratsch

We consider a non-commutative polynomial in several independent $N$-dimensional random unitary matrices, uniformly distributed over the unitary, orthogonal or symmetric groups, and assume that the coefficients are $n$-dimensional matrices.…

Probability · Mathematics 2024-01-11 Charles Bordenave , Benoit Collins

We present new polynomial-based methods for discrete-time quaternionic systems, highlighting how noncommutative multiplication modifies classical control approaches. Defining quaternionic polynomials via a backward-shift operator, we…

Systems and Control · Electrical Eng. & Systems 2025-09-25 Michael Sebek

Orthogonal polynomial approximations form the foundation to a set of well-established methods for uncertainty quantification known as polynomial chaos. These approximations deliver models for emulating physical systems in a variety of…

Computational Engineering, Finance, and Science · Computer Science 2022-03-23 Chun Yui Wong , Pranay Seshadri , Andrew B. Duncan , Ashley Scillitoe , Geoffrey Parks

As it stands, density matrix purification is a powerful tool for linear scaling electronic structure calculations. The convergence is rapid and depends only weakly on the band gap. However, as will be shown in this paper, there is room for…

Computational Physics · Physics 2011-05-11 Emanuel H. Rubensson

Let $\gamma(t)=(P_1(t),\ldots,P_n(t))$ where $P_i$ is a real polynomial with zero constant term for each $1\leq i\leq n$. We will show the existence of the configuration $\{x,x+\gamma(t)\}$ in sets of positive density $\epsilon$ in…

Classical Analysis and ODEs · Mathematics 2024-10-14 Xuezhi Chen , Changxing Miao

This work focuses on the fulfillment of the Persistent Excitation (PE) condition for signals which result from transformations by means of polynomials. This is essential e.g. for the convergence of Adaptive Dynamic Programming algorithms…

Optimization and Control · Mathematics 2022-01-21 Philipp Karg , Florian Köpf , Christian A. Braun , Sören Hohmann

We present a first theoretical analysis of the power of polynomial-time preprocessing for important combinatorial problems from various areas in AI. We consider problems from Constraint Satisfaction, Global Constraints, Satisfiability,…

Artificial Intelligence · Computer Science 2011-08-12 Stefan Szeider

It is common in stability analysis to linearize a system and investigate the spectrum of the Jacobian matrix. This approach faces the challenge of determining the matrix spectrum when the coefficients depend on parameters or when the…

Dynamical Systems · Mathematics 2025-03-17 Ziyad AlSharawi , Jose S. Cánovas , Sadok Kallel

Quantum control is traditionally expressed through bilinear models and their associated Lie algebra controllability criteria. But, the first order approximation are not always sufficient and higher order developpements are used in recent…

Numerical Analysis · Mathematics 2008-08-14 Gabriel Turinici

Until recently, techniques for obtaining lower bounds for kernelization were one of the most sought after tools in the field of parameterized complexity. Now, after a strong influx of techniques, we are in the fortunate situation of having…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Kratsch

We introduce constrained polynomial zonotopes, a novel non-convex set representation that is closed under linear map, Minkowski sum, Cartesian product, convex hull, intersection, union, and quadratic as well as higher-order maps. We show…

Combinatorics · Mathematics 2023-04-05 Niklas Kochdumper , Matthias Althoff

Let $P_1,\dots, P_n$ and $Q_1,\dots, Q_n$ be convex polytopes in $\mathbb{R}^n$ such that $P_i\subset Q_i$. It is well-known that the mixed volume has the monotonicity property: $V(P_1,\dots,P_n)\leq V(Q_1,\dots,Q_n)$. We give two criteria…

Metric Geometry · Mathematics 2020-12-22 Frédéric Bihan , Ivan Soprunov

Coherent control, aka quantum control, is a central concept in quantum computing that is attracting increasing attention from both the quantum foundations and quantum software communities. Defining coherent control in the presence of…

Logic in Computer Science · Computer Science 2026-03-02 Kathleen Barsse , Romain Péchoux , Simon Perdrix
‹ Prev 1 4 5 6 7 8 10 Next ›