Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Reduction Techniques for Graph Isomorphism in the Context of Width Parameters
Published
• View Publication
• BIB
We study the parameterized complexity of the graph isomorphism problem when parameterized by width parameters related to tree decompositions. We apply the following technique to obtain fixed-parameter tractability for such parameters. We first compute an isomorphism invariant set of potential bags for a decomposition and then apply a restricted version of the Weisfeiler-Lehman algorithm to solve isomorphism. With this we show fixed-parameter tractability for several parameters and provide a unified explanation for various isomorphism results concerned with parameters related to tree decompositions. As a possibly first step towards intractability results for parameterized graph isomorphism we develop an fpt Turing-reduction from strong tree width to the a priori unrelated parameter maximum degree.
Exploring hypergraphs with martingales
Published in Random Structures and Algorithms 50 (2017), 325--352
• View Publication
• BIB
Recently, we adapted exploration and martingale arguments of Nachmias and Peres, in turn based on ideas of Martin-Löf, Karp and Aldous, to prove asymptotic normality of the number $L_1$ of vertices in the largest component $C$ of the random $r$-uniform hypergraph throughout the supercritical regime. In this paper we take these arguments further to prove two new results: strong tail bounds on the distribution of $L_1$, and joint asymptotic normality of $L_1$ and the number $M_1$ of edges of $C$. These results are used in a separate paper "Counting connected hypergraphs via the probabilistic method" to enumerate sparsely connected hypergraphs asymptotically.
Quiver mutation loops and partition q-series
Published in Communications in Mathematical Physics June 2015, Volume 336, Issue 2, pp 811-830
• View Publication
• BIB
A quiver mutation loop is a sequence of mutations and vertex relabelings, along which a quiver transforms back to the original form. For a given mutation loop, we introduce a quantity called a partition q-series. The partition q-series are invariant under pentagon moves. If the quivers are of Dynkin type or square products thereof, they reproduce so-called parafermionic or quasi-particle character formulas of certain modules associated with affine Lie algebras. They enjoy nice modular properties as expected from the conformal field theory point of view.
Sum of cubes: Old proofs suggest new q-analogues
We prove a new q-analogue of Nicomachus's Theorem about the sum of cubes and some related results.
Joins of 1-planar graphs
Published in Acta. Math. Sin.-English Ser. 30 (2014) 1867-1876
• View Publication
• BIB
A graph is called 1-planar if there exists its drawing in the plane such that each edge is crossed at most once. In this paper, we study 1-planar graph joins. We prove that the join $G+H$ is 1-planar if and only if the pair $[G,H]$ is subgraph-majorized (that is, both $G$ and $H$ are subgraphs of graphs of the major pair) by one of pairs $[C_3 \cup C_3,C_3], [C_4,C_4], [C_4,C_3], [K_{2,1,1},P_3]$ in the case when both factors of the graph join have at least three vertices. If one factor has at most two vertices, then we give several necessary/sufficient conditions for the bigger factor.
The matching polytope does not admit fully-polynomial size relaxation schemes
Published in Proceedings of SODA 2015, 837-846
• View Publication
• BIB
The groundbreaking work of Rothvoß [arxiv:1311.2369] established that every linear program expressing the matching polytope has an exponential number of inequalities (formally, the matching polytope has exponential extension complexity). We generalize this result by deriving strong bounds on the polyhedral inapproximability of the matching polytope: for fixed $0 < \varepsilon < 1$, every polyhedral $(1 + \varepsilon / n)$-approximation requires an exponential number of inequalities, where $n$ is the number of vertices. This is sharp given the well-known $ρ$-approximation of size $O(\binom{n}{ρ/(ρ-1)})$ provided by the odd-sets of size up to $ρ/(ρ-1)$. Thus matching is the first problem in $P$, whose natural linear encoding does not admit a fully polynomial-size relaxation scheme (the polyhedral equivalent of an FPTAS), which provides a sharp separation from the polynomial-size relaxation scheme obtained e.g., via constant-sized odd-sets mentioned above.
Our approach reuses ideas from Rothvoß [arxiv:1311.2369], however the main lower bounding technique is different. While the original proof is based on the hyperplane separation bound (also called the rectangle corruption bound), we employ the information-theoretic notion of common information as introduced in Braun and Pokutta [http://eccc.hpi-web.de/report/2013/056/], which allows to analyze perturbations of slack matrices. It turns out that the high extension complexity for the matching polytope stem from the same source of hardness as for the correlation polytope: a direct sum structure.
Veldkamp-Space Aspects of a Sequence of Nested Binary Segre Varieties
Published in Ann. Inst. Henri Poincare Comb. Phys. Interact. 2 (2015) 309-333
• View Publication
• BIB
Let $S_{(N)} \equiv PG(1,\,2) \times PG(1,\,2) \times \cdots \times PG(1,\,2)$ be a Segre variety that is $N$-fold direct product of projective lines of size three. Given two geometric hyperplanes $H'$ and $H''$ of $S_{(N)}$, let us call the triple $\{H', H'', \overline{H' ΔH''}\}$ the Veldkamp line of $S_{(N)}$. We shall demonstrate, for the sequence $2 \leq N \leq 4$, that the properties of geometric hyperplanes of $S_{(N)}$ are fully encoded in the properties of Veldkamp {\it lines} of $S_{(N-1)}$. Using this property, a complete classification of all types of geometric hyperplanes of $S_{(4)}$ is provided. Employing the fact that, for $2 \leq N \leq 4$, the (ordinary part of) Veldkamp space of $S_{(N)}$ is $PG(2^N-1,2)$, we shall further describe which types of geometric hyperplanes of $S_{(N)}$ lie on a certain hyperbolic quadric $\mathcal{Q}_0^+(2^N-1,2) \subset PG(2^N-1,2)$ that contains the $S_{(N)}$ and is invariant under its stabilizer group; in the $N=4$ case we shall also single out those of them that correspond, via the Lagrangian Grassmannian of type $LG(4,8)$, to the set of 2295 maximal subspaces of the symplectic polar space $\mathcal{W}(7,2)$.
The Gap Number of the T-Tetromino
Published
• View Publication
• BIB
A famous result of D. Walkup states that the only rectangles that may be tiled by the T-tetromino are those in which both sides are a multiple of four. In this paper we examine the rest of the rectangles, asking how many T-tetrominos may be placed into those rectangles without overlap, or, equivalently, what is the least number of gaps that need to be present. We introduce a new technique for exploring such tilings, enabling us to answer this question for all rectangles, up to a small additive constant. We also show that there is some number G such that if both sides of the rectangle are at least 12, then no more than G gaps will be required. We prove that G is either 5, 6, 7 or 9.
Line percolation
Published
• View Publication
• BIB
We study a new geometric bootstrap percolation model, line percolation, on the $d$-dimensional integer grid $[n]^d$. In line percolation with infection parameter $r$, infection spreads from a subset $A\subset [n]^d$ of initially infected lattice points as follows: if there exists an axis-parallel line $L$ with $r$ or more infected lattice points on it, then every lattice point of $[n]^d$ on $L$ gets infected, and we repeat this until the infection can no longer spread. The elements of the set $A$ are usually chosen independently, with some density $p$, and the main question is to determine $p_c(n,r,d)$, the density at which percolation (infection of the entire grid) becomes likely. In this paper, we determine $p_c(n,r,2)$ up to a multiplicative factor of $1+o(1)$ and $p_c(n,r,3)$ up to a multiplicative constant as $n\rightarrow \infty$ for every fixed $r\in \mathbb{N}$. We also determine the size of the minimal percolating sets in all dimensions and for all values of the infection parameter.
Clique Vectors of $k$-Connected Chordal Graphs
Published
• View Publication
• BIB
The clique vector $\mathfrak{c}(G)$ of a graph $G$ is the sequence $(c_1, c_2, \ldots,c_d)$ in $\mathbb{N}^d$, where $c_i$ is the number of cliques in $G$ with $i$ vertices and $d$ is the largest cardinality of a clique in $G$. In this note, we use tools from commutative algebra to characterize all possible clique vectors of $k$-connected chordal graphs.
Equivariant Quantum Cohomology of the Grassmannian via the Rim Hook Rule
Published in Algebr. Comb. 1 (2018), no. 3, p. 327-352
• View Publication
• BIB
A driving question in (quantum) cohomology of flag varieties is to find non-recursive, positive combinatorial formulas for expressing the product of two classes in a particularly nice basis, called the Schubert basis. Bertram, Ciocan-Fontanine and Fulton provided a way to compute quantum products of Schubert classes in the Grassmannian of k-planes in complex n-space by doing classical multiplication and then applying a combinatorial rim hook rule which yields the quantum parameter. In this paper, we provide a generalization of this rim hook rule to the setting in which there is also an action of the complex torus. Combining this result with Knutson and Tao's puzzle rule then gives an effective algorithm for computing all equivariant quantum Littlewood-Richardson coefficients. Interestingly, this rule requires a specialization of torus weights modulo n, suggesting a direct connection to the Peterson isomorphism relating quantum and affine Schubert calculus.
Maximal increasing sequences in fillings of almost-moon polyominoes
It was proved by Rubey that the number of fillings with zeros and ones of a given moon polyomino that do not contain a northeast chain of size $k$ depends only on the set of columns of the polyomino, but not the shape of the polyomino. Rubey's proof is an adaption of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. In this paper we present a bijective proof for this result by considering fillings of almost-moon polyominoes, which are moon polyominoes after removing one of the rows. Explicitly, we construct a bijection which preserves the size of the largest northeast chains of the fillings when two adjacent rows of the polyomino are exchanged. This bijection also preserves the column sum of the fillings. We also present a bijection that preserves the size of the largest northeast chains, the row sum and the column sum if every row of the fillings has at most one 1.
Sigma Partitioning: Complexity and Random Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (December 17, 2018) dmtcs:1534
• View Publication
• BIB
A $\textit{sigma partitioning}$ of a graph $G$ is a partition of the vertices into sets $P_1, \ldots, P_k$ such that for every two adjacent vertices $u$ and $v$ there is an index $i$ such that $u$ and $v$ have different numbers of neighbors in $P_i$. The $\textit{ sigma number}$ of a graph $G$, denoted by $σ(G)$, is the minimum number $k$ such that $ G $ has a sigma partitioning $P_1, \ldots, P_k$. Also, a $\textit{ lucky labeling}$ of a graph $G$ is a function $ \ell :V(G) \rightarrow \mathbb{N}$, such that for every two adjacent vertices $ v $ and $ u$ of $ G $, $ \sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w) $ ($ x \sim y $ means that $ x $ and $y$ are adjacent). The $\textit{ lucky number}$ of $ G $, denoted by $η(G)$, is the minimum number $k $ such that $ G $ has a lucky labeling $ \ell :V(G) \rightarrow \mathbb{N}_k$. It was conjectured in [Inform. Process. Lett., 112(4):109--112, 2012] that it is $ \mathbf{NP} $-complete to decide whether $ η(G)=2$ for a given 3-regular graph $G$. In this work, we prove this conjecture. Among other results, we give an upper bound of five for the sigma number of a uniformly random graph.
A sharp refinement of a result of Alon, Ben-Shimon and Krivelevich on bipartite graph vertex sequences
We give a sharp refinement of a result of Alon, Ben-Shimon and Krivelevich. This gives a sufficient condition for a finite sequence of positive integers to be the vertex degree list of both parts of a bipartite graph. The condition depends only on the length of the sequence and its largest and smallest elements.
Secret-Sharing Matroids need not be Algebraic
Published
• View Publication
• BIB
We combine some known results and techniques with new ones to show that there exists a non-algebraic, multi-linear matroid. This answers an open question by Matus (Discrete Mathematics 1999), and an open question by Pendavingh and van Zwam (Advances in Applied Mathematics 2013). The proof is constructive and the matroid is explicitly given.
Recoloring graphs via tree decompositions
Published
• View Publication
• BIB
Let $k$ be an integer. Two vertex $k$-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{$k$-mixing} if any proper $k$-coloring can be transformed into any other through a sequence of adjacent proper $k$-colorings. Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We first improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring.
Any graph is $(tw+2)$-mixing, where $tw$ is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two $(tw+2)$-colorings is at most quadratic (which is optimal up to a constant factor), a problem left open in Bonamy et al. (2012).
We also prove that given any two $(χ(G)+1)$-colorings of a cograph (resp. distance-hereditary graph) $G$, we can find a linear (resp. quadratic) sequence between them. In both cases, the bounds cannot be improved by more than a constant factor for a fixed $χ(G)$. The graph classes are also optimal in some sense: one of the smallest interesting superclass of distance-hereditary graphs corresponds to comparability graphs, for which no such property holds (even when relaxing the constraint on the length of the sequence). As for cographs, they are equivalently the graphs with no induced $P_4$, and there exist $P_5$-free graphs that admit no sequence between two of their $(χ(G)+1)$-colorings.
All the proofs are constructivist and lead to polynomial-time recoloring algorithm
Languages of lossless seeds
Published in EPTCS 151, 2014, pp. 139-150
• View Publication
• BIB
Several algorithms for similarity search employ seeding techniques to quickly discard very dissimilar regions. In this paper, we study theoretical properties of lossless seeds, i.e., spaced seeds having full sensitivity. We prove that lossless seeds coincide with languages of certain sofic subshifts, hence they can be recognized by finite automata. Moreover, we show that these subshifts are fully given by the number of allowed errors k and the seed margin l. We also show that for a fixed k, optimal seeds must asymptotically satisfy l ~ m^(k/(k+1)).
A Study on Semi-arithmetic Integer Additive Set-Indexers of Graphs
Published in International Journal of Mathematical Sciences & Engineering Applications, Vol.8, No.III, 2014, pp. 157-165
• Search Publication
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An integer additive set-indexer $f$ is said to be an arithmetic integer additive set-indexer if every element of $G$ are labeled by non-empty sets of non negative integers, which are in arithmetic progressions. An integer additive set-indexer $f$ is said to be a semi-arithmetic integer additive set-indexer if vertices of $G$ are labeled by non-empty sets of non negative integers, which are in arithmetic progressions, but edges are not labeled by non-empty sets of non negative integers, which are in arithmetic progressions. In this paper, we discuss about semi-arithmetic integer additive set-indexer and establish some results on this type of integer additive set-indexers.
Counting joints in vector spaces over arbitrary fields
We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/Quilodrán result on counting joints associated to a family of lines holds in vector spaces over arbitrary fields, not just the reals. We also discuss a distributional estimate on the multiplicities of the joints in the case that the family of lines is sufficiently generic.
Colouring multijoints
Published
• View Publication
• BIB
Let L_1, ..., L_d be pairwise disjoint collections of lines in a d-dimensional vector space over some field. If the collections are sufficiently generic we prove that there exists a d-colouring of the set of multijoints J such that for each j, for each line in L_j, the number of points on it of colour j is O(|J|^{1/d}).