scholarly journals All Classical Adversary Methods Are Equivalent for Total Functions

2021 ◽  
Vol 13 (1) ◽  
pp. 1-20
Author(s):  
Andris Ambainis ◽  
Martins Kokainis ◽  
Krišjānis Prūsis ◽  
Jevgēnijs Vihrovs ◽  
Aleksejs Zajakins
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Kolmogorov Complexity ◽  
Partial Function ◽  
Query Complexity ◽  
Partial Functions ◽  
Complexity Bound ◽  
Block Sensitivity

We show that all known classical adversary lower bounds on randomized query complexity are equivalent for total functions and are equal to the fractional block sensitivity fbs( f ). That includes the Kolmogorov complexity bound of Laplante and Magniez and the earlier relational adversary bound of Aaronson. This equivalence also implies that for total functions, the relational adversary is equivalent to a simpler lower bound, which we call rank-1 relational adversary. For partial functions, we show unbounded separations between fbs( f ) and other adversary bounds, as well as between the adversary bounds themselves. We also show that, for partial functions, fractional block sensitivity cannot give lower bounds larger than √ n ⋅ bs( f ), where n is the number of variables and bs( f ) is the block sensitivity. Then, we exhibit a partial function f that matches this upper bound, fbs( f ) = Ω (√ n ⋅ bs( f )).

scholarly journals Encoding Two-Dimensional Range Top-k Queries

Algorithmica ◽  
2021 ◽  
Author(s):  
Seungbum Jo ◽  
Rahul Lingala ◽  
Srinivasa Rao Satti
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Total Order ◽  
Two Dimensional ◽  
Information Theoretic ◽  
Cartesian Tree ◽  
Dimensional Range

AbstractWe consider the problem of encoding two-dimensional arrays, whose elements come from a total order, for answering $${\text{Top-}}{k}$$ Top- k queries. The aim is to obtain encodings that use space close to the information-theoretic lower bound, which can be constructed efficiently. For an $$m \times n$$ m × n array, with $$m \le n$$ m ≤ n , we first propose an encoding for answering 1-sided $${\textsf {Top}}{\text {-}}k{}$$ Top - k queries, whose query range is restricted to $$[1 \dots m][1 \dots a]$$ [ 1 ⋯ m ] [ 1 ⋯ a ] , for $$1 \le a \le n$$ 1 ≤ a ≤ n . Next, we propose an encoding for answering for the general (4-sided) $${\textsf {Top}}{\text {-}}k{}$$ Top - k queries that takes $$(m\lg {{(k+1)n \atopwithdelims ()n}}+2nm(m-1)+o(n))$$ ( m lg ( k + 1 ) n n + 2 n m ( m - 1 ) + o ( n ) ) bits, which generalizes the joint Cartesian tree of Golin et al. [TCS 2016]. Compared with trivial $$O(nm\lg {n})$$ O ( n m lg n ) -bit encoding, our encoding takes less space when $$m = o(\lg {n})$$ m = o ( lg n ) . In addition to the upper bound results for the encodings, we also give lower bounds on encodings for answering 1 and 4-sided $${\textsf {Top}}{\text {-}}k{}$$ Top - k queries, which show that our upper bound results are almost optimal.

scholarly journals On the Rank of $p$-Schemes

10.37236/3097 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
Fateme Raei Barandagh ◽  
Amir Rahnamai Barghi
Keyword(s):  
Lower Bound ◽  
Prime Number ◽  
Lower Bounds ◽  
Upper Bound ◽  
Upper And Lower Bounds ◽  
Minimum Rank

Let $n>1$ be an integer and $p$ be a prime number. Denote by $\mathfrak{C}_{p^n}$ the class of non-thin association $p$-schemes of degree $p^n$. A sharp upper and lower bounds on the rank of schemes in $\mathfrak{C}_{p^n}$ with a certain order of thin radical are obtained. Moreover, all schemes in this class whose rank are equal to the lower bound are characterized and some schemes in this class whose rank are equal to the upper bound are constructed. Finally, it is shown that the scheme with minimum rank in $\mathfrak{C}_{p^n}$ is unique up to isomorphism, and it is a fusion of any association $p$-schemes with degree $p^n$.

scholarly journals When is non-trivial estimation possible for graphons and stochastic block models?‡

