tartaristão celestial's Journal
 
[Most Recent Entries] [Calendar View] [Friends]

Below are the 20 most recent journal entries recorded in tartaristão celestial's LiveJournal:

    [ << Previous 20 ]
    Sunday, May 24th, 2020
    6:05 pm
    КАК ПУКОТЬ?
    2:20 am
    Только щас обратил внимание, что Марию Спиридонову и Фрица Нётера расстреляли в один день в Медведевском лесу под Орлом 10-11 сентября 1941 года.
    Saturday, May 23rd, 2020
    11:51 pm
    All stars ансамбль Юпитер записали офигительнейший альбом с Вивальдей

    Юдифь торжествуюшая
    https://youtu.be/ZxrBSad5FWQ

    хотя может я уже писал сюда
    Wednesday, May 20th, 2020
    3:50 am
    Monday, May 18th, 2020
    10:47 pm
    Единственное что с короновирусом напрягает это virtue signalling. Меня так уже достали что я стал натурально говорить fica em casa! на манер "хайль гитлер!" В качестве прощания.

    Причем это только с коллегами, они реально просто достали, пишут в соцсетях и сочуствуют, говорят чтобы я берег себя. Ничего такого нет в этом, но почему то бесит это жутко, так как похоже не на ободрение а на психотеррор: начинают жалеть как плохо что ты теперь не сможешь домой сьездить потому что карантин будет до нового гожа и тд. Это еще настолько гипертрофированно выглядит, человек так в обычной жизни себя не ведет.

    Реал но как в том меме где чувак подходит к соседнему к другому чувак у писсуару, хотя полно свободных, чтобы сказать какую нить охуенно важную непрошенную вещь.
    Friday, May 8th, 2020
    1:59 pm
    Титя и пилоты - Сакалаускас
    https://youtu.be/BsAH1L3vwL4
    Thursday, May 7th, 2020
    11:58 pm
    otvet na predydushchoy vopros: Out(S_g) i Out(F_2g) _ne_ yavlyautsya elementarno ekvivalentnymi pri g>1:


    Po Nielsen realization problem lyubaya konechnaya prodgrupa Out(S_g) realizuetsya kak gruppa izometriy giperbolicheskoy
    poverhnosti roda g. Po ocenke Hurwitza znachit poryadok takoy gruppy ne bol'she 84(g-1).

    S drugoy storony est' analog Nielsen realization problem dlya Out(F_n) v teorii Vogtmann-Cullera-Bestviny i dr.
    iz kotoryh sleduet chto maksimal'naya konechnaya pogruppa realizuetsya avtomorphizmami buketa n okruzhnostey
    i imeet poryadok n!2^n

    nalichie podgruppy dannogo poryadka eto uslovie logiki pervogo poryadka, znachit gruppy Out(S_g) i Out(F_2g) ne elementarno ekvivalentny

    Hz, mozhet mozhno spasti skazav chto Out(S_N) elem. ekvivalentno Out(F_n) dlya bol'shogo N>>n ili chto-to tipa togo. V stabil'nom sluchae takih prepyatstviy s krucheniyami/konechnymi podgruppami net, potomu chto lyubye konechnye gruppy vstrechayutsya v Out(S_n) i Out(F_n). V principe u topologov kak raz stabil'nye gruppy MCL(S_infty) i Out(F_\infty) sootnosyatsya v nekotorom tochnom smysle (est' otobrazhenie mezhdu +kostrukciyami ih klassificiruyushih prostranstv, sohranyayushee kakie-to struktury)

    http://web.math.ku.dk/~wahl/wahlinf.lms.pdf
    1:04 am
    Kstati vot dokazali taki etot vopros s zatyagivaniem poliedrami iz ravnostoronnih treugol'nikov.
    Tam poluchaetsya chto lyubuyu lomanuyu mozhno posheveliti i ona staynet zatyagivaemoy.
    I chto dlya chetyrehzvennoy lomanoy esli dliny diagonaley algebraicheski nezvisimy,to zatyanut' nel'zya
    s giptezoy o lagranzhevosti eto nikak ne protivorechit vprochem


    https://arxiv.org/abs/2005.02555

    Domes over curves
    Alexey Glazyrin, Igor Pak

    A closed PL-curve is called integral if it is comprised of unit intervals. Kenyon's problem asks whether for every integral curve γ in R3, there is a dome over γ, i.e. whether γ is a boundary of a polyhedral surface whose faces are equilateral triangles with unit edge lengths. First, we give an algebraic necessary condition when γ is a quadrilateral, thus giving a negative solution to Kenyon's problem in full generality. We then prove that domes exist over a dense set of integral curves. Finally, we give an explicit construction of domes over all regular n-gons.
    12:50 am
    https://arxiv.org/abs/2005.02906

    Comparison geometry of holomorphic bisectional curvature for Kaehler manifolds and limit spaces
    John Lott

    We give an analog of triangle comparison for Kaehler manifolds with a lower bound on the holomorphic bisectional curvature. We show that the condition passes to noncollapsed Gromov-Hausdorff limits. We discuss tangent cones and singular Kaehler spaces.
    Wednesday, May 6th, 2020
    10:50 pm
    glupyy vopros, yavlyaetsya li Out(S_g) elementarno ekvivalentnym Out(F_g)?
    prichin dlya etogo nikakih net, no

    1) S_g (fundamental'naya gruppa poverhnosti) elementarno ekvivalentna lyuboy svobodnoy gruppe F_m (kotorye vse elementarno ekvivalentny drug drugu) pri g>1. Eto teorema Zlila Sely

    2) Izvestno chto pri g>3 Out(F_3) ne yavlyaetsya lineynoy gruppoy. A dlya g=2 Out(F_2)=GL(2,Z)
    http://pi.math.cornell.edu/~vogtmann/papers/Autosurvey/autosurvey.pdf

    3) Esli by otvet na vopros byl polozhitel'nym, to po teoreme Mal'ceva o kotoroy ya pisal neskol'ko postov nazad pri g>3 Out(S_g) byla by nelineynoy

    4) Edinstvenny dokazanyy sluchay gipotezy o lineynosti Mapping Class Group -- dlya g=2
    https://arxiv.org/abs/math/0010310




    ----
    Elementarnaya ekvivalentnost' grupp eto kogda dve gruppy imeyut odinakovoe uptrapower dlya kakogo-to ultrafiltra. eto bespoleznoe opredelenie, no poleznoe ochen' nudno (slovami eto to chto gruppy udovletvoryayut odnim i tem zhe formulam pervogo poryadka).

    eto interesnoe dovol'no gruboe otnoshenie ekvivalentnosti dlya grupp, dostatochno zagadochnoe.
    naprimer dve abelevy gruppy bez krucheniya A i B elementarno ekvivalentny togda i tol'ko togda kogda dlya lyubogo prostogo p
    |A/pA|=|B/pB|. To est' elementarnye klassy ekvivalentnosti opredelyayutsya naborom natural'nyh chisel (i znachka \infty), v to vremya kak klassifikaciya s tochnost'yu do izomorfizma dikaya -- rank mozhet byt' lyuboy moshchnosti naprimer.

    a dve konechno porozhdennye nilpotentnye gruppy G i H elementarno ekvivalentny togda i tol'ko togda, kogda
    H\times Z = G\times Z

    dve lineynye gruppy GL(n, K) i GL(m, R) elementarno ekvivalentny togda i tol'ko togda kogda K=R i n=m

    i tak dalee
    Monday, May 4th, 2020
    12:52 am
    Los bitchos
    Anglo-hipster psychedelic cumbia
    Зашли девчонки кстати

    https://youtu.be/FECXNJ_XUKA
    https://youtu.be/iPp2fdHMxTM
    Saturday, May 2nd, 2020
    4:01 am
    Theorem (Sierpinski): Let f_1,f_2 ... be any countable set of maps from an infinite set E to itself. Then there exist two functions A and B: E\to E, such that any f_i can be represented as a finite superposition of A and B.

    Proof (Banach): Choose a partition of E into countable union of subsets of cardinality |E|:

    E_0, E_1, ...

    Furthermore, let us partition E_0 as a countable union of subsets of cardinality |E|:

    E_01, E_02, ...

    Define A as a function on E that sends each E_n to E_n+1 bijectively

    Let B outside E_0 be any function that sends bijectively E_n to E_0n

    and on E_0n let's define it by

    f_n(BA^nBA)^-1

    note that it is well defined since BA^nBA maps bijectively E to E_0n

    Now f_n=BBA^nBA

    Current Music: Muslimgauze ‎– Narcotic (1997) [FULL ALBUM]
    Friday, May 1st, 2020
    10:37 pm
    V stat'e pro reshetku Posta* nashel ssylku na zanyatnogo personazha

    https://en.wikipedia.org/wiki/J%C3%B3zef_Maria_Boche%C5%84ski

    okazyvaetsya v Polshe v mezhvoennyy period voznik Krakovskii kruzhok logicheskogo neotomizma, pod vozdeystviem lekciy Lukasiewicza i Lesniewskiego.

    https://web.archive.org/web/20130313094322/http://segr-did2.fmag.unict.it/~polphil/polphil/Cracow/Cracow.html

    s Tarskim tozhe oni byli znakomy, est' perepiska (org. haractera).

    interesno ne svyazano li eto s perehodom
    Tarskiego v katolicizm v 23 godu. tradicionno v biografiyah Tarskogo kotorye ya videl eto stydlivo zaminaetsya
    i obyasnyatsya tem chto Tarskiy byl ateistom i socialistom a pokrestilsya (i pomenyal familiyu odnovremenno s bratom) iz-za obshego polskogo antisemitizma i zhelaniya assimilirovat'sya i nayti rabotu. Vesyma putano, bez ssylok na samogo Tarskogo. po drugim istochnikom skladyvaetsya vpechatlenie chto on byl skoree pol'skim nacionalistom po ubezhdeniyam. takoe oshchusheniye chto u amerikanskih biografov ot etogo chto-to lomaetsya v golove i oni nachinayut mychat'


    *Klon na mnozhestve eto takaya struktura: nabor n-arnyh operaciy, kotoryy vo pervyh soderzhit vse proekcii
    a vo vtoryh zamknuta otnositel'no podstanovok naborov iz m n-operaciy v m-peraciyu.
    Na mnozhestve iz odnogo elementa est' odna struktura klona (s tochnos'tyu do)
    na monozhestve iz dvuh elementov schetnoe chislo, ih i opisal Post. to est' klony bulevyh funkciy obrazuyut reshetku Posta.
    a na mozhestve iz treh elementov etih struktur contunuum i situaciya stanovitsya dikoy.
    https://en.wikipedia.org/wiki/Post's_lattice

    zachem eto nado bylo pol'skim teologam hz voobshche interesno
    5:04 pm
    Thursday, April 30th, 2020
    6:01 pm
    An amusing application of Compactness theorem

    Theorem (Malcev): if G is a group that is elementary equivalent to some linear group H\subset GL_n(k) then G is a linear group itself.

    Proof: Consider a new language {+,-,*,0,1,c_ij^g}, where i,j\le n, g\in G. It is the language of rings augmented by constant symbols for each element of the group G and a pair of indices i,j (secretly coefficients of matrices).

    Now define a theory T by the following (pretty infinite) set of axioms:

    1) Axioms of a field
    2) Det(c_ij^g)\ineq 0 for all g\in G
    3) c_ij^g \ineq c_ij^s for all g,s\in G
    4) R(c_ij^g)=Id for each relation R of G

    For any finite subset of propositions from T there are only finitely many constants c_ij^g involved. Every relation satisfied by these c_ij^g is fulfilled by some k-matrix C_ij^g in H by the assumption that H is elementary equivalent to G (the first-order sentence (in the language of groups) "there exist pairwise different g_1 ... g_r such that R(g_1,...g_r)=1" is true in H).

    Thus k is a model of each finite subset of sentences from T. By compactness theorem there exists a model of T, that is a field K satisfying 1)-4). By construction the map g\mapsto C_ij^g is an embedding.

    Note that K is not necessarily isomorphic to k, it generally looks more likely to an ultrapower of k.

    Current Music: БОМЖ -- "БОМЖ-1" (1989)
    4:31 pm
    Причем проклятие арабского языка конечно
    в том, что у них есть ultimate poet и ultimate произведение. Ситуация не как у нас с каким нибудь Пушкиным, которого можно легко пинком нахуй выпнуть. Дело даже не только вттом чтоо тебе отрубят за это голову, а там реально феноменальный медиуматических свойств видимо был поэт, которого избежать очень трудно (сейчас вроде научились в какой-то мере). Если читать биографии доисламских поэтов как они приезжали в медину и переходили на сторону мухамеда то это впечатляет (по модулю всех деформаций понятных когда задним числом пророков прошлого вписывают в сторонники нового режима это видно все равно). Притом что формально сам текст это более-менее воинский устав, там типа как кровать заправлять, как зубы чистить даже написано говорят. Ни один другой мне известный текст такими взрывообразными экспансивными свойствами не обладал.
    12:40 am
    pochti proshel po odnomu razu arabskiy v duolingo (on ochen' syroy eshche)

    yazyk sovershenno zamechatel'nyy

    naprimer v nem net prilagatel'nyh i narechiy voobshe
    nu to est' funkciya takaya est' konecho, slova kotorye na nash indoevropeyskiy yazyk nuzhno perevodit' prilagatel'nymi
    (i v kursah dlya angliyazychnyh lyudey govoryat chto est')
    no nikakih morfologicheskih otlichiy ot glagolov net (krasnyy eto na samom dele "byt' krasnym i td")
    klassicheskie arabskie grammatiki voobshe vyvodili vse iz glagola, chto eto edinstvennaya chast' rechi, no lingvisty govoryat chto eto uproshchenie i est' slova kotorye dokazanno proishodyat istoricheski ne ot glagolov.

    vremen tozhe na samom dele net. est' sovershennyy\nesovershennyy aspekt i vsyakie storonnie pribludy chtoby oboznachat' tense (v kursah tozhe govoryat pro present tense i td no eto vse na samom dele priblizhenie)

    pri etom est' sovershenno genial'naya ochen' analiticheskaya sistema (pochti vsegda trehbukvennyh) korney (kak i vo vseh semitskih yazykah) iz kotoryh
    chisto kombinatorno mozhno proizvodit' novye slova s zadannym smyslom (i tak zhe mozhno ugadyvat' smysl novogo neznakomogo slova po kornyu). korney ogranichennoe chislo, vsego voobshe 5-6 tysyach. iz kazhdogo kornya mozheno sdelat' opredelennoe kolichestvo raznyh slov.
    klassicheski primer s kornem كتب KTB, kotoryy svayazan s pisaniem
    كتب -- KaTaBa -- on napisal
    يكتب -- yuKTaB -- byt' napisannym, udvoenie glasnoy imeet smysl amplifikacii, to est'
    كاتب -- KaaTiB -- pisatel' ("pishushiy mnogo")
    كتاب -- KiTaaB -- kniga, dobavlyya pristavku ma, kotoroe imeet zhnachenue obilnosti mesta, poluchaem
    مكتب -- maKTab -- office ili
    مكتة -- maKTaba -- biblioteca

    i tak tysacha form

    eto nazyvaetsya formation of derived forms, po russki "porody"
    https://en.wikipedia.org/wiki/Arabic_verbs#Formation_of_derived_stems_(%22forms%22)


    na samom dele neudicitel'no pochemu Ars Magna napisal imenn Ramon Llull, izvestnyy znatok arabskogo yazyka.

    pri etom u yazyka tysyacheletnyaa istoria formalizacii i opisaniya i literaturnaya forma neveroyatno stabil'na
    tam dazhe doislamskie teksty vpolne sebe sohranilis' i uvazhayutsya (poety)
    voobshche poeziya imeet sil'no bo'shiy status chem u nas, to est' est' konursy tipa evrovideniya gde pobediteli nastoyashchie seleby

    Current Music: Ассоциация Пых -- Быстрее жизнь прожить (1988)
    Sunday, April 26th, 2020
    11:32 pm
    Finite subgroups of the birational automorphism group are 'almost' nilpotent of class at most two
    https://arxiv.org/abs/2004.11715

    prikol kstati, gruppa biracionalnyh avtomorphizmov lyubogo mnogoobraziya v char=0
    yavlyaetsya 2-nilpotent Jordan, to est' sushchestvuet konstanta K (zavisyashaya ot mnogoobraziya)
    tajaya chto lyubaya konechnaya podgruppa soderzhit nilpotentnuyu podgruppu glubinoy ne bol'she 2
    i indexa ne bol'she K.

    pri etom interesno chto analoga teoremy Prohorova-Shramova (chto lyubaya konechnaya gruppa soderzhit razreshimyu ogranichennogo indexa)
    dlya grupp diffeomorfizmov net (a gipoteza est'), Ignasi Mundet i Riera dlya kuchi sluchaev dokazal no ochen' konkretnyh

    hotya istoriya voobshe vyglyafit kak paralel'naya. I dazhe est' geometricheskiy analog (po krayney mere filosofskiy) ogranichennosti Fano (BAB) -- teorema kompaktnosti gromova + stabil'nost' perelmana (prostransv s ogranichennoy snizu kriviznoy i ogranichennym snizu ob'emom i sverhu -- diametrom konechnoe chislo tipov diffeomoerfizma)
    Thursday, April 23rd, 2020
    1:49 pm
    http://lj.rossia.org/users/syn_ycombinator/

    translyaciya ycombinator news, komu nado

    Current Music: Schwefelgelb - Es Zieht Mich
    Wednesday, April 22nd, 2020
    2:27 pm
    Кстати вот какая вероятность f(n,r) того, что случайные n точек на единичной сфере являются r-сетью?
    Если r=pi*r то это известная олимпиадная задача и ответ там f(n,pi*r) = 1-(n^2-n+2)/2^n
[ << Previous 20 ]
About LJ.Rossia.org