Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Shattering-extremal set systems from Sperner families
Published
• View Publication
• BIB
We say that a set system $\mathcal{F}\subseteq 2^{[n]}$ shatters a given set $S\subseteq [n]$ if $2^S= \{F~\cap~S:~F~\in~\mathcal{F}\}$. The Sauer-Shelah lemma states that in general, a set system $\mathcal{F}$ shatters at least $|\mathcal{F}|$ sets. Here we concentrate on the case of equality. A set system is called \emph{shattering-extremal} if it shatters exactly $|\mathcal{F}|$ sets. A conjecture of Rónyai and the second author and of Litman and Moran states that if a family is shattering-extremal then one can add a set to it and the resulting family is still shattering-extremal. Here we prove this conjecture for a class of set systems defined from Sperner families.
Casselman's basis of Iwahori vectors and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
A problem in representation theory of $p$-adic groups is the computation of the \textit{Casselman basis} of Iwahori fixed vectors in the spherical principal series representations, which are dual to the intertwining integrals. We shall express the transition matrix $(m_{u,v})$ of the Casselman basis to another natural basis in terms of certain polynomials which are deformations of the Kazhdan-Lusztig R-polynomials. As an application we will obtain certain new functional equations for these transition matrices under the algebraic involution sending the residue cardinality $q$ to $q^{-1}$. We will also obtain a new proof of a surprising result of Nakasuji and Naruse that relates the matrix $(m_{u,v})$ to its inverse.
Optimal Graphs for Independence and $k$-Independence Polynomials
Published
• View Publication
• BIB
The independence polynomial $I(G,x)$ of a finite graph $G$ is the generating function for the sequence of the number of independent sets of each cardinality. We investigate whether, given a fixed number of vertices and edges, there exists optimally-least (optimally-greatest) graphs, that are least (respectively, greatest) for all non-negative $x$. Moreover, we broaden our scope to $k$-independence polynomials, which are generating functions for the $k$-clique-free subsets of vertices. For $k \geq 3$, the results can be quite different from the $k = 2$ (i.e. independence) case.
On accurate domination in graphs
Published in Discussiones Mathematicae Graph Theory 39 (2019) 615-627
• View Publication
• BIB
A dominating set of a graph $G$ is a subset $D \subseteq V_G$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. The accurate domination number of $G$, denoted by $γ_{\rm a}(G)$, is the cardinality of a smallest set $D$ that is a dominating set of $G$ and no $|D|$-element subset of $V_G \setminus D$ is a dominating set of $G$. We study graphs for which the accurate domination number is equal to the domination number. In particular, all trees $G$ for which $γ_{\rm a}(G) = γ(G)$ are characterized. Furthermore, we compare the accurate domination number with the domination number of different coronas of a graph.
Tropicalization, symmetric polynomials, and complexity
Published in J. Symbolic Comput. 99 (2020), 242--249
• View Publication
• BIB
D. Grigoriev-G. Koshevoy recently proved that tropical Schur polynomials have (at worst) polynomial tropical semiring complexity. They also conjectured tropical skew Schur polynomials have at least exponential complexity; we establish a polynomial complexity upper bound. Our proof uses results about (stable) Schubert polynomials, due to R. P. Stanley and S. Billey-W. Jockusch-R. P. Stanley, together with a sufficient condition for polynomial complexity that is connected to the saturated Newton polytope property.
On the Schur positivity of $Δ_{e_2} e_n[X]$
Published
• View Publication
• BIB
Let $\mathbb{N}$ denote the set of non-negative integers. Haglund, Wilson, and the second author have conjectured that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_k} e_n[X]$ is a polynomial in $\mathbb{N}[q,t]$. We present four proofs of a stronger statement in the case $k=2$; We show that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_2} e_n[X]$ has a positive expansion in terms of $q,t$-analogs.
Computing the $A_α-$ eigenvalues of a bug
Let $G$ be a simple undirected graph. For $α\in [0,1]$, let \begin{equation*}
A_α\left( G\right) =αD\left( G\right) +(1-α)A\left( G\right) , \end{equation*} where $A(G)$ is the adjacency matrix of $G$ and $D(G)$ is the diagonal matrix of the degrees of $G$. In particular, $A_{0}(G)=A(G)$ and $A_{\frac{1}{2}}(G)=\frac{1}{2}Q(G)$ where $Q(G)$ is the signless Laplacian matrix of $G$. A bug $B_{p,q,r}$ is a graph obtained from a complete graph $K_{p}$ by deleting an edge and attaching paths $P_{q}$ and $P_{r}$ to its ends. In \cite{HaSt08}, Hansen and Stevanović proved that, among the graphs $G$ of order $n$ and diameter $d$, the largest spectral radius of $A(G)$ is attained by the bug $B_{n-d+2,\lfloor d/2\rfloor,\lceil d/2\rceil}$. In \cite{LiLu14}, Liu and Lu proved the same result for the spectral radius of $Q(G)$. Let $ρ_α(G)$ be the spectral radius of $A_α(G)$. In this note, for a bug $B$ of order $n$ and diameter $d$, it is shown that $(n-d+2)α-1$ is an eigenvalue of $A_α(B)$ with multiplicity $n-d-1$ and that the other eigenvalues, among them $ρ_α(B)$, can be computed as the eigenvalues of a symmetric tridiagonal matrix of order $d+1$. It is also shown that $ρ_α(B_{n-d+2,d/2,d/2})$ can be computed as the spectral radius of a symmetric tridiagonal matrix of order $\frac{d}{2}+1$ whenever $d$ is even.
More properties of the Fibonacci word on an infinite alphabet
Published
• View Publication
• BIB
Recently the Fibonacci word $W$ on an infinite alphabet was introduced by [Zhang et al., Electronic J. Combinatorics 24-2 (2017) #P2.52] as a fixed point of the morphism $φ: (2i) \mapsto (2i)(2i+ 1),\ (2i+ 1) \mapsto (2i+ 2)$ over all $i \in \mathbb{N}$. In this paper we investigate the occurrence of squares, palindromes, and Lyndon factors in this infinite word.
Walks in the quarter plane, genus zero case
Published in Journal of Combinatorial Theory, Series A, (2020), vol. 174, p. 105251
• View Publication
• BIB
We use Galois theory of difference equations to study the nature of the generating series of (weighted) walks in the quarter plane with genus zero kernel curve. Using this approach, we prove that the generating series do not satisfy any nontrivial (possibly nonlinear) algebraic differential equation with rational coefficients.
Central limit theorems in the configuration model
Published in Ann. Appl. Probab. 29 (2019), 1046-1069
• View Publication
• BIB
We prove a general normal approximation theorem for local graph statistics in the configuration model, together with an explicit bound on the error in the approximation with respect to the Wasserstein metric. Such statistics take the form $T := \sum_{v \in V} H_v$, where $V$ is the vertex set, and $H_v$ depends on a neighbourhood in the graph around $v$ of size at most $\ell$. The error bound is expressed in terms of $\ell$, $|V|$, an almost sure bound on $H_v$, the maximum vertex degree $d_{\max}$ and the variance of $T$. Under suitable assumptions on the convergence of the empirical degree distributions to a limiting distribution, we deduce that the size of the giant component in the configuration model has asymptotically Gaussian fluctuations.
Tropical Principal Component Analysis and its Application to Phylogenetics
Published
• View Publication
• BIB
Principal component analysis is a widely-used method for the dimensionality reduction of a given data set in a high-dimensional Euclidean space. Here we define and analyze two analogues of principal component analysis in the setting of tropical geometry. In one approach, we study the Stiefel tropical linear space of fixed dimension closest to the data points in the tropical projective torus; in the other approach, we consider the tropical polytope with a fixed number of vertices closest to the data points. We then give approximative algorithms for both approaches and apply them to phylogenetics, testing the methods on simulated phylogenetic data and on an empirical dataset of Apicomplexa genomes.
Set-Valued Young Tableaux and Product-Coproduct Prographs
Standard set-valued Young tableaux are a generalization of standard Young tableaux where cells can contain unordered sets of integers, with the added condition that every integer at position $(i,j)$ must be smaller that every integer at both $(i+1,j)$ and $(i,j+1)$. In this paper, we explore properties of standard set-valued Young tableaux with three rows and a fixed number of integers in every cell of each row (referred to as set-valued tableaux with row-constant density). Our primary focus is on standard set-valued Young tableaux with $1$ integer in each first-row cell, $k-1$ integers in each second-row cell, and $1$ integer in each third-row cell. For rectangular shapes $λ=n^3$, such tableaux are placed in bijection with closed $k$-ary product-coproduct prographs: directed plane graphs that correspond to finite compositions involving a $k$-ary product operator and a $k$-ary coproduct operator. That bijection is extended to three-row set-valued Young tableaux of non-rectangular and skew shape, and it is shown that a set-valued analogue of the Schützenberger involution on tableaux corresponds to $180$-degree rotation of the associated prographs. As a set-valued analogue of the hook-length formula is currently lacking, we also present direct enumerations of three-row standard set-valued Young tableaux for a variety of row-constant densities and a small number of columns. We then argue why the numbers of tableaux with the row-constant density $(1,k-1,1)$ should be interpreted as a one-parameter generalization of the three-dimensional Catalan numbers that mirrors the generalization of the (two-dimensional) Catalan numbers provided by the $k$-Catalan numbers.
Adding random edges to create the square of a Hamilton cycle
We consider how many random edges need to be added to a graph of order $n$ with minimum degree $αn$ in order that it contains the square of a Hamilton cycle w.h.p..
Islands in minor-closed classes. I. Bounded treewidth and separators
The clustered chromatic number of a graph class is the minimum integer $t$ such that for some $C$ the vertices of every graph in the class can be colored in $t$ colors so that every monochromatic component has size at most $C$. We show that the clustered chromatic number of the class of graphs embeddable on a given surface is four, proving the conjecture of Esperet and Ochem. Additionally, we study the list version of the concept and characterize the minor-closed classes of graphs of bounded treewidth with given clustered list chromatic number. We further strengthen the above results to solve some extremal problems on bootstrap percolation of minor-closed classes.
Combinatorial Miller-Hagberg Algorithm for Randomization of Dense Networks
Published
• View Publication
• BIB
We propose a slightly revised Miller-Hagberg (MH) algorithm that efficiently generates a random network from a given expected degree sequence. The revision was to replace the approximated edge probability between a pair of nodes with a combinatorically calculated edge probability that better captures the likelihood of edge presence especially where edges are dense. The computational complexity of this combinatorial MH algorithm is still in the same order as the original one. We evaluated the proposed algorithm through several numerical experiments. The results demonstrated that the proposed algorithm was particularly good at accurately representing high-degree nodes in dense, heterogeneous networks. This algorithm may be a useful alternative of other more established network randomization methods, given that the data are increasingly becoming larger and denser in today's network science research.
Multiplicative and Exponential Variations of Orthomorphisms of Cyclic Groups
Published in Journal of Combinatorics, 2020, 11: 377-389
• View Publication
• BIB
An orthomorphism is a permutation $σ$ of $\{1, \dots, n-1\}$ for which $x + σ(x) \mod n$ is also a permutation on $\{1, \dots, n-1\}$. Eberhard, Manners, Mrazović, showed that the number of such orthomorphisms is $(\sqrt{e} + o(1)) \cdot \frac{n!^2}{n^n}$ for odd $n$ and zero otherwise.
In this paper we prove two analogs of these results where $x+σ(x)$ is replaced by $x σ(x)$ (a "multiplicative orthomorphism") or with $x^{σ(x)}$ (an "exponential orthomorphism"). Namely, we show that no multiplicative orthomorphisms exist for $n > 2$ but that exponential orthomorphisms exist whenever $n$ is twice a prime $p$ such that $p-1$ is squarefree. In the latter case we then estimate the number of exponential orthomorphisms.
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations
Published
• View Publication
• BIB
Given a triangulation of a point set in the plane, a \emph{flip} deletes an edge $e$ whose removal leaves a convex quadrilateral, and replaces $e$ by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a point set can be reconfigured to any other triangulation by some sequence of flips. We explore this question in the setting where each edge of a triangulation has a label, and a flip transfers the label of the removed edge to the new edge.
It is not true that every labelled triangulation of a point set can be reconfigured to every other labelled triangulation via a sequence of flips. We characterize when this is possible by proving the \emph{Orbit Conjecture} of Bose, Lubiw, Pathak and Verdonschot which states that \emph{all} labels can be simultaneously mapped to their destination if and only if \emph{each} label individually can be mapped to its destination.
Furthermore, we give a polynomial-time algorithm to find a sequence of flips to reconfigure one labelled triangulation to another, if such a sequence exists, and we prove an upper bound of $O(n^7)$ on the length of the flip sequence.
Our proof uses the topological result that the sets of pairwise non-crossing edges on a planar point set form a simplicial complex that is homeomorphic to a high-dimensional ball (this follows from a result of Orden and Santos; we give a different proof based on a shelling argument). The dual cell complex of this simplicial ball, called the \emph{flip complex}, has the usual flip graph as its $1$-skeleton. We use properties of the $2$-skeleton of the flip complex to prove the Orbit Conjecture.
A New Proof for a Triple Product Formula for Plane Partitions
Stanley generalized MacMahon's classical theorem by proving a product formula for the norm-trace generating function for plane partition with unbounded parts. In his recent work on biothorgonal polynomials, Kamioka proved a finite analogue of Stanley's formula for plane partitions with bounded parts (arXiv:1508.01674). In this paper, we use techniques from the enumeration of tilings to give a new proof for Kamioka's formula.
Covering vectors by spaces: Regular matroids
Published
• View Publication
• BIB
Seymour's decomposition theorem for regular matroids is a fundamental result with a number of combinatorial and algorithmic applications. In this work we demonstrate how this theorem can be used in the design of parameterized algorithms on regular matroids. We consider the problem of covering a set of vectors of a given finite dimensional linear space (vector space) by a subspace generated by a set of vectors of minimum size. Specifically, in the Space Cover problem, we are given a matrix M and a subset of its columns T; the task is to find a minimum set F of columns of M disjoint with T such that that the linear span of F contains all vectors of T. For graphic matroids this problem is essentially Stainer Forest and for cographic matroids this is a generalization of Multiway Cut. Our main result is the algorithm with running time 2^{O(k)}||M|| ^{O(1)} solving Space Cover in the case when M is a totally unimodular matrix over rationals, where k is the size of F. In other words, we show that on regular matroids the problem is fixed-parameter tractable parameterized by the rank of the covering subspace.
Infinitesimal deformations of Poisson bi-vectors using the Kontsevich graph calculus
Published in Journal of Physics: Conf. Series 965 (2018), Paper 012010, 12 pages
• View Publication
• BIB
Let $P$ be a Poisson structure on a finite-dimensional affine real manifold. Can $P$ be deformed in such a way that it stays Poisson? The language of Kontsevich graphs provides a universal approach -- with respect to all affine Poisson manifolds -- to finding a class of solutions to this deformation problem. For that reasoning, several types of graphs are needed. In this paper we outline the algorithms to generate those graphs. The graphs that encode deformations are classified by the number of internal vertices $k$; for $k \leqslant 4$ we present all solutions of the deformation problem. For $k \geqslant 5$, first reproducing the pentagon-wheel picture suggested at $k=6$ by Kontsevich and Willwacher, we construct the heptagon-wheel cocycle that yields a new unique solution without $2$-loops and tadpoles at $k=8$.