Showing 20 papers (Total: 82505 papers, 47699 authors in database)
There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]
Published
• View Publication
• BIB
In this memorial tribute to Joe Gillis, who taught us that Special Functions count, we show how the seminal Even-Gillis integral formula for the number of derangements of a multiset, in terms of Laguerre polynomials, can be used to efficiently compute not only the number of the title, but much harder ones, when it is interfaced with Wilf-Zeilberger algorithmic proof theory.
Hamiltonicity via cohomology of right-angled Artin groups
Published
• View Publication
• BIB
Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. We characterize the Hamiltonicity of $Γ$ via the structure of the cohomology algebra of $A(Γ)$. In doing so, we define and develop a new canonical graph associated to a matrix, which as a consequence provides a novel perspective on the matrix determinant.
A Note on Numbers
Published
• View Publication
• BIB
When are all positions of a game numbers? We show that two properties are necessary and sufficient. These properties are consequences of that, in a number, it is not an advantage to be the first player. One of these properties implies the other. However, checking for one or the other, rather than just one, can often be accomplished by only looking at the positions on the `board'. If the stronger property holds for all positions, then the values are integers.
Combinatorics of KP hierarchy structural constants
Published in Eur. Phys. J. C 81, 1136 (2021)
• View Publication
• BIB
Following Natanzon-Zabrodin, we explore the Kadomtsev-Petviashvili hierarchy as an infinite system of mutually consistent relations on the second derivatives of the free energy with some universal coefficients. From this point of view, various combinatorial properties of these coefficients naturally highlight certain non-trivial properties of the KP hierarchy. Furthermore, this approach allows us to suggest several interesting directions of the KP deformation via a deformation of these coefficients. We also construct an eigenvalue matrix model, whose correlators fully describe the universal KP coefficients, which allows us to further study their properties and generalizations.
On the duals of the Fibonacci and Catalan-Fibonacci polynomials and Motzkin paths
We use the inversion of coefficient arrays to define dual polynomials to the Fibonacci and Catalan-Fibonacci polynomials, and we explore the properties of these new polynomials sequences. Many of the arrays involved are Riordan arrays. Direct links to the counting of Motzkin paths by different statistics emerge.
Minimal elements for the limit weak order on affine Weyl groups
Published in Bulletin of the London Mathematical Society Volume 54, Issue5 (2022)
• View Publication
• BIB
The limit weak order on an affine Weyl group was introduced by Lam and Pylyavskyy in their study of total positivity for loop groups. They showed that in the case of the affine symmetric group the minimal elements of this poset coincide with the infinite fully commutative reduced words and with infinite powers of Coxeter elements. We answer several open problems raised there by classifying minimal elements in all affine types and relating these elements to the classes of fully commutative and Coxeter elements. Interestingly, the infinite fully commutative elements correspond to the minuscule and cominuscule nodes of the Dynkin diagram, while the infinite Coxeter elements correspond to a single node, which we call the heavy node, in all affine types other than type $A$.
Maximum Number of Almost Similar Triangles in the Plane
Published
• View Publication
• BIB
A triangle $T'$ is $\varepsilon$-similar to another triangle $T$ if their angles pairwise differ by at most $\varepsilon$. Given a triangle $T$, $\varepsilon>0$ and $n\in\mathbb{N}$, Bárány and Füredi asked to determine the maximum number of triangles $h(n,T,\varepsilon)$ being $\varepsilon$-similar to $T$ in a planar point set of size $n$. We show that for almost all triangles $T$ there exists $\varepsilon=\varepsilon(T)>0$ such that $h(n,T,\varepsilon)=n^3/24 (1+o(1))$. Exploring connections to hypergraph Turán problems, we use flag algebras and stability techniques for the proof.
Weave Realizability for D-type
Published in Algebr. Geom. Topol. 23 (2023) 2735-2776
• View Publication
• BIB
We study exact Lagrangian fillings of Legendrian links of $D_n$-type in the standard contact 3-sphere. The main result is the existence of a Lagrangian filling, represented by a weave, such that any algebraic quiver mutation of the associated intersection quiver can be realized as a geometric weave mutation. The method of proof is via Legendrian weave calculus and a construction of appropriate 1-cycles whose geometric intersections realize the required algebraic intersection numbers. In particular, we show that in $D$-type, each cluster chart of the moduli of microlocal rank-1 sheaves is induced by at least one embedded exact Lagrangian filling. Hence, the Legendrian links of $D_n$-type have at least as many Hamiltonian isotopy classes of Lagrangian fillings as cluster seeds in the $D_n$-type cluster algebra, and their geometric exchange graph for Lagrangian disk surgeries contains the cluster exchange graph of $D_n$-type.
A unifying framework for the $ν$-Tamari lattice and principal order ideals in Young's lattice
Published
• View Publication
• BIB
We present a unifying framework in which both the $ν$-Tamari lattice, introduced by Préville-Ratelle and Viennot, and principal order ideals in Young's lattice indexed by lattice paths $ν$, are realized as the dual graphs of two combinatorially striking triangulations of a family of flow polytopes which we call the $ν$-caracol flow polytopes. The first triangulation gives a new geometric realization of the $ν$-Tamari complex introduced by Ceballos, Padrol and Sarmiento. We use the second triangulation to show that the $h^*$-vector of the $ν$-caracol flow polytope is given by the $ν$-Narayana numbers, extending a result of Mészáros when $ν$ is a staircase lattice path. Our work generalizes and unifies results on the dual structure of two subdivisions of a polytope studied by Pitman and Stanley.
A note on modular Terwilliger algebras of association schemes
Published
• View Publication
• BIB
Let $p$ denote a prime number. In this note, we focus on the modular Terwilliger algebras of association schemes defined in [3]. We define the primary module of a modular Terwilliger algebra of an association scheme and determine all its composition factors up to isomorphism. We then characterize the $p'$-valenced association schemes by some properties of their modular Terwilliger algebras. The corollaries about the modular Terwilliger algebras of association schemes are given.
On maximal cliques of Cayley graphs over fields
Published in J. Algebraic Combin. 56 (2022), no. 2, 323-333
• View Publication
• BIB
We describe a new class of maximal cliques, with a vector space structure, of Cayley graphs defined on the additive group of a field. In particular, we show that in the cubic Paley graph with order $q^3$, the subfield with $q$ elements forms a maximal clique. Similar statements also hold for quadruple Paley graphs and Peisert graphs with quartic order.
Characterizations of line graphs in signed and gain graphs
Published in European Journal of Combinatorics 102 (2022), 103479
• View Publication
• BIB
We generalize three classical characterizations of line graphs to line graphs of signed and gain graphs: the Krausz's characterization, the van Rooij and Wilf's characterization and the Beineke's characterization. In particular, we present a list of forbidden gain subgraphs characterizing the class of gain-line graphs. In the case of a signed graph whose underlying graph is a line graph, this list consists of exactly four signed graphs. Under the same hypothesis, we prove that a signed graph is the line graph of a signed graph if and only if its eigenvalues are either greater than $-2$, or less than $2$, depending on which particular definition of line graph is adopted.
Hafnian of two-parameter matrices
Published
• View Publication
• BIB
The concept of the hafnian first appeared in the works on quantum field theory by E. R. Caianiello. However, it also has an important combinatorial property: the hafnian of the adjacency matrix of an undirected weighted graph is equal to the total sum of the weights of perfect matchings in this graph. In general, the use of the hafnian is limited by the complexity of its computation. In this paper, we present an efficient method for the exact calculation of the hafnian of two-parameter matrices. In terms of graphs, we count the total sum of the weights of perfect matchings in graphs whose edge weights take only two values. This method is based on the formula expressing the hafnian of a sum of two matrices through the product of the hafnians of their submatrices. The necessary condition for the application of this method is the possibility to count the number of k-edge matchings in some graphs. We consider two special cases in detail using a Toeplitz matrix as the two-parameter matrix. As an example, we propose a new interpretation of some of the sequences from the On-Line Encyclopedia of Integer Sequences and then provide new analytical formulas to count the number of certain linear chord diagrams.
On random digraphs and cores
Published in Australasian Journal of Combinatorics, Volume 79(3) (2021), Pages 371-379
• Search Publication
An acyclic homomorphism of a digraph $C$ to a digraph $D$ is a function $ρ\colon V(C)\to V(D)$ such that for every arc $uv$ of $C$, either $ρ(u)=ρ(v)$, or $ρ(u)ρ(v)$ is an arc of $D$ and for every vertex $v\in V(D)$, the subdigraph of $C$ induced by $ρ^{-1}(v)$ is acyclic. A digraph $D$ is a core if the only acyclic homomorphisms of $D$ to itself are automorphisms. In this paper, we prove that for certain choices of $p(n)$, random digraphs $D\in D(n,p(n))$ are asymptotically almost surely cores. For digraphs, this mirrors a result from [A. Bonato and P. Prałat, The good, the bad, and the great: homomorphisms and cores of random graphs, Discrete Math., 309 (2009), no. 18, 5535-5539; MR2567955] concerning random graphs and cores.
A Removal Lemma for Ordered Hypergraphs
Published
• View Publication
• BIB
We prove a removal lemma for induced ordered hypergraphs, simultaneously generalizing Alon--Ben-Eliezer--Fischer's removal lemma for ordered graphs and the induced hypergraph removal lemma. That is, we show that if an ordered hypergraph $(V,G,<)$ has few induced copies of a small ordered hypergraph $(W,H,\prec)$ then there is a small modification $G'$ so that $(V,G',<)$ has no induced copies of $(W,H,\prec)$. (Note that we do \emph{not} need to modify the ordering $<$.)
We give our proof in the setting of an ultraproduct (that is, a Keisler graded probability space), where we can give an abstract formulation of hypergraph removal in terms of sequences of $σ$-algebras. We then show that ordered hypergraphs can be viewed as hypergraphs where we view the intervals as an additional notion of a ``very structured'' set. Along the way we give an explicit construction of the bijection between the ultraproduct limit object and the corresponding hyerpgraphon.
On multiplicative energy of subsets of varieties
Published
• View Publication
• BIB
We obtain a non--trivial upper bound for the multiplicative energy of any sufficiently large subset of a subvariety of a finite algebraic group. We also find some applications of our results to growth of conjugates classes, estimates of exponential sums and the restriction phenomenon.
Algebraic properties of configuration sets for groups
Let $G$ be any group and $k\geq 1$ be an integer number. The ordered configuration set of $k$ points in $G$ is given by the subset $F(G,k)=\{(g_1,\ldots,g_k)\in G\times \cdots\times G: g_i\neq g_j \text{ for } i\neq j\}\subset G^k$. In this work, we will study the configuration set $F(G,k)$ in algebraic terms as a subset of the product $G^k=G\times \cdots\times G$. As we will see, we develop practical tools for dealing with the configuration set of $k$ points in $G$, which, to our knowledge, can not be found in literature.
A note on fractional Askey--Wilson integrals
Published in Journal of Fractional Calculus and Applications, 12 (2) July (2021), pp. 1-8
• Search Publication
In this paper, we generalize fractional $q$-integrals by the method of $q$-difference equation. In addition, we deduce fractional Askey--Wilson integral, reversal type fractional Askey--Wilson integral and Ramanujan type fractional Askey--Wilson integral.
Advances in finding ideal play on poset games
Published
• View Publication
• BIB
Poset games are a class of combinatorial game that remain unsolved. Soltys and Wilson proved that computing wining strategies is in \textbf{PSPACE} and aside from special cases such as Nim and N-Free games, \textbf{P} time algorithms for finding ideal play are unknown. This paper presents methods calculate the nimber of posets games allowing for the classification of winning or losing positions. The results present an equivalence of ideal strategies on posets that are seemingly unrelated.
On the anti-commutator of two free random variables
Published in Indiana University Mathematics Journal 2023
• View Publication
• BIB
Let $(κ_n(a))_{n\geq 1}$ denote the sequence of free cumulants of a random variable $a$ in a non-commutative probability space $(\mathcal{A},\varphi)$. Based on some considerations on bipartite graphs, we provide a formula to compute the cumulants $(κ_n(ab+ba))_{n\geq 1}$ in terms of $(κ_n(a))_{n\geq 1}$ and $(κ_n(b))_{n\geq 1}$, where $a$ and $b$ are freely independent. Our formula expresses the $n$-th free cumulant of $ab+ba$ as a sum indexed by partitions in the set $\mathcal{Y}_{2n}$ of non-crossing partitions of the form
\[ σ=\{B_1,B_3,\dots, B_{2n-1},E_1,\dots,E_r\}, \quad \text{with }r\geq 0, \]
such that $i\in B_{i}$ for $i=1,3,\dots,2n-1$ and $|E_j|$ even for $j\leq r$. Therefore, by studying the sets $\mathcal{Y}_{2n}$ we obtain new results regarding the distribution of $ab+ba$. For instance, the size $|\mathcal{Y}_{2n}|$ is closely related to the case when $a,b$ are free Poisson random variables of parameter 1. Our formula can also be expressed in terms of cacti graphs. This graph theoretic approach suggests a natural generalization that allows us to study quadratic forms in $k$ free random variables.