User talk:Obscuranym

Hello Obscuranym, and welcome to Wikipedia! If you want to learn more about the contribution process, definitely check out the tutorial. It's a really simple and easy explanation of all the basics.

TIPS:

If you have any questions about Wikipedia and don't know where to look, try the How do I do that? section of help.
Get your feet wet as soon as you can by being bold in editing (and using the Show Preview button).
Read what Wikipedia is not.
Learn how to avoid common mistakes.
At Wikipedia, neutrality means representing all viewpoints as opposed to just one. Read the neutral point of view tutorial to learn more.
As you learn more about Wikipedia, you may want to check out the Manual of Style and the Policies and Guidelines.

I hope you enjoy your stay here and feel free to reply to this welcome message on my talk page. - Craigy (Talk)

(To sign a post like I just did, enter three tildes ~~~ where you want your name to appear. The three tildes will automatically be converted into your username. Adding a fourth tilde will insert a timestamp, as well.)

NB: I've responded to your question on CRGreathouse's talk page. --Osndok (talk) 19:25, 19 October 2010 (UTC)[reply]

From CRGreathouse's page...[edit]

Because range voting allows voters to rank candidates equal (or express no opinion at all!), therefore in the theoretical/strictest sense range voting cannot ever guarantee "a unique and complete ranking" (required for arrow's theorem). This is true even with one voter, and is IMHO the quintessential difference between the theory and practice of voting systems (single-voter / ties). Also why 'majority defeat disqualifier' (and other rank-with-equal-option voting systems "fail" arrow's theorem). Cheers. --Osndok (talk) 19:23, 19 October 2010 (UTC)[reply]

In my own limited understanding, this isn't really an essential feature of Arrow's Theorem. For example in Freek Wiedijk's "Formalizing Arrow's Theorem" proves the theorem using linear preorders, meaning the theorem continues to hold if ties are allowed. (if the correspondence between the formal proof and the informal description is to be believed, that is). Not to mention that by your description, almost no system technically has the universality principle, as Condorcet's Criterion leads to a 3-way tie when you get a 2/3 winner cycle. (Of course, the probability of that happening with a large number of voters is practically zero...) Obscuranym (talk) 15:56, 20 October 2010 (UTC)[reply]

Yes, it kinda is, and... Yes, that's kinda the point. As arrow defined it, absolutely no voting system does. That is why Arrow's impossibility theorem is readily provable, it is very restrictive in it's presuppositions. Approval voting (which can be seen as a special-case of range voting), can be easily converted into ranks-with-equals (e.g. Approving of A & C but not B & D is translated into [A=C]>[B=D]); and approval-voting clearly and demonstrably satisfies the "english" sayings of arrow's theorem (but not the formal b/c of the rank-order limitation). Cheers! --Osndok (talk) 16:56, 20 October 2010 (UTC)[reply]

"This" meaning that prohibiting ties between candidates, which is not required for Arrow's Theorem. The reference I gave formalizes and proves Arrow's Theorem while allowing for ties. And that's not the point of Arrow's Theorem: I'm saying that by your description of universality, no voting system is universal! Arrow's Theorem says that certain kinds of voting systems cannot simultaneously satisfy a certain set of conditions. Obscuranym (talk) 17:51, 21 October 2010 (UTC)[reply]

I think that you've misunderstood me, but I don't wish to be argumentative. Warren's page on Arrow's theorem explains the range-voting side well (my language can often be computer-esque). To my satisfaction Arrow's theorem proves "you can't have a fair rank-order voting system", yet any fair voting system is provably "equivalent to normalized range voting" (Dhillon & Mertens, Relative Utilitarianism 1999). This is much like turing-equivalence in the computer world, but harder to see. Basically, you can judge a voting system by it's ballot (rank/score, complete/permissive) making only 4 "types" of voting systems AFAICS. --Osndok (talk) 18:53, 21 October 2010 (UTC)[reply]

Please be a little bit argumentative, I'm enjoying this conversation, and my understanding of this issue could be better. :)

I am familiar with Warren's page; at first I didn't believe it, but I found it intriguing enough that I really studied the issue on my own for a while, and eventually decided he was basically correct.

