Il 4 marzo scorso, all’età di 70 anni, ci lasciava Toshikazu Kawasaki, matematico e origamista giapponese. Gli dedichiamo questa puntata di Personalità ricreative per ricordarlo attraverso le sue creazioni.
Toshikazu Kawasaki (26 novembre 1955 – 4 marzo 2026) è stato un matematico e origamista giapponese. Il suo nome è indelebilmente legato ad un modello di rosa di carta tridimensionale molto popolare, ed ad un noto teorema della matematica degli origami.
Cresciuto nella prefettura di Fukuoka, Kawasaki cominciò a creare modelli originali quando entrò all’Università di Kyūshū per studiare matematica. Al secondo anno del percorso di dottorato cambiò argomento di ricerca, passando dalla teoria algebrica dei numeri alla geometria degli origami. Nel 1997 conseguì il dottorato con una ricerca sulle trasformazioni della gru di carta, uno dei modelli tradizionali giapponesi.1
Sgombriamo subito il campo da ogni equivoco: il merito di questo ritorno sul tema va sicuramente agli amici “Claudio” e “Chad”, che sono riusciti nell’ardua impresa di vincere la mia ormai patologica svogliatezza nel rimettermi a fare calcoli. :)
Ci eravamo lasciati con l’ipotesi che la formula $L_2$ potesse essere utilizzata per tutti i casi magici.
L’idea era nata confrontando, per alcune configurazioni del gioco, la formula generale derivata dal lavoro di _Harrison et al. 12 con una sua versione decisamente più semplice:
\[L_2 = 1+\frac{\sum_{i=1}^{m} k_i n p^{i-1}}{p^m}.\]
I risultati ottenuti con il simulatore sembravano confermare l’intuizione. Si trattava però di verifiche su un numero limitato di configurazioni: restava da capire se la formula funzionasse davvero per tutti i casi magici e, soprattutto, perché.
Possiamo ora confermare che è proprio così: nei casi magici la posizione finale della carta è sempre data dalla parte intera di $L_2$.
Ma c’è di più. La formula funziona non soltanto nei casi totalmente magici, ossia nelle configurazioni in cui tutte le possibili sequenze portano a una posizione finale determinata.
Essa è valida anche per le singole sequenze magiche, cioè quelle particolari sequenze di ricomposizioni per le quali la posizione finale della carta non dipende dalla posizione iniziale $x$, anche quando la configurazione nel suo complesso non è magica.
Non si tratta di una semplice approssimazione fortunata, ma di una conseguenza della formula esatta che descrive le ricomposizioni.
Partendo da questa dimostrazione, ricaveremo anche un criterio per riconoscere le sequenze magiche, una condizione per sapere quando lo sono tutte e una formula per contarle in funzione della configurazione.
In un precedente articolo su questo blog sono stati esposti un metodo geometrico ed un metodo analitico per la costruzione/determinazione di una molecola in tassellazioni “flagstone”.
In particolare il metodo geometrico permette agevolmente, attraverso programmi di grafica vettoriale, di costruire una molecola flagstone di forma e dimensioni specifiche.
Tuttavia, se si vuole progettare una intera tassellazione flagstone, formata ad esempio da molecole flagstone differenti, allora l’applicazione del metodo comincia a diventare dispendiosa in termini di tempo,
per via del crescente numero di passaggi ripetitivi.
Da qui è nata l’esigenza di uno strumento che permettesse l’automatizzazione di questi passaggi e fornisse direttamente il crease pattern finale della molecola desiderata;
ossia il software OriFlagTess.