scholarly journals On Reay's Relaxed Tverberg Conjecture and Generalizations of Conway's Thrackle Conjecture

10.37236/6516 ◽  
2018 ◽  
Vol 25 (3) ◽  
Author(s):  
Megumi Asada ◽  
Ryan Chen ◽  
Florian Frick ◽  
Frederick Huang ◽  
Maxwell Polevy ◽  
...  

Reay's relaxed Tverberg conjecture and Conway's thrackle conjecture are open problems about the geometry of pairwise intersections. Reay asked for the minimum number of points in Euclidean $d$-space that guarantees any such point set admits a partition into $r$ parts, any $k$ of whose convex hulls intersect. Here we give new and improved lower bounds for this number, which Reay conjectured to be independent of $k$. We prove a colored version of Reay's conjecture for $k$ sufficiently large, but nevertheless $k$ independent of dimension $d$. Pairwise intersecting convex hulls have severely restricted combinatorics. This is a higher-dimensional analogue of Conway's thrackle conjecture or its linear special case. We thus study convex-geometric and higher-dimensional analogues of the thrackle conjecture alongside Reay's problem and conjecture (and prove in two special cases) that the number of convex sets in the plane is bounded by the total number of vertices they involve whenever there exists a transversal set for their pairwise intersections. We thus isolate a geometric property that leads to bounds as in the thrackle conjecture. We also establish tight bounds for the number of facets of higher-dimensional analogues of linear thrackles and conjecture their continuous generalizations.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Giosuè Emanuele Muratore

Abstract The 2-Fano varieties, defined by De Jong and Starr, satisfy some higher-dimensional analogous properties of Fano varieties. We consider (weak) k-Fano varieties and conjecture the polyhedrality of the cone of pseudoeffective k-cycles for those varieties, in analogy with the case k = 1. Then we calculate some Betti numbers of a large class of k-Fano varieties to prove some special case of the conjecture. In particular, the conjecture is true for all 2-Fano varieties of index at least n − 2, and we complete the classification of weak 2-Fano varieties answering Questions 39 and 41 in [2].



Author(s):  
Q. J. Ge ◽  
B. Ravani

Abstract This paper follows a previous one on the computation of spatial displacements (Ravani and Ge, 1992). The first paper dealt with the problem of computing spatial displacements from a minimum number of simple features of points, lines, planes, and their combinations. The present paper deals with the same problem using a redundant set of the simple geometric features. The problem for redundant information is formulated as a least squares problem which includes all simple features. A Clifford algebra is used to unify the handling of various feature information. An algorithm for determining the best orientation is developed which involves finding the eigenvector associated with the least eigenvalue of a 4 × 4 symmetric matrix. The best translation is found to be a rational cubic function of the best orientation. Special cases are discussed which yield the best orientation in closed form. In addition, simple algorithms are provided for automatic generation of body-fixed coordinate frames from various feature information. The results have applications in robot and world model calibration for off-line programming and computer vision.



2004 ◽  
Vol 4 (3) ◽  
pp. 207-221
Author(s):  
F. Hulpke ◽  
D. Bruss ◽  
M. Levenstein ◽  
A. Sanpera

We apply the generalised concept of witness operators to arbitrary convex sets, and review the criteria for the optimisation of these general witnesses. We then define an embedding of state vectors and operators into a higher-dimensional Hilbert space. This embedding leads to a connection between any Schmidt number witness in the original Hilbert space and a witness for Schmidt number two (i.e. the most general entanglement witness) in the appropriate enlarged Hilbert space. Using this relation we arrive at a conceptually simple method for the construction of Schmidt number witnesses in bipartite systems.



1963 ◽  
Vol 14 (2) ◽  
pp. 105-124 ◽  
Author(s):  
Derek F. Lawden

SummaryThe development during the last two decades of analytical techniques for the solution of problems relating to the optimisation of rocket trajectories is outlined and the present position in this field of research is summarised. It is shown that the determination of optimal trajectories in a general gravitational field can be expressed as a Mayer problem from the calculus of variations. The known solution to such a problem is stated and applied, first to the special case of the launching of an artificial satellite into a circular orbit with minimum expenditure of propellant and, secondly, to the general astronautical problem of the economical transfer of a rocket between two terminals in a gravitational field. The special cases when the field is uniform and when it obeys an inverse square law of attraction to a point are then considered, and the paper concludes with some remarks concerning areas in which further investigations are necessary.



2016 ◽  
Vol 797 ◽  
pp. 322-344 ◽  
Author(s):  
Yuriy A. Semenov ◽  
Guo Xiong Wu

