Source author record

John Machacek

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
6topics
4close collaborators

Published work

6 publications

preprint2023arXiv

qq-Rational and qq-Real Binomial Coefficients

We consider qq-binomial coefficients built from the qq-rational and qq-real numbers defined by Morier-Genoud and Ovsienko in terms of continued fractions. We establish versions of both the qq-Pascal identity and the qq-binomial theorem in this setting. These results are then used to find more identities satisfied by the qq-analogues of Morier-Genoud and Ovsienko, including a Chu--Vandermonde identity and qq-Gamma function identities.

preprint2022arXiv

Mechanical proving with Walnut for squares and cubes in partial words

Walnut is a software that using automata can prove theorems in combinatorics on words about automatic sequences. We are able to apply this software to both prove new results as well as reprove some old results on avoiding squares and cubes in partial words. We also define the notion of an antisquare in a partial word and begin the study of binary partial words which contain only a fixed number of distinct squares and antisquares.

preprint2021arXiv

Gorenstein braid cones and crepant resolutions

To any poset PP, we associate a convex cone called a braid cone. We also associate a fan and study the toric varieties the cone and fan define. The fan always defines a smooth toric variety XPX_P, while the toric variety UPU_P of the cone may be singular. We show that XP⇢UPX_{P} \dashrightarrow U_{P} is a crepant resolution of singularities if and only if PP is bounded. Next, we aim to determine when UPU_P is Gorenstein or Q\mathbb{Q}-Gorenstein. We prove that whether or not UPU_P is (Q\mathbb{Q})-Gorenstein depends only on the biconnected components of the Hasse diagram of PP. In the case that PP has a minimum or maximum element, we show that the Gorenstein property of UPU_P is completely determined by the Möbius function of PP. We also provide a recursive method that determines if UPU_P is (Q\mathbb{Q})-Gorenstein in this case. We conjecture that UPU_P is Gorenstein if and only if it is Q\mathbb{Q}-Gorenstein. We verify this conjecture for posets of length 11 and also for posets with a minimum or maximum element.

preprint2020arXiv

Reddening Sequences for Banff Quivers and the Class P\mathcal{P}

We show that a reddening sequence exists for any quiver which is Banff. Our proof is combinatorial and relies on the triangular extension construction for quivers. The other facts needed are that the existence of a reddening sequence is mutation invariant and passes to induced subquivers. Banff quivers define locally acyclic cluster algebras which are known to coincide with their upper cluster algebras.The existence of reddening sequences for these quivers is consistent with a conjectural relationship between the existence of a reddening sequence and a cluster algebra's equality with its upper cluster algebra.Our result completes a verification of the conjecture for Banff quivers. We also prove that a certain subclass of quivers within the class P\mathcal{P} define locally acyclic cluster algebras.

preprint2017arXiv

Plurigraph coloring and scheduling problems

We define a new type of vertex coloring which generalizes vertex coloring in graphs, hypergraphs, and simplicial complexes. This coloring also generalizes oriented coloring, acyclic coloring, and star coloring. There is an associated symmetric function in noncommuting variables for which we give a deletion-contraction formula. In the case of graphs this symmetric function in noncommuting variables agrees with the chromatic symmetric function in noncommuting variables of Gebhard and Sagan. Our vertex coloring is a special case of the scheduling problems defined by Breuer and Klivans. We show how the deletion-contraction law can be applied to scheduling problems. Also, we show that the chromatic symmetric function determines the degree sequence of uniform hypertrees, but there exist pairs on 33-uniform hypertrees which are not isomorphic yet have the same chromatic symmetric function.

preprint2016arXiv

Combinatorial Hopf Algebras of Simplicial Complexes

We consider a Hopf algebra of simplicial complexes and provide a cancellation-free formula for its antipode. We then obtain a family of combinatorial Hopf algebras by defining a family of characters on this Hopf algebra. The characters of these combinatorial Hopf algebras give rise to symmetric functions that encode information about colorings of simplicial complexes and their ff-vectors. We also use characters to give a generalization of Stanley's (−1)(-1)-color theorem. A qq-analog version of this family of characters is also studied.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.