scholarly journals Integer Points in Knapsack Polytopes and $s$-Covering Radius

10.37236/2887 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
Iskander Aliev ◽  
Martin Henk ◽  
Eva Linke
Keyword(s):  
Lower Bound ◽  
Positive Integer ◽  
Upper Bounds ◽  
Covering Radius ◽  
Frobenius Number ◽  
Lower And Upper Bounds ◽  
Integer Points ◽  
Knapsack Polytope ◽  
Optimal Lower Bound

Given a matrix $A\in \mathbb{Z}^{m\times n}$ satisfying certain regularity assumptions, we consider for a positive integer $s$ the set ${\mathcal F}_s(A)\subset \mathbb{Z}^m$ of all vectors $b\in \mathbb{Z}^m$ such that the associated knapsack polytope\begin{equation*}P(A, b)=\{ x \in \mathbb{R}^n_{\ge 0}: A x= b\}\end{equation*}contains at least $s$ integer points. We present lower and upper bounds on the so called diagonal $s$-Frobenius number associated to the set ${\mathcal F}_s(A)$. In the case $m=1$ we prove an optimal lower bound for the $s$-Frobenius number, which is the largest integer $b$ such that $P(A,b)$ contains less than $s$ integer points.  

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.

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 Satisfiability and Computing van der Waerden Numbers

10.37236/1794 ◽  
2004 ◽  
Vol 11 (1) ◽  
Author(s):  
Michael R. Dransfield ◽  
Lengning Liu ◽  
Victor W. Marek ◽  
Mirosław Truszczyński
Keyword(s):  
Positive Integer ◽  
Local Search ◽  
Ramsey Theory ◽  
Upper Bounds ◽  
General Purpose ◽  
Propositional Satisfiability ◽  
Lower And Upper Bounds ◽  
Algebraic Form ◽  
Sat Solvers ◽  
Structural Simplicity

In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive integer functions, without actually providing their closed algebraic form or tight lower and upper bounds. The area of Ramsey theory is especially rich in such results. Using the problem of computing van der Waerden numbers as an example, we show that these problems can be represented by parameterized propositional theories in such a way that decisions concerning their satisfiability determine the numbers (function) in question. We show that by using general-purpose complete and local-search techniques for testing propositional satisfiability, this approach becomes effective — competitive with specialized approaches. By following it, we were able to obtain several new results pertaining to the problem of computing van der Waerden numbers. We also note that due to their properties, especially their structural simplicity and computational hardness, propositional theories that arise in this research can be of use in development, testing and benchmarking of SAT solvers.

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 On the Growth of Some Functions Related to z(n)

Mathematics ◽  
2020 ◽  
Vol 8 (6) ◽  
pp. 876 ◽  
Author(s):  
Pavel Trojovský
Keyword(s):  
Positive Integer ◽  
Arithmetic Function ◽  
Fibonacci Sequence ◽  
Upper Bounds ◽  
Integer Solution ◽  
Lower And Upper Bounds ◽  
Positive Integer Solution

The order of appearance z : Z > 0 → Z > 0 is an arithmetic function related to the Fibonacci sequence ( F n ) n . This function is defined as the smallest positive integer solution of the congruence F k ≡ 0 ( mod n ) . In this paper, we shall provide lower and upper bounds for the functions ∑ n ≤ x z ( n ) / n , ∑ p ≤ x z ( p ) and ∑ p r ≤ x z ( p r ) .

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.

Asymptotic bounds for the fluid queue fed by sub-exponential On/Off sources

2000 ◽  
Vol 32 (01) ◽  
pp. 244-255 ◽  
Author(s):  
V. Dumas ◽  
A. Simonian
Keyword(s):  
Lower Bound ◽  
Finite Number ◽  
Upper Bound ◽  
Content Distribution ◽  
Upper Bounds ◽  
Lower And Upper Bounds ◽  
Fluid Queue ◽  
Asymptotic Bounds ◽  
Multiplicative Factor ◽  
Buffer Content

We consider a fluid queue fed by a superposition of a finite number of On/Off sources, the distribution of the On period being subexponential for some of them and exponential for the others. We provide general lower and upper bounds for the tail of the stationary buffer content distribution in terms of the so-called minimal subsets of sources. We then show that this tail decays at exponential or subexponential speed according as a certain parameter is smaller or larger than the ouput rate. If we replace the subexponential tails by regularly varying tails, the upper bound and the lower bound are sharp in that they differ only by a multiplicative factor.

scholarly journals Lower and upper bounds for the Lyapunov exponents of twisting dynamics: a relationship between the exponents and the angle of Oseledets’ splitting

2012 ◽  
Vol 33 (3) ◽  
pp. 693-712 ◽  
Author(s):  
M.-C. ARNAUD
Keyword(s):  
Lyapunov Exponent ◽  
Lower Bound ◽  
Lyapunov Exponents ◽  
Cotangent Bundle ◽  
Upper Bounds ◽  
Lower And Upper Bounds ◽  
Hamiltonian Flows ◽  
Twist Maps ◽  
The Mean ◽  
Minimizing Measures

AbstractWe consider locally minimizing measures for conservative twist maps of the $d$-dimensional annulus and for Tonelli Hamiltonian flows defined on a cotangent bundle $T^*M$. For weakly hyperbolic measures of such type (i.e. measures with no zero Lyapunov exponents), we prove that the mean distance/angle between the stable and unstable Oseledets bundles gives an upper bound on the sum of the positive Lyapunov exponents and a lower bound on the smallest positive Lyapunov exponent. We also prove some more precise results.

On codes over ℤp2 and its covering radius

2019 ◽  
Vol 12 (02) ◽  
pp. 1950027 ◽  
Author(s):  
N. Annamalai ◽  
C. Durairajan
Keyword(s):  
Upper Bounds ◽  
Covering Radius ◽  
Lower And Upper Bounds ◽  
Lee Distance

This paper gives lower and upper bounds on the covering radius of codes over [Formula: see text] with respect to Lee distance. We also determine the covering radius of various repetition codes over [Formula: see text]

Sign in / Sign up

Export Citation Format

Share Document