English
Related papers

Related papers: On The Average-Case Complexity of Shellsort

200 papers

There are many ways of establishing upper bounds on fluctuations of random variables, but there is no systematic approach for lower bounds. As a result, lower bounds are unknown in many important problems. This paper introduces a general…

Probability · Mathematics 2018-07-30 Sourav Chatterjee

In this paper we compute upper bounds for the number of ordinary triple points on a hypersurface in $P^3$ and give a complete classification for degree six (degree four or less is trivial, and five is elementary). But the real purpose is to…

Algebraic Geometry · Mathematics 2007-05-23 Stephan Endraß , Ulf Persson , Jan Stevens

We consider the randomized decision tree complexity of the recursive 3-majority function. We prove a lower bound of $(1/2-\delta) \cdot 2.57143^h$ for the two-sided-error randomized decision tree complexity of evaluating height $h$ formulae…

Data Structures and Algorithms · Computer Science 2013-10-01 Frederic Magniez , Ashwin Nayak , Miklos Santha , Jonah Sherman , Gabor Tardos , David Xiao

Suppose X is any finite complex with vanishing L^2 Betti number. We prove upper bounds on the Betti numbers for regular coverings of X, sublinear in the order of covering. The bounds are sensitive to the Novikov-Shubin invariants of X, and…

Geometric Topology · Mathematics 2007-05-23 Bryan Clair , Kevin Whyte

Given a reduced abelian $p$-group, we give an upper bound on the Scott complexity of the group in terms of its Ulm invariants. For limit ordinals, we show that this upper bound is tight. This gives an explicit sequence of such groups with…

Logic · Mathematics 2024-07-10 Rachael Alvir , Barbara F. Csima , Luke MacLean

Let ${\cal L}$ be an arrangement of $n$ lines in the Euclidean plane. The \emph{$k$-level} of ${\cal L}$ consists of all vertices $v$ of the arrangement which have exactly $k$ lines of ${\cal L}$ passing below $v$. The complexity (the…

Computational Geometry · Computer Science 2020-03-10 Man-Kwun Chiu , Stefan Felsner , Manfred Scheucher , Patrick Schnider , Raphael Steiner , Pavel Valtr

We show that there is a low T-upper bound for the class of K-trivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in the…

Logic · Mathematics 2009-02-03 Antonin Kucera , Theodore A. Slaman

In this survey, we address the worst-case, average-case, and generic-case time complexity of the word problem and some other algorithmic problems in several classes of groups and show that it is often the case that the average-case…

Group Theory · Mathematics 2024-01-18 Vladimir Shpilrain

We prove lower bounds for higher-order methods in smooth non-convex finite-sum optimization. Our contribution is threefold: We first show that a deterministic algorithm cannot profit from the finite-sum structure of the objective, and that…

Optimization and Control · Mathematics 2021-07-05 Nicolas Emmenegger , Rasmus Kyng , Ahad N. Zehmakan

Let R be a family of n axis-parallel rectangles with packing number p-1, meaning that among any p of the rectangles, there are two with a non-empty intersection. We show that the union complexity of R is at most O(n+p^2), and that the…

Combinatorics · Mathematics 2017-02-06 Chaya Keller , Shakhar Smorodinsky

We extend Matveev's complexity of 3-manifolds to PL compact manifolds of arbitrary dimension, and we study its properties. The complexity of a manifold is the minimum number of vertices in a simple spine. We study how this quantity changes…

Geometric Topology · Mathematics 2011-09-06 Bruno Martelli

We generalize the Guth--Katz joints theorem from lines to varieties. A special case says that $N$ planes (2-flats) in 6 dimensions (over any field) have $O(N^{3/2})$ joints, where a joint is a point contained in a triple of these planes not…

Combinatorics · Mathematics 2022-06-03 Jonathan Tidor , Hung-Hsun Hans Yu , Yufei Zhao

Standard sweep algorithms require an order of discrete points in Euclidean space, and rely on the property that, at a given point, all points in the halfspace below come earlier in this order. We are motivated by the problem of…

Computational Geometry · Computer Science 2025-10-01 Tim Ophelders , Anna Schenfisch

We study the complexity of the following "resolution width problem": Does a given 3-CNF have a resolution refutation of width k? We prove that the problem cannot be decided in time O(n^((k-3)/12)). This lower bound is unconditional and does…

Logic in Computer Science · Computer Science 2015-03-20 Christoph Berkholz

In this short note we determine the greatest lower bounds on Ricci curvature for all Fano $T$-manifolds of complexity one, generalizing the result of Chi Li. Our method of proof is based on the work of Datar and Sz\'ekelyhidi, using the…

Differential Geometry · Mathematics 2018-10-03 Jacob Cable

We prove results about subshifts with linear (word) complexity, meaning that $\limsup \frac{p(n)}{n} < \infty$, where for every $n$, $p(n)$ is the number of $n$-letter words appearing in sequences in the subshift. Denoting this limsup by…

Dynamical Systems · Mathematics 2023-09-15 Darren Creutz , Ronnie Pavlov

This paper aims to better understand the link better understand the links between aperiodicity in subshifts and pattern complexity. Our main contribution deals with substitutive subshifts, an equivalent to substitutive tilings in the…

Discrete Mathematics · Computer Science 2021-05-04 Etienne Moutot , Coline Petit-Jean

In this paper, we use a new method to decrease the parameterized complexity bound for finding the minimum vertex cover of connected max-degree-3 undirected graphs. The key operation of this method is reduction of the size of a particular…

Data Structures and Algorithms · Computer Science 2015-03-17 Weiya Yue , John Franco , Weiwei Cao

Indexing of static and dynamic sets is fundamental to a large set of applications such as information retrieval and caching. Denoting the characteristic vector of the set by B, we consider the problem of encoding sets and multisets to…

Data Structures and Algorithms · Computer Science 2018-09-17 Ran Ben Basat , Seungbum Jo , Srinivasa Rao Satti , Shubham Ugare

We show that for any degree $d$ hypersurface $Y \subset X$ in a possibly singular projective variety $X \subset \mathbf{P}^N$, the total Betti number of $Y$ is bounded by $3\text{deg}(X)\cdot d^n + C\cdot d^{n-1}$ for some explicit constant…

Algebraic Geometry · Mathematics 2026-01-29 Xuanyu Pan , Dingxin Zhang , Xiping Zhang