Nostr notes by Tian

"Warum die Eilanträge erfolglos waren." Spannende Frage, ...

2026-07-09T15:27:15Z

In reply to nevent1q…03pl
_________________________

"Warum die Eilanträge erfolglos waren."
Spannende Frage, schade, dass dazu nichts im Artikel steht.

"Das Bundesverfassungsgericht hat seine Begründung zwar noch nicht veröffentlicht."
Das "zwar" lässt hoffen, dass danach im Artikel noch was konkretes kommt, aber nein.

Was soll das?

Zugegeben, die teilnehmenden Vermutungen würden nicht aus aller ...

2026-07-04T13:37:20Z

In reply to nevent1q…n838
_________________________

Zugegeben, die teilnehmenden Vermutungen würden nicht aus aller Welt stammen. Aber hätten sie nicht zumindest Bundesliga-Niveau?
Eigentlich ging es mir ja auch nur darum, dass die alleine schon hinreichend viele sind, um eine Meisterschaft durchzuführen.
https://www.erdosproblems.com/

Man könnte ja auch eine WM nur mit Erdős-Vermutungen machen…

2026-07-04T12:49:27Z

In reply to nevent1q…8gkg
_________________________

Man könnte ja auch eine WM nur mit Erdős-Vermutungen machen…

The rules of go are nice and few.

2025-09-26T12:58:23Z

In reply to nevent1q…t9cz
_________________________

The rules of go are nice and few.

die haben grade alle drei Wahlen von der heutigen Tagesordnung ...

2025-07-11T10:14:20Z

In reply to nevent1q…4m02
_________________________

die haben grade alle drei Wahlen von der heutigen Tagesordnung abgesetzt

Klingt binärlogisch so, als ob die metapersonalen Beziehungen ...

2025-06-29T13:44:09Z

In reply to nevent1q…39dv
_________________________

Klingt binärlogisch so, als ob die metapersonalen Beziehungen eine Teilmenge der transpersonalen wären. Oder als ob die transpersonalen durch eine genauere Definition weiter eingeschränkt werden, so dass es drei disjunkte Mengen sind.
Oder wird es doch noch fuzzy-logisch, wie ich erst dachte?

Das Kontinuum (aka Zahlenstrahl) ist doch noch ganz anschaulich. ...

2025-04-27T23:33:54Z

In reply to nevent1q…l0r8
_________________________

Das Kontinuum (aka Zahlenstrahl) ist doch noch ganz anschaulich. Und das Einheitsintervall reicht ja auch schon. Aber der Unterschied zwischen einer Geraden und einer langen Geraden macht mich verrückt.
https://de.m.wikipedia.org/wiki/Lange_Gerade

Dreiste Korruption erfordert nicht, eine solche Trotteligkeit zu ...

2025-04-13T13:24:38Z

In reply to nevent1q…ydvy
_________________________

Dreiste Korruption erfordert nicht, eine solche Trotteligkeit zu spielen. Das muss größtenteils echt sein.

Ich sehe nicht, welches Eigeninteresse eine durchschnittlich ...

2025-04-13T12:33:43Z

In reply to nevent1q…99up
_________________________

Ich sehe nicht, welches Eigeninteresse eine durchschnittlich intelligente Person dazu bringt, so dumm zu wirken. Vielleicht überschätze ich den Durchschnitt aber auch.

boring computation like this: hascpo := function(g) local au, ...

2025-03-29T04:13:30Z

In reply to nevent1q…ah0p
_________________________

boring computation like this:
hascpo := function(g)
local au, inner;
if IsAbelian(g) then return false; fi;
au := AutomorphismGroup(g);
inner := InnerAutomorphismsAutomorphismGroup(au);
return ForAny(au, p->not p in inner and ForAll(g,el->IsConjugate(g,el,el^p)));
end;

I used GAP to bruteforce the other smallest such group. It is ...

2025-03-29T03:08:40Z

In reply to nevent1q…at2d
_________________________

I used GAP to bruteforce the other smallest such group. It is SmallGroup(32,44) with StructureDescription
"(C2 x Q8) : C2".

Die Formulierung der GO ist nicht eindeutig. Man kann sie so ...

2024-09-27T08:15:09Z

In reply to nevent1q…4r7v
_________________________

Die Formulierung der GO ist nicht eindeutig. Man kann sie so lesen, dass auch im zweiten und in weiteren Wahlgängen nur die stärkste Fraktion ein Vorschlagsrecht hat. Der Alterspräsident hätte sich wohl diese "Rechtsansicht" zu eigen gemacht.

Hiermit bewiesen: wir haben mindestens k+1 Punkte mit gleichem ...

