Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Tuple domination on graphs with the consecutive-zeros property
The $k$-tuple domination problem, for a fixed positive integer $k$, is to find a minimum sized vertex subset such that every vertex in the graph is dominated by at least $k$ vertices in this set. The $k$-tuple domination is NP-hard even for chordal graphs. For the class of circular-arc graphs, its complexity remains open for $k\geq 2$. A $0,1$-matrix has the consecutive 0's property (C0P) for columns if there is a permutation of its rows that places the 0's consecutively in every column. Due to A. Tucker, graphs whose augmented adjancency matrix has the C0P for columns are circular-arc. In this work we study the $k$-tuple domination problem on graphs $G$ whose augmented adjacency matrix has the C0P for columns, for $ 2\leq k\leq |U|+3$, where $U$ is the set of universal vertices of $G$. From an algorithmic point of view, this takes linear time.
Minuscule reverse plane partitions via quiver representations
A nilpotent endomorphism of a quiver representation induces a linear transformation on the vector space at each vertex. Generically among all nilpotent endomorphisms, there is a well-defined Jordan form for these linear transformations, which is an interesting new invariant of a quiver representation. If $Q$ is a Dynkin quiver and $m$ is a minuscule vertex, we show that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the category of which we denote by $\mathcal{C}_{Q,m}$, are determined up to isomorphism by this invariant. We use this invariant to define a bijection from isomorphism classes of representations in $\mathcal{C}_{Q,m}$ to reverse plane partitions whose shape is the minuscule poset corresponding to $Q$ and $m$. By relating the piecewise-linear promotion action on reverse plane partitions to Auslander-Reiten translation in the derived category, we give a uniform proof that the order of promotion equals the Coxeter number. In type $A_n$, we show that special cases of our bijection include the Robinson-Schensted-Knuth and Hillman-Grassl correspondences.
A nonstandard take on central sets
We present the basic theory of central subsets of semigroups from the nonstandard perspective. A key feature of this perspective is the replacement of the algebra of ultrafilters with the algebra of elements of iterated hyperextensions, a technique first employed by Mauro Di Nasso.
Signed Chromatic Polynomials of Signed Book Graphs
In 2015, Matthias Beck and his team developed a computer program in SAGE which efficiently determines the number of signed proper $k$-colorings for a given signed graph. In this article, we determine the number of different signatures on Book graph up to switching isomorphisms. We also find a recursive formula of the signed chromatic polynomials of signed Book graphs.
Signed Complete Graphs on Six Vertices
Published in Advances Appl. Discrete Math. Vol. 24 (2) (2020), 129-142
• View Publication
• BIB
A signed graph is a graph whose edges are labeled positive or negative. The sign of a cycle is the product of the signs of its edges. Zaslavsky proved in 2012 that, up to switching isomorphism, there are six different signed Petersen graphs. It is also known that, up to switching isomorphism, there are two signed $K_3$'s, three signed $K_4$'s, and seven signed $K_5$'s. In this paper, we prove that there are sixteen signed $K_6$'s upto switching ismomorphism.
On Partitions of Two-Dimensional Discrete Boxes
Let $A$ and $B$ be finite sets and consider a partition of the \emph{discrete box} $A \times B$ into \emph{sub-boxes} of the form $A' \times B'$ where $A' \subset A$ and $B' \subset B$. We say that such a partition has the $(k,\ell)$-piercing property for positive integers $k$ and $\ell$ if every \emph{line} of the form $\{a\} \times B$ intersects at least $k$ sub-boxes and every line of the form $A \times \{b\}$ intersects at least $\ell$ sub-boxes. We show that a partition of $A \times B$ that has the $(k, \ell)$-piercing property must consist of at least $(k-1)+(\ell-1)+\left\lceil 2\sqrt{(k-1)(\ell-1)} \right\rceil$ sub-boxes. This bound is nearly sharp (up to one additive unit) for every $k$ and $\ell$. As a corollary we get that the same bound holds for the minimum number of vertices of a graph whose edges can be colored red and blue such that every vertex is part of red $k$-clique and a blue $\ell$-clique.
Strengthening the Murty-Simon conjecture on diameter 2 critical graphs
A graph is diameter-2-critical if its diameter is 2 but the removal of any edge increases the diameter. A well-studied conjecture, known as the Murty-Simon conjecture, states that any diameter-2-critical graph of order n has at most n${}^2$/4 edges, with equality if and only if G is a balanced complete bipartite graph. Many partial results about this conjecture have been obtained, in particular it is known to hold for all sufficiently large graphs, for all triangle-free graphs, and for all graphs with a dominating edge. In this paper, we discuss ways in which this conjecture can be strengthened. Extending previous conjectures in this direction, we conjecture that, when we exclude the class of complete bipartite graphs and one particular graph, the maximum number of edges of a diameter-2-critical graph is at most ((n -- 1)${}^2$/4) + 1. The family of extremal examples is conjectured to consist of certain twin-expansions of the 5-cycle (with the exception of a set of thirteen special small graphs). Our main result is a step towards our conjecture: we show that the Murty-Simon bound is not tight for non-bipartite diameter-2-critical graphs that have a dominating edge, as they have at most (n${}^2$/4) -- 2 edges. Along the way, we give a shorter proof of the Murty-Simon conjecture for this class of graphs, and stronger bounds for more specific cases. We also characterize diameter-2-critical graphs of order n with maximum degree n -- 2: they form an interesting family of graphs with a dominating edge and 2n -- 4 edges.
On the Complexity of Embeddable Simplicial Complexes
This thesis addresses the question of the maximal number of $d$-simplices for a simplicial complex which is embeddable into $\mathbb{R}^r$ for some $d \leq r \leq 2d$.
A lower bound of $f_d(C_{r + 1}(n)) = Ω(n^{\lceil\frac{r}{2}\rceil})$, which might even be sharp, is given by the cyclic polytopes. To find an upper bound for the case $r=2d$ we look for forbidden subcomplexes. A generalization of the theorem of van Kampen and Flores yields those. Then the problem can be tackled with the methods of extremal hypergraph theory, which gives an upper bound of $O(n^{d+1-\frac{1}{3^d}})$.
We also consider whether these bounds can be improved by simple means.
Characterization of general position sets and its applications to cographs and bipartite graphs
A vertex subset $S$ of a graph $G$ is a general position set of $G$ if no vertex of $S$ lies on a geodesic between two other vertices of $S$. The cardinality of a largest general position set of $G$ is the general position number ${\rm gp}(G)$ of $G$. It is proved that $S\subseteq V(G)$ is in general position if and only if the components of $G[S]$ are complete subgraphs, the vertices of which form an in-transitive, distance-constant partition of $S$. If ${\rm diam}(G) = 2$, then ${\rm gp}(G)$ is the maximum of $ω(G)$ and the maximum order of an induced complete multipartite subgraph of the complement of $G$. As a consequence, ${\rm gp}(G)$ of a cograph $G$ can be determined in polynomial time. If $G$ is bipartite, then ${\rm gp}(G) \leq α(G)$ with equality if ${\rm diam}(G) \in \{2,3\}$. A formula for the general position number of the complement of an arbitrary bipartite graph is deduced and simplified for the complements of trees, of grids, and of hypercubes.
The Connectivity of the Dual
The dual of a polyhedron is a polyhedron -- or in graph theoretical terms: the dual of a 3-connected plane graph is a 3-connected plane graph. Astonishingly, except for sufficiently large facewidth, not much is known about the connectivity of the dual on higher surfaces. Are the duals of 3-connected embedded graphs of higher genus 3-connected, too? If not: which connectivity guarantees 3-connectedness of the dual? In this article, we give answers to this and related questions. Among other things, we prove that there is no connectivity that for every genus guarantees the 3-connectedness or 2-connectedness of the dual, and give upper bounds for the minimum genus for which (with c>2) a c-connected embedded graphs with a dual that has a 1- or 2-cut can occur. For the torus, we determine exact values for the connectivity needed to guarantee 3- respectively 2-connectivity of the dual. We prove that already on the torus, we need 6-connectedness to guarantee 3-connectedness of the dual and 4-connectedness to guarantee 2-connectedness of the dual.
In the last section, we answer a related question by Plummer and Zha on orientable embeddings of highly connected non-complete graphs.
The complexity of solution-free sets of integers
Given a linear equation L, a set A of integers is L-free if A does not contain any non-trivial solutions to L. Meeks and Treglown showed that for certain kinds of linear equations, it is NP-complete to decide if a given set of integers contains a solution-free subset of a given size. Also, for equations involving three variables, they showed that the problem of determining the size of the largest solution-free subset is APX-hard, and that for two such equations (representing sum-free and progression-free sets), the problem of deciding if there is a solution-free subset with at least a specified proportion of the elements is also NP-complete.
We answer a number of questions posed by Meeks and Treglown, by extending the results above to all linear equations, and showing that the problems remain hard for sets of integers whose elements are polynomially bounded in the size of the set. For most of these results, the integers can all be positive as long as the coefficients do not all have the same sign.
We also consider the problem of counting the number of solution-free subsets of a given set, and show that this problem is #P-complete for any linear equation in at least three variables.
The triangle groups (2,4,5) and (2,5,5) are not systolic
In this paper we provide new examples of hyperbolic but nonsystolic groups by showing that the triangle groups $(2,4,5)$ and $(2,5,5)$ are not systolic. Along the way we prove some results about subsets of systolic complexes stable under involutions.
Intersections between the norm-trace curve and some low degree curves
In this paper we analyze the intersection between the norm-trace curve over $\mathbb{F}_{q^3}$ and the curves of the form $y=ax^3+bx^2+cx+d$, giving a complete characterization of the intersection between the curve and the parabolas, as well as sharp bounds for the other cases. This information is used for the determination of the weight distribution of some one-point AG codes constructed on the curve.
On a question of Sidorenko
For a positive integer $n>1$ denote by $ω(n)$ the maximal possible number $k$ of different functions $f_1,\dots,f_k:\mathbb{Z}/n\mathbb{Z}\mapsto \mathbb{Z}/n\mathbb{Z}$ such that each function $f_i-f_j,i<j$, is bijective. Recently A. Sidorenko conjectured that $ω(n)$ equals to the minimal prime divisor of $n$. We disprove it for $n=15,21,27$ by several counterexamples found by computer.
Vertex-Facet Assignments For Polytopes
Published
• View Publication
• BIB
Motivated by the search for reduced polytopes, we consider the following question: For which polytopes exists a vertex-facet assignment, that is, a matching between vertices and non-incident facets, so that the matching covers either all vertices, or all facets? We provide general conditions for the existence of such an assignment. We conclude that such exist for all simple and simplicial polytopes, as well as all polytopes of dimension $d\le 6$. We construct counterexample in all dimensions $d\ge 7$.
A note on spanning trees with a specified degree sequence
Published in Bol Soc Mat Mex 26 (2020) 241 - 245
• View Publication
• BIB
We give an Ore-Type condition sufficient for a graph G to have a spanning tree with a specified degree sequence.
Matroids over one-dimensional groups
Published in Int. Math. Res. Not., 2022:3, 2298-2336
• View Publication
• BIB
We develop the theory of matroids over one-dimensional algebraic groups, with special emphasis on positive characteristic. In particular, we compute the Lindström valuations and Frobenius flocks of such matroids. Building on work by Evans and Hrushovski, we show that the class of algebraic matroids, paired with their Lindström valuations, is not closed under duality of valuated matroids.
The lattice permutation condition for Kronecker tableaux (Extended Abstract)
We recently generalised the lattice permutation condition for Young tableaux to Kronecker tableaux and hence calculated a large new class of stable Kronecker coefficients labelled by co-Pieri triples. In this extended abstract we discuss important families of co-Pieri triples for which our combinatorics simplifies drastically.
Limits on the Universal Method for Matrix Multiplication
In this work, we prove limitations on the known methods for designing matrix multiplication algorithms. Alman and Vassilevska Williams recently defined the Universal Method, which substantially generalizes all the known approaches including Strassen's Laser Method and Cohn and Umans' Group Theoretic Method. We prove concrete lower bounds on the algorithms one can design by applying the Universal Method to many different tensors. Our proofs use new tools for upper bounding the asymptotic slice rank of a wide range of tensors. Our main result is that the Universal method applied to any Coppersmith-Winograd tensor $CW_q$ cannot yield a bound on $ω$, the exponent of matrix multiplication, better than $2.16805$. By comparison, it was previously only known that the weaker `Galactic Method' applied to $CW_q$ could not achieve an exponent of $2$.
We also study the Laser Method (which is, in principle, a highly special case of the Universal Method) and prove that it is "complete" for matrix multiplication algorithms: when it applies to a tensor $T$, it achieves $ω= 2$ if and only if it is possible for the Universal method applied to $T$ to achieve $ω= 2$. Hence, the Laser Method, which was originally used as an algorithmic tool, can also be seen as a lower bounding tool. For example, in their landmark paper, Coppersmith and Winograd achieved a bound of $ω\leq 2.376$, by applying the Laser Method to $CW_q$. By our result, the fact that they did not achieve $ω=2$ implies a lower bound on the Universal Method applied to $CW_q$. Indeed, if it were possible for the Universal Method applied to $CW_q$ to achieve $ω=2$, then Coppersmith and Winograd's application of the Laser Method would have achieved $ω=2$.
Further investigations into the graph theory of $φ^4$-periods and the $c_2$ invariant
A Feynman period is a particular residue of a scalar Feynman integral which is both physically and number theoretically interesting. Two ways in which the graph theory of the underlying Feynman graph can illuminate the Feynman period are via graph operations which are period invariant and other graph quantities which predict aspects of the Feynman period, one notable example is known as the $c_2$ invariant. We give results and computations in both these directions, proving a new period identity and computing its consequences up to 11 loops in $φ^4$-theory, proving a $c_2$ invariant identity, and giving the results of a computational investigation of $c_2$ invariants at 11 loops.