Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A note on Penner's cocycle on the fatgraph complex
Published
• View Publication
• BIB
We study a 1-cocycle on the fatgraph complex of a punctured surface introduced by Penner. We present an explicit cobounding cochain for this cocycle, whose formula involves a summation over trivalent vertices of a trivalent fatgraph spine. In a similar fashion, we express the symplectic form of the underlying surface of a given fatgraph spine.
$k$-Critical Graphs in $P_5$-Free Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices. A graph $G$ is $k$-vertex-critical if $G$ has chromatic number $k$ but every proper induced subgraph of $G$ has chromatic number less than $k$. The study of $k$-vertex-critical graphs for graph classes is an important topic in algorithmic graph theory because if the number of such graphs that are in a given hereditary graph class is finite, then there is a polynomial-time algorithm to decide if a graph in the class is $(k-1)$-colorable.
In this paper, we initiate a systematic study of the finiteness of $k$-vertex-critical graphs in subclasses of $P_5$-free graphs. Our main result is a complete classification of the finiteness of $k$-vertex-critical graphs in the class of $(P_5,H)$-free graphs for all graphs $H$ on 4 vertices. To obtain the complete dichotomy, we prove the finiteness for four new graphs $H$ using various techniques -- such as Ramsey-type arguments and the dual of Dilworth's Theorem -- that may be of independent interest.
Solving equations in dense Sidon sets
Published
• View Publication
• BIB
We offer an alternative proof of a result of Conlon, Fox, Sudakov and Zhao on solving translation-invariant linear equations in dense Sidon sets. Our proof generalises to equations in more than five variables and yields effective bounds.
Asymptotic behavior of Wronskian polynomials that are factorized via $p$-cores and $p$-quotients
Published in Mathematical Physics, Analysis and Geometry 23 (2020), Article number: 36
• View Publication
• BIB
In this paper we consider Wronskian polynomials labeled by partitions that can be factorized via the combinatorial concepts of $p$-cores and $p$-quotients. We obtain the asymptotic behavior for these polynomials when the $p$-quotient is fixed while the size of the $p$-core grows to infinity. For this purpose, we associate the $p$-core with its characteristic vector and let all entries of this vector simultaneously tend to infinity. This result generalizes the Wronskian Hermite setting which is recovered when $p=2$.
Positive Geometries and Differential Forms with Non-Logarithmic Singularities I
Published
• View Publication
• BIB
Positive geometries encode the physics of scattering amplitudes in flat space-time and the wavefunction of the universe in cosmology for a large class of models. Their unique canonical forms, providing such quantum mechanical observables, are characterised by having only logarithmic singularities along all the boundaries of the positive geometry. However, physical observables have logarithmic singularities just for a subset of theories. Thus, it becomes crucial to understand whether a similar paradigm can underlie their structure in more general cases. In this paper we start a systematic investigation of a geometric-combinatorial characterisation of differential forms with non-logarithmic singularities, focusing on projective polytopes and related meromorphic forms with multiple poles. We introduce the notions of covariant forms and covariant pairings. Covariant forms have poles only along the boundaries of the given polytope; moreover, their leading Laurent coefficients along any of the boundaries are still covariant forms on the specific boundary. Whereas meromorphic forms in covariant pairing with a polytope are associated to a specific (signed) triangulation, in which poles on spurious boundaries do not cancel completely, but their order is lowered. These meromorphic forms can be fully characterised if the polytope they are associated to is viewed as the restriction of a higher dimensional one onto a hyperplane. The canonical form of the latter can be mapped into a covariant form or a form in covariant pairing via a covariant restriction. We show how the geometry of the higher dimensional polytope determines the structure of these differential forms. Finally, we discuss how these notions are related to Jeffrey-Kirwan residues and cosmological polytopes.
On the partitions into distinct parts and odd parts
Published
• View Publication
• BIB
In this paper, we show that the difference between the number of parts in the odd partitions of $n$ and the number of parts in the distinct partitions of $n$ satisfies Euler's recurrence relation for the partition function $p(n)$ when $n$ is odd. A decomposition of this difference in terms of the total number of parts in all the partitions of $n$ is also derived. In this context, we conjecture that for $k>0$, the series
$$
(q^2;q^2)_\infty \sum_{n=k}^\infty \frac{q^{{k\choose 2}+(k+1)n}}{(q;q)_n}
\begin{bmatrix}
n-1\\k-1
\end{bmatrix}
$$ has non-negative coefficients.
Moore-Penrose Inverses of the Signless Laplacian and Edge-Laplacian of Graphs
Published
• View Publication
• BIB
The signless Laplacian Q and signless edge-Laplacian S of a given graph may or may not be invertible. The Moore-Penrose inverses of Q and S are studied. In particular, using the incidence matrix, we find combinatorial formulas of the Moore- Penrose inverses of Q and S for trees. Also we present combinatorial formulas of the inverses of Q and S for odd unicyclic graphs.
Non-decreasing Deutsch paths
Published
• View Publication
• BIB
A variation of Dyck paths allows for down-steps of arbitrary length, not just one. This is motivated by ideas published by Emeric Deutsch around the turn of the millenium. We are interested in the subclass of them where the sequence of the levels of valleys is non-decreasing. This was studied around 20 years ago in the classical case.
Domes over curves
Published
• View Publication
• BIB
A closed piecewise linear curve is called integral if it is comprised of unit intervals. Kenyon's problem asks whether for every integral curve $γ$ in $\mathbb{R}^3$, there is a dome over $γ$, i.e. whether $γ$ is a boundary of a polyhedral surface whose faces are equilateral triangles with unit edge lengths. First, we give an algebraic necessary condition when $γ$ is a quadrilateral, thus giving a negative solution to Kenyon's problem in full generality. We then prove that domes exist over a dense set of integral curves. Finally, we give an explicit construction of domes over all regular $n$-gons.
Degree 2 Transformation Semigroups as Continuous Maps on Graphs: Foundations and Structure
Published
• View Publication
• BIB
We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action gives a deep connection between semigroup theory and graph theory. It is known that the Krohn-Rhodes complexity of a degree 2 action is at most 2. We show that the monoid of continuous maps on a graph is the translational hull of an appropriate 0-simple semigroup. We show how group mapping semigroups can be considered as regular covers of their right letter mapping image and relate this to their graph of fibers.
Point configurations, phylogenetic trees, and dissimilarity vectors
Published
• View Publication
• BIB
In 2004 Pachter and Speyer introduced the higher dissimilarity maps for phylogenetic trees and asked two important questions about their relation to the tropical Grassmannian. Multiple authors, using independent methods, answered affirmatively the first of these questions, showing that dissimilarity vectors lie on the tropical Grassmannian, but the second question, whether the set of dissimilarity vectors forms a tropical subvariety, remained opened. We resolve this question by showing that the tropical balancing condition fails. However, by replacing the definition of the dissimilarity map with a weighted variant, we show that weighted dissimilarity vectors form a tropical subvariety of the tropical Grassmannian in exactly the way that Pachter--Speyer envisioned. Moreover, we provide a geometric interpretation in terms of configurations of points on rational normal curves and construct a finite tropical basis that yields an explicit characterization of weighted dissimilarity vectors.
On the difference between the eccentric connectivity index and eccentric distance sum of graphs
Published
• View Publication
• BIB
The eccentric connectivity index of a graph $G$ is $ξ^c(G) = \sum_{v \in V(G)}\varepsilon(v)°(v)$, and the eccentric distance sum is $ξ^d(G) = \sum_{v \in V(G)}\varepsilon(v)D(v)$, where $\varepsilon(v)$ is the eccentricity of $v$, and $D(v)$ the sum of distances between $v$ and the other vertices. A lower and an upper bound on $ξ^d(G) - ξ^c(G)$ is given for an arbitrary graph $G$. Regular graphs with diameter at most $2$ and joins of cocktail-party graphs with complete graphs form the graphs that attain the two equalities, respectively. Sharp lower and upper bounds on $ξ^d(T) - ξ^c(T)$ are given for arbitrary trees. Sharp lower and upper bounds on $ξ^d(G)+ξ^c(G)$ for arbitrary graphs $G$ are also given, and a sharp lower bound on $ξ^d(G)$ for graphs $G$ with a given radius is proved.
On the affine Hecke category for $SL_3$
Published
• View Publication
• BIB
We study the diagrammatic Hecke category associated with the affine Weyl group of type $\tilde{A}_2$. More precisely we find a (surprisingly simple) basis for the Hom spaces between indecomposable objects, that we call indecomposable double leaves.
Graph hypersurfaces with torus action and a conjecture of Aluffi
Published in Commun. Number Theory Phys. 15,3 (2021), 455-488
• View Publication
• BIB
Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a suitable graph. This disproves a conjecture of Aluffi in a strong sense.
Sublinear Longest Path Transversals
Published
• View Publication
• BIB
We show that connected graphs admit sublinear longest path transversals. This improves an earlier result of Rautenbach and Sereni and is related to the fifty-year-old question of whether connected graphs admit longest path transversals of constant size. The same technique allows us to show that $2$-connected graphs admit sublinear longest cycle transversals.
Domineering games with minimal number of moves
Domineering is a two-player game played on a checkerboard in which one player places dominoes vertically, while the other places them horizontally. In this paper, we find out the minimum number of moves for a game of Domineering to end on several rectangular $m \times n$ boards. We also formulate two problems pertaining to patterns found in the obtained results.
Recent progress in combinatorial random matrix theory
Published
• View Publication
• BIB
We discuss recent progress many problems in random matrix theory of a combinatorial nature, including several breakthroughs that solve long standing famous conjectures.
A Marstrand type slicing theorem for subsets of $\mathbb{Z}^2 \subset \mathbb{R}^2$ with the mass dimension
Published
• View Publication
• BIB
We prove a Marstrand type slicing theorem for the subsets of the integer square lattice. This problem is the dual of the corresponding projection theorem, which was considered by Glasscock, and Lima and Moreira, with the mass and counting dimensions applied to subsets of $\mathbb{Z}^{d}$. In this paper, more generally we deal with a subset of the plane that is $1$ separated, and the result for subsets of the integer lattice follow as a special case. We show that the natural slicing question in this setting is true with the mass dimension.
Ice-Flower Systems And Star-graphic Lattices
Published
• View Publication
• BIB
Lattice theory has been believed to resist classical computers and quantum computers. Since there are connections between traditional lattices and graphic lattices, it is meaningful to research graphic lattices. We define the so-called ice-flower systems by our uncolored or colored leaf-splitting and leaf-coinciding operations. These ice-flower systems enable us to construct several star-graphic lattices. We use our star-graphic lattices to express some well-known results of graph theory and compute the number of elements of a particular star-graphic lattice. For more researching ice-flower systems and star-graphic lattices we propose Decomposition Number String Problem, finding strongly colored uniform ice-flower systems and connecting our star-graphic lattices with traditional lattices.
Path isomorphisms between quiver Hecke and diagrammatic Bott-Samelson endomorphism algebras
Published
• View Publication
• BIB
We construct an explicit isomorphism between (truncations of) quiver Hecke algebras and Elias-Williamson's diagrammatic endomorphism algebras of Bott-Samelson bimodules. As a corollary, we deduce that the decomposition numbers of these algebras (including as examples the symmetric groups and generalised blob algebras) are tautologically equal to the associated $p$-Kazhdan-Lusztig polynomials, provided that the characteristic is greater than the Coxeter number. We hence give an elementary and more explicit proof of the main theorem of Riche-Williamson's recent monograph and extend their categorical equivalence to cyclotomic Hecke algebras, thus solving Libedinsky-Plaza's categorical blob conjecture.