2024-09-22T14:55:34Z

In reply to nevent1q…9azd
_________________________

Hiermit bewiesen: wir haben mindestens k+1 Punkte mit gleichem parity type. Wähle einen. Die Mittelpunkte von diesem zu jedem der k anderen sind verschiedene weitere Punkte auf dem Gitter.
(Alle binomial(k+1,2) Mittelpunkte sind auf dem Gitter, aber wieviele davon sind garantiert unterschiedlich?)
Tatsächlich müssten es aber "viel mehr" blockierte Punkte sein.

I guess there is no easy way to turn your program into an android ...

2024-09-16T12:49:07Z

In reply to nevent1q…kr2z
_________________________

I guess there is no easy way to turn your program into an android app?

I wonder if with 8 points there are actually at least three ...

2024-09-16T12:19:12Z

In reply to nevent1q…flty
_________________________

I wonder if with 8 points there are actually at least three blocked. It's true in the "main branch" of the argument (midpoints of AM and MB) and in the case of at least three points with same parity type. But can we have four pairs of points with same p.t. such that the four midpoints are two different points, without blocking any other?

The argument doesn't depend on n. So if the final conclusion ...

2024-09-15T09:43:08Z

In reply to nevent1q…ngn2
_________________________

The argument doesn't depend on n. So if the final conclusion is not possible, an earlier assumption must fail.
If n=4, you won't find four pairs with different common parity type and same midpoint.
Maybe it's time to consider the four-coloring induced by parity types: take a chessboard pattern, and in each other row, replace black and white by red and blue.

Assume we have eight points. If at least three had the same ...

2024-09-15T08:52:20Z

In reply to nevent1q…d5kh
_________________________

Assume we have eight points. If at least three had the same parity type, that alone would give three different on-grid midpoints. So assume they form four pairs of points, each with a different common parity type. Each pair has an on-grid midpoint. Now assume these midpoints are all the same and call it M. Let A and B be the pair of points that has the same parity type as M. Then the midpoint of A and M is another on-grid point on the line AB.

You need to implement export, unless you prefer it like this: ...

2024-09-14T21:10:34Z

In reply to nevent1q…wfwq
_________________________

You need to implement export, unless you prefer it like this:
[(18, 13), (0, 5), (16, 18), (2, 0), (17, 4), (1, 14), (13, 1)]
n: 19, points: 7, blocked: 1

(I knew I had seen such a thing before, but again took me some time to create)

To stop me wasting more time searching for a configuration with ...

2024-09-14T19:23:31Z

In reply to nevent1q…6jhj
_________________________

To stop me wasting more time searching for a configuration with eight points and only one blocked, I have now proven that that is not possible.

yes, a/b gives a float, but a//b is integer division

2024-09-14T11:54:13Z

In reply to nevent1q…qwlw
_________________________

yes, a/b gives a float, but a//b is integer division

Oh no, now I have a reason to boot my computer earlier today, in ...

2024-09-14T11:44:41Z

In reply to nevent1q…6jhj
_________________________

Oh no, now I have a reason to boot my computer earlier today, in other words: nice!
But I really don't like
"if something return True else return False"
— that is just "something"!
Also: int(a/b) => a//b

Four in a quarter would allow 16. I think you can use halfes. ...

2024-09-11T21:40:49Z

In reply to nevent1q…x3td
_________________________

Four in a quarter would allow 16. I think you can use halfes.
With 9 points, three must have the same parity type, and the three on-grid midpoints that we get from them are all different.

how about 1 blocked? oxooooooo ooooooxoo xoooooooo ooooooooo ...

2024-09-11T21:06:10Z

In reply to nevent1q…tr25
_________________________

how about 1 blocked?
oxooooooo
ooooooxoo
xoooooooo
ooooooooo
ooooøoooo
ooooooooo
oooooooox
ooxoooooo
oooooooxo

n=13: oxooooooooooo oooooooooooxo xoooooooooooo oooooooooooox ...

2024-09-11T15:55:43Z

In reply to nevent1q…tr25
_________________________

n=13:
oxooooooooooo
oooooooooooxo
xoooooooooooo
oooooooooooox
ooooooooooooo
ooooooooooooo
ooooooooooooo
oøoooooooooøo
ooooooooooooo
ooooooooooooo
ooooooooooooo
ooooooooooxoo
ooxoooooooooo

you can add a line of 'o's to that example

2024-09-11T12:41:05Z

In reply to nevent1q…l7dm
_________________________

you can add a line of 'o's to that example

oxooooooo oooooooxo xoooooooo oooooooox ooooooooo oooooooøo ...

2024-09-11T12:14:54Z

In reply to nevent1q…xtj3
_________________________