I've heard of the the Dhillon & Mertens paper, but have no opinion on it, as I don't understand it and my deeper foray into social choice theory leaves me dissatisfied with the level of rigor and clarity in the field. From the point of view of not understanding the work, I have two generic objections: first, how correct is the work, and second, why should I accept their assumptions as necessary and sufficient conditions for a "fair" voting system?

And I don't think your description of the universe of possible voting systems is truly "universal", consider for example Declared Strategy Voting or the Iowa Democratic Party's Primary Caucus system, which fall outside your classification system. I have no idea what the phrase "all possible voting systems" really means. =) Obscuranym (talk) 23:45, 21 October 2010 (UTC)[reply]

I have not heard of DSV before, so correct me if I'm wrong... but judging from this summary it appears to be (an order of confusion) around strategic voting w/ range-voting ballots. It might be the case that providing "a formula for deciding the input values" is a third ballot alternative, but it still seems like it would have to reduce to cardinals or ranks... where matrices & linear algebra would fall under cardinals. Indeed this statement makes the system sound like an ugly and awful kludge combining range voting and IRV:

"[If] Perot really has a decent chance of winning, voters who give Perot their highest rating will have their votes cast for Perot. But if it turns out that Perot has a slim chance of winning, these voters might have their vote cast for a second choice, depending on how highly they rated the other candidates."

Which if taken at face-value would throw it under rank/preference voting (as "single vote" implies a simple counting). Also concerning the Iowa caucus (which I'm not sure I caught your point at) a higher level formulation of elections (aggregating various election sources/methods) are very interesting wrt multiple winner elections, but they are really more of "recipes" of the ideas of simple elections (usually single-winner). Much like how having a primary election is an interesting way to (attempt-to) circumvent the clone & spoiler effect in pluristic voting, but not really a "voting system" as I would call it. --Osndok (talk) 19:03, 22 October 2010 (UTC)[reply]

"all possible voting sytems"[edit]

In theory... maybe... :)

"the ballot" - somehow get info from voters

score(options) - defined MAX
rank(options) - (possibly weighted ranks!)

Somehow reduce to one result

aggregate[ballots] - permissive (all info used)
aggregate[filter(ballots)] - restrictive (some/all info is transformed or discarded)

So for example

pluristic can be seen as either

pick_max[only_highest(normalize(score(options)))] - restrictive score, or...

max_count_first[rank(options)], - permissive rank

IRV

involved_irv_magic_function[rank(options)] - permissive rank

Range

max_average[score(options)] - permissive score

--Osndok (talk) 19:46, 22 October 2010 (UTC)[reply]

Talk:Virtual LAN[edit]

I have replied to your comment on Talk:Virtual LAN.. DMahalko (talk) 22:08, 22 October 2010 (UTC)[reply]

Sieve of Eratohenes[edit]

Hello, Obscuranym. You have new messages at Talk:Sieve_of_Eratosthenes.
You can remove this notice at any time by removing the {{Talkback}} or {{Tb}} template.

WillNess (talk) 11:46, 23 July 2011 (UTC)[reply]

License tagging for File:Caterpillar rubber tracked tractor.jpg[edit]

Thanks for uploading File:Caterpillar rubber tracked tractor.jpg. You don't seem to have indicated the license status of the image. Wikipedia uses a set of image copyright tags to indicate this information.

To add a tag to the image, select the appropriate tag from this list, click on this link, then click "Edit this page" and add the tag to the image's description. If there doesn't seem to be a suitable tag, the image is probably not appropriate for use on Wikipedia. For help in choosing the correct tag, or for any other questions, leave a message on Wikipedia:Media copyright questions. Thank you for your cooperation. --ImageTaggingBot (talk) 04:05, 23 April 2012 (UTC)[reply]

ArbCom elections are now open![edit]

Hi,
You appear to be eligible to vote in the current Arbitration Committee election. The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to enact binding solutions for disputes between editors, primarily related to serious behavioural issues that the community has been unable to resolve. This includes the ability to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate, you are welcome to review the candidates' statements and submit your choices on the voting page. For the Election committee, MediaWiki message delivery (talk) 13:54, 24 November 2015 (UTC)[reply]