Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Shortest (A+B)-path packing via hafnian
Published
• View Publication
• BIB
Björklund and Husfeldt developed a randomized polynomial time algorithm to solve the shortest two disjoint paths problem. Their algorithm is based on computation of permanents modulo 4 and the isolation lemma. In this paper, we consider the following generalization of the shortest two disjoint paths problem, and develop a similar algebraic algorithm. The shortest perfect $(A+B)$-path packing problem is: given an undirected graph $G$ and two disjoint node subsets $A,B$ with even cardinalities, find a shortest $|A|/2+|B|/2$ disjoint paths whose ends are both in $A$ or both in $B$. Besides its NP-hardness, we prove that this problem can be solved in randomized polynomial time if $|A|+|B|$ is fixed. Our algorithm basically follows the framework of Björklund and Husfeldt but uses a new technique: computation of hafnian modulo $2^k$ combined with Gallai's reduction from $T$-paths to matchings. We also generalize our technique for solving other path packing problems, and discuss its limitation.
Type $D_n^{(1)}$ rigged configuration bijection
Published in J Algebr Comb, Volume 46, Issue 2, pp 341-401 (2017)
• View Publication
• BIB
We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fermionic formula for type $D_n^{(1)}$. In addition, we establish that the bijection is a classical crystal isomorphism.
Representation stability for the cohomology of arrangements associated to root systems
Published in J. Algebraic Combin. 48 (2018), 51-75
• View Publication
• BIB
From a root system, one may consider the arrangement of reflecting hyperplanes, as well as its toric and elliptic analogues. The corresponding Weyl group acts on the complement of the arrangement and hence on its cohomology. We consider a sequence of linear, toric, or elliptic arrangements which arise from a family of root systems of type A, B, C, or D, and we show that the rational cohomology stabilizes as a sequence of Weyl group representations. Our techniques combine a Leray spectral sequence argument similar to that of Church in the type A case along with FI$_W$-module theory which Wilson developed and used in the linear case. A key to the proof relies on a combinatorial description, using labelled partitions, of the poset of connected components of intersections of subvarieties in the arrangement.
Binary search trees and rectangulations
We revisit the classical problem of searching in a binary search tree (BST) using rotations, and present novel connections of this problem to a number of geometric and combinatorial structures. In particular, we show that the execution trace of a BST that serves a sequence of queries is in close correspondence with the flip-sequence between two rectangulations. (Rectangulations are well-studied combinatorial objects also known as mosaic floorplans.) We also reinterpret Small Manhattan Network, a problem with known connections to the BST problem, in terms of flips in rectangulations. We apply further transformations to the obtained geometric model, to arrive at a particularly simple view of the BST problem that resembles sequences of edge-relaxations in a shortest path algorithm.
Our connections yield new results and observations for all structures concerned. In this draft we present some preliminary findings. BSTs with rotations are among the most fundamental and most thoroughly studied objects in computer science, nonetheless they pose long-standing open questions, such as the dynamic optimality conjecture of Sleator and Tarjan (STOC 1983). Our hope is that the correspondences presented in this paper provide a new perspective on this old problem and bring new tools to the study of dynamic optimality.
Rainbow Arithmetic Progressions in Finite Abelian Groups
Published
• View Publication
• BIB
For positive integers $n$ and $k$, the \emph{anti-van der Waerden number} of $\mathbb{Z}_n$, denoted by $aw(\mathbb{Z}_n,k)$, is the minimum number of colors needed to color the elements of the cyclic group of order $n$ and guarantee there is a rainbow arithmetic progression of length $k$. Butler et al. showed a reduction formula for $aw(\mathbb{Z}_{n},3) = 3$ in terms of the prime divisors of $n$. In this paper, we analagously define the anti-van der Waerden number of a finite abelian group $G$ and show $aw(G,3)$ is determined by the order of $G$ and the number of groups with even order in a direct sum isomorphic to $G$. The \emph{unitary anti-van der Waerden number} of a group is also defined and determined.
Upper bounds on the size of covering arrays
Published
• View Publication
• BIB
Covering arrays find important application in software and hardware interaction testing. For practical applications it is useful to determine or bound the minimum number of rows, CAN$(t,k,v)$, in a covering array for given values of the parameters $t,k$ and $v$. Asymptotic upper bounds for CAN$(t,k,v)$ have earlier been established using the Stein-Lovász-Johnson strategy and the Lovász local lemma. A series of improvements on these bounds is developed in this paper. First an estimate for the discrete Stein-Lovász-Johnson bound is derived. Then using alteration, the Stein-Lovász-Johnson bound is improved upon, leading to a two-stage construction algorithm. Bounds from the Lovász local lemma are improved upon in a different manner, by examining group actions on the set of symbols. Two asymptotic upper bounds on CAN$(t,k,v)$ are established that are tighter than the known bounds. A two-stage bound is derived that employs the Lovász local lemma and the conditional Lovász local lemma distribution.
Concatenation theorems for anti-Gowers-uniform functions and Host-Kra characteristic factors
Published in Discrete Analysis 2016:13, 60 pp
• View Publication
• BIB
We establish a number of "concatenation theorems" that assert, roughly speaking, that if a function exhibits "polynomial" (or "Gowers anti-uniform", "uniformly almost periodic", or "nilsequence") behaviour in two different directions separately, then it also exhibits the same behavior (but at higher degree) in both directions jointly. Among other things, this allows one to control averaged local Gowers uniformity norms by global Gowers uniformity norms. In a sequel to this paper, we will apply such control to obtain asymptotics for "polynomial progressions" $n+P_1(r),\dots,n+P_k(r)$ in various sets of integers, such as the prime numbers.
Some upper bounds for the $3$-proper index of graphs
Published
• View Publication
• BIB
A tree $T$ in an edge-colored graph is a {\it proper tree} if no two adjacent edges of $T$ receive the same color. Let $G$ be a connected graph of order $n$ and $k$ be a fixed integer with $2\le k\le n$. For a vertex subset $S \subseteq V(G)$ with $\left|S\right| \ge 2$, a tree containing all the vertices of $S$ in $G$ is called an $S$-tree. An edge-coloring of $G$ is called a \emph{$k$-proper coloring} if for every $k$-subset $S$ of $V(G)$, there exists a proper $S$-tree in $G$. For a connected graph $G$, the \emph{$k$-proper index} of $G$, denoted by $px_k(G)$, is the smallest number of colors that are needed in a $k$-proper coloring of $G$. In this paper, we show that for every connected graph $G$ of order $n$ and minimum degree $δ\geq 3$, $px_{3}(G)\le n\frac{\ln(δ+1)}{δ+1}(1+o_δ(1))+2$. We also prove that for every connected graph $G$ with minimum degree at least $3$, $px_{3}(G) \le px_{3}(G[D])+3$ when $D$ is a connected $3$-way dominating set of $G$ and $px_{3}(G) \le px_{3}(G[D])+1$ when $D$ is a connected $3$-dominating set of $G$. In addition, we obtain tight upper bounds of the 3-proper index for two special graph classes: threshold graphs and chain graphs. Finally, we prove that $px_3(G) \le \lfloor\frac{n}{2}\rfloor$ for any 2-connected graphs with at least four vertices.
On the inverse signed total domination number in graphs
Published in Opuscula Mathematica, 37 (2017), 447-456
• View Publication
• BIB
In this paper, we study the inverse signed total domination number in graphs and present new lower and upper bounds on this parameter. For example by making use of the classic theorem of Turan (1941), we present a sharp upper bound for graphs with no induced complete subgraph of order greater than two. Also, we bound this parameter for a tree in terms of its order and the number of leaves and characterize all trees attaining this bound.
Jigsaw percolation on random hypergraphs
The jigsaw percolation process on graphs was introduced by Brummitt, Chatterjee, Dey, and Sivakoff as a model of collaborative solutions of puzzles in social networks. Percolation in this process may be viewed as the joint connectedness of two graphs on a common vertex set. Our aim is to extend a result of Bollobás, Riordan, Slivken, and Smith concerning this process to hypergraphs for a variety of possible definitions of connectedness. In particular, we determine the asymptotic order of the critical threshold probability for percolation when both hypergraphs are chosen binomially at random.
Domination number in block designs
Let $G=(V,E)$ be a simple connected graph. A set of vertices $S\subseteq V$ is said to be a dominating set if for any vertex in $V\setminus S$ is adjacent to at least one vertex in $S$. The domination number $γ(G)$ of $G$ is the minimum cardinality among all such sets. In this paper, we obtain some results on the domination number of the incidence graphs of combinatorial designs. In particular, we prove a conjecture and disprove another conjecture in a recent paper by Goldberg, Rajendraprasad and Mathew. We also prove a third conjecture by the same authors for block-transitive symmetric designs.
Block-transitive and point-primitive $2$-$(v,k,2)$ designs with sporadic socle
Published
• View Publication
• BIB
The purpose of this paper is to classify all pairs $(\mathcal{D}, G)$, where $\mathcal{D}$ is a non-trivial $2$-$(v, k, 2)$ design, and $G\leq Aut(\mathcal{D})$ acts transitively on the set of blocks of $\mathcal{D}$ and primitively on the set of points of $\mathcal{D}$ with sporadic socle. We prove that there exists only one such pair $(\mathcal{D}, G)$ in which $\mathcal{D}$ is a $2$-$(176,8,2)$ design and $G=HS$, the Higman-Sims simple group.
On the combinatorics of exact Lagrangian surfaces
We study Weinstein 4-manifolds which admit Lagrangian skeleta given by attaching disks to a surface along a collection of simple closed curves. In terms of the curves describing one such skeleton, we describe surgeries that preserve the ambient Weinstein manifold, but change the skeleton. The surgeries can be iterated to produce more such skeleta --- in many cases, infinitely many more.
Each skeleton is built around a Lagrangian surface. Passing to the Fukaya category, the skeletal surgeries induce cluster transformations on the spaces of rank one local systems on these surfaces, and noncommutative analogues of cluster transformations on the spaces of higher rank local systems. In particular, the problem of producing and distinguishing such Lagrangians maps to a combination of combinatorial-geometric questions about curve configurations on surfaces and algebraic questions about exchange graphs of cluster algebras.
Conversely, this expands the dictionary relating the cluster theory of character varieties, positroid strata, and related spaces to the symplectic geometry of Lagrangian fillings of Legendrian knots, by incorporating cluster charts more general than those associated to bicolored surface graphs.
Integral automorphisms of affine spaces over finite fields
A permutation of the point set of the affine space $AG(n,q)$ is called an integral automorphism if it preserves the integral distance defined among the points. In this paper, we complete the classification of the integral automorphisms of $AG(n,q)$ for $n\ge 3$.
On the number of solutions in random hypergraph 2-colouring
Published
• View Publication
• BIB
We determine the limiting distribution of the logarithm of the number of satisfying assignments in the random $k$-uniform hypergraph 2-colouring problem in a certain density regime for all $k\ge 3$ . As a direct consequence we obtain that in this regime the random colouring model is contiguous wrt. the planted model, a result that helps simplifying the transfer of statements between these two models.
Online Ramsey Games for more than two colors
Published
• View Publication
• BIB
Consider the following one-player game played on an initially empty graph with $n$ vertices. At each stage a randomly selected new edge is added and the player must immediately color the edge with one of $r$ available colors. Her objective is to color as many edges as possible without creating a monochromatic copy of a fixed graph $F$.
We use container and sparse regularity techniques to prove a tight upper bound on the typical duration of this game with an arbitrary, but fixed, number of colors for a family of $2$-balanced graphs. The bound confirms a conjecture of Marciniszyn, Spöhel and Steger and yields the first tight result for online graph avoidance games with more than two colors.
A tight Erdős-Pósa function for long cycles
Published
• View Publication
• BIB
A classic result of Erdős and Pósa says that any graph contains either $k$ vertex-disjoint cycles or can be made acyclic by deleting at most $O(k \log k)$ vertices. Here we generalize this result by showing that for all numbers $k$ and $l$ and for every graph $G$, either $G$ contains $k$ vertex-disjoint cycles of length at least $l$, or there exists a set $X$ of $\mathcal O(kl+k\log k)$ vertices that meets all cycles of length at least $l$ in $G$. As a corollary, the tree-width of any graph $G$ that does not contain $k$ vertex-disjoint cycles of length at least $l$ is of order $\mathcal O(kl+k\log k)$. These results improve on the work of Birmelé, Bondy and Reed '07 and Fiorini and Herinckx '14 and are optimal up to constant factors.
The Betti numbers of regular Hessenberg varieties are palindromic
Published
• View Publication
• BIB
Recently Brosnan and Chow have proven a conjecture of Shareshian and Wachs describing a representation of the symmetric group on the cohomology of regular semisimple Hessenberg varieties for $GL_n(\mathbb{C})$. A key component of their argument is that the Betti numbers of regular Hessenberg varieties for $GL_n(\mathbb{C})$ are palindromic. In this paper, we extend this result to all reductive algebraic groups, proving that the Betti numbers of regular Hessenberg varieties are palindromic.
Chiral polyhedra and finite simple groups
Published
• View Publication
• BIB
We prove that every finite non-abelian simple group acts as the automorphism group of a chiral polyhedron, apart from the groups $PSL_2(q)$, $PSL_3(q)$, $PSU_3(q)$ and $A_7$.
On tessellations of random maps and the $t_g$-recurrence
Published in Probab. Theory Related Fields 174 (2019), no. 1-2, 477-500
• View Publication
• BIB
We study the masses of the two cells in a Voronoï tessellation of the Brownian surface of genus $g\geq 0$ centered on two uniform random points. Making use of classical bijections and asymptotic estimates for maps of fixed genus, we relate the second moment of these random variables to the Painlevé-I equation satisfied by the double scaling limit of the one-matrix model, or equivalently to the "$t_g$-recurrence" satisfied by the constants $t_g$ driving the asymptotic number of maps of genus $g\geq0$. This raises the question of giving an independent probabilistic or combinatorial derivation of this second moment, which would then lead to new proof of the $t_g$-recurrence.
More generally we conjecture that for any $g\geq 0$ and $k\geq 2$, the masses of the cells in a Voronoï tessellation of the genus-$g$ Brownian surface by $k$ uniform points follows a Dirichlet$(1,1,\dots,1)$ distribution.