Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Posets for $F$-polynomials in cluster algebras from surfaces
We prove a simple formula for arbitrary cluster variables in the marked surfaces model. As part of the formula, we associate a labeled poset to each tagged arc, such that the associated $F$-polynomial is a weighted sum of order ideals. Each element of the poset has a weight, and the weight of an ideal is the product of the weights of the elements of the ideal. In the unpunctured case, the weight on each element is a single $\hat{y}_i$, in the usual sense of principal coefficients. In the presence of punctures, some elements may have weights of the form $\hat{y}_i/\hat{y}_j$. Our search for such a formula was inspired by the Fundamental Theorem of Finite Distributive Lattices combined with work of Gregg Musiker, Ralf Schiffler, and Lauren Williams that, in some cases, organized the terms of the $F$-polynomial into a distributive lattice. The proof consists of a simple and poset-theoretically natural argument in a special case, followed by a hyperbolic geometry argument using a cover of the surface to prove the general case.
Singmaster-type results for Stirling numbers and some related diophantine equations
Motivated by the work of David Singmaster, we study the number of times an integer can appear among the Stirling numbers of both kinds. We provide an upper bound for the occurrences of all the positive integers, and present certain questions for further study. Some numerical results and conjectures concerning the related diohantine equations are collected.
On polynomials of small range sum
Published
• View Publication
• BIB
In order to reprove an old result of Rédei's on the number of directions determined by a set of cardinality $p$ in $\mathbb{F}_p^2$, Somlai proved that the non-constant polynomials over the field $\mathbb{F}_p$ whose range sums are equal to $p$ are of degree at least $\frac{p-1}{2}$. Here the summand in the range sum are considered as integers from the interval $[0,p-1]$. In this paper we characterise all of these polynomials having degree exactly $\frac{p-1}{2}$, if $p$ is large enough. As a consequence, for the same set of primes we re-establish the characterisation of sets with few determined directions due to Lovász and Schrijver using discrete Fourier analysis.
On irredundance coloring and irredundance compelling coloring of graphs
Published
• View Publication
• BIB
Irredundance coloring of $G$ is a proper coloring in which there exists a maximal irredundant set $R$ such that all the vertices of $R$ have different colors. The minimum number of colors required for an irredundance coloring of $G$ is called the irredundance chromatic number of $G$, and is denoted by $χ_{i}(G)$. Irredundance compelling coloring of $G$ is a proper coloring of $G$ in which every rainbow committee (the set containing a vertex of each color) is an irredundant set of $G$. The maximum number of colors required for an irredundance compelling coloring of $G$ is called the irredundance compelling chromatic number of $G$, and is denoted by $χ_{irc}(G)$. In this paper, we make a detailed study on $χ_{i}(G)$, $χ_{irc}(G)$ and its relation to other coloring and domination parameters
Critical trees are neither too short nor too fat
Published
• View Publication
• BIB
We establish lower tail bounds for the height, and upper tail bounds for the width, of critical size-conditioned Bienaymé trees. Our bounds are optimal at this level of generality. We also obtain precise asymptotics for offspring distributions within the domain of attraction of a Cauchy distribution, under a local regularity assumption. Finally, we pose some questions on the possible asymptotic behaviours of the height and width of critical size-conditioned Bienaymé trees.
The Density Formula: One Lemma to Bound Them All
We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan-crossing / fan-planar graphs, $k$-bend RAC-graphs with $k=0,1,2$, quasiplanar graphs, and $k^+$-real face graphs. In some cases ($1$-bend and $2$-bend RAC-graphs and fan-crossing / fan-planar graphs), we thereby obtain the first tight upper bounds on the edge density of the respective graph classes. In other cases, we give new streamlined and significantly shorter proofs for bounds that were already known in the literature. Thanks to the Density Formula, all of our proofs are mostly elementary counting and mostly circumvent the typical intricate case analysis found in earlier proofs. Further, in some cases (simple and non-homotopic quasiplanar graphs), our alternative proofs using the Density Formula lead to the first tight lower bound examples.
Problems on infinite sumset configurations in the integers and beyond
Published
• View Publication
• BIB
In contrast to finite arithmetic configurations, relatively little is known about which infinite patterns can be found in every set of natural numbers with positive density. Building on recent advances showing infinite sumsets can be found, we explore numerous open problems and obstructions to finding other infinite configurations in every set of natural numbers with positive density.
Absolute retracts of reflexive oriented graphs: the role of the MacNeille completion
We characterize the absolute retracts in the category of reflexive oriented graphs, that is, antisymmetric reflexive graphs, where morphisms between objects preserve arcs (which may be sent to loops). Here we show, by correcting a much earlier attempt at a proof, that a reflexive oriented graph is an absolute retract if and only if it is indeed a retract of some (direct) product of reflexive oriented zigzags (which are concatenations of reflexive oriented paths). Absolute retracts are therefore necessarily acyclic. In contrast to other categories of graphs and ordered sets, not every acyclic oriented graph can be embedded isometrically into some absolute retract. Embedding involves isometry with respect to the zig-zag distances forming a particular "dual quantale", which is a complete lattice of certain sets of words over the alphabet $\{+, -\}$, endowed with an additional monoid operation (viz., compound concatenation of sets of words) and an involution (interchanging $+$ and $- $ and then mirroring words). As reflexive oriented zigzags have MacNeille-closed distances, so do their products and retracts. So, the category of reflexive oriented graphs and its full subcategory of reflexive acyclic graphs do not have enough injectives, as the injective objects coincide with the absolute retracts.
Triviality of critical Fortuin-Kasteleyn decorated planar maps for $q>4$
Published
• View Publication
• BIB
We consider infinite random planar maps decorated by the critical Fortuin-Kasteleyn model with parameter $q>4$. The paper demonstrates that when appropriately rescaled, these maps converge in law to the infinite continuum random tree as pointed metric-measure spaces, that is, with respect to the local Gromov-Hausdorff-Prokhorov topology. Furthermore, we also show that these maps do not admit any Fortuin-Kasteleyn loops with a macroscopic graph distance diameter. Our proof is based on Scott Sheffield's hamburger-cheeseburger bijection.
Compact Matrix Quantum Group Equivariant Neural Networks
Group equivariant neural networks have proven effective in modelling a wide range of tasks where the data lives in a classical geometric space and exhibits well-defined group symmetries. However, these networks are not suitable for learning from data that lives in a non-commutative geometry, described formally by non-commutative $C^{*}$-algebras, since the $C^{*}$-algebra of continuous functions on a compact matrix group is commutative. To address this limitation, we derive the existence of a new type of equivariant neural network, called compact matrix quantum group equivariant neural networks, which encode symmetries that are described by compact matrix quantum groups. We characterise the weight matrices that appear in these neural networks for the easy compact matrix quantum groups, which are defined by set partitions. As a result, we obtain new characterisations of equivariant weight matrices for some compact matrix groups that have not appeared previously in the machine learning literature.
Root and weight semigroup rings for signed posets
We consider a pair of semigroups associated to a signed poset, called the root semigroup and the weight semigroup, and their semigroup rings, $R_P^\mathrm{rt}$ and $R_P^\mathrm{wt}$, respectively.
Theorem 4.1.5 gives generators for the toric ideal of affine semigroup rings associated to signed posets and, more generally, oriented signed graphs. These are the subrings of Laurent polynomials generated by monomials of the form $t_i^{\pm 1},t_i^{\pm 2},t_i^{\pm 1}t_j^{\pm 1}$. This result appears to be new and generalizes work of Boussicault, Féray, Lascoux and Reiner, of Gitler, Reyes, and Villarreal, and of Villarreal. Theorem 4.2.12 shows that strongly planar signed posets $P$ have rings $R_P^\mathrm{rt}$, $R_{P^{\scriptscriptstyle\vee}}$ which are complete intersections, with Corollary 4.2.20 showing how to compute $Ψ_P$ in this case. Theorem 5.2.3 gives a Gröbner basis for the toric ideal of $R_P^{\mathrm{wt}}$ in type B, generalizing Proposition 6.4 of Féray and Reiner. Theorems 5.3.10 and 5.3.1 give two characterizations (via forbidden subposets versus via inductive constructions) of the situation where this Gröbner basis gives a complete intersection presentation for its initial ideal, generalizing Theorems 10.5 and 10.6 of Féray and Reiner.
Deformations and q-convolutions. Old and new results
This paper is the survey of some of our results related to $q$-deformations of the Fock spaces and related to $q$-convolutions for probability measures on the real line $\mathbb{R}$. The main idea is done by the combinatorics of moments of the measures and related $q$-cumulants of different types. The main and interesting $q$-convolutions are related to classical continuous (discrete) $q$-Hermite polynomial. Among them are classical ($q=1$) convolutions, the case $q=0$, gives the free and Boolean relations, and the new class of $q$-analogue of classical convolutions done by Carnovole, Koornwinder, Biane, Anshelovich, and Kula. The paper contains many questions and problems related to the positivity of that class of $q$-convolutions. The main result is the construction of Brownian motion related to $q$-Discrete Hermite polynomial of type I.
On the Connectivity of the Vietoris-Rips Complex of a Hypercube Graph
We bring in the techniques of independence complexes and the notion of total dominating sets of a graph to bear on the question of the connectivity of the Vietoris-Rips complexes $VR(Q_n; r)$ of an $n$-hypercube graph. We obtain a lower bound for the connectivity of $VR(Q_n; r)$ for an arbitrary $n$-dimension hypercube and at all scale parameters $r$. The obtained bounds disprove the conjecture of Shukla that $\VR$ is $r$-connected.
Induced subgraphs and tree decompositions XIII. Basic obstructions in $\mathcal{H}$-free graphs for finite $\mathcal{H}$
Published in Advances in Combinatorics 2024:6, 30pp
• View Publication
• BIB
Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\geq 1$, the $t$-basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$, along with the subdivisions of the $t$-by-$t$ wall and their line graphs. But this list is far from complete. The simplest example of a ''non-basic'' obstruction is due to Pohoata and Davies (independently). For every $n \geq 1$, they construct certain graphs of treewidth $n$ and with no $3$-basic obstruction as an induced subgraph, which we call $n$-arrays. Let us say a graph class $\mathcal{G}$ is clean if the only obstructions to bounded treewidth in $\mathcal{G}$ are in fact the basic ones. It follows that a full description of the induced subgraph obstructions to bounded treewidth is equivalent to a characterization of all families $\mathcal{H}$ of graphs for which the class of all $\mathcal{H}$-free graphs is clean (a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to any graph in $\mathcal{H}$). This remains elusive, but there is an immediate necessary condition: if $\mathcal{H}$-free graphs are clean, then there are only finitely many integers $n\geq 1$ such that there is an $n$-array which is $\mathcal{H}$-free. The above necessary condition is not sufficient in general. However, the situation turns out to be different if $\mathcal{H}$ is finite: we prove that for every finite set $\mathcal{H}$ of graphs, the class of all $\mathcal{H}$-free graphs is clean if and only if there is no $\mathcal{H}$-free $n$-array except possibly for finitely many values of $n$.
On a radial projection conjecture and pinned directions in finite spaces
We give upper bounds on the number of exceptional radial projections of arbitrary subsets of vector spaces over finite fields. Our bounds do not depend on the dimension of the ambient space.
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over $\mathbb{F}_q$, let $k \in \{1,2,\ldots,d-1\}$, and let $E \subseteq \mathbb{F}_q^d$ be an arbitrary set of points. We prove two results. First, if $q^{k-1} < |E| \leq 100^{-1}q^{k}$, then the number of points $y$ such that the projection of $E$ from $y$ contains fewer than $50^{-1}|E|$ points is bounded above by $40q^k$. This establishes a conjecture of Lund, Pham, and Thu. Second, if $30q^{k} \leq |E| \leq q^{k+1}$, then the number of points $y$ such that the projection of $E$ from $y$ contains fewer than $M \leq 4^{-1}q^k$ points is bounded above by $300q^kM|E|^{-1}$. We also have an application to a pinned directions problem. Specifically, if $E\subset \mathbb{F}_q^d$ with $|E| > 30q^k$, then there is a point $y \in E$ such that the set of lines incident to $y$ and at least one other point of $E$ determines $q^k/4$ distinct slopes.
Orthogonal projections and incidence bounds in planes over prime order fields
Let $p$ be an odd prime and let $E\subset \mathbb{F}_p^2$ with $|E|=p^a$, where $0<a\le 1$. For a direction $V$ (a $1$-dimensional subspace of $\mathbb{F}_p^2$), let $π^V:\mathbb{F}_p^2\to \mathbb{F}_p^2/V$ denote the quotient map. We bound the size of the exceptional set of directions for which the projection $π^V(E)$ is small. More precisely, for $a/2\le s\le a$, define $$ T_s^{1,2}(E):=\{V\in G(1,\mathbb{F}_p^2):\ |π^V(E)|<p^s\}. $$ We prove $$ |T_s^{1,2}(E)|\ll \min\{\,p^{\frac52 s-a},\ p^{6s-3a},\ p^s\,\}, $$ which improves the best previously known estimates over prime fields in the range $a/2\le s<2a/3$, and yields the first substantial progress toward Chen's 2018 conjecture. The key new ingredient is a novel point-line incidence bound, of independent interest, that yields a power saving when the line set spans only moderately many distinct directions.
In the reverse direction, we also obtain an incidence estimate for Cartesian products $A\times B$ with line families $\{y=ax+b:\ a,b\in C\}$ with explicit dependence on the additive energy $E^+(C)$. We also discuss connections to the sum-set problem and the distinct dot-product values conjecture.
A Weighted-Graph Curvature Calculator and Whether the Discrete Curvature Senses the Smooth One
We investigate whether there is a relationship between the discrete Bakry-Émery curvature of a graph and the smooth curvature of an ambient surface into which the graph is embedded geodesically. As we used weighted graphs as test objects, we developed a program for the calculation of the discrete curvature and with the help of this calculator, we observed some indications of such a relationship.
An optimal chromatic bound for the class of $\{P_3\cup 2K_1,\overline{P_3\cup 2K_1}\}$-free graphs
Published
• View Publication
• BIB
In 1987, A. Gyárfás in his paper ``Problems from the world surrounding perfect graphs'' posed the problem of determining the smallest $χ$-binding function for $\mathcal{G}(F,\overline{F})$, when $\mathcal{G}(F)$ is $χ$-bounded. So far the problem has been attempted for only forest $F$ with four or five vertices. In this paper, we address the case when $F=P_3\cup 2K_1$ and show that if $G$ is a $\{P_3\cup 2K_1,\overline{P_3\cup 2K_1}\}$-free graph with $ω(G)\neq 3$, then it admits $ω(G)+1$ as a $χ$-binding function. Moreover, we also construct examples to show that this bound is tight for all values of $ω\neq 3$.
$K_2$-Hamiltonian Graphs: II
Published in J. Graph Theory. 2024; 105: 580-611
• View Publication
• BIB
In this paper we use theoretical and computational tools to continue our investigation of $K_2$-hamiltonian graphs, that is, graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, and their interplay with $K_1$-hamiltonian graphs, that is, graphs in which every vertex-deleted subgraph is hamiltonian. Perhaps surprisingly, there exist graphs that are both $K_1$- and $K_2$-hamiltonian, yet non-hamiltonian, for example, the Petersen graph. Grünbaum conjectured that every planar $K_1$-hamiltonian graph must itself be hamiltonian; Thomassen disproved this conjecture. Here we show that even planar graphs that are both $K_1$- and $K_2$-hamiltonian need not be hamiltonian, and that the number of such graphs grows at least exponentially. Motivated by results of Aldred, McKay, and Wormald, we determine for every integer $n$ that is not 14 or 17 whether there exists a $K_2$-hypohamiltonian, that is, non-hamiltonian and $K_2$-hamiltonian, graph of order $n$, and characterise all orders for which such cubic graphs and such snarks exist. We also describe the smallest cubic planar graph which is $K_2$-hypohamiltonian, as well as the smallest planar $K_2$-hypohamiltonian graph of girth $5$. We conclude with open problems and by correcting two inaccuracies from the first article.
Independent domination in the graph defined by two consecutive levels of the $n$-cube
Published in Discrete Applied Mathematics 357 (2024), 161-172
• View Publication
• BIB
Fix a positive integer $n$ and consider the bipartite graph whose vertices are the $3$-element subsets and the $2$-element subsets of $[n]=\{1,2,\dots,n\}$, and there is an edge between $A$ and $B$ if $A\subset B$. We prove that the domination number of this graph is $\binom{n}{2}-\lfloor\frac{(n+1)^2}{8}\rfloor$, we characterize the dominating sets of minimum size, and we observe that the minimum size dominating set can be chosen as an independent set. This is an exact version of an asymptotic result by Balogh, Katona, Linz and Tuza (2021). For the corresponding bipartite graph between the $(k+1)$-element subsets and the $k$-elements subsets of $[n]$ ($k\geq 3$), we provide a new construction for small independent dominating sets. This improves on a construction by Gerbner, Kezegh, Lemons, Palmer, Pálvölgyi and Patkós (2012), who studied these independent dominating sets under the name saturating flat antichains.