• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 08:13
CEST 14:13
KST 21:13
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
Serral wins EWC 202516Tournament Spotlight: FEL Cracow 20259Power Rank - Esports World Cup 202580RSL Season 1 - Final Week9[ASL19] Finals Recap: Standing Tall15
Community News
[BSL 2025] H2 - Team Wars, Weeklies & SB Ladder2EWC 2025 - Replay Pack2Google Play ASL (Season 20) Announced28BSL Team Wars - Bonyth, Dewalt, Hawk & Sziky teams10Weekly Cups (July 14-20): Final Check-up0
StarCraft 2
General
#1: Maru - Greatest Players of All Time Serral wins EWC 2025 Greatest Players of All Time: 2025 Update Power Rank - Esports World Cup 2025 EWC 2025 - Replay Pack
Tourneys
Sparkling Tuna Cup - Weekly Open Tournament FEL Cracov 2025 (July 27) - $10,000 live event TaeJa vs Creator Bo7 SC Evo Showmatch Esports World Cup 2025 $25,000 Streamerzone StarCraft Pro Series announced
Strategy
How did i lose this ZvP, whats the proper response
Custom Maps
External Content
Mutation # 484 Magnetic Pull Mutation #239 Bad Weather Mutation # 483 Kill Bot Wars Mutation # 482 Wheel of Misfortune
Brood War
General
Google Play ASL (Season 20) Announced Shield Battery Server New Patch BW General Discussion [BSL 2025] H2 - Team Wars, Weeklies & SB Ladder BGH Auto Balance -> http://bghmmr.eu/
Tourneys
[Megathread] Daily Proleagues [BSL20] Non-Korean Championship 4x BSL + 4x China CSL Xiamen International Invitational [CSLPRO] It's CSLAN Season! - Last Chance
Strategy
Does 1 second matter in StarCraft? Simple Questions, Simple Answers Muta micro map competition [G] Mineral Boosting
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Total Annihilation Server - TAForever [MMORPG] Tree of Savior (Successor of Ragnarok) Path of Exile
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread Vanilla Mini Mafia
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread UK Politics Mega-thread Stop Killing Games - European Citizens Initiative Things Aren’t Peaceful in Palestine
Fan Clubs
INnoVation Fan Club SKT1 Classic Fan Club!
Media & Entertainment
Anime Discussion Thread [\m/] Heavy Metal Thread Movie Discussion! [Manga] One Piece Korean Music Discussion
Sports
2024 - 2025 Football Thread Formula 1 Discussion TeamLiquid Health and Fitness Initiative For 2023 NBA General Discussion
World Cup 2022
Tech Support
Gtx660 graphics card replacement Installation of Windows 10 suck at "just a moment" Computer Build, Upgrade & Buying Resource Thread
TL Community
TeamLiquid Team Shirt On Sale The Automated Ban List
Blogs
Ping To Win? Pings And Their…
TrAiDoS
momentary artworks from des…
tankgirl
from making sc maps to makin…
Husyelt
StarCraft improvement
iopq
Socialism Anyone?
GreenHorizons
Eight Anniversary as a TL…
Mizenhauer
Customize Sidebar...

Website Feedback

Closed Threads



Active: 688 users

Happy 410th Birthday, Fermat! - Page 3

