scholarly journals On the Interactive Capacity of Finite-State Protocols

Entropy ◽  
2020 ◽  
Vol 23 (1) ◽  
pp. 17
Author(s):  
Assaf Ben-Yishai ◽  
Young-Han Kim ◽  
Rotem Oshman ◽  
Ofer Shayevitz
Keyword(s):  
Lower Bounds ◽  
Upper Bound ◽  
Noisy Channel ◽  
Shannon Capacity ◽  
Finite State

The interactive capacity of a noisy channel is the highest possible rate at which arbitrary interactive protocols can be simulated reliably over the channel. Determining the interactive capacity is notoriously difficult, and the best known lower bounds are far below the associated Shannon capacity, which serves as a trivial (and also generally the best known) upper bound. This paper considers the more restricted setup of simulating finite-state protocols. It is shown that all two-state protocols, as well as rich families of arbitrary finite-state protocols, can be simulated at the Shannon capacity, establishing the interactive capacity for those families of protocols.

Localization of Discrete Spectrum of Multiparticle Schrödinger Operators

1985 ◽  
Vol 40 (10) ◽  
pp. 1052-1058 ◽  
Author(s):  
Heinz K. H. Siedentop
Keyword(s):  
Discrete Spectrum ◽  
Lower Bounds ◽  
Upper Bound ◽  
Schrödinger Operators ◽  
Upper And Lower Bounds ◽  
Schrodinger Operators

An upper bound on the dimension of eigenspaces of multiparticle Schrödinger operators is given. Its relation to upper and lower bounds on the eigenvalues is discussed.

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 The Essential Dimension of Stacks of Parabolic Vector Bundles over Curves

2012 ◽  
Vol 10 (3) ◽  
pp. 455-488 ◽  
Author(s):  
Indranil Biswas ◽  
Ajneet Dhillon ◽  
Nicole Lemire
Keyword(s):  
Lower Bounds ◽  
Upper Bound ◽  
Vector Bundles ◽  
Upper Bounds ◽  
Essential Dimension ◽  
Parabolic Structure ◽  
Moduli Stack

AbstractWe find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank r and degree d without parabolic structure.

scholarly journals Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

2021 ◽  
pp. 42-61
Author(s):  
A. R. Balasubramanian ◽  
Javier Esparza ◽  
Mikhail Raskin
Keyword(s):  
Lower Bounds ◽  
Petri Net ◽  
Special Class ◽  
Upper Bounds ◽  
Initial State ◽  
Reachability Problem ◽  
Final State ◽  
Final Configuration ◽  
Finite State ◽  
State Agents

AbstractIn rendez-vous protocols an arbitrarily large number of indistinguishable finite-state agents interact in pairs. The cut-off problem asks if there exists a number B such that all initial configurations of the protocol with at least B agents in a given initial state can reach a final configuration with all agents in a given final state. In a recent paper [17], Horn and Sangnier prove that the cut-off problem is equivalent to the Petri net reachability problem for protocols with a leader, and in "Image missing" for leaderless protocols. Further, for the special class of symmetric protocols they reduce these bounds to "Image missing" and "Image missing" , respectively. The problem of lowering these upper bounds or finding matching lower bounds is left open. We show that the cut-off problem is "Image missing" -complete for leaderless protocols, "Image missing" -complete for symmetric protocols with a leader, and in "Image missing" for leaderless symmetric protocols, thereby solving all the problems left open in [17].

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 Branch and Bound Method to Solve Multi Objectives Function

2016 ◽  
Vol 12 (3) ◽  
pp. 5964-5974
Author(s):  
Tahani Jabbar Kahribt ◽  
Mohammed Kadhim Al- Zuwaini
Keyword(s):  
Lower Bounds ◽  
Branch And Bound ◽  
Single Machine ◽  
Upper Bound ◽  
Completion Time ◽  
Heuristic Method ◽  
Total Weighted Completion Time ◽  
Branch And Bound Method ◽  
Special Cases ◽  
Weighted Completion Time

This paper  presents  a  branch  and  bound  algorithm  for  sequencing  a  set  of  n independent  jobs  on  a single  machine  to  minimize sum of the discounted total weighted completion time and maximum lateness,  this problems is NP-hard. Two lower bounds were proposed and heuristic method to get an upper bound. Some special cases were  proved and some dominance rules were suggested and proved, the problem solved with up to 50 jobs.

Positive deissler rank and the complexity of injective modules

1988 ◽  
Vol 53 (1) ◽  
pp. 284-293 ◽  
Author(s):  
T. G. Kucera
Keyword(s):  
Prime Ideal ◽  
Lower Bounds ◽  
Upper Bound ◽  
Noetherian Ring ◽  
Krull Dimension ◽  
Primary Ideal ◽  
Prime Ideals ◽  
Commutative Noetherian Ring ◽  
Injective Modules ◽  
Primary Ideals

This is the second of two papers based on Chapter V of the author's Ph.D. thesis [K1]. For acknowledgements please refer to [K3]. In this paper I apply some of the ideas and techniques introduced in [K3] to the study of a very specific example. I obtain an upper bound for the positive Deissler rank of an injective module over a commutative Noetherian ring in terms of Krull dimension. The problem of finding lower bounds is vastly more difficult and is not addressed here, although I make a few comments and a conjecture at the end.For notation, terminology and definitions, I refer the reader to [K3]. I also use material on ideals and injective modules from [N] and [Ma]. Deissler's rank was introduced in [D].For the most part, in this paper all modules are unitary left modules over a commutative Noetherian ring Λ but in §1 I begin with a few useful results on totally transcendental modules and the relation between Deissler's rank rk and rk+.Recall that if P is a prime ideal of Λ, then an ideal I of Λ is P-primary if I ⊂ P, λ ∈ P implies that λn ∈ I for some n and if λµ ∈ I, λ ∉ P, then µ ∈ I. The intersection of finitely many P-primary ideals is again P-primary, and any P-primary ideal can be written as the intersection of finitely many irreducible P-primary ideals since Λ is Noetherian. Every irreducible ideal is P-primary for some prime ideal P. In addition, it will be important to recall that if P and Q are prime ideals, I is P-primary, J is Q-primary, and J ⊃ I, then Q ⊃ P. (All of these results can be found in [N].)

scholarly journals Lower bounds on the area of finite-state machines

1989 ◽  
Vol 30 (1) ◽  
pp. 1-7 ◽  
Author(s):  
M.J. Foster ◽  
Ronald I. Greenberg
Keyword(s):  
Lower Bounds ◽  
Finite State Machines ◽  
State Machines ◽  
Finite State

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.

Sign in / Sign up

Export Citation Format

Share Document