;q)$ subspace design is a collection $\mathcal{B}$ of $k$-dimensional subspaces of an $n$-dimensional vector space $V$ with the property that every $t$-dimensional subspace of $V$ is contained in exactly $\lambda$ of the members of $\mathcal{B}$. Explicit constructions of subspace designs have proved so far to be more elusive than their classical counterparts. Early papers by Thomas, Suzuki, and Itoh have provided some examples of infinite families of subspace designs [@thomas; @suzuki2design92; @itoh], while in [@largesets] an approach to the problem using [*large sets*]{} is given. A $q$-analogue of the Assmus-Mattson theorem gives a general construction of subspace designs from coding theory [@byrne2019assmus]. Further sporadic examples have been found by assuming a prescribed automorphism group of the subspace design [@braun2018q]. For the special case $\lambda=1$ we call such a design a $q$-Steiner system and write $S(t,k,n;q)$. The actual existence of an $S(t,k,n;q)$ Steiner system for $t>1$, was established for the first time when $S(2,3,13;2)$ designs were discovered by Braun *et al* [@qSteiner_exists_2016]. No other examples have been found to date. The smallest open case is that of the $S(2,3,7;q)$ Steiner system, also known as the $q$-analogue of the Fano plane.

While subspace designs have been intensively studied over the last decade [@braun2018q], $q$-analogues of matroids were only considered recently [@JP18; @gorla2019rank]. In fact, the $q$-matroid defined in [@JP18] was a re-discovery of a combinatorial object already studied by Crapo [@crapo1964theory]. Classical matroids are a generalisation of several ideas in combinatorics, such as independence in vector spaces and trees in graph theory. One of the important properties of matroids is that there are equivalent, yet seemingly different ways to define them: in terms of their independent sets, flats, circuits, bases, closure operator and rank function. We call these equivalent definitions *cryptomorphisms*. Up to this day, the only known cryptomorphisms for $q$-matroids are those
; q)$ subspace design is a collection $ \mathcal{B}$ of $ k$-dimensional subspaces of an $ n$-dimensional vector space $ V$ with the place that every $ t$-dimensional subspace of $ V$ is control in exactly $ \lambda$ of the members of $ \mathcal{B}$. denotative constructions of subspace design have proved indeed far to be more baffling than their classical counterparts. Early papers by Thomas, Suzuki, and Itoh have provided some examples of countless families of subspace designs [ @thomas; @suzuki2design92; @itoh ], while in [ @largesets ] an approach to the problem use [ * large set * ] { } is given. A $ q$-analogue of the Assmus - Mattson theorem gives a cosmopolitan construction of subspace designs from coding hypothesis [ @byrne2019assmus ]. Further sporadic examples have been found by assuming a prescribed automorphism group of the subspace blueprint [ @braun2018q ]. For the special case $ \lambda=1 $ we call such a design a $ q$-Steiner system and spell $ S(t, k, n;q)$. The actual existence of an $ S(t, k, n;q)$ Steiner system for $ t>1 $, was established for the first time when $ S(2,3,13;2)$ designs were discovered by Braun * et al *   [ @qSteiner_exists_2016 ]. No other examples have been found to date. The smallest open case is that of the $ S(2,3,7;q)$ Steiner system, also known as the $ q$-analogue of the Fano plane. 

 While subspace design have been intensively studied over the last ten [ @braun2018q ], $ q$-analogues of matroids were merely view recently [ @JP18; @gorla2019rank ]. In fact, the $ q$-matroid defined in [ @JP18 ] was a re - discovery of a combinative object already analyze by Crapo   [ @crapo1964theory ]. Classical matroids are a generalisation of respective ideas in combinatorics, such as independence in vector spaces and trees in graph theory. One of the important properties of matroids is that there be equivalent, yet seemingly different ways to define them: in terms of their independent set, flats, circuits, bases, closure operator and membership function. We call these equivalent definitions * cryptomorphisms *. Up to this sidereal day, the only know cryptomorphisms for $ q$-matroids are those
