scholarly journals ON THE LOWER BOUND IN THE PROBLEM OF APPROXIMATE RECONSTRUCTION OF FUNCTIONS BY VALUES OF THE RADON TRANSFORM

2020 ◽  
pp. 24-34
Author(s):  
Sh. Azhgaliyev ◽  
◽  
Sh. Abikenova ◽  
Keyword(s):  
Mathematical Model ◽  
Lower Bound ◽  
Lower Bounds ◽  
Fourier Coefficients ◽  
Reconstruction Error ◽  
Upper Bounds ◽  
Measuring Instruments ◽  
Radon Transforms ◽  
Physical Chemical ◽  
Selection Of

In this paper, we study the problem of function reconstruction by values of Radon transforms within the framework of the Computational (Numerical) Diameter (C(N)D) approach. The meaning of C(N)D is to solve two independent problems: obtaining lower bounds of the reconstruction error by exact information and specifying the computing tool that implements the upper bounds (preferably coinciding with the lower bound up to constants). The C(N)D approach is a mathematical model of experiments for describing various processes (physical, chemical, technical, etc.). An important role in setting up such experiments is played by types of measuring instruments, which is reflected in C(N)D as types of functionals. The next important point is the choice of location and balancing of instruments, i.e. selection of functionals’ parameters. The final step is to build an optimal computing tool using the obtained data. The most studied types of functionals are function values at points and Fourier coefficients. An important difference of this work from previously obtained results is the study of the approximation capabilities of another type of functionals – Radon transforms, i.e. mathematical model of the use of tomography and similar technologies. This paper is devoted to obtaining lower bounds for the error in reconstructing functions from Sobolev and Korobov spaces.

The envelope method in the problem of choosing a rational composition of measuring instruments

2021 ◽  
pp. 68-72
Author(s):  
Il'ya A. Meshchikhin ◽  
Sergej S. Gavryushin
Keyword(s):  
Mathematical Model ◽  
Monitoring Systems ◽  
Measuring Instruments ◽  
Key Points ◽  
Envelope Method ◽  
Loaded State ◽  
The Mathematical Model ◽  
Selection Of ◽  
Rational Composition

As part of the development of monitoring systems for the operation of technical objects, the problem of improving the quality of monitoring systems for the loaded state is considered. Based on the analysis of the mathematical model of the structure and its loading, a methodology for the selection of measuring instruments was developed. The urgency of the problem of calculating substantiation of the choice of key points of the structure is shown, at which it is possible to measure deformations for the subsequent restoration of the existing loads with maximum accuracy. An approach based on the envelope method for determining the rational composition of measuring instruments for restoring the loads acting on the structure is stated.

A LOWER BOUND FOR ORDER-PRESERVING BROADCAST IN THE POSTAL MODEL

1993 ◽  
Vol 03 (04) ◽  
pp. 313-320 ◽  
Author(s):  
PHILIP D. MACKENZIE
Keyword(s):  
Communication Network ◽  
Lower Bound ◽  
Lower Bounds ◽  
Message Passing ◽  
Upper Bounds ◽  
Communication Latency ◽  
Multiple Messages ◽  
Postal Model ◽  
Parameter Ranges

In the postal model of message passing systems, the actual communication network between processors is abstracted by a single communication latency factor, which measures the inverse ratio of the time it takes for a processor to send a message and the time that passes until the recipient receives the message. In this paper we examine the problem of broadcasting multiple messages in an order-preserving fashion in the postal model. We prove lower bounds for all parameter ranges and show that these lower bounds are within a factor of seven of the best upper bounds. In some cases, our lower bounds show significant asymptotic improvements over the previous best lower bounds.

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.

The Unrestricted Black-Box Complexity of Jump Functions

2016 ◽  
Vol 24 (4) ◽  
pp. 719-744 ◽  
Author(s):  
Maxim Buzdalov ◽  
Benjamin Doerr ◽  
Mikhail Kever
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bounds ◽  
Black Box ◽  
Problem Instance ◽  
Theory Approach ◽  
Function Classes ◽  
Fitness Value ◽  
Jump Function ◽  
Jump Sizes

