Note that the above is a generalization of monotone Galois connections (with and replaced with suprema and infima).
Then we have the following diagram:
What is at the node "other" in the diagram is unknown.
Conjecture "Other" is .
Question What repeated applying of and to "other" leads to? Particularly, does repeated applying and/or to the node "other" lead to finite or infinite sets?
Question What is the Waring rank of the determinant of a generic matrix?
For simplicity say we work over the complex numbers. The generic matrix is the matrix with entries for . Its determinant is a homogeneous form of degree , in variables. If is a homogeneous form of degree , a power sum expression for is an expression of the form , the (homogeneous) linear forms. The Waring rank of is the least number of terms in any power sum expression for . For example, the expression means that has Waring rank (it can't be less than , as ).
The generic determinant (or ) has Waring rank . The Waring rank of the generic determinant is at least and no more than , see for instance Lower bound for ranks of invariant forms, Example 4.1. The Waring rank of the permanent is also of interest. The comparison between the determinant and permanent is potentially relevant to Valiant's "VP versus VNP" problem.
Conjecture For every positive integer , there exists an integer so that every polytope of dimension has a -dimensional face which is either a simplex or is combinatorially isomorphic to a -dimensional cube.
Conjecture Suppose runners having distinct constant speeds start at a common point and run laps on a circular track with circumference 1. Then for any given runner, there is a time at which that runner is distance at least (along the track) away from every other runner.
Problem Does the following equality hold for every graph ?
The crossing number of a graph is the minimum number of edge crossings in any drawing of in the plane. In the pairwise crossing number, we minimize the number of pairs of edges that cross.
Conjecture There is an integer-valued function such that if is any -connected graph and and are any two vertices of , then there exists an induced path with ends and such that is -connected.
Conjecture The sequence {L(n) mod m}, where L(n) are the Lucas numbers, contains a complete residue system modulo m if and only if m is one of the following: 2, 4, 6, 7, 14, 3^k, k >=1.
Conjecture For every , there exists an integer such that if is a digraph whose arcs are colored with colors, then has a set which is the union of stables sets so that every vertex has a monochromatic path to some vertex in .
Problem () Find a sufficient condition for a straight -stage graph to be rearrangeable. In particular, what about a straight uniform graph?
Conjecture () Let be a simple regular ordered -stage graph. Suppose that the graph is externally connected, for some . Then the graph is rearrangeable.
Let be a class of finite relational structures. We denote by the number of structures in over the labeled set . For any class definable in monadic second-order logic with unary and binary relation symbols, Specker and Blatter showed that, for every , the function is ultimately periodic modulo .
Question Does the Blatter-Specker Theorem hold for ternary relations.
For any simple digraph , we let be the number of unordered pairs of nonadjacent vertices (i.e. the number of non-edges), and be the size of the smallest feedback edge set.
Conjecture If is a simple digraph without directed cycles of length , then .
Conjecture A Fermat prime is a Fermat number that is prime. The only known Fermat primes are F_0 =3,F_1=5,F_2=17,F_3 =257 ,F_4=65537 It is unknown if other fermat primes exist.
login/create account
:
;
. 
and 
replaced with suprema and infima).
. 
and 
to "other" leads to? Particularly, does repeated applying 
generic matrix? 
for 
. Its determinant is a homogeneous form of degree 
, in 
variables. If 
is a homogeneous form of degree 
, the 
(homogeneous) linear forms. The Waring rank of 
in any power sum expression for 
means that 
has Waring rank 
(it can't be less than 
).
generic determinant 
(or 
) has Waring rank 
. The Waring rank of the 
generic determinant is at least 
and no more than 
, see for instance 
, there exists an integer 
has a 
(along the track) away from every other runner. 
-cube into 
in 
such that the fundamental group of the complement has an unsolvable word problem? 
? 
be an abelian group. Is the 
denote the 
diagonal 
exists. 
? ![\[ \text{pair-cr}(G) = \text{cr}(G) \]](/files/tex/8cece1e00bb0e9fc122e0a5cad0dab2681cf33a4.png)
of a graph 
, we minimize the number of pairs of edges that cross. 
such that if 
and 
are any two vertices of 
with ends 
is 
, whether there exists a homomorphism from 
for some constant 
? 
is a digraph whose arcs are colored with 
set which is the union of 
) Find a sufficient condition for a straight 
-stage graph to be rearrangeable. In particular, what about a straight uniform graph? 
) Let 
be a simple regular ordered 
is externally connected, for some 
. Then the graph 
is rearrangeable. 
be a class of finite relational structures. We denote by 
the number of structures in 
. For any class 
, the function 
. 
be the number of unordered pairs of nonadjacent vertices (i.e. the number of non-edges), and 
be the size of the smallest 
, then 
. 
. ![\[ F_n = 2^{2^n } + 1 \]](/files/tex/0da5a50010e4e5df91c0d58080245ece34ec9ca6.png)
that is prime. The only known Fermat primes are F_0 =3,F_1=5,F_2=17,F_3 =257 ,F_4=65537 It is unknown if other fermat primes exist.
Drupal
CSI of Charles University