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 Full-Duplex Relay with Delayed CSI Elevates the SDoF of the MIMO X Channel

Entropy ◽  
2021 ◽  
Vol 23 (11) ◽  
pp. 1484
Author(s):  
Tong Zhang ◽  
Gaojie Chen ◽  
Shuai Wang ◽  
Rui Wang
Keyword(s):  
Lower Bound ◽  
Channel State Information ◽  
Interference Alignment ◽  
Upper Bounds ◽  
Full Duplex ◽  
Multiple Antenna ◽  
Lower And Upper Bounds ◽  
Channel State ◽  
State Information ◽  
Full Duplex Relay

In this article, the sum secure degrees-of-freedom (SDoF) of the multiple-input multiple-output (MIMO) X channel with confidential messages (XCCM) and arbitrary antenna configurations is studied, where there is no channel state information (CSI) at two transmitters and only delayed CSI at a multiple-antenna, full-duplex, and decode-and-forward relay. We aim at establishing the sum-SDoF lower and upper bounds. For the sum-SDoF lower bound, we design three relay-aided transmission schemes, namely, the relay-aided jamming scheme, the relay-aided jamming and one-receiver interference alignment scheme, and the relay-aided jamming and two-receiver interference alignment scheme, each corresponding to one case of antenna configurations. Moreover, the security and decoding of each scheme are analyzed. The sum-SDoF upper bound is proposed by means of the existing SDoF region of two-user MIMO broadcast channel with confidential messages (BCCM) and delayed channel state information at the transmitter (CSIT). As a result, the sum-SDoF lower and upper bounds are derived, and the sum-SDoF is characterized when the relay has sufficiently large antennas. Furthermore, even assuming no CSI at two transmitters, our results show that a multiple-antenna full-duplex relay with delayed CSI can elevate the sum-SDoF of the MIMO XCCM. This is corroborated by the fact that the derived sum-SDoF lower bound can be greater than the sum-SDoF of the MIMO XCCM with output feedback and delayed CSIT.

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 A Computational Perspective on Network Coding

2010 ◽  
Vol 2010 ◽  
pp. 1-11
Author(s):  
Qin Guo ◽  
Mingxing Luo ◽  
Lixiang Li ◽  
Yixian Yang
Keyword(s):  
Graph Theory ◽  
Computational Complexity ◽  
Lower Bound ◽  
Network Coding ◽  
Upper Bound ◽  
Upper Bounds ◽  
Lower And Upper Bounds ◽  
Multicast Networks ◽  
Computational Perspective ◽  
Source Rate

From the perspectives of graph theory and combinatorics theory we obtain some new upper bounds on the number of encoding nodes, which can characterize the coding complexity of the network coding, both in feasible acyclic and cyclic multicast networks. In contrast to previous work, during our analysis we first investigate the simple multicast network with source rateh=2, and thenh≥2. We find that for feasible acyclic multicast networks our upper bound is exactly the lower bound given by M. Langberg et al. in 2006. So the gap between their lower and upper bounds for feasible acyclic multicast networks does not exist. Based on the new upper bound, we improve the computational complexity given by M. Langberg et al. in 2009. Moreover, these results further support the feasibility of signatures for network coding.

Minimization of Bounded Cable Tensions in Cable-Based Parallel Manipulators

2007 ◽  
Author(s):  
Mahir Hassan ◽  
Amir Khajepour
Keyword(s):  
Lower Bound ◽  
Numerical Method ◽  
Upper Bound ◽  
Task Force ◽  
Parallel Manipulators ◽  
Upper Bounds ◽  
Lower And Upper Bounds ◽  
Alternating Projection ◽  
Alternating Projection Method ◽  
Cable Forces

In this work, the application of the Dykstra’s alternating projection method to find the minimum-2-norm solution for actuator forces is discussed in the case when lower and upper bounds are imposed on the actuator forces. The lower bound is due to specified pretension desired in the cables and the upper bound is due to the maximum allowable forces in the cables. This algorithm presents a systematic numerical method to determine whether or not a solution exists to the cable forces within these bounds and, if it does exist, calculate the minimum-2-norm solution for the cable forces for a given task force. This method is applied to an example 2-DOF translational cable-driven manipulator and a geometrical demonstration is presented.

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 Improve Some of Bounds for the Randic Estrada Index of Graphs

2020 ◽  
Author(s):  
Akbar Jahanbani
Keyword(s):  
Lower Bounds ◽  
Upper Bounds ◽  
Randić Index ◽  
Lower And Upper Bounds ◽  
Graph Invariants ◽  
Randic Index ◽  
Estrada Index ◽  
Eigenvalues Of Graphs

Let G be a graph with n vertices and let 1; 2; : : : ; n be the eigenvalues of Randic matrix. The Randic Estrada index of G is REE(G) = &Oacute;n i=1 ei . In this paper, we establish lower and upper bounds for Randic index in terms of graph invariants such as the number of vertices and eigenvalues of graphs and improve some previously published lower bounds.

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.

Lower and upper bounds for the linear arrangement problem on interval graphs

2018 ◽  
Vol 52 (4-5) ◽  
pp. 1123-1145
Author(s):  
Alain Quilliot ◽  
Djamal Rebaine ◽  
Hélène Toussaint
Keyword(s):  
Lower Bound ◽  
Polynomial Time ◽  
Feasible Solution ◽  
Interval Graph ◽  
Upper Bounds ◽  
Unit Interval ◽  
Lower And Upper Bounds ◽  
Linear Arrangement ◽  
Arrangement Problem ◽  
Linear Arrangement Problem

We deal here with theLinear Arrangement Problem(LAP) onintervalgraphs, any interval graph being given here together with its representation as theintersectiongraph of some collection of intervals, and so with relatedprecedenceandinclusionrelations. We first propose a lower boundLB, which happens to be tight in the case ofunit intervalgraphs. Next, we introduce the restriction PCLAP of LAP which is obtained by requiring any feasible solution of LAP to be consistent with theprecedencerelation, and prove that PCLAP can be solved in polynomial time. Finally, we show both theoretically and experimentally that PCLAP solutions are a good approximation for LAP onintervalgraphs.

Sign in / Sign up

Export Citation Format

Share Document