A general similarity solution for water-entry problems of a wedge with its inner angle fixed and its sides in expansion is obtained with flow detachment, in which the speed of expansion is a free parameter. The known solutions for a wedge of a fixed length at the initial stage of water entry without flow detachment and at the final stage corresponding to Helmholtz flow are obtained as two special cases, at some finite and zero expansion speeds, respectively. An expanding horizontal plate impacting a flat free surface is considered as the special case of the general solution for a wedge inner angle equal to ${\rm\pi}$. An initial impulse solution for a plate of a fixed length is obtained as the special case of the present formulation. The general solution is obtained in the form of integral equations using the integral hodograph method. The results are presented in terms of free-surface shapes, streamlines and pressure distributions.



10.37236/969 ◽  
2007 ◽  
Vol 14 (1) ◽  
Author(s):  
Wolfgang Haas ◽  
Jörn Quistorff

Let $R$, $S$ and $T$ be finite sets with $|R|=r$, $|S|=s$ and $|T|=t$. A code $C\subset R\times S\times T$ with covering radius $1$ and minimum distance $2$ is closely connected to a certain generalized partial Latin rectangle. We present various constructions of such codes and some lower bounds on their minimal cardinality $K(r,s,t;2)$. These bounds turn out to be best possible in many instances. Focussing on the special case $t=s$ we determine $K(r,s,s;2)$ when $r$ divides $s$, when $r=s-1$, when $s$ is large, relative to $r$, when $r$ is large, relative to $s$, as well as $K(3r,2r,2r;2)$. Some open problems are posed. Finally, a table with bounds on $K(r,s,s;2)$ is given.



Author(s):  
Alan A. Bertossi ◽  
M. Cristina Pinotti ◽  
Phalguni Gupta

The server allocation problem arises in isolated infostations, where mobile users going through the coverage area require immediate high-bit rate communications such as web surfing, file transferring, voice messaging, email and fax. Given a set of service requests, each characterized by a temporal interval and a category, an integer k, and an integer hc for each category c, the problem consists in assigning a server to each request in such a way that at most k mutually simultaneous requests are assigned to the same server at the same time, out of which at most hc are of category c, and the minimum number of servers is used. Since this problem is computationally intractable, a scalable 2-approximation online algorithm is exhibited. Generalizations of the problem are considered, which contain bin-packing, multiprocessor scheduling, and interval graph coloring as special cases, and admit scalable on-line algorithms providing constant approximations.



1971 ◽  
Vol 23 (2) ◽  
pp. 315-324 ◽  
Author(s):  
A. McD. Mercer

1. If f is a real-valued function possessing a Taylor series convergent in (a — R, a + R), then it satisfies the following operational identity1.1in which D2 = d2/du2. Furthermore, when g is a solution of y″ + λ2y = 0 in (a – R, a + R), then g is such a function and (1.1) specializes to1.2In this note we generalize these results to the real Euclidean space EN, our conclusions being Theorems 1 and 2 below. Clearly, (1.2) is a special case of (1.1) but in higher-dimensional space it is of interest to allow g, now a solution of1.3to possess singularities at isolated points away from the origin. It is then necessary to consider not only a neighbourhood of the origin but annular regions also.



2014 ◽  
Vol 39 (1) ◽  
pp. 17-26 ◽  
Author(s):  
Cheng He ◽  
Hao Lin ◽  
Yixun Lin ◽  
Junmei Dou

Abstract It is known that the single machine preemptive scheduling problem of minimizing total completion time with release date and deadline constraints is NP- hard. Du and Leung solved some special cases by the generalized Baker's algorithm and the generalized Smith's algorithm in O(n2) time. In this paper we give an O(n2) algorithm for the special case where the processing times and deadlines are agreeable. Moreover, for the case where the processing times and deadlines are disagreeable, we present two properties which could enable us to reduce the range of the enumeration algorithm



Author(s):  
Alessandro Bisio ◽  
Paolo Perinotti

Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes recursively, with the construction of a full hierarchy of maps of increasingly higher order. The analysis of special cases already showed that higher-order quantum functions exhibit features that cannot be tracked down to the usual circuits, such as indefinite causal structures, providing provable advantages over circuital maps. The present treatment provides a general framework where this kind of analysis can be carried out in full generality. The hierarchy of higher-order quantum maps is introduced axiomatically with a formulation based on the language of types of transformations. Complete positivity of higher-order maps is derived from the general admissibility conditions instead of being postulated as in previous approaches. The recursive characterization of convex sets of maps of a given type is used to prove equivalence relations between different types. The axioms of the framework do not refer to the specific mathematical structure of quantum theory, and can therefore be exported in the context of any operational probabilistic theory.



Sign in / Sign up

Export Citation Format

Share Document