We analyze the unrestricted black-box complexity of the Jump function classes for different jump sizes. For upper bounds, we present three algorithms for small, medium, and extreme jump sizes. We prove a matrix lower bound theorem which is capable of giving better lower bounds than the classic information theory approach. Using this theorem, we prove lower bounds that almost match the upper bounds. For the case of extreme jump functions, which apart from the optimum reveal only the middle fitness value(s), we use an additional lower bound argument to show that any black-box algorithm does not gain significant insight about the problem instance from the first [Formula: see text] fitness evaluations. This, together with our upper bound, shows that the black-box complexity of extreme jump functions is [Formula: see text].

scholarly journals Computability-theoretic complexity of effective Banach spaces

2022 ◽  
Author(s):  
◽  
Long Qian
Keyword(s):  
Banach Space ◽  
Lower Bound ◽  
Banach Spaces ◽  
Lower Bounds ◽  
Approximation Property ◽  
Upper Bounds ◽  
Space Theory ◽  
Approximation Properties ◽  
Open Problems

<p><b>We investigate the geometry of effective Banach spaces, namely a sequenceof approximation properties that lies in between a Banach space having a basis and the approximation property.</b></p> <p>We establish some upper bounds on suchproperties, as well as proving some arithmetical lower bounds. Unfortunately,the upper bounds obtained in some cases are far away from the lower bound.</p> <p>However, we will show that much tighter bounds will require genuinely newconstructions, and resolve long-standing open problems in Banach space theory.</p> <p>We also investigate the effectivisations of certain classical theorems in Banachspaces.</p>

scholarly journals A lower bound for general t-stack sortable permutations via pattern avoidance

2020 ◽  
Vol 22 ◽  
Author(s):  
Pranav Chinmay
Keyword(s):  
Lower Bound ◽  
Recurrence Relation ◽  
Lower Bounds ◽  
Upper Bounds ◽  
Pattern Avoidance ◽  
Lower And Upper Bounds

There is no formula for general t-stack sortable permutations. Thus, we attempt to study them by establishing lower and upper bounds. Permutations that avoid certain pattern sets provide natural lower bounds. This paper presents a recurrence relation that counts the number of permutations that avoid the set (23451,24351,32451,34251,42351,43251). This establishes a lower bound on 3-stack sortable permutations. Additionally, the proof generalizes to provide lower bounds for all t-stack sortable permutations.

scholarly journals A new lower bound for the smallest singular value

Filomat ◽  
2019 ◽  
Vol 33 (9) ◽  
pp. 2711-2723
Author(s):  
Ksenija Doroslovacki ◽  
Ljiljana Cvetkovic ◽  
Ernest Sanca
Keyword(s):  
Lower Bound ◽  
Boundary Value Problems ◽  
Lower Bounds ◽  
Large Scale ◽  
Block Structure ◽  
Upper Bounds ◽  
Singular Value ◽  
Ecological Modelling ◽  
Infinity Norm ◽  
Smallest Singular Value

The aim of this paper is to obtain new lower bounds for the smallest singular value for some special subclasses of nonsingularH-matrices. This is done in two steps: first, unifying principle for deriving new upper bounds for the norm 1 of the inverse of an arbitrary nonsingular H-matrix is presented, and then, it is combined with some well-known upper bounds for the infinity norm of the inverse. The importance and efficiency of the results are illustrated by an example from ecological modelling, as well as on a type of large-scale matrices posessing a block structure, arising in boundary value problems.

scholarly journals Constraint and Satisfiability Reasoning for Graph Coloring

