The cubical matching complex revisited

angleški

2022

letnik 22, številka 1

domino tlakovanja   kubični kompleksi   neodvisnostni kompleksi   prirejanja

Univerza na Primorskem, Fakulteta za naravoslovje, matematiko in informacijske tehnologije
(Obvezni izvod spletne publikacije)

Ehrenborg je opazil, da se dajo vsa tlakovanja dvodelnega ravninskega grafa zakodirati z njegovim kubičnim kompleksom prirejanj in zmotno trdil, da je ta kompleks sesedljiv. Opozorimo na napako v njegovem dokazu in razložimo, zakaj so ti kompleksi lahko disjunktne unije dveh ali več sesedljivih kompleksov. Dokažemo tudi, da so vsi spoji v teh kompleksih suspenzije, do homotopije natančno. V nadaljevanju razširimo definicijo kubi čnega kompeksa prirejanj na ravninske grafe, ki niso nujno dvodelni, ter pokažemo, da so ti kompleksi bodisi skrčljivi bodisi disjunktne unije skrčljivih kompleksov. Za enostavno povezano območje, ki se ga da tlakovati z dominami ?$(2 \times 1$? and ?$1 \times 2)$? in ?$2 \times 2$? kvadrati, naj ?$f_i$? označuje število tlakovanj z natančno ?$i$? kvadrati. Dokažemo, da je ?$f_0 - f_1 + f_2 - f_3 + \cdots = 1$? (kar je pokazal Ehrenborg) edina linearna relacija za števila ?$f_i$?.

22.11.2022