2017 ◽  
Vol 7 (2) ◽  
pp. 169-181
Author(s):  
Audra McMillan ◽  
Adam Smith
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Upper And Lower Bounds ◽  
Random Networks ◽  
Block Models

Abstract Block graphons (also called stochastic block models) are an important and widely studied class of models for random networks. We provide a lower bound on the accuracy of estimators for block graphons with a large number of blocks. We show that, given only the number $k$ of blocks and an upper bound $\rho$ on the values (connection probabilities) of the graphon, every estimator incurs error ${\it{\Omega}}\left(\min\left(\rho, \sqrt{\frac{\rho k^2}{n^2}}\right)\right)$ in the $\delta_2$ metric with constant probability for at least some graphons. In particular, our bound rules out any non-trivial estimation (that is, with $\delta_2$ error substantially less than $\rho$) when $k\geq n\sqrt{\rho}$. Combined with previous upper and lower bounds, our results characterize, up to logarithmic terms, the accuracy of graphon estimation in the $\delta_2$ metric. A similar lower bound to ours was obtained independently by Klopp et al.

The Heine-Borel theorem in extended basic logic

1949 ◽  
Vol 14 (1) ◽  
pp. 9-15 ◽  
Author(s):  
Frederic B. Fitch
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Fundamental Theorem ◽  
Upper Bounds ◽  
Basic Logic ◽  
Real Numbers ◽  
Consistent Theory

