Showing 20 papers (Total: 81756 papers, 47371 authors in database)
A remark on certain restricted plane partitions and crystal melting model
Published
• View Publication
• BIB
In this paper, we provide formulas calculating the partition functions of two types of plane partitions using the crystal melting model method introduced by Okounkov, Reshetikhin and Vafa. As applications, we obtain a product formula for the partition function of the plane partitions with a limit shape boundary. A corollary of this formula is the demonstration of the equivalence between this partition function and the open-closed string amplitude of the double$-\mathbb{P}^1$ model. We also derive a product formula for the partition function of symmetric plane partitions with a limit shape boundary.
Partial divisibility of random sets and powers of completely monotone functions
In this article, we study exponents which preserve complete monotonicity of functions on lattices. We prove that for any completely monotone function $f$ on a finite lattice, $f^α$ is completely monotone for all $α\geq c$, where $c$ is explicitly described. For finite distributive lattices we show that the bound $c$ is sharp. Important examples of completely monotone functions are void functionals of random closed sets. We prove that if $V_{\mathcal{X}}$ is the void functional of a random subset $\mathcal{X}$ of $[n]$, then $V_{\mathcal{X}}^α$ is void functional of some random closed set for $α\geq n-1$. The results are analogous to the result of FitzGerald and Horn on Hadamard powers of positive semi-definite matrices. Also, we study the question of approximating an $m$-divisible random set by infinitely divisible random sets, and its generalization to lattices.
Conway's Game of Life is Omniperiodic
In the theory of cellular automata, an oscillator is a pattern that repeats itself after a fixed number of generations; that number is called its period. A cellular automaton is called omniperiodic if there exist oscillators of all periods. At the turn of the millennium, only twelve oscillator periods remained to be found in Conway's Game of Life. The search has finally ended, with the discovery of oscillators having the final two periods, 19 and 41, proving that Life is omniperiodic. Besides filling in the missing periods, we give a detailed history of the omniperiodicity problem and the strategies used to solve it, summarising the work of a large number of people in the decades since the creation of Life.
Differential operators, grammars and Young tableaux
In algebraic combinatorics and formal calculation, context-free grammar is defined by a formal derivative based on a set of substitution rules. In this paper, we investigate this issue from three related viewpoints. Firstly, we introduce a differential operator method. As one of the applications, we deduce a new grammar for the Narayana polynomials. Secondly, we investigate the normal ordered grammars associated with the Eulerian polynomials. Thirdly, motivated by the theory of differential posets, we introduce a box sorting algorithm which leads to a bijection between the terms in the expansion of $(cD)^nc$ and a kind of ordered weak set partitions, where $c$ is a smooth function in the indeterminate $x$ and $D$ is the derivative with respect to $x$. Using a map from ordered weak set partitions to standard Young tableaux, we find an expansion of $(cD)^nc$ in terms of standard Young tableaux. Combining this with the theory of context-free grammars, we provide a unified interpretations for the Ramanujan polynomials, André polynomials, left peak polynomials, interior peak polynomials, Eulerian polynomials of types $A$ and $B$, $1/2$-Eulerian polynomials, second-order Eulerian polynomials, and Narayana polynomials of types $A$ and $B$ in terms of standard Young tableaux. Along the same lines, we present an expansion of the powers of $c^kD$ in terms of standard Young tableaux, where $k$ is a positive integer. In particular, we provide four interpretations for the second-order Eulerian polynomials. All of the above apply to the theory of formal differential operator rings.
Vanishing codegree Turán density implies vanishing uniform Turán density
For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Turán density $π_{\mathrm{co}}(F)$ is the infimum over all $α$ such that any $n$-vertex $k$-graph $H$ with every $(k-1)$-subset of $V(H)$ contained in at least $αn$ edges has a copy of $F$. The uniform Turán density $π_{\therefore}(F)$ is the supremum over all $d$ such that there are infinitely many $F$-free $k$-graphs $H$ satisfying that any linear-size subhypergraph of $H$ has edge density at least $d$. Falgas-Ravry, Pikhurko, Vaughan and Volec [J. London Math. Soc., 2023] asked whether for every $3$-graph $F$, $π_{\therefore}(F)\leqπ_{\mathrm{co}}(F)$. We provide a positive answer to this question provided that $π_{\mathrm{co}}(F)=0$. Our proof relies on a random geometric construction and a new formulation of the characterization of $3$-graphs with vanishing uniform Turán density due to Reiher, R{ö}dl and Schacht [J. London Math. Soc., 2018]. Along the way, we answer a question of Falgas-Ravry, Pikhurko, Vaughan and Volec about subhypergraphs with linear minimum codegree in uniformly dense hypergraphs in the negative.
Hook lengths in self-conjugate partitions
Published
• View Publication
• BIB
In 2010, G.-N. Han obtained the generating function for the number of size $t$ hooks among integer partitions. Here we obtain these generating functions for self-conjugate partitions, which are particularly elegant for even $t$. If $n_t(λ)$ is the number of size $t$ hooks in a partition $λ,$ then for even $t$ we have $$\sum_{λ\in \mathcal{SC}} x^{n_t(λ)} q^{\vertλ\vert} = (-q;q^2)_{\infty} \cdot ((1-x^2)q^{2t};q^{2t})_{\infty}^{\frac{t}2}. $$ As a consequence, if $a_t^*(n)$ is the number of such hooks among the self-conjugate partitions of $n,$ then for even $t$ we obtain the simple formula $$ a_t^*(n)=t\sum_{j\geq 1} q^*(n-2tj), $$ where $q^*(m)$ is the number of partitions of $m$ into distinct odd parts. As a corollary, we find that $t\mid a_t^*(n),$ which confirms a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.
Proof of the plethystic Murnaghan-Nakayama rule using Loehr's labelled abacus
Published
• View Publication
• BIB
The plethystic Murnaghan-Nakayama rule describes how to decompose the product of a Schur function and a plethysm of the form $p_r\circ h_m$ as a sum of Schur functions. We provide a short, entirely combinatorial proof of this rule using the labelled abaci introduced in Nicholas A. Loehr. Abacus proofs of Schur function identities. In: SIAM J. Discrete Math. 24.4 (2010), pp. 1356-1370.
Predicting Horizontal Gene Transfers with Perfect Transfer Networks
Horizontal gene transfer inference approaches are usually based on gene sequences: parametric methods search for patterns that deviate from a particular genomic signature, while phylogenetic methods use sequences to reconstruct the gene and species trees. However, it is well-known that sequences have difficulty identifying ancient transfers since mutations have enough time to erase all evidence of such events. In this work, we ask whether character-based methods can predict gene transfers. Their advantage over sequences is that homologous genes can have low DNA similarity, but still have retained enough important common motifs that allow them to have common character traits, for instance the same functional or expression profile. A phylogeny that has two separate clades that acquired the same character independently might indicate the presence of a transfer even in the absence of sequence similarity. We introduce perfect transfer networks, which are phylogenetic networks that can explain the character diversity of a set of taxa under the assumption that characters have unique births, and that once a character is gained it is rarely lost. Examples of such traits include transposable elements, biochemical markers and emergence of organelles, just to name a few. We study the differences between our model and two similar models: perfect phylogenetic networks and ancestral recombination networks. Our goals are to initiate a study on the structural and algorithmic properties of perfect transfer networks. We then show that in polynomial time, one can decide whether a given network is a valid explanation for a set of taxa, and show how, for a given tree, one can add transfer edges to it so that it explains a set of taxa. We finally provide lower and upper bounds on the number of transfers required to explain a set of taxa, in the worst case.
Some locally Kneser graphs
Published
• View Publication
• BIB
The Kneser graph $K(n,d)$ is the graph on the $d$-subsets of an $n$-set, adjacent when disjoint. Clearly, $K(n+d,d)$ is locally $K(n,d)$. Hall showed for $n \ge 3d+1$ that there are no further examples. Here we give other examples of locally $K(n,d)$ graphs for $n = 3d$, and some further sporadic examples. It follows that Hall's bound is best possible.
Higher-rank dimer models
Published
• View Publication
• BIB
Let $G$ be a bipartite planar graph with edges directed from black to white. For each vertex $v$ let $n_v$ be a positive integer. A multiweb in $G$ is a multigraph with multiplicity $n_v$ at vertex $v$. A connection is a choice of linear maps on edges $Φ=\{φ_{bw}\}_{bw\in E}$ where $φ_{bw}\in \mathrm{Hom}({\mathbb R}^{n_b},{\mathbb R}^{n_w})$. Associated to $Φ$ is a function on multiwebs, the trace $Tr_Φ$. We define an associated Kasteleyn matrix $K=K(Φ)$ in this setting and write $\det K$ as the sum of traces of all multiwebs. This generalizes Kasteleyn's theorem and the result of [Douglas, Kenyon, Shi: Dimers, webs, and local systems, Trans. AMS 2023].
We study connections with positive traces, and define the associated probability measure on multiwebs. By careful choice of connection we can thus encode the "free fermionic" subvarieties for vertex models such as the $6$-vertex model and $20$-vertex models, and in particular give determinantal solutions.
We also find for each multiweb system an equivalent scalar system, that is, a planar bipartite graph $H$ and a local measure-preserving mapping from dimer covers of $H$ to multiwebs on $G$. We identify a family of positive connections as those whose scalar versions have positive face weights.
Coloring Groups
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Combinatorics (July 7, 2024) dmtcs:12753
• View Publication
• BIB
We introduce coloring groups, which are permutation groups obtained from a proper edge coloring of a graph. These groups generalize the generalized toggle groups of Striker (which themselves generalize the toggle groups introduced by Cameron and Fon-der-Flaass). We present some general results connecting the structure of a coloring group to the structure of its graph coloring, providing graph-theoretic characterizations of the centralizer and primitivity of a coloring group. We apply these results particularly to generalized toggle groups arising from trees as well as coloring groups arising from the independence posets introduced by Thomas and Williams.
ST-Distributive and ST-Modular Lattices
For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called ST-distributive (ST-modular) lattices. In this paper, we explore elemental properties of ST-distributivity (ST-modularity) and find examples of maximal S and T to form ST-distributive lattices for some non-distributive finite lattices of small order. We also characterize the maximal pairs of subsets (S,T), subject to certain constraints, that induce ST-distributivity in the lattice family M_n,n for all natural numbers n greater than or equal to 3. Afterwards, we present an application of ST-modular to convex sets and polytopes. This application has been the first example found and the main guiding light for our new definitions. The aforementioned definitions are closely related to distributive elements of Birkhoff-Gratzer and Stanley's SS-lattices.
A Note on the Asymptotic Value of the Isoperimetric Number of $J(n,2)$
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices and $S$ a subset of vertices of $G$; the boundary of $S$ is the set, $\partial S$, of edges of $G$ connecting $ S $ to its complement in $G$. The isoperimetric number of $G$, is the minimum of $\left| \partial S \right|/\left| S \right|$ overall $S \subset V(G)$ of at most $n/2$ vertices. Let $k \le n$ be positive integers. The Johnson graph is the graph, $J(n,k)$, whose vertices are all the subsets of size $k$ of $\{1,\dots,n\}$, two of which are adjacent if their intersection has cardinality equal to $k-1$. In this paper we show that the asymptotic value of the isoperimetric number of the Johnson graph $J(n,2)$ is equal to $ (2-\sqrt{2})n$.
Existence and orthogonality of stable envelopes for bow varieties
Published
• View Publication
• BIB
Stable envelopes, introduced by Maulik and Okounkov, provide a family of bases for the equivariant cohomology of symplectic resolutions. The theory of stable envelopes provides a fascinating interplay between geometry, combinatorics and integrable systems. In this expository article, we give a self-contained introduction to cohomological stable envelopes of type A bow varieties (an interesting class of varieties extending Nakajima quiver varieties). Our main focus is on the existence and the orthogonality properties of stable envelopes for bow varieties. The restriction to this specific class of varieties allows us to illustrate the theory combinatorially and to provide simplified proofs, both laying a basis for explicit calculations.
Vertex and edge orbits in nut graphs
A nut graph is a simple graph for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry. If the isolated vertex is excluded as trivial, nut graphs have seven or more vertices; they are connected, non-bipartite, and have no leaves. It is shown that a nut graph $G$ always has at least one more edge orbit than it has vertex orbits: $o_e(G) \geq o_v(G) + 1$, with the obvious corollary that edge transitive nut graphs do not exist. We give infinite familes of vertex-transitive nut graphs with two orbits of edges, and infinite families of nut graphs with two orbits of vertices and three of edges. Several constructions for nut graphs from smaller starting graphs are known: double subdivision of a bridge, four-fold subdivision of an edge, a construction for extrusion of a vertex with preservation of the degree sequence. To these we add multiplier constructions that yield nut graphs from regular (not necessarily nut graph) parents. In general, constructions can have different effects on automorphism group and counts of vertex and edge orbits, but in the case where the automorphism group is `preserved', they can be used in a predictable way to control vertex and edge orbit numbers.
Lattice aggregations of boxes and symmetric functions
Published
• View Publication
• BIB
We introduce two lattice growth models: aggregation of $l$-dimensional boxes and aggregation of partitions with $l$ parts. We describe properties of the models: the parameter set of aggregations, the moments of the random variable of the number of growth directions, asymptotical behavior of proportions of the most frequent transitions of two- and three-dimensional self-aggregations.
An algebraic combinatorial approach to Sylvester's denumerant
Published
• View Publication
• BIB
For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'s polynomial algorithm in 2015 for computing the top $k$ coefficients when $k$ is fixed. Their development uses heavily lattice point counting theory in computational geometry. In this paper, we explain their work in the context of algebraic combinatorics and simplify their computation. Our work is based on constant term method, Barvinok's unimodular cone decomposition, and recent results on fast computation of generalized Todd polynomials. We develop the algorithm \texttt{CT-Knapsack}, together with an implementation in \texttt{Maple}. Our algorithm avoids plenty of repeated computations and is hence faster.
Lascoux expansion of the product of a Lascoux and a stable Grothendieck
This paper gives a tableau formula for expanding the product of a Lascoux polynomial and a stable Grothendieck polynomial into Lascoux polynomials. Lascoux and stable Grothendieck polynomials are inhomogeneous analogues of key polynomials and Stanley symmetric functions, respectively. Our formula refines the K-theoretic Littlewood-Richardson rule of Buch and extends the key expansion of key times Schur established by Haglund, Luoto, Mason, and van Willigenburg. Our proof is combinatorial, relying heavily on a novel row insertion algorithm of Huang, Shimozono and Yu.
Interlacing Polynomial Method for Matrix Approximation via Generalized Column and Row Selection
Published
• View Publication
• BIB
This paper delves into the spectral norm aspect of the Generalized Column and Row Subset Selection (GCRSS) problem. Given a target matrix $\mathbf{A}\in \mathbb{R}^{n\times d}$, the objective of GCRSS is to select a column submatrix $\mathbf{B}_{:,S}\in\mathbb{R}^{n\times k}$ from the source matrix $\mathbf{B}\in\mathbb{R}^{n\times d_B}$ and a row submatrix $\mathbf{C}_{R,:}\in\mathbb{R}^{r\times d}$ from the source matrix $\mathbf{C}\in\mathbb{R}^{n_C\times d}$, such that the residual matrix $(\mathbf{I}_n-\mathbf{B}_{:,S}\mathbf{B}_{:,S}^{\dagger})\mathbf{A}(\mathbf{I}_d-\mathbf{C}_{R,:}^{\dagger} \mathbf{C}_{R,:})$ has a small spectral norm. By employing the method of interlacing polynomials, we show that the smallest possible spectral norm of a residual matrix can be bounded by the largest root of a related expected characteristic polynomial. A deterministic polynomial time algorithm is provided for the spectral norm case of the GCRSS problem. We next focus on two specific GCRSS scenarios: the Generalized Column Subset Selection (GCSS) problem ($r=0$), and the submatrix selection problem ($\mathbf{B}=\mathbf{C}=\mathbf{I}_d$). In the GCSS scenario, we connect the expected characteristic polynomials to the convolution of multi-affine polynomials, leading to the derivation of the first provable reconstruction bound on the spectral norm of a residual matrix. In the submatrix selection scenario, we show that for any sufficiently small $\varepsilon>0$ and any square matrix $\mathbf{A}\in\mathbb{R}^{d\times d}$, there exist two subsets $S\subset [d]$ and $R\subset [d]$ of sizes $O(d\cdot \varepsilon^2)$ such that $\Vert\mathbf{A}_{S,R}\Vert_2\leq \varepsilon\cdot \Vert\mathbf{A}\Vert_2$.
Output-sensitive Complexity of Multi-Objective Integer Network Flow Problems
This paper addresses the output-sensitive complexity for linear multi-objective integer minimum cost flow (MOIMCF) problems and provides insights about the time complexity for enumerating all supported nondominated vectors. The paper shows that there can not exist an output-polynomial time algorithm for the enumeration of all supported nondominated vectors that determine the vectors in an ordered way in the outcome space unless NP = P. Moreover, novel methods for identifying supported nondominated vectors in bi-objective minimum cost flow (BOIMCF) problems are proposed, accompanied by a numerical comparison between decision- and objective-space methods. A novel, equivalent and more compact formulation of the minimum cost flow ILP formulation used in the e-constrained-scalarization approach is introduced, demonstrating enhanced efficiency in the numerical tests