Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Tverberg type theorems for matroids
In this paper we show a variant of colorful Tverberg's theorem which is valid in any matroid: Let $S$ be a sequence of non-loops in a matroid $M$ of finite rank $m$ with closure operator cl. Suppose that $S$ is colored in such a way that the first color does not appear more than $r$-times and each other color appears at most $(r-1)$-times. Then $S$ can be partitioned into $r$ rainbow subsequences $S_1,\ldots, S_r$ such that $cl\,\emptyset\subsetneq cl\,S_1\subseteq cl\, S_2\subseteq \ldots \subseteq cl\,S_r$. In particular, $\emptyset\neq \bigcap_{i=1}^r cl\,S_i$. A subsequence is called rainbow if it contains each color at most once.
The conclusion of our theorem is weaker than the conclusion of the original Tverberg's theorem in $\mathbb R^d$, which states that $\bigcap conv\,S_i\neq \emptyset$, whereas we only claim that $\bigcap aff\,S_i\neq \emptyset$. On the other hand, our theorem strengthens the Tverberg's theorem in several other ways: 1) it is applicable to any matroid (whereas Tverberg's theorem can only be used in $\mathbb R^d$), 2) instead of $\bigcap cl\,S_i\neq \emptyset$ we have the stronger condition $cl\,\emptyset\subsetneq cl\,S_1\subseteq cl\,S_2\subseteq \ldots \subseteq cl\,S_r$, and 3) we add a color constraints that are even stronger than the color constraints in the colorful version of Tverberg's theorem.
Recently, the author together with Goaoc, Mabillard, Patáková, Tancer and Wagner used the first property and applied the non-colorful version of this theorem to homology groups with $GF(p)$ coefficients to obtain several non-embeddability results, for details we refer to arXiv:1610.09063.
The metric dimension of the circulant graph $C(n,\pm\{1,2,3,4\})$
Published in Australasian Journal of Combinatorics, 69(3), 417-441, 2017
• Search Publication
Let $G=(V,E)$ be a connected graph and let $d(u,v)$ denote the distance between vertices $u,v \in V$. A metric basis for $G$ is a set $B\subseteq V$ of minimum cardinality such that no two vertices of $G$ have the same distances to all points of $B$. The cardinality of a metric basis of $G$ is called the metric dimension of $G$, denoted by $\dim(G)$. In this paper we determine the metric dimension of the circulant graphs $C(n,\pm\{1,2,3,4\})$ for all values of $n$.
On the second Feng-Rao distance of Algebraic Geometry codes related to Arf semigroups
We describe the second (generalized) Feng-Rao distance for elements in an Arf numerical semigroup that are greater than or equal to the conductor of the semigroup. This provides a lower bound for the second Hamming weight for one point AG codes. In particular, we can obtain the second Feng-Rao distance for the codes defined by asymptotically good towers of function fields whose Weierstrass semigroups are inductive. In addition, we compute the second Feng-Rao number, and provide some examples and comparisons with previous results on this topic. These calculations rely on Apéry sets, and thus several results concerning Apéry sets of Arf semigroups are presented.
Hajós-like theorem for signed graphs
Published
• View Publication
• BIB
The paper designs five graph operations, and proves that every signed graph with chromatic number $q$ can be obtained from all-positive complete graphs $(K_q,+)$ by repeatedly applying these operations. This result gives a signed version of the Hajós theorem, emphasizing the role of all-positive complete graphs played in the class of signed graphs, as played in the class of unsigned graphs.
Subspace Sum Graph of a Vector Space
Published
• View Publication
• BIB
In this paper we introduce a graph structure, called subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ where the vertex set is the collection of non-trivial proper subspaces of a vector space and two vertices $W_1,W_2$ are adjacent if $W_1 + W_2=\mathbb{V}$. The diameter, girth, connectivity, maximal independent sets, different variants of domination number, clique number and chromatic number of $\mathcal{G}(\mathbb{V})$ are studied. It is shown that two subspace sum graphs are isomorphic if and only if the base vector spaces are isomorphic. Finally some properties of subspace sum graph are studied when the base field is finite.
Regular $t$-balanced Cayley maps on split metacyclic $2$-groups
Published in Bulletin of the Korean Mathematical Society 61 (2024), no. 1, 13-27
• View Publication
• BIB
A regular $t$-balanced Cayley map on a group $Γ$ is an embedding of a Cayley graph on $Γ$ into a surface with certain special symmetric properties. We completely classify regular $t$-balanced Cayley maps for a class of split metacyclic $2$-groups.
Hopf algebra techniques to handle dynamical systems and numerical integrators
Published
• View Publication
• BIB
In a series of papers the present authors and their coworkers have developed a family of algebraic techniques to solve a number of problems in the theory of discrete or continuous dynamical systems and to analyze numerical integrators. Given a specific problem, those techniques construct an abstract, {\em universal} version of it which is solved algebraically; then, the results are tranferred to the original problem with the help of a suitable morphism. In earlier contributions, the abstract problem is formulated either in the dual of the shuffle Hopf algebra or in the dual of the Connes-Kreimer Hopf algebra. In the present contribution we extend these techniques to more general Hopf algebras, which in some cases lead to more efficient computations.