Showing 20 papers (Total: 82901 papers, 47900 authors in database)
The spt-Function of Andrews
Published
• View Publication
• BIB
The spt-function spt($n$) was introduced by Andrews as the weighted counting of partitions of $n$ with respect to the number of occurrences of the smallest part. In this survey, we summarize recent developments in the study of spt($n$), including congruence properties established by Andrews, Bringmann, Folsom, Garvan, Lovejoy and Ono et al., a constructive proof of the Andrews-Dyson-Rhoades conjecture given by Chen, Ji and Zang, generalizations and variations of the spt-function. We also give an overview of asymptotic formulas of spt($n$) obtained by Ahlgren, Andersen and Rhoades et al. We conclude with some conjectures on inequalities on spt($n$), which are reminiscent of those on $p(n)$ due to DeSalvo and Pak, and Bessenrodt and Ono. Furthermore, we observe that, beyond the log-concavity, $p(n)$ and spt($n$) satisfy higher order inequalities based on polynomials arising in the invariant theory of binary forms. In particular, we conjecture that the higher order Turán inequality $4(a_n^2-a_{n-1}a_{n+1})(a_{n+1}^2-a_{n}a_{n+2})-(a_na_{n+1}-a_{n-1}a_{n+2})^2>0$ holds for $p(n)$ when $n\geq 95$ and for spt($n$) when $n\geq 108$.
Isoperimetry in integer lattices
Published in Discrete Analysis 2018:7, 16 pp
• View Publication
• BIB
The edge isoperimetric problem for a graph $G$ is to determine, for each $n$, the minimum number of edges leaving any set of $n$ vertices. In general this problem is NP-hard, but exact solutions are known in some special cases, for example when $G$ is the usual integer lattice. We solve the edge isoperimetric problem asymptotically for every Cayley graph on $\mathbb Z^d$. The near-optimal shapes that we exhibit are zonotopes generated by line segments corresponding to the generators of the Cayley graph.
A note on 2--bisections of claw--free cubic graphs
Published
• View Publication
• BIB
A \emph{$k$--bisection} of a bridgeless cubic graph $G$ is a $2$--colouring of its vertex set such that the colour classes have the same cardinality and all connected components in the two subgraphs induced by the colour classes have order at most $k$. Ban and Linial conjectured that {\em every bridgeless cubic graph admits a $2$--bisection except for the Petersen graph}.
In this note, we prove Ban--Linial's conjecture for claw--free cubic graphs.
The spectra of lifted digraphs
We present a method to derive the complete spectrum of the lift $Γ^α$ of a base digraph $Γ$, with voltage assignments on a (finite) group $G$. The method is based on assigning to $Γ$ a quotient-like matrix whose entries are elements of the group algebra $\mathbb{C}[G]$, which fully represents $Γ^α$. This allows us to derive the eigenvectors and eigenvalues of the lift in terms of those of the base digraph and the irreducible characters of $G$. Thus, our main theorem generalize some previous results of Lováz and Babai concerning the spectra of Cayley digraphs.
Computing the number of induced copies of a fixed graph in a bounded degree graph
Published
• View Publication
• BIB
In this paper we show that for any graph $H$ of order $m$ and any graph $G$ of order $n$ and maximum degree $Δ$ one can compute the number of subsets $S$ of $V(G)$ that induces a graph isomorphic to $H $in time $O(c^m\cdot n)$ for some constant $c = c(Δ) > 0$. This is essentially best possible.
Minimum Coprime Labelings for Operations on Graphs
A prime labeling of a graph of order $n$ is a labeling of the vertices with the integers $1$ to~$n$ in which adjacent vertices have relatively prime labels. A coprime labeling maintains the same criterion on adjacent vertices using any set of distinct positive integers. In this paper, we consider several families of graphs or products of graphs that have been shown to not have prime labelings and answer the natural question of how to label the vertices while minimizing the largest value in its set of labels.
Layout of random circulant graphs
Published
• View Publication
• BIB
A circulant graph H is defined on the set of vertices V=\left\{ 1,\ldots,n\right\} and edges E=\left\{ \left(i,j\right):\left|i-j\right|\equiv s\left(\textrm{mod}n\right),s\in S\right\} , where S\subseteq\left\{ 1,\ldots,\lceil\frac{n-1}{2}\rceil\right\} . A random circulant graph results from deleting edges of H with probability 1-p. We provide a polynomial time algorithm that approximates the solution to the minimum linear arrangement problem for random circulant graphs. We then bound the error of the approximation with high probability.
Coloring cross-intersecting families
Published
• View Publication
• BIB
Intersecting and cross-intersecting families usually appear in extremal combinatorics in the vein of the Erd{\H o}s--Ko--Rado theorem. On the other hand, P.~Erd{\H o}s and L.~Lov{á}sz in the noted paper~\cite{EL} posed problems on coloring intersecting families as a restriction of classical hypergraph coloring problems to a special class of hypergraphs. This note deals with the mentioned coloring problems stated for cross-intersecting families.
$G$-Tutte polynomials and abelian Lie group arrangements
Published in Int. Math. Res. Not. IMRN 2021, no. 1, 152-190
• View Publication
• BIB
We introduce and study the notion of the $G$-Tutte polynomial for a list $\mathcal{A}$ of elements in a finitely generated abelian group $Γ$ and an abelian group $G$, which is defined by counting the number of homomorphisms from associated finite abelian groups to $G$.
The $G$-Tutte polynomial is a common generalization of the (arithmetic) Tutte polynomial for realizable (arithmetic) matroids, the characteristic quasi-polynomial for integral arrangements, Brändén-Moci's arithmetic version of the partition function of an abelian group-valued Potts model, and the modified Tutte-Krushkal-Renhardy polynomial for a finite CW-complex.
As in the classical case, $G$-Tutte polynomials carry topological and enumerative information (e.g., the Euler characteristic, point counting and the Poincaré polynomial) of abelian Lie group arrangements.
We also discuss differences between the arithmetic Tutte and the $G$-Tutte polynomials related to the axioms for arithmetic matroids and the (non-)positivity of coefficients.
Toric h-vectors and Chow Betti Numbers of Dual Hypersimplices
The toric h-numbers of a dual hypersimplex and the Chow Betti numbers of the normal fan of a hypersimplex are the ranks of intersection cohomology and Chow cohomology respectively of the torus orbit closure of a generic point in the Grassmannian. We give explicit formulas for these numbers. We also show that similar formulas hold for the coordinator numbers of type A^* lattices.
Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar
The On-Line Encyclopedia Of Integer Sequences , that wonderful resource that most combinatorialists, and many other mathematicians and scientists, use at least once a day, is a treasure trove of mathematical information, and, one of its charms is that it contains many intriguing conjectures. But one should be on one's guard, because some of the conjectures are either already theorems, or can be routinely proved. In this case study we demonstrate, and actually fully implement (in an accompanying Maple package), how to turn many conjectures made in the OEIS by R.J. Mathar, regarding linear recurrences satisfies by a certain class of sequences, into fully rigorously-proved theorems, but we argue, that one should not emulate us, and while it is nice to have one example, of an algorithm to actually construct proofs (that are known to exist by a priori theoretical reasons), life is too short to do it in all cases, and hence we propose a new category for the OEIS, that of "provable conjecture", as opposed to "proved conjecture" (alias theorem).
The Waldspurger Transform of Permutations and Alternating Sign Matrices
In 2005 J.L. Waldspurger proved the following theorem: given a finite real reflection group $W$, the closed positive root cone is tiled by the images of the open weight cone under the action of the linear transformations $id-w$. Shortly thereafter E. Meinrencken extended the result to affine Weyl groups. P.V. Bibikov and V.S. Zhgoon then gave a uniform proof for a discrete reflection group acting on a simply-connected space of constant curvature.
In this paper we show that the Waldspurger and Meinrenken theorems of type A give a new perspective on the combinatorics of the symmetric group. In particular, for each permutation matrix $w \in \mathfrak{S}_n$ we define a non-negative integer matrix $\mathbf{WT}(w)$, called the Waldspurger transform of $w$. The definition of the matrix $\mathbf{WT}(w)$ is purely combinatorial but its columns are the images of the fundamental weights under the action of $id-w$, expressed in simple root coordinates. The possible columns of $\mathbf{WT}(w)$ (which we call UM vectors) are in bijection with many interesting structures including: unimodal Motzkin paths, abelian ideals in nilradical of the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$, Young diagrams with maximum hook length $n$, and integer points inside a certain polytope.
We show that the sum of the entries of $\mathbf{WT}(w)$ is equal to half the entropy of the corresponding permutation $w$, which is known to equal the rank of $w$ in the Dedekind-MacNeille completion of the Bruhat order. Inspired by this, we extend the Waldpurger transform $\mathbf{WT}(M)$ to alternating sign matrices $M$ and give an intrinsic characterization of the image. This provides a geometric realization of Dedekind-MacNeille completion of the Bruhat order (a.k.a. the lattice of alternating sign matrices).
Deciding the Confusability of Words under Tandem Repeats
Published
• View Publication
• BIB
Tandem duplication in DNA is the process of inserting a copy of a segment of DNA adjacent to the original position. Motivated by applications that store data in living organisms, Jain {\em et al.} (2016) proposed the study of codes that correct tandem duplications to improve the reliability of data storage. We investigate algorithms associated with the study of these codes.
Two words are said to be ${\le}k$-confusable if there exists two sequences of tandem duplications of lengths at most $k$ such that the resulting words are equal. We demonstrate that the problem of deciding whether two words is ${\le}k$-confusable is linear-time solvable through a characterisation that can be checked efficiently for $k=3$. Combining with previous results, the decision problem is linear-time solvable for $k\le 3$. We conjecture that this problem is undecidable for $k>3$.
Using insights gained from the algorithm, we study the size of tandem-duplication codes. We improve the previous known upper bound and then construct codes with larger sizes as compared to the previous constructions. We determine the sizes of optimal tandem-duplication codes for lengths up to twenty, develop recursive methods to construct tandem-duplication codes for all word lengths, and compute explicit lower bounds for the size of optimal tandem-duplication codes for lengths from 21 to 30.
Approaching $\frac{3}{2}$ for the $s$-$t$-path TSP
Published in Journal of the ACM 66 (2019), Article 14
• View Publication
• BIB
We show that there is a polynomial-time algorithm with approximation guarantee $\frac{3}{2}+ε$ for the $s$-$t$-path TSP, for any fixed $ε>0$. It is well known that Wolsey's analysis of Christofides' algorithm also works for the $s$-$t$-path TSP with its natural LP relaxation except for the narrow cuts (in which the LP solution has value less than two). A fixed optimum tour has either a single edge in a narrow cut (then call the edge and the cut lonely) or at least three (then call the cut busy). Our algorithm "guesses" (by dynamic programming) lonely cuts and edges. Then we partition the instance into smaller instances and strengthen the LP, requiring value at least three for busy cuts. By setting up a $k$-stage recursive dynamic program, we can compute a spanning tree $(V,S)$ and an LP solution $y$ such that $(\frac{1}{2}+O(2^{-k}))y$ is in the $T$-join polyhedron, where $T$ is the set of vertices whose degree in $S$ has the wrong parity.
The Chromatic Symmetric Functions of Trivially Perfect Graphs and Cographs
Published
• View Publication
• BIB
Richard P. Stanley defined the chromatic symmetric function of a simple graph and has conjectured that every tree is determined by its chromatic symmetric function. Recently, Takahiro Hasebe and the author proved that the order quasisymmetric functions, which are analogs of the chromatic symmetric functions, distinguish rooted trees. In this paper, using a similar method, we prove that the chromatic symmetric functions distinguish trivially perfect graphs. Moreover, we also prove that claw-free cographs, that is, $ \{K_{1,3},P_{4}\} $-free graphs belong to a known class of $ e $-positive graphs.
Nonexistence of certain singly even self-dual codes with minimal shadow
Published in The Electronic Journal of Combinatorics 25 (2018), #P1.13
• View Publication
• BIB
It is known that there is no extremal singly even self-dual $[n,n/2,d]$ code with minimal shadow for $(n,d)=(24m+2,4m+4)$, $(24m+4,4m+4)$, $(24m+6,4m+4)$, $(24m+10,4m+4)$ and $(24m+22,4m+6)$. In this paper, we study singly even self-dual codes with minimal shadow having minimum weight $d-2$ for these $(n,d)$. For $n=24m+2$, $24m+4$ and $24m+10$, we show that the weight enumerator of a singly even self-dual $[n,n/2,4m+2]$ code with minimal shadow is uniquely determined and we also show that there is no singly even self-dual $[n,n/2,4m+2]$ code with minimal shadow for $m \ge 155$, $m \ge 156$ and $m \ge 160$, respectively. We demonstrate that the weight enumerator of a singly even self-dual code with minimal shadow is not uniquely determined for parameters $[24m+6,12m+3,4m+2]$ and $[24m+22,12m+11,4m+4]$.
A Note on the Inheritance of the Isometry-Dual Property under Puncturing AG Codes
Consider a sequence of AG codes evaluating at a set of evaluation points $P_1,\dots,P_n$ the functions having only poles at a defining point $Q$, with the sequence of codes satisfying the isometry-dual condition (i.e. containing at the same time primal and their dual codes). We prove a necessary condition under which, after taking out a number of evaluation points (i.e. puncturing), the resulting AG codes can still satisfy the isometry-dual property. The condition has to do with the so-called maximum sparse ideals of the Weierstrass semigroup of $Q$.
Higher dimensional Steinhaus and Slater problems via homogeneous dynamics
The three gap theorem, also known as the Steinhaus conjecture or three distance theorem, states that the gaps in the fractional parts of $α,2α,\ldots, Nα$ take at most three distinct values. Motivated by a question of Erdős, Geelen and Simpson, we explore a higher-dimensional variant, which asks for the number of gaps between the fractional parts of a linear form. Using the ergodic properties of the diagonal action on the space of lattices, we prove that for almost all parameter values the number of distinct gaps in the higher dimensional problem is unbounded. Our results in particular improve earlier work by Boshernitzan, Dyson and Bleher et al. We furthermore discuss a close link with the Littlewood conjecture in multiplicative Diophantine approximation. Finally, we also demonstrate how our methods can be adapted to obtain similar results for gaps between return times of translations to shrinking regions on higher dimensional tori.
The (theta, wheel)-free graphs Part III: cliques, stable sets and coloring
Published in Journal of Combinatorial Theory, Series B, Volume 143, 2020, Pages 185-218
• View Publication
• BIB
A hole in a graph is a chordless cycle of length at least 4. A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this series of papers we study the class of graphs that do not contain as an induced subgraph a theta nor a wheel. In Part II of the series we prove a decomposition theorem for this class, that uses clique cutsets and 2-joins, and consequently obtain a polynomial time recognition algorithm for the class. In this paper we further use this decomposition theorem to obtain polynomial time algorithms for maximum weight clique, maximum weight stable set and coloring problems. We also show that for a graph $G$ in the class, if its maximum clique size is $ω$, then its chromatic number is bounded by max$\{ω,3\}$, and that the class is 3-clique-colorable.
A survey of hypergraph Ramsey problems
Published
• View Publication
• BIB
The classical hypergraph Ramsey number $r_k(s,n)$ is the minimum $N$ such that for every red-blue coloring of the $k$-tuples of $\{1,\ldots, N\}$, there are $s$ integers such that every $k$-tuple among them is red, or $n$ integers such that every $k$-tuple among them is blue. We survey a variety of problems and results in hypergraph Ramsey theory that have grown out of understanding the quantitative aspects of $r_k(s,n)$. Our focus is on recent developments and open problems.