2020 ◽  
Vol 69 ◽  
pp. 33-65
Author(s):  
Emmanuel Hebrard ◽  
George Katsirelos
Keyword(s):  
Combinatorial Optimization ◽  
Lower Bound ◽  
Lower Bounds ◽  
Branch And Bound ◽  
Graph Coloring ◽  
Upper Bounds ◽  
Scheduling Problems ◽  
Marginal Costs ◽  
Free Tree ◽  
Pruning Techniques

Graph coloring is an important problem in combinatorial optimization and a major component of numerous allocation and scheduling problems. In this paper we introduce a hybrid CP/SAT approach to graph coloring based on the addition-contraction recurrence of Zykov. Decisions correspond to either adding an edge between two non-adjacent vertices or contracting these two vertices, hence enforcing inequality or equality, respectively. This scheme yields a symmetry-free tree and makes learnt clauses stronger by not committing to a particular color. We introduce a new lower bound for this problem based on Mycielskian graphs; a method to produce a clausal explanation of this bound for use in a CDCL algorithm; a branching heuristic emulating Br´elaz’ heuristic on the Zykov tree; and dedicated pruning techniques relying on marginal costs with respect to the bound and on reasoning about transitivity when unit propagating learnt clauses. The combination of these techniques in both a branch-and-bound and in a bottom-up search outperforms other SAT-based approaches and Dsatur on standard benchmarks both for finding upper bounds and for proving lower bounds.

Quantum collision-resistance of non-uniformly distributed functions: upper and lower bounds

2018 ◽  
Vol 18 (15&16) ◽  
pp. 1332-1349
Author(s):  
Ehsan Ebrahimi ◽  
Dominique Unruh
Keyword(s):  
Lower Bound ◽  
Uniform Distribution ◽  
Lower Bounds ◽  
Upper Bounds ◽  
Query Complexity ◽  
Upper And Lower Bounds ◽  
Collision Resistance ◽  
Quantum Query Complexity ◽  
Quantum Query

We study the quantum query complexity of finding a collision for a function f whose outputs are chosen according to a non-uniform distribution D. We derive some upper bounds and lower bounds depending on the min-entropy and the collision-entropy of D. In particular, we improve the previous lower bound by Ebrahimi Targhi et al. from \Omega(2^{k/9}) to \Omega(2^{k/5}) where k is the min-entropy of D.

The number of solutions of the Erdős-Straus Equation and sums of k unit fractions

2019 ◽  
Vol 150 (3) ◽  
pp. 1401-1427
Author(s):  
Christian Elsholtz ◽  
Stefan Planitzer
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Rational Number ◽  
Residue Class ◽  
Upper Bounds ◽  
Log P ◽  
Number Of Solutions ◽  
Running Time ◽  
Unit Fractions ◽  
All Solutions

AbstractWe prove new upper bounds for the number of representations of an arbitrary rational number as a sum of three unit fractions. In particular, for fixed m there are at most ${\cal O}_{\epsilon }(n^{{3}/{5}+\epsilon })$ solutions of ${m}/{n} = {1}/{a_1} + {1}/{a_2} + {1}/{a_3}$. This improves upon a result of Browning and Elsholtz (2011) and extends a result of Elsholtz and Tao (2013) who proved this when m=4 and n is a prime. Moreover, there exists an algorithm finding all solutions in expected running time ${\cal O}_{\epsilon }(n^{\epsilon }({n^3}/{m^2})^{{1}/{5}})$, for any $\epsilon \gt 0$. We also improve a bound on the maximum number of representations of a rational number as a sum of k unit fractions. Furthermore, we also improve lower bounds. In particular, we prove that for given $m \in {\open N}$ in every reduced residue class e mod f there exist infinitely many primes p such that the number of solutions of the equation ${m}/{p} = {1}/{a_1} + {1}/{a_2} + {1}/{a_3}$ is $\gg _{f,m} \exp (({5\log 2}/({12\,{\rm lcm} (m,f)}) + o_{f,m}(1)) {\log p}/{\log \log p})$. Previously, the best known lower bound of this type was of order $(\log p)^{0.549}$.

Sign in / Sign up

Export Citation Format

Share Document