A demonstrably consistent theory of real numbers has been outlined by the writer in An extension of basic logic1 (hereafter referred to as EBL). This theory deals with non-negative real numbers, but it could be easily modified to deal with negative real numbers also. It was shown that the theory was adequate for proving a form of the fundamental theorem on least upper bounds and greatest lower bounds. More precisely, the following results were obtained in the terminology of EBL: If С is a class of U-reals and is completely represented in Κ′ and if some U-real is an upper bound of С, then there is a U-real which is a least upper bound of С. If D is a class of (U-reals and is completely represented in Κ′, then there is a U-real which is a greatest lower bound of D.

LOWER BOUNDS FOR STREETS AND GENERALIZED STREETS

2001 ◽  
Vol 11 (04) ◽  
pp. 401-421 ◽  
Author(s):  
ALEJANDRO LÓPEZ-ORTIZ ◽  
SVEN SCHUIERER
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Real Line ◽  
Upper Bound ◽  
Competitive Ratio ◽  
Search Strategy ◽  
The Real ◽  
Simple Polygons ◽  
On Line ◽  
Special Classes

We present lower bounds for on-line searching problems in two special classes of simple polygons called streets and generalized streets. In streets we assume that the location of the target is known to the robot in advance and prove a lower bound of [Formula: see text] on the competitive ratio of any deterministic search strategy—which can be shown to be tight. For generalized streets we show that if the location of the target is not known, then there is a class of orthogonal generalized streets for which the competitive ratio of any search strategy is at least [Formula: see text] in the L2-metric—again matching the competitive ratio of the best known algorithm. We also show that if the location of the target is known, then the competitive ratio for searching in generalized streets in the L1-metric is at least 9 which is tight as well. The former result is based on a lower bound on the average competitive ratio of searching on the real line if an upper bound of D to the target is given. We show that in this case the average competitive ratio is at least 9-O(1/ log D).

Some lower bounds for the distribution of the supremum of the Yeh-Wiener process over a rectangular region

1975 ◽  
Vol 12 (04) ◽  
pp. 824-830
Author(s):  
Arthur H. C. Chan
Keyword(s):  
Lower Bound ◽  
Gaussian Process ◽  
Wiener Process ◽  
Lower Bounds ◽  
Upper Bound ◽  
Exact Distribution ◽  
Rectangular Region ◽  
Process With Independent Increments ◽  
Independent Increments ◽  
Two Parameter

Let W (s, t), s, t ≧ 0, be the two-parameter Yeh–Wiener process defined on the first quadrant of the plane, that is, a Gaussian process with independent increments in both directions. In this paper, a lower bound for the distribution of the supremum of W (s, t) over a rectangular region [0, S]×[0, T], for S, T > 0, is given. An upper bound for the same was known earlier, while its exact distribution is still unknown.

scholarly journals Lower bounds to eigenvalues of the Schrödinger equation by solution of a 90-y challenge

2020 ◽  
Vol 117 (28) ◽  
pp. 16181-16186
Author(s):  
Rocco Martinazzo ◽  
Eli Pollak
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Spectral Features ◽  
Numerical Examples ◽  
Tunneling Splittings ◽  
Order Of Magnitude ◽  
Bound Theorem ◽  
Math Phys ◽  
Better Than

The Ritz upper bound to eigenvalues of Hermitian operators is essential for many applications in science. It is a staple of quantum chemistry and physics computations. The lower bound devised by Temple in 1928 [G. Temple,Proc. R. Soc. A Math. Phys. Eng. Sci.119, 276–293 (1928)] is not, since it converges too slowly. The need for a good lower-bound theorem and algorithm cannot be overstated, since an upper bound alone is not sufficient for determining differences between eigenvalues such as tunneling splittings and spectral features. In this paper, after 90 y, we derive a generalization and improvement of Temple’s lower bound. Numerical examples based on implementation of the Lanczos tridiagonalization are provided for nontrivial lattice model Hamiltonians, exemplifying convergence over a range of 13 orders of magnitude. This lower bound is typically at least one order of magnitude better than Temple’s result. Its rate of convergence is comparable to that of the Ritz upper bound. It is not limited to ground states. These results complement Ritz’s upper bound and may turn the computation of lower bounds into a staple of eigenvalue and spectral problems in physics and chemistry.

scholarly journals ON THE POSSIBLE RANKS AMONG MATRICES WITH A GIVEN PATTERN

2010 ◽  
Vol 02 (03) ◽  
pp. 363-377 ◽  
Author(s):  
CHARLES R. JOHNSON ◽  
YULIN ZHANG
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Null Space ◽  
Upper And Lower Bounds ◽  
Minimum Rank

Given are tight upper and lower bounds for the minimum rank among all matrices with a prescribed zero–nonzero pattern. The upper bound is based upon solving for a matrix with a given null space and, with optimal choices, produces the correct minimum rank. It leads to simple, but often accurate, bounds based upon overt statistics of the pattern. The lower bound is also conceptually simple. Often, the lower and an upper bound coincide, but examples are given in which they do not.

Some lower bounds for the distribution of the supremum of the Yeh-Wiener process over a rectangular region

1975 ◽  
Vol 12 (4) ◽  
pp. 824-830 ◽  
Author(s):  
Arthur H. C. Chan
Keyword(s):  
Lower Bound ◽  
Gaussian Process ◽  
Wiener Process ◽  
Lower Bounds ◽  
Upper Bound ◽  
Exact Distribution ◽  
Rectangular Region ◽  
Process With Independent Increments ◽  
Independent Increments ◽  
Two Parameter

Let W (s, t), s, t ≧ 0, be the two-parameter Yeh–Wiener process defined on the first quadrant of the plane, that is, a Gaussian process with independent increments in both directions. In this paper, a lower bound for the distribution of the supremum of W (s, t) over a rectangular region [0, S]×[0, T], for S, T > 0, is given. An upper bound for the same was known earlier, while its exact distribution is still unknown.

BOUNDS ON THE PRICE OF STABILITY OF UNDIRECTED NETWORK DESIGN GAMES WITH THREE PLAYERS

2011 ◽  
Vol 12 (01n02) ◽  
pp. 1-17 ◽  
Author(s):  
VITTORIO BILÒ ◽  
ROBERTA BOVE
Keyword(s):  
Lower Bound ◽  
Network Design ◽  
Lower Bounds ◽  
Upper Bound ◽  
Cost Allocation ◽  
Upper And Lower Bounds ◽  
Price Of Stability ◽  
Undirected Network ◽  
Basic Case

After almost seven years from its definition,2 the price of stability of undirected network design games with fair cost allocation remains to be elusive. Its exact characterization has been achieved only for the basic case of two players2,7 and, as soon as the number of players increases, the gap between the known upper and lower bounds becomes super-constant, even in the special variants of multicast and broadcast games. Motivated by the intrinsic difficulties that seem to characterize this problem, we analyze the already challenging case of three players and provide either new or improved bounds. For broadcast games, we prove an upper bound of 1.485 which exactly matches a lower bound given in Ref. 4; for multicast games, we show new upper and lower bounds which confine the price of stability in the interval [1.524; 1.532]; while, for the general case, we give an improved upper bound of 1.634. The techniques exploited in this paper are a refinement of those used in Ref. 7 and can be easily adapted to deal with all the cases involving a small number of players.

Sign in / Sign up

Export Citation Format

Share Document