;q)$ skbspace design is a colltction $\mathcal{B}$ oy $k$-dimeisional subspacds of an $n$-dimensional vector space $C$ with the property thxt every $n$-dimensiobal wybspace of $V$ is cokcaines in zxectly $\lambda$ of the membess of $\mathcal{B}$. Ebppicit constructions of subspace desygns hafe proved so far to nq modv tlusive than their classical counferpartv. Early paperx by Thomas, Suzuki, and Itoj hage provided some edamples of unfigute families of subspabz designs [@tgomas; @suzuki2design92; @itoh], while iv [@laryesets] an ak'eoafv to the priblem using [*large sets*]{} is given. S $q$-analogue of thx Aswmus-Mattson theorem gmves a general consttuction of sbbspace designs from xoeing jheorf [@byfbe2019arsmhs]. Fhrther spkradic exajples have veen found by assumond a prescribed automjr[hism group of the subspace design [@braut2018q]. Ror the special case $\lanbda=1$ we call such a dgsign a $q$-Seeiner system and write $S(t,k,n;q)$. The actual existenca of en $S(t,j,n;z)$ Wtfiner system for $t>1$, was established for the fiwat tpme when $S(2,3,13;2)$ designf were discpvfrrq by Braun *et al* [@qStzjnsr_exists_2016]. No other fxamplef havw been fotnd yo date. The smallest open cqse is that jd the $S(2,3,7;q)$ Steiner svstem, also kuown ax the $q$-analogue of the Fano 'lane.

Wgile subspafe designa have been intenrivvly vtudied over the last decaqe [@braun2018q], $q$-anclogues uf mstroidf were onlj considered recently [@JP18; @gorlc2019rank]. In fact, tje $q$-matroid defined in [@JP18] was a re-discovery og d cmmbinatoxial onject already seudied by Crapp [@crapo1964tkeory]. Zlassical jatroidv are a genqralisation ox several idees in comfinarorixs, such xs independencr in vector spaces qnd trees in graph thgody. One of the inpotrant propertiex ow mwtgoivs is dhat there ase eduixslent, yet setiikglh digferent ways to defite tgem: in terms of thriv indepeneent setf, flats, circuots, bases, closure lperavor anv rank fugction. We call these equivalenf definitlonf *cryptomorprismw*. Up to this day, the only known cryptomorphisms for $q$-matroids are thowe
;q)$ subspace design is a collection $\mathcal{B}$ subspaces an $n$-dimensional space $V$ with subspace $V$ is contained exactly $\lambda$ of members of $\mathcal{B}$. Explicit constructions of designs have proved so far to be more elusive than their classical counterparts. papers by Thomas, Suzuki, and Itoh have provided some examples of infinite families subspace [@thomas; @itoh], in [@largesets] an approach to the problem using [*large sets*]{} is given. A $q$-analogue of the theorem gives a general construction of subspace designs coding theory [@byrne2019assmus]. Further examples have been found by a automorphism group the design For the special $\lambda=1$ we call such a design a $q$-Steiner system and write $S(t,k,n;q)$. The actual existence of an Steiner system was established the time $S(2,3,13;2)$ designs were Braun *et al* [@qSteiner_exists_2016]. No other found to date. The smallest open case is of the Steiner system, also known as the of the Fano plane. While subspace designs have intensively studied over the last decade [@braun2018q], $q$-analogues of matroids were only considered recently [@JP18; fact, the $q$-matroid defined [@JP18] was a of combinatorial already by Crapo Classical matroids are a generalisation of several ideas in combinatorics, such independence in vector spaces and trees in graph theory. One important of matroids is there are equivalent, yet different to define them: in their sets, closure and function. We call these definitions *cryptomorphisms*. Up to this the only known cryptomorphisms
;q)$ subspace design is a collectIon $\mathcal{b}$ of $k$-dImeNsiOnAl suBspaCes of an $n$-dimensIOnal Vector space $V$ with the proPerty ThAT eveRY $t$-DimenSional sUBsPACe oF $V$ Is ConTaINeD in exActLy $\lambdA$ of the membErs Of $\Mathcal{B}$. ExplICiT constructIonS of subspace dEsiGns havE pRovED so faR to Be morE elusiVE than tHeir classIcAL countERparts. EARLy PapeRs by Thomas, Suzuki, aND ITOh have provided Some exAmPLeS OF inFinIte familieS oF subsPAce desiGNs [@THOMas; @SUzuki2design92; @itOh], while in [@laRGesEts] an aPpRoaCH to the ProblEm USinG [*large sets*]{} iS givEn. A $q$-analoGue of tHE Assmus-mAttson tHeorem GivEs a GeneRAl CoNstRuCTioN Of SubSPacE designs FrOm CodinG theORY [@BYrne2019AssMus]. FUrtheR sporadic examPleS havE BeeN founD by asSumiNg A presCribed AutomOrPhism group of the SubsPace desigN [@brAuN2018q]. FOr The spECial caSe $\lAmbDa=1$ we calL such a dESigN a $Q$-sTEiNer system and write $S(T,k,N;Q)$. thE actual eXistenCE oF aN $s(t,k,n;q)$ SteInEr sYsteM FOr $t>1$, waS estABlIshed for The firST tImE when $S(2,3,13;2)$ dEsIgns weRe DisCovEred bY brauN *et al* [@qsteiner_eXists_2016]. nO other examples HAve been found tO DaTE. thE SmalLesT open case is That OF the $s(2,3,7;q)$ StEInEr sYStem, aLso knOwN As THe $q$-analogue of the FanO pLane.

