Showing 20 papers (Total: 84285 papers, 48548 authors in database)
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.
On the maximum diameter of path-pairable graphs
A graph is path-pairable if for any pairing of its vertices there exist edge disjoint paths joining the vertices in each pair. We obtain sharp bounds on the maximum possible diameter of path-pairable graphs which either have a given number of edges, or are c- degenerate. Along the way we show that a large family of graphs obtained by blowing up a path is path-pairable, which may be of independent interest.
Note on group irregularity strength of disconnected graphs
Published in Open Mathematics 16 (2018), 154-160
• View Publication
• BIB
We investigate the \textit{group irregularity strength} ($s_g(G)$) of graphs, i.e. the smallest value of $s$ such that taking any Abelian group $\gr$ of order $s$, there exists a function $f:E(G)\rightarrow \gr$ such that the sums of edge labels at every vertex are distinct. So far it was not known if $s_g(G)$ is bounded for disconnected graphs. In the paper we we present some upper bound for all graphs. Moreover we give the exact values and bounds on $s_g(G)$ for disconnected graphs without a star as a component.
The size-Ramsey number of powers of paths
Published
• View Publication
• BIB
Given graphs $G$ and $H$ and a positive integer $q$ say that $G$ is $q$-Ramsey for $H$, denoted $G\rightarrow (H)_q$, if every $q$-colouring of the edges of $G$ contains a monochromatic copy of $H$. The size-Ramsey number $\hat{r}(H)$ of a graph $H$ is defined to be $\hat{r}(H)=\min\{|E(G)|\colon G\rightarrow (H)_2\}$. Answering a question of Conlon, we prove that, for every fixed $k$, we have $\hat{r}(P_n^k)=O(n)$, where $P_n^k$ is the $k$-th power of the $n$-vertex path $P_n$ (i.e. , the graph with vertex set $V(P_n)$ and all edges $\{u,v\}$ such that the distance between $u$ and $v$ in $P_n$ is at most $k$). Our proof is probabilistic, but can also be made constructive.
A Generating Function for the Distribution of Runs in Binary Words
Let $N(n,r,k)$ denote the number of binary words of length $n$ that begin with $0$ and contain exactly $k$ runs (i.e., maximal subwords of identical consecutive symbols) of length $r$. We show that the generating function for the sequence $N(n,r,0)$, $n=0,1,\ldots$, is $(1-x)(1-2x + x^r-x^{r+1})^{-1}$ and that the generating function for $\{N(n,r,k)\}$ is $x^{kr}$ time the $k+1$ power of this. We extend to counts of words containing exactly $k$ runs of $1$s by using symmetries on the set of binary words.
Antimagic orientations of even regular graphs
Published
• View Publication
• BIB
A labeling of a digraph $D$ with $m$ arcs is a bijection from the set of arcs of $D$ to $\{1, \ldots, m\}$. A labeling of $D$ is antimagic if no two vertices in $D$ have the same vertex-sum, where the vertex-sum of a vertex $u\in V(D)$ for a labeling is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Motivated by the conjecture of Hartsfield and Ringel from 1990 on antimagic labelings of graphs, Hefetz, Mütze, and Schwartz [On antimagic directed graphs, J Graph Theory 64 (2010) 219--232] initiated the study of antimagic labelings of digraphs, and conjectured that every connected graph admits an antimagic orientation, where an orientation $D$ of a graph $G$ is antimagic if $D$ has an antimagic labeling. It remained unknown whether every disjoint union of cycles admits an antimagic orientation. In this paper, we first answer this question in the positive by proving that every $2$-regular graph has an antimagic orientation. We then show that for any integer $d\ge2$, every connected, $2d$-regular graph has an antimagic orientation. Our technique is new.
On a Generalization for Tribonacci Quaternions
Published in Mediterr. J. Math. (2017) 14: 239
• View Publication
• BIB
Let $V_{n}$ denote the third order linear recursive sequence defined by the initial values $V_{0}$, $V_{1}$ and $V_{2}$ and the recursion $V_{n}=rV_{n-1}+sV_{n-2}+tV_{n-3}$ if $n\geq 3$, where $r$, $s$, and $t$ are real constants. The $\{V_{n}\}_{n\geq0}$ are generalized Tribonacci numbers and reduce to the usual Tribonacci numbers when $r=s=t=1$ and to the $3$-bonacci numbers when $r=s=1$ and $t=0$. In this study, we introduced a quaternion sequence which has not been introduced before. We show that the new quaternion sequence that we introduced includes the previously introduced Tribonacci, Padovan, Narayana and Third order Jacobsthal quaternion sequences. We obtained the Binet formula, summation formula and the norm value for this new quaternion sequence.
Core forging and local limit theorems for the k-core of random graphs
Published
• View Publication
• BIB
We establish a multivariate local limit theorem for the order and size as well as several other parameters of the k-core of the Erdos-Renyi graph. The proof is based on a novel approach to the k-core problem that replaces the meticulous analysis of the peeling process by a generative model of graphs with a core of a given order and size. The generative model, which is inspired by the Warning Propagation message passing algorithm, facilitates the direct study of properties of the core and its connections with the mantle and should therefore be of interest in its own right.
Strong immersion is a well-quasi-ordering for semi-complete digraphs
Published
• View Publication
• BIB
We prove that the strong immersion order is a well-quasi-ordering on the class of semi-complete digraphs, thereby strengthening a result of Chudnovsky and Seymour that this holds for the class of tournaments.
On splitting digraphs
Published
• View Publication
• BIB
In 1995, Stiebitz asked the following question: For any positive integers $s,t$, is there a finite integer $f(s,t)$ such that every digraph $D$ with minimum out-degree at least $f(s,t)$ admits a bipartition $(A, B)$ such that $A$ induces a subdigraph with minimum out-degree at least $s$ and $B$ induces a subdigraph with minimum out-degree at least $t$? We give an affirmative answer for tournaments, multipartite tournaments, and digraphs with bounded maximum in-degrees. In particular, we show that for every $ε$ with $0<ε<1/2$, there exists an integer $δ_0$ such that every tournament with minimum out-degree at least $δ_0$ admits a bisection $(A, B)$, so that each vertex has at least $(1/2-ε)$ of its out-neighbors in $A$, and in $B$ as well.
Computing the number of realizations of a Laman graph
Published in Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017) 61, pp. 207-213, 2017
• View Publication
• BIB
Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main ideas and the combinatorial point of view.
Erdős-Ginzburg-Ziv theorem and Noether number for $C_m\ltimes_{\varphi} C_{mn}$
Published
• View Publication
• BIB
Let $G$ be a multiplicative finite group and $S=a_1\cdot\ldots\cdot a_k$ a sequence over $G$. We call $S$ a product-one sequence if $1=\prod_{i=1}^ka_{τ(i)}$ holds for some permutation $τ$ of $\{1,\ldots,k\}$. The small Davenport constant $\mathsf d(G)$ is the maximal length of a product-one free sequence over $G$. For a subset $L\subset \mathbb N$, let $\mathsf s_L(G)$ denote the smallest $l\in\mathbb N_0\cup\{\infty\}$ such that every sequence $S$ over $G$ of length $|S|\ge l$ has a product-one subsequence $T$ of length $|T|\in L$. Denote $\mathsf e(G)=\max\{\text{ord}(g): g\in G\}$. Some classical product-one (zero-sum) invariants including $\mathsf D(G):=\mathsf s_{\mathbb N}(G)$ (when $G$ is abelian), $\mathsf E(G):=\mathsf s_{\{|G|\}}(G)$, $\mathsf s(G):=\mathsf s_{\{\mathsf e(G)\}}(G)$, $η(G):=\mathsf s_{[1,\mathsf e(G)]}(G)$ and $\mathsf s_{d\mathbb N}(G)$ ($d\in\mathbb N$) have received a lot of studies. The Noether number $β(G)$ which is closely related to zero-sum theory is defined to be the maximal degree bound for the generators of the algebra of polynomial invariants. Let $G\cong C_m\ltimes_{\varphi} C_{mn}$, in this paper, we prove that $$\mathsf E(G)=\mathsf d(G)+|G|=m^2n+m+mn-2$$ and $β(G)=\mathsf d(G)+1=m+mn-1$. We also prove that $\mathsf s_{mn\mathbb N}(G)=m+2mn-2$ and provide the upper bounds of $η(G)$, $\mathsf s(G)$. Moreover, if $G$ is a non-cyclic nilpotent group and $p$ is the smallest prime divisor of $|G|$, we prove that $β(G)\le \frac{|G|}{p}+p-1$ except if $p=2$ and $G$ is a dicyclic group, in which case $β(G)=\frac{1}{2}|G|+2$.