Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Non-existence of two types of partial difference sets
Published
• View Publication
• BIB
In this note we prove the non-existence of two types of partial difference sets in Abelian groups of order 216. This finalizes the classification of parameters for which a partial difference set of size at most 100 exists in an Abelian group.
Distant total irregularity strength of graphs via random vertex ordering
Published in Discrete Math. 341(4) (2018) 1098-1102
• View Publication
• BIB
Let $c:V\cup E\to\{1,2,\ldots,k\}$ be a (not necessarily proper) total colouring of a graph $G=(V,E)$ with maximum degree $Δ$. Two vertices $u,v\in V$ are sum distinguished if they differ with respect to sums of their incident colours, i.e. $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ admitting such colouring $c$ under which every $u,v\in V$ at distance $1\leq d(u,v)\leq r$ in $G$ are sum distinguished is denoted by ${\rm ts}_r(G)$. Such graph invariants link the concept of the total vertex irregularity strength of graphs with so called 1-2-Conjecture, whose concern is the case of $r=1$. Within this paper we combine probabilistic approach with purely combinatorial one in order to prove that ${\rm ts}_r(G)\leq (2+o(1))Δ^{r-1}$ for every integer $r\geq 2$ and each graph $G$, thus improving the previously best result: ${\rm ts}_r(G)\leq 3Δ^{r-1}$.
A note on asymptotically optimal neighbour sum distinguishing colourings
Published in European J. Comb. 77 (2019) 49-56
• View Publication
• BIB
The least $k$ admitting a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ of a graph $G=(V,E)$ without isolated edges such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every $uv\in E$ is denoted by $χ'_Σ(G)$. It has been conjectured that $χ'_Σ(G)\leq Δ+ 2$ for every connected graph of order at least three different from the cycle $C_5$, where $Δ$ is the maximum degree of $G$. It is known that $χ'_Σ(G) = Δ+ O(Δ^\frac{5}{6}\ln^\frac{1}{6}Δ)$ for a graph $G$ without isolated edges. We improve this upper bound to $χ'_Σ(G) = Δ+ O(Δ^\frac{1}{2})$ using a simpler approach involving a combinatorial algorithm enhanced by the probabilistic method. The same upper bound is provided for the total version of this problem as well.
A Polynomial Method Approach to Zero-Sum Subsets in $\mathbb{F}_{p}^{2}$
Published
• View Publication
• BIB
In this paper we prove that every subset of $\mathbb{F}_p^2$ meeting all $p+1$ lines passing through the origin has a zero-sum subset. This is motivated by a result of Gao, Ruzsa and Thangadurai which states that $OL(\mathbb{F}_{p}^{2})=p+OL(\mathbb{F}_{p})-1$, for sufficiently large primes $p$. Here $OL(G)$ denotes the so-called Olson constant of the additive group $G$ and represents the smallest integer such that no subset of cardinality $OL(G)$ is zero-sum-free. Our proof is in the spirit of the Combinatorial Nullstellensatz.
Chvátal's conjecture for downsets of small rank
A starting point in the investigation of intersecting systems of subsets of a finite set is the elementary observation that the size of a family of pairwise intersecting subsets of a finite set [n]={1,...,n}, denoted by 2^{[n]}, is at most 2^{n-1}, with one of the extremal structures being the family comprised of all subsets of [n] containing a fixed element, called as a star. A longstanding conjecture of Chvátal aims to generalize this simple observation for all downsets of 2^{[n]}. In this note, we prove this conjecture for all downsets where every subset contains at most 3 elements.
Factors of alternating sums of powers of $q$-Narayana numbers
Published
• View Publication
• BIB
The $q$-Narayana numbers $N_q(n,k)$ and $q$-Catalan numbers $C_n(q)$ are respectively defined by $$ N_q(n,k)=\frac{1-q}{1-q^n}{n\brack k}{n\brack k-1}\quad\text{and}\quad C_n(q)=\frac{1-q}{1-q^{n+1}}{2n\brack n}, $$ where ${n\brack k}=\prod_{i=1}^{k}\frac{1-q^{n-i+1}}{1-q^i}$. We prove that, for any positive integers $n$ and $r$, there holds \begin{align*} \sum_{k=-n}^{n}(-1)^{k}q^{jk^2+{k\choose 2}}N_q(2n+1,n+k+1)^r \equiv 0 \pmod{C_n(q)}, \end{align*} where $0\leqslant j\leqslant 2r-1$. We also propose several related conjectures.
The Bressoud-Göllnitz-Gordon Theorem for Overpartitions of even moduli
Published
• View Publication
• BIB
We give an overpartition analogue of Bressoud's combinatorial generalization of the Göllnitz-Gordon theorem for even moduli in general case. Let $\widetilde{O}_{k,i}(n)$ be the number of overpartitions of $n$ whose parts satisfy certain difference condition and $\widetilde{P}_{k,i}(n)$ be the number of overpartitions of $n$ whose non-overlined parts satisfy certain congruence condition. We show that $\widetilde{O}_{k,i}(n)=\widetilde{P}_{k,i}(n)$ for $1\leq i<k$.
Some congruences modulo 5 and 25 for overpartition
Published
• View Publication
• BIB
We present two new Ramanujan-type congruences modulo 5 for overpartition. We also give an affirmative answer to a conjecture of Dou and Lin, which includes four congruences modulo 25 for overpartition.
Complexity of short generating functions
Published
• View Publication
• BIB
We give complexity analysis of the class of short generating functions (GF). Assuming $\#P \not\subseteq FP/poly$, we show that this class is not closed under taking many intersections, unions or projections of GFs, in the sense that these operations can increase the bitlength of coefficients of GFs by a super-polynomial factor. We also prove that truncated theta functions are hard in this class.
The computational complexity of integer programming with alternations
Published
• View Publication
• BIB
We prove that integer programming with three quantifier alternations is $NP$-complete, even for a fixed number of variables. This complements earlier results by Lenstra and Kannan, which together say that integer programming with at most two quantifier alternations can be done in polynomial time for a fixed number of variables. As a byproduct of the proof, we show that for two polytopes $P,Q \subset \mathbb{R}^4$ , counting the projection of integer points in $Q \backslash P$ is $\#P$-complete. This contrasts the 2003 result by Barvinok and Woods, which allows counting in polynomial time the projection of integer points in $P$ and $Q$ separately.
On the reconstruction of polytopes
Published
• View Publication
• BIB
Blind and Mani, and later Kalai, showed that the face lattice of a simple polytope is determined by its graph, namely its $1$-skeleton. Call a vertex of a $d$-polytope \emph{nonsimple} if the number of edges incident to it is more than $d$.
We show that (1) the face lattice of any $d$-polytope with at most two nonsimple vertices is determined by its $1$-skeleton; (2) the face lattice of any $d$-polytope with at most $d-2$ nonsimple vertices is determined by its $2$-skeleton; and (3) for any $d>3$ there are two $d$-polytopes with $d-1$ nonsimple vertices, isomorphic $(d-3)$-skeleta and nonisomorphic face lattices. In particular, the result (1) is best possible for $4$-polytopes.
Extension complexity of stable set polytopes of bipartite graphs
Published
• View Publication
• BIB
The extension complexity $\mathsf{xc}(P)$ of a polytope $P$ is the minimum number of facets of a polytope that affinely projects to $P$. Let $G$ be a bipartite graph with $n$ vertices, $m$ edges, and no isolated vertices. Let $\mathsf{STAB}(G)$ be the convex hull of the stable sets of $G$. It is easy to see that $n \leqslant \mathsf{xc} (\mathsf{STAB}(G)) \leqslant n+m$. We improve both of these bounds. For the upper bound, we show that $\mathsf{xc} (\mathsf{STAB}(G))$ is $O(\frac{n^2}{\log n})$, which is an improvement when $G$ has quadratically many edges. For the lower bound, we prove that $\mathsf{xc} (\mathsf{STAB}(G))$ is $Ω(n \log n)$ when $G$ is the incidence graph of a finite projective plane. We also provide examples of $3$-regular bipartite graphs $G$ such that the edge vs stable set matrix of $G$ has a fooling set of size $|E(G)|$.
Defective Coloring on Classes of Perfect Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Discrete Algorithms (January 20, 2022) dmtcs:4926
• View Publication
• BIB
In Defective Coloring we are given a graph $G$ and two integers $χ_d$, $Δ^*$ and are asked if we can $χ_d$-color $G$ so that the maximum degree induced by any color class is at most $Δ^*$. We show that this natural generalization of Coloring is much harder on several basic graph classes. In particular, we show that it is NP-hard on split graphs, even when one of the two parameters $χ_d$, $Δ^*$ is set to the smallest possible fixed value that does not trivialize the problem ($χ_d = 2$ or $Δ^* = 1$). Together with a simple treewidth-based DP algorithm this completely determines the complexity of the problem also on chordal graphs. We then consider the case of cographs and show that, somewhat surprisingly, Defective Coloring turns out to be one of the few natural problems which are NP-hard on this class. We complement this negative result by showing that Defective Coloring is in P for cographs if either $χ_d$ or $Δ^*$ is fixed; that it is in P for trivially perfect graphs; and that it admits a sub-exponential time algorithm for cographs when both $χ_d$ and $Δ^*$ are unbounded.
Eulerian idempotent, pre-Lie logarithm and combinatorics of trees
The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. We show how to reduce the computation of the Eulerian idempotent to the computation of a logarithm in a certain pre-Lie algebra of planar, binary, rooted trees. The problem of finding formulas for the pre-Lie logarithm, which is interesting in its own right -- being related to operad theory, numerical analysis and renormalization -- is addressed using techniques inspired by umbral calculus. As a consequence of our analysis, we find formulas both for the Eulerian idempotent and the pre-Lie logarithm in terms of the combinatorics of trees.
Rook placements and Jordan forms of upper-triangular nilpotent matrices
Published
• View Publication
• BIB
The set of n by n upper-triangular nilpotent matrices with entries in a finite field F_q has Jordan canonical forms indexed by partitions lambda of n. We present a combinatorial formula for computing the number F_λ(q) of matrices of Jordan type lambda as a weighted sum over standard Young tableaux. We also study a connection between these matrices and non-attacking rook placements, which leads to a refinement of the formula for F_λ(q).
Combinatorial models for Schubert polynomials
Schubert polynomials are a basis for the polynomial ring that represent Schubert classes for the flag manifold. In this paper, we introduce and develop several new combinatorial models for Schubert polynomials that relate them to other known bases including key polynomials and fundamental slide polynomials. We unify these and existing models by giving simple bijections between the combinatorial objects indexing each. In particular, we give a simple bijective proof that the balanced tableaux of Edelman and Greene enumerate reduced expressions and a direct combinatorial proof of Kohnert's algorithm for computing Schubert polynomials. Further, we generalize the insertion algorithm of Edelman and Greene to give a bijection between reduced expressions and pairs of tableaux of the same key diagram shape and use this to give a simple formula, directly in terms of reduced expressions, for the key polynomial expansion of a Schubert polynomial.
Generating functions for permutations which avoid consecutive patterns with multiple descents
Let $S_n$ denote the group all permutations of $n$. For every permutation $σ$, we let $\mathrm{des}(σ)$ denote the number of descents in $σ$ and $\mathrm{LRMin}(σ)$ denote the number of left-to-right minima of $σ$. Given a sequence $τ= τ_1 \cdots τ_n$ of distinct positive integers, we define the reduction of $τ$, $\mathrm{red}(τ)$, to be the permutation of $S_n$ that results by replacing the $i$-th smallest element of $τ$ by $i$.
If $Γ$ is a set of permutations, we say that a permutation $σ= σ_1 \ldots σ_n \in S_n$ has a $Γ$-match starting at position $i$ if there is a $i < j$ such that $\mathrm{red}(σ_i σ_{i+1} \ldots σ_j) \in Γ$. We let $Γ$-$\mathrm{mch}(σ)$ denote the number of $Γ$-matches in $σ$. We let $\mathcal{NM}_n(Γ)$ be the set of $σ\in S_n$ such that $Γ$-$\mathrm{mch}(σ) = 0$.
In this paper, we modify Jones and Remmel's reciprocity method to study the generating function of the form \begin{equation} \mbox{NM}_Γ(t,x,y)=\sum_{n \geq 0} \frac{t^n}{n!} \mbox{NM}_{Γ,n}(x,y) \end{equation} where $\displaystyle \mbox{NM}_{Γ,n}(x,y) =\sum_{σ\in \mathcal{NM}_n(Γ)}x^{\mathrm{LRmin}(σ)}y^{1+\mathrm{des}(σ)}$ in the case where we no longer insist that all the permutations $τ\in Γ$ have at most one descent.
Improvement on Brook theorem for (3 Times K1)-free Graphs
Problem of finding an optimal upper bound for the chromatic no. of a (3 Times K1)-free graph is still open and pretty hard. Here we prove that for a (3 Times K1)-free graph G with maximum degree greater than or equal to 8, χ is less than or equal to max (maximum degree-1, ω). We also prove that if G is (3 Times K1)-free, ω is equal to 4 and maximum degree is greater than or equal to 7, then χ is less than or equal to maximum degree-1. This implies that Borodin & Kostochka Conjecture is true for (3 Times K1)-free graphs as a corollary.
The Kolakoski sequence and related conjectures about orbits
Published
• View Publication
• BIB
The Kolakoski sequence is the unique infinite sequence with values in $\{1, 2\}$ and first term twems $1, 2, \ldots$ which equals the sequence of run-lengths of itself, we call this $K(1, 2).$ We define $K(m, n)$ similarly for $m+n$ odd. A well-known open problem is that its limiting density is one-half. Indeed, not much is known about the Kolakoski sequence. The focus of this paper in on conjectures related to the Kolakoski sequence which are more discrete in nature. We conjecture that a certain doubly infinite family of finite sequences $E_{1, n}\left(1^{2^j}, 1^{2j}\right)$ has odd length for all $j>0$ and even $n>0.$ We define $cf(m, n, d)$ to be the "correlation frequency" or limiting probability that terms in $K(m, n)$ which are $d$ apart are equal. We conjecture that the sign of $cf(m, n, d) - 1/2$ is periodic mod $m+n.$ We also discuss extensive empirical evidence for these conjectures.
Unitarizability of weight modules over noncommutative Kleinian fiber products
For any $(m,n)$-periodic higher spin six-vertex configuration $\mathscr{L}$, we construct a one-parameter family $Δ_ξ$ of pseudo-unitarizable representations of the corresponding noncommutative fiber product $\mathcal{A}(\mathscr{L})$ by difference operators acting on the space of sections of a complex line bundle $L_ξ$ over the face lattice $F$. The indefinite inner product is given explicitly in terms of a combinatorial sign function defined on $F$. We prove that each simple integral weight $\mathcal{A}(\mathscr{L})$-module (previously classified by the author, see arXiv:1612.08125) occurs as a submodule in one of these representation spaces. Lastly we give a combinatorial description of the signature of the unique (up to nonzero real multiples) indefinite inner product on any simple integral weight module, in terms of certain eight-vertex configurations canonically attached to $\mathscr{L}$. In particular we obtain necessary and sufficient conditions for such a module to be unitarizable.