WhIle suBspace designs Have been inTENSively stUdieD OvER the last decade [@Braun2018Q], $q$-analogueS Of matroiDs werE only conSidered reCENtly [@JP18; @goRla2019RanK]. In FacT, THe $Q$-matroid definED In [@JP18] WaS a re-disCovEry of a cOmbInaTorIal ObJect alreaDy studieD bY CRaPo [@CraPo1964theORy]. ClassiCaL maTrOidS are a GEneralIsatiOn of SeVeRAl iDeas in cOMbINAtorIcS, sUch aS inDePendeNce iN VecTor spacEs and treeS in GRaph ThEoRy. One of The important pRoPerties of mAtRoiDs is thAT There are Equivalent, yet seemingly dIFferent WayS to deFine Them: in terMs oF their IndEPendenT sets, fLats, cIrCuiTS, Bases, CLOsUre OpErator and rANK fuNctioN. WE calL these eQuivalent definitioNS *crYptomorphisms*. up tO thiS DAy, The ONlY KnoWn CRypTOMorphisms for $q$-maTroids are tHoSE
;q)$ subspace design is acollection  $\ma thc al{ B} $ of  $k$ -dimensional s u bspa ces of an $n$-dimensio nal v ec t or s p ac e $V$  with t h ep r ope rt ytha te ve ry $t $-d imensio nal subspa ceof  $V$ is cont a in ed in exac tly  $\lambda$ o f t he mem be rso f $\m ath cal{B }$. Ex p licitconstruct io n s of s u bspaced e si gnshave proved so fa r  t o  be more elusi ve tha nt he i r  cl ass ical count er parts .  Earlyp ap e r s  by Thomas, Suzuk i, and Itoh hav e prov id eds ome ex ample so f i nfinite fam ilie s of subs pace d e signs [ @ thomas;  @suzu ki2 des ign9 2 ;@i toh ], whi l ein[ @la rgesets]  a nappro acht o t he p rob lemusing  [*large sets *]{ } is giv en. A  $q$- anal og ue of  the A ssmus -M attson theoremgive s a gener alco nst ru ction of sub spa cedesigns  from c o din gt h e or y [@byrne2019assmu s] . Fu rther sp oradic ex am p les have  b een  fou n d  by a ssum i ng  a presc ribeda ut om orphism  g roup o fthe  su bspac e  des ign [@ braun201 8q].F or the special case $\lambda = 1$ w ec allsuc h a designa $q $ -Ste iner sy ste m  andwrite  $ S (t , k,n;q)$. The actual  e xisten ce of  an $S(t,k,n; q)$ Steine r s ystem fo r $t > 1$ ,  was establish ed fo r the firs t  time wh en $S (2,3,13; 2)$ desig n s  were di sco ver edbyB r au n *et al* [@q S t eine r_ exists_ 201 6]. Nooth erexa mpl es  have bee n foundto  d at e.  Th e sma l lest ope ncas eisthato f the$S(2, 3,7; q) $S tei ner sys t em , also  k no wn a s t he  $q$- anal o gue  of the  Fano pla ne. 
Whi le  s ubspace  designs have  b een intens iv ely  studi e d  over th e last decade [@braun20 1 8q], $q $-a nalog uesof matroi dswere o nly consid ered r ecent ly  [@ J P 18; @ g o rl a20 19 rank]. Inf a ct,  the$q $-ma troid d efined in [@JP18]w asa re-discover y o f ac o mb ina t or i alob j ect a lready studiedby Crapo [ @c r ap o1964theor y ].Cl assical  matroi ds ar e  a gene ralisatio n of seve ra l id e a s i n combinat orics, s uch as in d epend e nc e invec tor sp ac esand t rees i n  gr aph t heory.  O ne ofthe i mp ortant p roperties of matroids i s that  ther e a re equiva len t , y et seemin glydifferentway s t o def ine them:  int er mso f the ir i n dependent se ts, f la ts, circuit s , bas es, c los u re ope rato r and rank functi o n. We call the se e q u iva len t  def in itions *crypto mor ph i s ms*. Upto  this day,the only  k n own c ryptom orphis ms for$ q $- m atroid s ar e t hose
;q)$ subspace_design is_a collection $\mathcal{B}$ of_$k$-dimensional subspaces_of_an $n$-dimensional_vector_space $V$ with_the property that_every $t$-dimensional subspace of_$V$ is contained_in_exactly $\lambda$ of the members of $\mathcal{B}$. Explicit constructions of subspace designs have proved_so_far to_be_more_elusive than their classical counterparts._Early papers by Thomas, Suzuki,_and Itoh_have provided some examples of infinite families of_subspace_designs [@thomas; @suzuki2design92;_@itoh], while in [@largesets] an approach to the problem_using [*large sets*]{} is given. A_$q$-analogue of the_Assmus-Mattson_theorem_gives a general construction_of subspace designs from coding theory_[@byrne2019assmus]. Further sporadic examples have been_found by assuming a prescribed automorphism group_of the subspace design [@braun2018q]. For_the special case $\lambda=1$ we_call such_a design a $q$-Steiner system_and write $S(t,k,n;q)$._The actual_existence of an_$S(t,k,n;q)$ Steiner system for $t>1$, was_established for the_first time when $S(2,3,13;2)$ designs were_discovered_by Braun *et_al* [@qSteiner_exists_2016]._No_other examples_have been found_to_date. The_smallest_open case is that of the_$S(2,3,7;q)$_Steiner system, also known as the $q$-analogue_of the Fano plane.

While_subspace_designs have been intensively_studied over the last decade_[@braun2018q], $q$-analogues of matroids were only_considered recently_[@JP18; @gorla2019rank]._In fact, the $q$-matroid defined in [@JP18] was a re-discovery of_a combinatorial object already studied by_Crapo [@crapo1964theory]. Classical matroids are_a generalisation_of_several ideas in_combinatorics,_such as_independence in vector spaces and trees in_graph theory._One of the important properties of_matroids is that there_are_equivalent, yet seemingly different ways to_define them: in terms of their_independent sets, flats, circuits, bases,_closure_operator_and rank function. We call_these equivalent definitions *cryptomorphisms*. Up to_this day, the_only known cryptomorphisms for $q$-matroids are those