Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Exact exponential algorithms for two poset problems
Partially ordered sets (posets) are fundamental combinatorial objects with important applications in computer science. Perhaps the most natural algorithmic task, given a size-$n$ poset, is to compute its number of linear extensions. In 1991 Brightwell and Winkler showed this problem to be $\#P$-hard. In spite of extensive research, the fastest known algorithm is still the straightforward $O(n 2^n)$-time dynamic programming (an adaptation of the Bellman-Held-Karp algorithm for the TSP). Very recently, Dittmer and Pak showed that the problem remains $\#P$-hard for two-dimensional posets, and no algorithm was known to break the $2^n$-barrier even in this special case. The question of whether the two-dimensional problem is easier than the general case was raised decades ago by Möhring, Felsner and Wernisch, and others. In this paper we show that the number of linear extensions of a two-dimensional poset can be computed in time $O(1.8172^n)$.
The related jump number problem asks for a linear extension of a poset, minimizing the number of neighboring incomparable pairs. The problem has applications in scheduling, and has been widely studied. In 1981 Pulleyblank showed it to be NP-complete. We show that the jump number problem can be solved (in arbitrary posets) in time $O(1.824^n)$. This improves (slightly) the previous best bound of Kratsch and Kratsch.
The probability that an operator is nilpotent
Published
• View Publication
• BIB
Choose a random linear operator on a vector space of finite cardinality N: then the probability that it is nilpotent is 1/N. This is a linear analogue of the fact that for a random self-map of a set of cardinality N, the probability that some iterate is constant is 1/N. The first result is due to Fine, Herstein and Hall, and the second is essentially Cayley's tree formula. We give a new proof of the result on nilpotents, analogous to Joyal's beautiful proof of Cayley's formula. It uses only general linear algebra and avoids calculation entirely.
Vinogradov three prime theorem with Piatetski-Shapiro primes
Published
• View Publication
• BIB
We prove that, for any $c_1,c_2,c_3\in(1,41/35)$, every sufficiently large odd number $N$ can be represented as the sum of three primes $N = p_1 + p_2 +p_3$ such that $p_i = \lfloor n_{i}^{c_i}\rfloor$ for some $n_i \in{\mathbb N}$ for each $1 \leq i \leq 3$. Our arguments are based on a variant of Green's transference principle due to Matomäki, Maynard and Shao. We prove a necessary restriction estimate using Bourgain's strategy and employ Harman's sieve method to optimize our upper bound for $c_i$.
A base-p Sprague-Grundy type theorem for p-calm subtraction games: Welter's game and representations of generalized symmetric groups
Published
• View Publication
• BIB
For impartial games $Γ$ and $Γ'$, the Sprague-Grundy function of the disjunctive sum $Γ+ Γ'$ is equal to the Nim-sum of their Sprague-Grundy functions. In this paper, we introduce $p$-calm subtraction games, and show that for $p$-calm subtraction games $Γ$ and $Γ'$, the Sprague-Grundy function of a $p$-saturation of $Γ+ Γ'$ is equal to the $p$-Nim-sum of the Sprague-Grundy functions of their $p$-saturations. Here a $p$-Nim-sum is the result of addition without carrying in base $p$ and a $p$-saturation of $Γ$ is an impartial game obtained from $Γ$ by adding some moves. It will turn out that Nim and Welter's game are $p$-calm. Further, using the $p$-calmness of Welter's game, we generalize a relation between Welter's game and representations of symmetric groups to disjunctive sums of Welter's games and representations of generalized symmetric groups; this result is described combinatorially in terms of Young diagrams.
Complexes of graphs with bounded independence number
Published in Israel Journal of Mathematics, Volume 249 (2022)
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $n$ a positive integer. Let $I_n(G)$ be the abstract simplicial complex whose simplices are the subsets of $V$ that do not contain an independent set of size $n$ in $G$. We study the collapsibility numbers of the complexes $I_n(G)$ for various classes of graphs, focusing on the class of graphs with maximum degree bounded by $Δ$. As an application, we obtain the following result:
Let $G$ be a claw-free graph with maximum degree at most $Δ$. Then, every collection of $\left\lfloor\left(\fracΔ{2}+1\right)(n-1)\right\rfloor+1$ independent sets in $G$ has a rainbow independent set of size $n$.
Point partition numbers: decomposable and indecomposable critical graphs
Published
• View Publication
• BIB
Graphs considered in this paper are finite, undirected and loopless, but we allow multiple edges. The point partition number $χ_t(G)$ is the least integer $k$ for which $G$ admits a coloring with $k$ colors such that each color class induces a $(t-1)$-degenerate subgraph of $G$. So $χ_1$ is the chromatic number and $χ_2$ is the point aboricity. The point partition number $χ_t$ with $t\geq 1$ was introduced by Lick and White. A graph $G$ is called $χ_t$-critical if every proper subgraph $H$ of $G$ satisfies $χ_t(H)<χ_t(G)$. In this paper we prove that if $G$ is a $χ_t$-critical graph whose order satisfies $|G|\leq 2χ_t(G)-2$, then $G$ can be obtained from two non-empty disjoint subgraphs $G_1$ and $G_2$ by adding $t$ edges between any pair $u,v$ of vertices with $u\in V(G_1)$ and $v\in V(G_2)$. Based on this result we establish the minimum number of edges possible in a $χ_t$-critical graph $G$ of order $n$ and with $χ_t(G)=k$, provided that $n\leq 2k-1$ and $t$ is even. For $t=1$ the corresponding two results were obtained in 1963 by Tibor Gallai.
Enumeration of symmetric Gelfand--Tsetlin patterns by linear algebra
We shall present a ``linear algebraic'' proof (involving some calculations in the algebra of linear operators on a vector space of polynomials and some manipulations of determinants) of the formula for the enumeration of symmetric Gelfand--Tsetlin patterns with fixed bottom row, which was proved by Tri Lai in the context of enumerating symmetric lozenge tilings of a ``halved'' hexagon with ``dents''.
Erratum to "$B_2$-crystals: Axioms, structure, models" [J. Combin. Theory, Ser. A, 116 (2009), 265--289]
Published
• View Publication
• BIB
In this erratum we explain how to implement some axioms stated in our paper of 2009 so as to obtain a purely "local" characterization for finite $B_2$-crystals, which was declared but not clarified at some moments there. Also we correct some inaccuracies in that paper.
Massey products, toric topology and combinatorics of polytopes
Published
• View Publication
• BIB
In this paper we introduce a direct family of simple polytopes $P^{0}\subset P^{1}\subset\ldots$ such that for any $k$, $2\leq k\leq n$ there are non-trivial strictly defined Massey products of order $k$ in the cohomology rings of their moment-angle manifolds $\mathcal Z_{P^n}$. We prove that the direct sequence of manifolds $\ast\subset S^{3}\hookrightarrow\ldots\hookrightarrow\mathcal Z_{P^n}\hookrightarrow\mathcal Z_{P^{n+1}}\hookrightarrow\ldots$ has the following properties: every manifold $\mathcal Z_{P^n}$ is a retract of $\mathcal Z_{P^{n+1}}$, and one has inverse sequences in cohomology (over $n$ and $k$, where $k\to\infty$ as $n\to\infty$) of the Massey products constructed. As an application we get that there are non-trivial differentials $d_k$, for arbitrarily large $k$ as $n\to\infty$ in the Eilenberg--Moore spectral sequence connecting the rings $H^*(ΩX)$ and $H^*(X)$ with coefficients in a field, where $X=\mathcal Z_{P^n}$.
The Hopf algebras of signed permutations, of weak quasi-symmetric functions and of Malvenuto-Reutenauer
Published in Advances in Math, vol 374, (2020) 107341
• View Publication
• BIB
This paper builds on two covering Hopf algebras of the Hopf algebra QSym of quasi-symmetric functions, with linear bases parameterized by compositions. One is the Malvenuto-Reutenauer Hopf algebra SSym of permutations, mapped onto QSym by taking descents of permutations. The other one is the recently introduced Hopf algebra RQSym of weak quasi-symmetric functions, mapped onto QSym by extracting compositions from weak compositions.
We extend these two surjective Hopf algebra homomorphisms into a commutative diagram by introducing a Hopf algebra HSym, linearly spanned by signed permutations from the hyperoctahedral groups, equipped with the shifted quasi-shuffle product and deconcatenation coproduct. Extracting a permutation from a signed permutation defines a Hopf algebra surjection form HSym to SSym and taking a suitable descent from a signed permutation defines a linear surjection from HSym to RQSym. The notion of signed $P$-partitions from signed permutations is introduced which, by taking generating functions, gives fundamental weak quasi-symmetric functions and sends the shifted quasi-shuffle product to the product of the corresponding generating functions. Together with the existing Hopf algebra surjections from SSym and RQSym to QSym, we obtain a commutative diagram of Hopf algebras revealing the close relationship among compositions, weak compositions, permutations and signed permutations.
Symmetric polynomials in the symplectic alphabet and their expression via Dickson--Zhukovsky variables
Published in The Electronic Journal of Combinatorics, 28, No.1 (2021)
• View Publication
• BIB
Given a symmetric polynomial $P$ in $2n$ variables, there exists a unique symmetric polynomial $Q$ in $n$ variables such that \[ P(x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}) =Q(x_1+x_1^{-1},\ldots,x_n+x_n^{-1}). \] We denote this polynomial $Q$ by $Φ_n(P)$ and show that $Φ_n$ is an epimorphism of algebras. We compute $Φ_n(P)$ for several families of symmetric polynomials $P$: symplectic and orthogonal Schur polynomials, elementary symmetric polynomials, complete homogeneous polynomials, and power sums. Some of these formulas were already found by Elouafi (2014) and Lachaud (2016).
The polynomials of the form $Φ_n(\operatorname{s}_{λ/μ}^{(2n)})$, where $\operatorname{s}_{λ/μ}^{(2n)}$ is a skew Schur polynomial in $2n$ variables, arise naturally in the study of the minors of symmetric banded Toeplitz matrices, when the generating symbol is a palindromic Laurent polynomial, and its roots can be written as $x_1,\ldots,x_n,x^{-1}_1,\ldots,x^{-1}_n$. Trench (1987) and Elouafi (2014) found efficient formulas for the determinants of symmetric banded Toeplitz matrices. We show that these formulas are equivalent to the result of Ciucu and Krattenthaler (2009) about the factorization of the characters of classical groups.
Birational Geometry of Matroids and Abstract Hyperplane Arrangements
A matroid is a machine capturing linearity of mathematical objects and producing combinatorial structures. Matroid structure arises everywhere since linearity is a ubiquitous concept. One natural way to obtain matroids is by considering hyperplane arrangements, which give rise to convex polytopes called matroid polytopes. Much research has been conducted on these three areas: matroids, matroid polytopes, and hyperplane arrangements. However, substantial gaps in our knowledge remain, and the correspondence diagram between those areas needs to be more extensive. For instance, currently, there is no matroid counterpart of a matroid subdivision, and only some matroid subdivisions are associated with stable hyperplane arrangements. Moreover, we need a deeper understanding of the face structure of a matroid polytope and how to glue or subdivide base polytopes; the latter requires overcoming Mnev's universality theorem. Another interesting question is whether the birational geometry of hyperplane arrangements can be implemented over matroids. In this paper, we develop a theory that integrates the three areas into a trinity relationship and provide solutions to the aforementioned questions while answering as many as possible.
The Alon-Tarsi Number of A Toroidal Grid
Published
• View Publication
• BIB
The Alon-Tarsi number $AT(G)$ of a graph $G$ is the smallest $k$ for which there is an orientation $D$ of $G$ with max indegree $k-1$ such that the number of even and odd circulations contained in D are different. In this paper, we show that the Alon--Tarsi number of toroidal grids $T_{m,n}=C_m\Box C_n$ equals $4$ when $m,n$ are both odd and $3$ otherwise.
Calabi-Yau properties of Postnikov diagrams
Published in Forum of Mathematics, Sigma , Volume 10 , 2022 , e56
• View Publication
• BIB
We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally 3-Calabi-Yau in the sense of the author's earlier work. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam. We show that our categorification can be realised as a full extension closed subcategory of Jensen-King-Su's Grassmannian cluster category, in a way compatible with their bijection between rank 1 modules and Plücker coordinates.
A result on fractional (a,b,k)-critical covered graphs
Published
• View Publication
• BIB
For a graph $G$, the set of vertices in $G$ is denoted by $V(G)$, and the set of edges in $G$ is denoted by $E(G)$. A fractional $[a,b]$-factor of a graph $G$ is a function $h$ from $E(G)$ to $[0,1]$ satisfying $a\leq d_G^{h}(v)\leq b$ for every vertex $v$ of $G$, where $d_G^{h}(v)=\sum\limits_{e\in E(v)}{h(e)}$ and $E(v)=\{e=uv:u\in V(G)\}$. A graph $G$ is called fractional $[a,b]$-covered if $G$ contains a fractional $[a,b]$-factor $h$ with $h(e)=1$ for any edge $e$ of $G$. A graph $G$ is called fractional $(a,b,k)$-critical covered if $G-Q$ is fractional $[a,b]$-covered for any $Q\subseteq V(G)$ with $|Q|=k$. In this article, we demonstrate a neighborhood condition for a graph to be fractional $(a,b,k)$-critical covered. Furthermore, we claim that the result is sharp.
Skew-morphisms of nonabelian characteristically simple groups
Published
• View Publication
• BIB
A skew-morphism of a finite group $G$ is a permutation $\s$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $\s(xy)=\s(x)\s^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $\s $ of $G$, the product of $\lg \s \rg$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product group of $\s$. The skew-morphism was introduced as an algebraic tool to investigate regular Cayley maps. In this paper, the skew-product groups are characterized, for all skew-morphisms of finite nonabelian characteristically simple groups (see Theorem 1.1) and correspondingly the Cayley maps on these groups are characterized (see Theorem 1.5).
Derandomized compressed sensing with nonuniform guarantees for $\ell_1$ recovery
Published
• View Publication
• BIB
We extend the techniques of Hügel, Rauhut and Strohmer (Found. Comput. Math., 2014) to show that for every $δ\in(0,1]$, there exists an explicit random $m\times N$ partial Fourier matrix $A$ with $m=s\operatorname{polylog}(N/ε)$ and entropy $s^δ\operatorname{polylog}(N/ε)$ such that for every $s$-sparse signal $x\in\mathbb{C}^N$, there exists an event of probability at least $1-ε$ over which $x$ is the unique minimizer of $\|z\|_1$ subject to $Az=Ax$. The bulk of our analysis uses tools from decoupling to estimate the extreme singular values of the submatrix of $A$ whose columns correspond to the support of $x$.
Domino tilings of cylinders: the domino group and connected components under flips
Published
• View Publication
• BIB
We consider domino tilings of three-dimensional cubiculated regions. A flip is a local move: two neighboring parallel dominoes are removed and placed back in a different position. The twist is an integer associated to each tiling, which is invariant under flips. A balanced quadriculated disk $D$ is regular if whenever two tilings $t_0$ and $t_1$ of $D \times [0,N]$ have the same twist then $t_0$ and $t_1$ can be joined by a sequence of flips provided some extra vertical space is allowed. We define the domino group of a quadriculated disk and prove that $D$ is regular if and only if its domino group is isomorphic to $Z \oplus Z/(2)$. We prove that a rectangle $D = [0,L] \times [0,M]$ with $LM$ even is regular if and only if $\min\{L,M\} \ge 3$ and conjecture that in general "large" disks are regular. In the cases where $D$ is not regular we prove partial results concerning the structure of the domino group: the group is not abelian and has exponential growth. We also prove that if $D$ is regular then the extra vertical space necessary to join by flips two tilings of $D \times [0,N]$ with the same twist depends only on $D$, not on the height $N$.
Polyhedra of small relative mixed volume
Published
• View Publication
• BIB
We classify all tuples of lattice polyhedra of relative mixed volume 1 and all minimal (by inclusion) tuples of polyhedra of relative mixed volume 2. We also prove a conjecture by A. Esterov, which states that all tuples with finite relative mixed volume are contained in one of finitely many ones that are minimal by inclusion.
Total vertex product irregularity strength of graphs
Published
• View Publication
• BIB
Consider a simple graph $G$. We call a labeling $w:E(G)\cup V(G)\rightarrow \{1, 2, \dots, s\}$ (\textit{total vertex}) \textit{product-irregular}, if all product degrees $pd_G(v)$ induced by this labeling are distinct, where $pd_G(v)=w(v)\times\prod_{e\ni v}w(e)$. The strength of $w$ is $s$, the maximum number used to label the members of $E(G)\cup V(G)$. The minimum value of $s$ that allows some irregular labeling is called \textit{the total vertex product irregularity strength} and denoted $tvps(G)$. We provide some general bounds, as well as exact values for chosen families of graphs. Keywords: product-irregular labeling, total vertex product irregularity strength, vertex-distinguishing labeling.