Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Near-domination in graphs
Published
• View Publication
• BIB
A vertex u of a graph t-dominates a vertex v if there are at most t vertices different from u,v that are adjacent to v and not to u; and a graph is t-dominating if for every pair of distinct vertices, one of them t-dominates the other. Our main result says that if a graph is t-dominating, then it is close (in an appropriate sense) to being 0-dominating. We also show that an analogous statement for digraphs is false; and discuss some connections with the Erdos-Hajnal conjecture.
On the Hurwitz action in affine Coxeter groups
Published
• View Publication
• BIB
We show that for a parabolic quasi-Coxeter element in an affine Coxeter group the Hurwitz action on its set of reduced factorizations into a product of reflections is transitive. We call an element of the Coxeter group parabolic quasi-Coxeter element if it has a reduced factorization into a product of reflections that generate a parabolic subgroup.
On spectral radii of unraveled balls
Published in Journal of Combinatorial Theory, Series B, Volume 136, 2019, Pages 72-80
• View Publication
• BIB
Given a graph $G$, the unraveled ball of radius $r$ centered at a vertex $v$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We prove a lower bound on the maximum spectral radius of unraveled balls of fixed radius, and we show, among other things, that if the average degree of $G$ after deleting any ball of radius $r$ is at least $d$ then its second largest eigenvalue is at least $2\sqrt{d-1}\cos(\fracπ{r+1})$.
Perfect k-colored matchings and (k+2)-gonal tilings
Published
• View Publication
• BIB
We derive a simple bijection between geometric plane perfect matchings on $2n$ points in convex position and triangulations on $n+2$ points in convex position. We then extend this bijection to monochromatic plane perfect matchings on periodically $k$-colored vertices and $(k+2)$-gonal tilings of convex point sets. These structures are related to a generalization of Temperley-Lieb algebras and our bijections provide explicit one-to-one relations between matchings and tilings. Moreover, for a given element of one class, the corresponding element of the other class can be computed in linear time.
Counting compositions over finite abelian groups
Published
• View Publication
• BIB
We find the number of compositions over finite abelian groups under two types of restrictions: (i) each part belongs to a given subset and (ii) small runs of consecutive parts must have given properties. Waring's problem over finite fields can be converted to type~(i) compositions, whereas Carlitz and locally Mullen compositions can be formulated as type~(ii) compositions. We use the multisection formula to translate the problem from integers to group elements, the transfer matrix method to do exact counting, and finally the Perron-Frobenius theorem to derive asymptotics. We also exhibit bijections involving certain restricted classes of compositions.
3 List Coloring Graphs of Girth at least Five on Surfaces
Published
• View Publication
• BIB
Grotzsch proved that every triangle-free planar graph is 3-colorable. Thomassen proved that every planar graph of girth at least five is 3-choosable. As for other surfaces, Thomassen proved that there are only finitely many 4-critical graphs of girth at least five embeddable in any fixed surface. This implies a linear-time algorithm for deciding 3-colorablity for graphs of girth at least five on any fixed surface. Dvorak, Kral and Thomas strengthened Thomassen's result by proving that the number of vertices in a 4-critical graph of girth at least five is linear in its genus. They used this result to prove Havel's conjecture that a planar graph whose triangles are pairwise far enough apart is 3-colorable. As for list-coloring, Dvorak proved that a planar graph whose cycles of size at most four are pairwise far enough part is 3-choosable.
In this article, we generalize these results. First we prove a linear isoperimetric bound for 3-list-coloring graphs of girth at least five. Many new results then follow from the theory of hyperbolic families of graphs developed by Postle and Thomas. In particular, it follows that there are only finitely many 4-list-critical graphs of girth at least five on any fixed surface, and that in fact the number of vertices of a 4-list-critical graph is linear in its genus. This provides independent proofs of the above results while generalizing Dvorak's result to graphs on surfaces that have large edge-width and yields a similar result showing that a graph of girth at least five with crossings pairwise far apart is 3-choosable. Finally, we generalize to surfaces Thomassen's result that every planar graph of girth at least five has exponentially many distinct 3-list-colorings. Specifically, we show that every graph of girth at least five that has a 3-list-coloring has $2^{Ω(n)-O(g)}$ distinct 3-list-colorings.
Computing reflection length in an affine Coxeter group
Published in Trans. Amer. Math. Soc. 371 (2019), no. 6, 4097-4127
• View Publication
• BIB
In any Coxeter group, the conjugates of elements in its Coxeter generating set are called reflections and the reflection length of an element is its length with respect to this expanded generating set. In this article we give a simple formula that computes the reflection length of any element in any affine Coxeter group and we provide a simple uniform proof.
On Hamilton Decompositions of Line Graphs of Non-Hamiltonian Graphs and Graphs without Separating Transitions
In contrast with Kotzig's result that the line graph of a $3$-regular graph $X$ is Hamilton decomposable if and only if $X$ is Hamiltonian, we show that for each integer $k\geq 4$ there exists a simple non-Hamiltonian $k$-regular graph whose line graph has a Hamilton decomposition. We also answer a question of Jackson by showing that for each integer $k\geq 3$ there exists a simple connected $k$-regular graph with no separating transitions whose line graph has no Hamilton decomposition.
Repetition in Colored Sequences of Balls
In responding to a question on Math Stackexchange, the author formulated the problem of determining the number of strings of balls colored in most $n$ colors with a number $k$ of repeated colors. In this paper, we formulate the problem more formally, and solve several variations.
Matroids and Canonical Forms: Theory and Applications
This thesis proposes a combinatorial generalization of a nilpotent operator on a vector space. The resulting object is highly natural, with basic connections to a variety of fields in pure mathematics, engineering, and the sciences. For the purpose of exposition we focus the discussion of applications on homological algebra and computation, with additional remarks in lattice theory, linear algebra, and abelian categories. For motivation, we recall that the methods of algebraic topology have driven remarkable progress in the qualitative study of large, noisy bodies of data over the past 15 years. A primary tool in Topological Data Analysis [TDA] is the homological persistence module, which leverages categorical structure to compare algebraic shape descriptors across multiple scales of measurement. Our principle application to computation is a novel algorithm to calculate persistent homology which, in certain cases, improves the state of the art by several orders of magnitude. Included are novel results in discrete, spectral, and algebraic Morse theory, and on the strong maps of matroid theory. The defining theme throughout is interplay between the combinatorial theory matroids and the algebraic theory of categories. The nature of these interactions is remarkably simple, but their consequences in homological algebra, quiver theory, and combinatorial optimization represent new and widely open fields for interaction between the disciplines.
A tightness property of relatively smooth permutations
Published in J. Combin. Theory Ser. A 163 (2019) 59-84
• View Publication
• BIB
It is well known that many geometric properties of Schubert varieties of type $A$ can be interpreted combinatorially. Given two permutations $w,x\in S_n$ we give a combinatorial consequence of the property that the smooth locus of the Schubert variety $X_w$ contains the Schubert cell $Y_x$. This is a necessary ingredient for the interpretation of recent representation-theoretic results of the author with Mínguez in terms of identities of Kazhdan--Lusztig polynomials.
Higher Nerves of Simplicial Complexes
Published
• View Publication
• BIB
We investigate generalized notions of the nerve complex for the facets of a simplicial complex. We show that the homologies of these higher nerve complexes determine the depth of the Stanley-Reisner ring $k[Δ]$ as well as the $f$-vector and $h$-vector of $Δ$. We present, as an application, a formula for computing regularity of monomial ideals.
Partition C*-algebras
We give a definition of partition C*-algebras: To any partition of a finite set, we assign algebraic relations for a matrix of generators of a universal C*-algebra. We then prove how certain relations may be deduced from others and we explain a partition calculus for simplifying such computations. This article is a small note for C*-algebraists having no background in compact quantum groups, although our partition C*-algebras are motivated from those underlying Banica-Speicher quantum groups (also called easy quantum groups). We list many open questions about partition C*-algebras that may be tackled by purely C*-algebraic means, ranging from ideal structures and representations on Hilbert spaces to K-theory and isomorphism questions. In a follow up article, we deal with the quantum algebraic structure associated to partition C*-algebras.
Continuants, run lengths, and Barry's modified Pascal triangle
Published in Electron. J. Combin. 26 (2019), no. 1, Paper No. 1.31, 6 pp
• View Publication
• BIB
We show that the $n$'th diagonal sum of Barry's modified Pascal triangle can be described as the continuant of the run lengths of the binary representation of $n$. We also obtain an explicit description for the row sums.
A tight Erdős-Pósa function for wheel minors
Published in SIAM J. Discrete Math. 32-3 (2018), pp. 2302-2312
• View Publication
• BIB
Let $W_t$ denote the wheel on $t+1$ vertices. We prove that for every integer $t \geq 3$ there is a constant $c=c(t)$ such that for every integer $k\geq 1$ and every graph $G$, either $G$ has $k$ vertex-disjoint subgraphs each containing $W_t$ as minor, or there is a subset $X$ of at most $c k \log k$ vertices such that $G-X$ has no $W_t$ minor. This is best possible, up to the value of $c$. We conjecture that the result remains true more generally if we replace $W_t$ with any fixed planar graph $H$.
On the skeleton of the pyramidal tours polytope
Published
• View Publication
• BIB
We consider the skeleton of the pyramidal tours polytope. Hamiltonian tour is called pyramidal if the salesperson starts in city $1$, then visits some cities in increasing order, reaches city $n$ and returns to city $1$, visiting the remaining cities in decreasing order. The polytope $PYR(n)$ is defined as the convex hull of characteristic vectors of all pyramidal tours in the complete graph $K_{n}$. The skeleton of the polytope $PYR(n)$ is the graph whose vertex set is the vertex set of $PYR(n)$ and edge set is the set of geometric edges or one-dimensional faces of $PYR(n)$. We describe the necessary and sufficient condition for the adjacency of vertices of the polytope $PYR(n)$. On this basis we developed an algorithm to check the vertex adjacency with a linear complexity. We establish that the diameter of $PYR(n)$ skeleton equals 2, and the asymptotically exact estimate of $PYR(n)$ skeleton's clique number is $Θ(n^{2})$. It is known that this value characterizes the time complexity in a broad class of algorithms based on linear comparisons.
A group version of stable regularity
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 405-413
• View Publication
• BIB
We prove that, given $ε>0$ and $k\geq 1$, there is an integer $n$ such that the following holds. Suppose $G$ is a finite group and $A\subseteq G$ is $k$-stable. Then there is a normal subgroup $H\leq G$ of index at most $n$, and a set $Y\subseteq G$, which is a union of cosets of $H$, such that $|A\vartriangle Y|\leqε|H|$. It follows that, for any coset $C$ of $H$, either $|C\cap A|\leq ε|H|$ or $|C\setminus A|\leq ε|H|$. This qualitatively generalizes recent work of Terry and Wolf on vector spaces over $\mathbb{F}_p$.
Hemisystems of the Hermitian Surface
Published
• View Publication
• BIB
We present a new method for the study of hemisystems of the Hermitian surface $\mathcal{U}_3$ of $PG(3,q^2)$. The basic idea is to represent generator-sets of $\mathcal{U}_3$ by means of a maximal curve naturally embedded in $\mathcal{U}_3$ so that a sufficient condition for the existence of hemisystems may follow from results about maximal curves and their automorphism groups. In this paper we obtain a hemisystem in $\ PG(3,p^2)$ for each $p$ prime of the form $p=1+16n^2$ with an integer $n$. Since the famous Landau's conjecture dating back to 1904 is still to be proved (or disproved), it is unknown whether there exists an infinite sequence of such primes. What is known so far is that just $18$ primes up to $51000$ with this property exist, namely $17,257,401,577, 1297,1601, 3137, 7057,13457,14401,15377,24337,25601,30977,$ $ 32401,33857,41617,50177.$ The scarcity of such primes seems to confirm that hemisystems of $\mathcal{U}_3$ are rare objects.
On the spectrum of directed uniform and non-uniform hypergraphs
Here, we suggest a method to represent general directed uniform and non-uniform hypergraphs by different connectivity tensors. We show many results on spectral properties of undirected hypergraphs also hold for general directed uniform hypergraphs. Our representation of a connectivity tensor will be very useful for the further development in spectral theory of directed hypergraphs. At the end, we have also introduced the concept of weak* irreducible hypermatrix to better explain connectivity of a directed hypergraph.
Containment problem and combinatorics
Published
• View Publication
• BIB
In this note we consider two configurations of twelve lines with nineteen triple points (i.e., points where three lines meet). Both of them have the same combinatorial features. In both configurations nine of twelve lines have five triple points and one double point, and the remaining three lines have four triple points and three double points. Taking the ideal of the triple points of these configurations we discover that, quite surprisingly, for one of the configurations the containment $I^{(3)} \subset I^2$ holds, while for the other it does not. Hence for ideals of points defined by configurations of lines the (non)containment of a symbolic power in an ordinary power is not determined alone by combinatorial features of the arrangement. Moreover, for the configuration with the non-containment $I^{(3)} \nsubseteq I^2$ we examine its parameter space, which turns out to be a rational curve, and thus establish the existence of a rational non-containment configuration of points. Such rational examples are very rare.