Blogs > EsX_Raptor
Post a Reply
Prev 1 2 3 All
]343[
Profile Blog Joined May 2008
United States10328 Posts
Last Edited: 2011-08-18 01:39:27
August 18 2011 01:36 GMT
#41
On August 17 2011 23:15 EsX_Raptor wrote:
However, according to de Moivre's formula, we four out e^(i * x) = cos(x) + i * sin(x) for all x. This illustrates how closely related the exponential function is to the trigonometric functions.


rawrgh that's not De Moivre

De Moivre can be proven elementarily, and states that (cos n*x + i sin n*x) = (cos x + i sin x)^n for positive integer n. The fact that cos x + i sin x = e^(i*x) is deeper and requires that you do the Taylor series thing.

Since I haven't had enough quantum yet to think about entanglement, here are a few cute combinatorics problems:

1. For n a positive integer, let A_1, A_2, ... A_{n+1} be distinct subsets of {1, 2, ..., n}, each containing exactly 3 elements. Show that some two of these subsets have exactly one common element.

2. Show that any n points, not all collinear, determine at least n distinct lines.

+ Show Spoiler [hint] +
linear algebra!


edit:

http://www.teamliquid.net/forum/viewmessage.php?topic_id=246103&currentpage=4#61 on entanglement
Writer
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
Last Edited: 2011-08-18 03:04:09
August 18 2011 02:48 GMT
#42
Well, Nawyria does answer the question in that thread you linked lol.

The key is that if you already knew the state, it is impossible to determine whether you did the first measurement or they did. You don't actually gain any information, classically speaking.

edit - How do you do the n points problem by linear algebra? I can think of a proof by induction, which tbh was the immediately obvious method for me. Not a clue atm how to proceed with linear algebra though, maybe cause I haven't used it in a while lol.
Foolishness *
Profile Blog Joined May 2009
United States3044 Posts
August 18 2011 06:04 GMT
#43
On August 18 2011 11:48 EtherealDeath wrote:
Well, Nawyria does answer the question in that thread you linked lol.

The key is that if you already knew the state, it is impossible to determine whether you did the first measurement or they did. You don't actually gain any information, classically speaking.

edit - How do you do the n points problem by linear algebra? I can think of a proof by induction, which tbh was the immediately obvious method for me. Not a clue atm how to proceed with linear algebra though, maybe cause I haven't used it in a while lol.

Likewise I think I can do the proof using graph theory and k-partite sets (proof by induction seems much simpler though ), but I can't think of a linear algebra and now I'm probably going to lose sleep over it.
geript: "Foolishness's cases are persuasive and reasonable but leave you feeling dirty afterwards. Kinda like a whore." ---- Manager of the TL Mafia forum, come play!
Antifate
Profile Blog Joined August 2004
United States415 Posts
Last Edited: 2011-08-18 07:08:12
August 18 2011 06:17 GMT
#44
On August 18 2011 10:36 ]343[ wrote:
Show nested quote +
On August 17 2011 23:15 EsX_Raptor wrote:
However, according to de Moivre's formula, we four out e^(i * x) = cos(x) + i * sin(x) for all x. This illustrates how closely related the exponential function is to the trigonometric functions.


rawrgh that's not De Moivre

De Moivre can be proven elementarily, and states that (cos n*x + i sin n*x) = (cos x + i sin x)^n for positive integer n. The fact that cos x + i sin x = e^(i*x) is deeper and requires that you do the Taylor series thing.

Since I haven't had enough quantum yet to think about entanglement, here are a few cute combinatorics problems:

1. For n a positive integer, let A_1, A_2, ... A_{n+1} be distinct subsets of {1, 2, ..., n}, each containing exactly 3 elements. Show that some two of these subsets have exactly one common element.

2. Show that any n points, not all collinear, determine at least n distinct lines.

+ Show Spoiler [hint] +
linear algebra!


edit:

http://www.teamliquid.net/forum/viewmessage.php?topic_id=246103&currentpage=4#61 on entanglement


Just to comment on Euler's famous equality, one doesn't need to do the Taylor series, just basic derivation works (and the proof is a little sexier). I could be wrong though. Anyway, I've always thought of it like this.

f(x) = e^(i*x)
Break up the function into its real and imaginary components.
f(x) = g(x) + i*h(x)
Differentiate
f ' (x) = i*e^(ix) = i*f(x)
f ' (x) = g ' (x) + i*h ' (x)
Equate things
f ' (x) = i*f(x) = i*g(x) - h(x) = g ' (x) + i*h ' (x)
Equate the real and imaginary parts of f ' (x)
g ' (x) = - h(x)
h ' (x) = g(x)

We end up with two equations about the components functions. h(x)'s derivative is g(x) and g(x)'s derivative is the negative of h(x). So h(x) is the sine function and g(x) is the cosine function. So e^(ix) = cos(x) + isin(x). If x is pi, e^(ix) is negative one (cos(pi) is -1 and sin(pi) is 0).

Hopefully this is settled without nasty sigmas!

As for your first problem, it's kind of late, so I could be completely wrong, but I'm not getting it. If you want to have multiple subsets, n has to be greater than 3. So let's say n = 4. The subsets are {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, and {2, 3, 4}. There are no two sets here that share only one common element. If n were 5 however, it works because there are 5 unique elements that two sets of 3 can share with one (and only one) in both. So this seems to work for n > 4, or well, any n such that there are 5 unique elements in them? This seems a little simple and I'll probably have to edit this out later in shame.
No one is taller than the last man standing.
NeoLearner
Profile Blog Joined January 2010
Belgium1847 Posts
Last Edited: 2011-08-18 07:13:09
August 18 2011 07:06 GMT
#45
On August 17 2011 23:26 Iranon wrote:
Show nested quote +
On August 17 2011 23:15 EsX_Raptor wrote:
To understand the equation

e^(pi * i) = -1,

it is necessary to understand what raising a number to an imaginary power means.

However, according to de Moivre's formula, we four out e^(i * x) = cos(x) + i * sin(x) for all x. This illustrates how closely related the exponential function is to the trigonometric functions.

It thus follows that

e^(pi * i) = cos(pi) + i * sin(pi) = -1 + i * 0 = -1.

Do write out the Euler theorem!


For a neat bit of insight, look at the Taylor series for e^x. Replace x with iz in the e^z series. Now look at the Taylor series for cos x and sin x...

I was looking for the Taylor series actually. Writing it out for e^x, filling Pi*i, re-ordening the terms and getting cos(x) + i * sin(x). I was amazed the first time I did that.

EDIT: http://www.math.toronto.edu/mathnet/questionCorner/epii.html
Bankai - Correlation does not imply causation
Jumbled
Profile Joined September 2010
1543 Posts
August 18 2011 07:07 GMT
#46
On August 18 2011 11:48 EtherealDeath wrote:
Well, Nawyria does answer the question in that thread you linked lol.

The key is that if you already knew the state, it is impossible to determine whether you did the first measurement or they did. You don't actually gain any information, classically speaking.

The problem is with the way you stated your scenario. It's quite correct to say that entanglement cannot be used to instantaneously transmit classical information, but that wasn't what you described, and you didn't even mention spatial separation or a second experimenter in your original post.
On August 18 2011 02:14 EtherealDeath wrote:

Hmm...
Explain why the following scenario is true.

Suppose we have two entangled particles, let's say their state is a|1>|0>+b|0>|1> to be simple, where the values of a and b are not particularly important save that their squares sum to 1, but let's use one of the Bell States, that is a=b=1/sqrt(2). Now we measure one of the particles to determine it's actual state. We know that instantaneously, the state of the other particle is set. However, it is impossible to determine any classical information from this instantaneous effect - i.e., cannot gain any physical information. Why? Or rather, what information do you think you could gain that you didn't have before?

It is fair to say that no net information is gained in this operation, but only because the particles are in a known, pure state both before and after the measurement.
ComaDose
Profile Blog Joined December 2009
Canada10357 Posts
August 18 2011 13:01 GMT
#47

[image loading][image loading]
[image loading][image loading]
woooooo!

+ Show Spoiler +
Show that any n points, not all collinear, determine at least n distinct lines.
People have said that it was possible by induction but have not done so.
I interpret the question to mean that a distinct line must only cross 2 points.
This is logical becuase the n points are not collinear.
At least n lines are possible becuase there is a line from one of the points to all other points.
In the case that there are collinear points that lie on one of these lines preventing you from finding n distinct lines immediately, one must simply select these "wasted/overlapped" points as the new "starting point" and revisit the other points to make new lines.

I couldn't figure out how to prove a general case with linear algebra aha :S
All the reading about twin paradox etc. was fun.
BW pros training sc2 is like kiss making a dub step album.
Prev 1 2 3 All
Please log in or register to reply.
Live Events Refresh
Sparkling Tuna Cup
10:00
Weekly #99
ByuN vs JumyLIVE!
TBD vs Krystianer
CranKy Ducklings191
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Harstem 446
StarCraft: Brood War
Horang2 4644
Bisu 2084
Flash 1457
Shuttle 1429
Jaedong 663
EffOrt 580
Stork 397
Zeus 392
Larva 389
Mini 383
[ Show more ]
Soma 286
ggaemo 253
Hyun 200
Snow 115
ToSsGirL 111
Killer 101
ZerO 94
Soulkey 90
Dewaltoss 90
Mind 85
Rush 65
PianO 53
Backho 49
Aegong 49
sSak 34
Movie 34
soO 31
Sharp 31
Noble 29
Sea.KH 25
scan(afreeca) 23
Icarus 22
Free 22
JulyZerg 20
JYJ20
sorry 17
Shinee 13
Sacsri 12
ivOry 5
IntoTheRainbow 5
Terrorterran 4
Dota 2
Gorgc983
XaKoH 481
qojqva472
XcaliburYe198
Counter-Strike
fl0m1714
olofmeister1710
x6flipin599
oskar145
sgares126
Super Smash Bros
amsayoshi42
Other Games
singsing1858
B2W.Neo787
DeMusliM375
crisheroes289
Fuzer 222
Hui .194
Lowko168
ZerO(Twitch)16
Organizations
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 15 non-featured ]
StarCraft 2
• davetesta27
• intothetv
• AfreecaTV YouTube
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• C_a_k_e 1362
• WagamamaTV282
League of Legends
• Nemesis3233
• Jankos802
Upcoming Events
WardiTV European League
3h 47m
PiGosaur Monday
11h 47m
OSC
1d
uThermal 2v2 Circuit
1d 3h
The PondCast
1d 21h
Online Event
2 days
Korean StarCraft League
3 days
CranKy Ducklings
3 days
Online Event
4 days
Sparkling Tuna Cup
4 days
Liquipedia Results

Completed

BSL 20 Non-Korean Championship
FEL Cracow 2025
Underdog Cup #2

Ongoing

Copa Latinoamericana 4
Jiahua Invitational
BSL 20 Team Wars
CC Div. A S7
IEM Cologne 2025
FISSURE Playground #1
BLAST.tv Austin Major 2025
ESL Impact League Season 7
IEM Dallas 2025
PGL Astana 2025
Asian Champions League '25

Upcoming

BSL 21 Qualifiers
ASL Season 20: Qualifier #1
ASL Season 20: Qualifier #2
ASL Season 20
CSLPRO Chat StarLAN 3
BSL Season 21
RSL Revival: Season 2
Maestros of the Game
SEL Season 2 Championship
WardiTV Summer 2025
uThermal 2v2 Main Event
HCC Europe
Yuqilin POB S2
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.