oxooooooo
oooooooxo
xoooooooo
oooooooox
ooooooooo
oooooooøo
ooooooooo
ooooooxoo

Yes, that always works!

2024-09-10T22:36:51Z

In reply to nevent1q…gxwm
_________________________

Yes, that always works!

I was wondering the same. My immediate reaction: well sure—no, ...

2024-09-10T17:27:58Z

In reply to nevent1q…4e4c
_________________________

I was wondering the same. My immediate reaction: well sure—no, wait!
Do you have any results for small n>4?

wow…

2024-09-10T13:33:01Z

In reply to nevent1q…av8h
_________________________

wow…

I hope this is us doing math¹ and me contributing, not you ...

2024-09-10T09:54:06Z

In reply to nevent1q…wk4t
_________________________

I hope this is us doing math¹ and me contributing, not you having fun and me spoiling it.

¹ and having fun

Use integer coordinates in the obvious way. (The non-obvious ...

2024-09-10T09:29:07Z

In reply to nevent1q…vzep
_________________________

Use integer coordinates in the obvious way. (The non-obvious details don't matter.) For a position at (x,y) call (x mod 2,y mod 2) its parity type. There are four different parity types, so five different positions have at least one pair of positions with the same parity type. Such a pair has an even difference in both the x- and the y-coordinate, so their midpoint has integer coordinates and therefore is another point on the grid.

Oh yes! Your writing about more than five made me believe you had ...

2024-09-09T23:29:46Z

In reply to nevent1q…wujy
_________________________

Oh yes! Your writing about more than five made me believe you had an example with five. Four is good hint. My complicated proof is obsolete, oh well.

In that case: no OEIS entry for you. Sad!

2024-09-09T23:03:19Z

In reply to nevent1q…9wjx
_________________________

In that case: no OEIS entry for you. Sad!

oh, that is interesting. Damn!

2024-09-08T11:31:19Z

In reply to nevent1q…wj5s
_________________________

oh, that is interesting. Damn!

We also have n=128, and the last proof should work for 128+delta ...

2024-09-08T07:47:27Z

In reply to nevent1q…5ykf
_________________________

We also have n=128, and the last proof should work for 128+delta for some small delta. Things can certainly be improved. For computer checking, the remaining grid sizes seem still a little too big to me.
What do you mean with the last question? k<n selected positions on an n x n grid? I have this in the final proof. Removing delta rows and columns from a hypothetical solution for n=64k+delta may remove 2*delta selected points, so I show there can't be 64k-delta of those on 64k x 64k.

Seems to be true for all n>=192: let n=64k+delta, delta<64. ...

2024-09-08T00:42:08Z

In reply to nevent1q…4yur
_________________________

Seems to be true for all n>=192: let n=64k+delta, delta<64. If there were a solution for n, we could remove the last delta rows and columns and get a 64k x 64k grid without blocked positions with at least 64k-delta>64k-64 selected positions. If we use the same numbers of subgrids as previously, we find that some corner 8k x 8k grid must contain more than ((64k-64)-24)/4=16k-22 selected positions, which is not possible if k>=3.

Proof for n=64, should work for other (arbitrary large) nice ...

2024-09-07T22:43:02Z

In reply to nevent1q…2qec
_________________________

Proof for n=64, should work for other (arbitrary large) nice numbers and might work for other numbers with more bookkeeping:
Subdivide the grid into 4x4 subgrids of size 16x16. In each non-corner subgrid, at most one point can be selected, because thereis enough place (inthe whole grid) to repeat the step from one point to another in the same subgrid in at least one direction. There are 4*4-4=12 non-corner subgrids.
Next, subdivide the corner subgrids further into 2x2 grids of size 8x8.

In the 6 version, there is a blocked position between the x in ...

2024-09-07T13:07:52Z

In reply to nevent1q…yxsr
_________________________

In the 6 version, there is a blocked position between the x in the 1st and 3rd row

BTW, not trying to outsmart you, I genuinely thought there need ...

2024-09-07T11:53:26Z

In reply to nevent1q…2xm9
_________________________

BTW, not trying to outsmart you, I genuinely thought there need to be restrictions and you have to tell me which. Now I think it's no-three-in-a-line or equivalently, extend the no blocked positions condition to occupied positions. It doesn't seem true for small n, though. Trivial cases (n=2) aside, there is

. . X .
X . . .
. . . X
. X . .

Are there restrictions on placing the n points? If they are all ...

2024-09-07T10:52:56Z

In reply to nevent1q…lqga
_________________________

Are there restrictions on placing the n points? If they are all in one row, no other free grid point is blocked. (Or does "position" not mean grid point?)