FRV (
https://groups.google.com/forum/#!topic/electionscience/YZgI8Wj8UAg) demonstrates that it might be possible to construct an ideal proportional multi-winner voting system that passes some of the same mathematical criterions that make rated voting systems such as approval and score voting stand out (favorite betrayal, simi-honesty, independence of irrelevant alternatives, etc).
Such a theoretical voting system should guarantee that:
1. Each district can only elect a limited number of representatives per district (Because legislative bodies only have a finite amount of seats)
2. Each district must elect at-least a single individual to each district (Because all districts must be equally represented. Being equally represented doesn't mean that each district has to elect the same amount of winners because different winners can have fractional weights in the legislature, but this does mean that each district must elect at least a single winner)
3. The voting system passes the favorite betrayal criterion or some other important criterion that demonstrates how resilient it is to free riding and other forms of strategic voting
4. The voting system produces results that have some degree of proportionality
5. The voting system is deterministic and gives voters complete control over the election (it doesn't use a delegation system)
6. It has basic fundamental properties that all voting systems should have (every voter's ballot is treated equally by the voting system, infinite domain and range, etc.)
I want to know if any of these requirements result in a contradiction.