Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Genus distribution polynomials for bicellular bicolored maps all with real zeros
Enumerating bicolored maps and maps according to the numbers (and possibly types) of edges, faces, white vertices, black vertices and genus has been an important topic arising in many fields of mathematics and physics. In particular, Jackson (1987), Zagier (1995) and Stanley (2011) respectively obtained some expressions for the generating polynomial of the numbers of one-face bicolored maps with given number of edges and white vertex degree distribution while tracking the number of black vertices. The cases for multiple faces are harder. In this paper,
we first obtain the number for that of bicolored maps with two faces, i.e., bicellular, of arbitrary length distribution, and then derive an explicit formula for the corresponding generating polynomial with respect to genus. We next prove that the generating polynomial essentially has only real zeros and thus the genus distribution is log-concave.
Auslander-Reiten combinatorics and $q$-characters of representations of affine quantum groups
For each simple Lie algebra $\mathfrak{g}$ of simply-laced type, Hernandez and Leclerc introduced a certain category $\mathcal{C}_{\mathbb{Z}}$ of finite-dimensional representations of the quantum affine algebra of $\mathfrak{g}$, as well as certain subcategories $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ depending on a choice of height function adapted to an orientation of the Dynkin graph of $\mathfrak{g}$. In our previous work we constructed an algebra homomorphism $\widetilde{D}_ξ$ whose domain contains the image of the Grothendieck ring of $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ under the truncated $q$-character morphism $\widetildeχ_q$ corresponding to $ξ$. We exhibited a close relationship between the composition of $\widetilde{D}_ξ$ with $\widetildeχ_q$ and the morphism $\overline{D}$ recently introduced by Baumann, Kamnitzer and Knutson in their study of the equivariant homology of Mirković-Vilonen cycles. In this paper, we extend $\widetilde{D}_ξ$ in order to investigate its composition with Frenkel-Reshetikhin's original $q$-character morphism. Our main result consists in proving that the $q$-characters of all standard modules in $\mathcal{C}_{\mathbb{Z}}$ lie in the kernel of $\widetilde{D}_ξ$. This provides a large family of new non-trivial rational identities suggesting possible geometric interpretations.
Smoothed analysis for graph isomorphism
Published
• View Publication
• BIB
There is no known polynomial-time algorithm for graph isomorphism testing, but elementary combinatorial "refinement" algorithms seem to be very efficient in practice. Some philosophical justification is provided by a classical theorem of Babai, Erdős and Selkow: an extremely simple polynomial-time combinatorial algorithm (variously known as "naïve refinement", "naïve vertex classification", "colour refinement" or the "1-dimensional Weisfeiler-Leman algorithm") yields a so-called canonical labelling scheme for "almost all graphs". More precisely, for a typical outcome of a random graph $G(n,1/2)$, this simple combinatorial algorithm assigns labels to vertices in a way that easily permits isomorphism-testing against any other graph.
We improve the Babai-Erdős-Selkow theorem in two directions. First, we consider randomly perturbed graphs, in accordance with the smoothed analysis philosophy of Spielman and Teng: for any graph $G$, naïve refinement becomes effective after a tiny random perturbation to $G$ (specifically, the addition and removal of $O(n\log n)$ random edges). Actually, with a twist on naïve refinement, we show that $O(n)$ random additions and removals suffice. These results significantly improve on previous work of Gaudio-Rácz-Sridhar, and are in certain senses best-possible.
Second, we complete a long line of research on canonical labelling of random graphs: for any $p$ (possibly depending on $n$), we prove that a random graph $G(n,p)$ can typically be canonically labelled in polynomial time. This is most interesting in the extremely sparse regime where $p$ has order of magnitude $c/n$; denser regimes were previously handled by Bollobás, Czajka-Pandurangan, and Linial-Mosheiff. Our proof also provides a description of the automorphism group of a typical outcome of $G(n,p_n)$ (slightly correcting a prediction of Linial-Mosheiff).
Spread blow-up lemma with an application to perturbed random graphs
Combining ideas of Pham, Sah, Sawhney, and Simkin on spread perfect matchings in super-regular bipartite graphs with an algorithmic blow-up lemma, we prove a spread version of the blow-up lemma. Intuitively, this means that there exists a probability measure over copies of a desired spanning graph $H$ in a given system of super-regular pairs which does not heavily pin down any subset of vertices. This allows one to complement the use of the blow-up lemma with the recently resolved Kahn-Kalai conjecture. As an application, we prove an approximate version of a conjecture of Böttcher, Parczyk, Sgueglia, and Skokan on the threshold for appearance of powers of Hamilton cycles in perturbed random graphs.
Flips in Odd Matchings
Published
• View Publication
• BIB
Let $\mathcal{P}$ be a set of $n=2m+1$ points in the plane in general position. We define the graph $GM_\mathcal{P}$ whose vertex set is the set of all plane matchings on $\mathcal{P}$ with exactly $m$ edges. Two vertices in $GM_\mathcal{P}$ are connected if the two corresponding matchings have $m-1$ edges in common. In this work we show that $GM_\mathcal{P}$ is connected and give an upper bound of $O(n^2)$ on its diameter. Moreover, we present a tight bound of $Θ(n)$ for the diameter of the flip graph of points in convex position.
Almost colour-balanced spanning forests in complete graphs
Given $K_n$ whose edges are coloured red and blue, and a forest $F$ of order $n$, we seek embeddings of $F$ with small imbalance, that is, difference between the numbers of red and blue edges. We show that if the $2$-colouring of the edges of $K_n$ is balanced, meaning that the numbers of red and blue edges are equal, and $F$ has maximum degree $Δ$, then one can find an embedding of $F$ into $K_n$ whose imbalance is at most $Δ/2 + 18$, which is essentially best possible and resolves a conjecture of Mohr, Pardey, and Rautenbach. Furthermore, we give a tighter bound for the imbalance for small values of $Δ$. In particular, we prove that the imbalance can be taken to be constant in the case where $Δ<n(1/4 - η)$ for any constant $η>0$.
Linear dependencies, polynomial factors in the Duke--Erd\H os forbidden sunflower problem
We call a family of $s$ sets $\{F_1, \ldots, F_s\}$ a \textit{sunflower with $s$ petals} if, for any distinct $i, j \in [s]$, one has $F_i \cap F_j = \cap_{u = 1}^s F_u$. The set $C = \cap_{u = 1}^s F_u$ is called the {\it core} of the sunflower. It is a classical result of Erd\H os and Rado that there is a function $φ(s,k)$ such that any family of $k$-element sets contains a sunflower with $s$ petals. In 1977, Duke and Erd\H os asked for the size of the largest family $\mathcal{F}\subset{[n]\choose k}$ that contains no sunflower with $s$ petals and core of size $t-1$. In 1987, Frankl and F\" uredi asymptotically solved this problem for $k\ge 2t+1$ and $n>n_0(s,k)$. This paper is one of the pinnacles of the so-called Delta-system method.
In this paper, we extend the result of Frankl and Füredi to a much broader range of parameters: $n>f_0(s,t) k$ with $f_0(s,t)$ polynomial in $s$ and $t$. We also extend this result to other domains, such as $[n]^k$ and ${n\choose k/w}^w$ and obtain even stronger and more general results for forbidden sunflowers with core at most $t-1$ (including results for families of permutations and subfamilies of the $k$-th layer in a simplicial complex).
The methods of the paper, among other things, combine the spread approximation technique, introduced by Zakharov and the first author, with the Delta-system approach of Frankl and Füredi and the hypercontractivity approach for global functions, developed by Keller, Lifshitz and coauthors. Previous works in extremal set theory relied on at most one of these methods. Creating such a unified approach was one of the goals for the paper.
A finite totally nonnegative Grassmannian
We introduce totally nonnegative Grassmannians over finite fields where an element of a finite field is nonnegative if it is a square of an element of the finite field. Explicit point counts are given in some special cases where we find new interpretations of sequences in the On-Line Encyclopedia of Integer Sequences (OEIS). We compare and contrast the theory of totally nonnegative Grassmannians over a finite field with the traditional case of the field of real numbers.
On the lattice of the weak factorization systems on a finite lattice
Published
• View Publication
• BIB
We consider the lattice of all the weak factorization systems on a given finite lattice. We prove that it is semidistributive, trim and congruence uniform. We deduce a graph theoretical approach to the problem of enumerating transfer systems. As an application we find a lower bound for the number of transfer systems on a boolean lattice.
On the Average Resistance of n-circuits
$n$-circuits are series-parallel networks composed of exactly $n$ unit resistors. This paper is focused on evaluating the mean resistance of all $n$-circuits, $M_n$, establishing that it lies between $1$ and $4.3954$ for all $n$. We ultimately conjecture that $M_n$ converges to $1.25$ as $n$ grows, based on computational analysis and other intuitive arguments. Although the number of $n$-circuits has been explored quite thoroughly, this paper also provides complete proofs of some important results.
Universality for roots of derivatives of entire functions via finite free probability
A universality conjecture of Farmer and Rhoades [Trans. Amer. Math. Soc., 357(9):3789--3811, 2005] and Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022] asserts that, under some natural conditions, the roots of an entire function should become perfectly spaced in the limit of repeated differentiation. This conjecture is known as Cosine Universality. We establish this conjecture for a class of even entire functions with only real roots which are real on the real line. Along the way, we establish a number of additional universality results for Jensen polynomials of entire functions, including the Hermite Universality conjecture of Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022]. Our proofs are based on finite free probability theory. We establish finite free probability analogs of the law of large numbers, central limit theorem, and Poisson limit theorem for sequences of deterministic polynomials under repeated differentiation, under optimal moment conditions, which are of independent interest.
On the $H$-space of a random graph
The edge space $\mathcal{E}(G)$ of a graph $G$ is the vector space $\mathbb{F}_2^{E(G)}$ with members naturally identified with subgraphs of $G$, and the $H$-space is the subspace $\mathcal{C}_H(G)$ of $ \mathcal{E}(G)$ spanned by copies of the graph $H$. We are interested in when the random graph $G = G_{n,p}$ is likely to satisfy \[\mathcal{C}_H(G) = \mathcal{W}_H(G),\] where $\mathcal{W}_H(G)$ takes one of four natural values, depending on the value of $\mathcal{C}_H(K_n)$. We show that for strictly $2$-balanced $H$, w.h.p. the above equality holds whenever every edge of $G$ is in a copy of $H$.
A lift of chromatic symmetric functions to $\textsf{NSym}$
If we consider previously introduced extensions of Stanley's chromatic symmetric function $X_{G}(x_1, x_2, \ldots)$ for a graph $G$ to elements in the algebra $\textsf{QSym}$ of quasisymmetric functions and in the algebra $\textsf{NCSym}$ of symmetric functions in noncommuting variables, this motivates our introduction of a lifting of $X_{G}$ to the dual of $\textsf{QSym}$, i.e., the algebra $\textsf{NSym}$ of noncommutative symmetric functions, as opposed to $\textsf{NCSym}$. For an unlabelled directed graph $D$, our extension of chromatic symmetric functions provides an element $\text{X}_{D}$ in $\textsf{NSym}$, in contrast to the analogue $Y_{G} \in \textsf{NCSym}$ of $X_{G}$ due to Gebhard and Sagan. Letting $G$ denote the undirected graph underlying $D$, our construction is such that the commutative image of $\text{X}_{D}$ is $ X_{G}$. This projection property is achieved by lifting Stanley's power sum expansion for chromatic symmetric functions, with the use of the $Ψ$-basis of $\textsf{NSym}$, so that the orderings of the entries of the indexing compositions are determined by the directed edges of $D$. We then construct generating sets for $\textsf{NSym}$ consisting of expressions of the form $\text{X}_{D}$, building on the work of Cho and van Willigenburg on chromatic generating sets for $\textsf{Sym}$.
On a Conjecture about Ron Graham's Sequence
Ron Graham's Sequence is a surprising bijection from non-negative integers to non-negative, non-prime integers that was introduced by Ron Graham in the June 1986 "Problems" column of $\textit{Mathematics Magazine}$, and which later appeared in Problem A2 of the 2013 William Lowell Putnam Mathematical Competition. We describe some properties of this function, give an algorithm for computing its values in pseudo-polynomial time, and prove a 22 year-old conjecture about an upper bound for the function.
Many cliques with small degree powers
Suppose $0 < p \le \infty$. For a simple graph $G$ with a vertex-degree sequence $d_1, \dots, d_n$ satisfying $(d_1^p + \dots + d_n^p)^{1/p} \le C$, we prove asymptotically sharp upper bounds on the number of $t$-cliques in $G$. This result bridges the $p = 1$ case, which is the notable Kruskal--Katona theorem, and the $p = \infty$ case, known as the Gan--Loh--Sudakov conjecture, and resolved by Chase. In particular, we demonstrate that the extremal construction exhibits a dichotomy between a single clique and multiple cliques at $p_0 = t - 1$. Our proof employs the entropy method.
The extended irregular domination problem
In this paper we introduce a new domination problem strongly related to the following one recently proposed by Broe, Chartrand and Zhang. One says that a vertex $v$ of a graph $Γ$ labeled with an integer $\ell$ dominates the vertices of $Γ$ having distance $\ell$ from $v$. An irregular dominating set of a given graph $Γ$ is a set $S$ of vertices of $Γ$, having distinct positive labels, whose elements dominate every vertex of $Γ$. Since it has been proven that no connected vertex transitive graph admits an irregular dominating set, here we introduce the concept of an extended irregular dominating set, where we admit that precisely one vertex, labeled with 0, dominates itself. Then we present existence or non existence results of an extended irregular dominating set $S$ for several classes of graphs, focusing in particular on the case in which $S$ is as small as possible. We also propose two conjectures.
Set-Valued Catalan Combinatorics
Published
• View Publication
• BIB
Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.
On graphs which have locally complete 2-edge-colourings and their relationship to proper circular-arc graphs
Published
• View Publication
• BIB
A 2-edge-coloured graph $G$ is called {\bf locally complete} if for each vertex $v$, the vertices adjacent to $v$ through edges of the same colour induce a complete subgraph in $G$. Locally complete 2-edge-coloured graphs have nice properties and there exists a polynomial algorithm to decide whether such a graph has an alternating hamiltonian cycle, where alternating means that the colour of two consecutive edges on the cycle are different. In this paper we show that graphs having locally complete 2-edge-colourings can be recognized in polynomial time. We give a forbidden substructure characterization for this class of graphs analogous to Gallai's characterization for cocomparability graphs. Finally, we characterize proper interval graphs and proper circular-arc graphs which have locally complete 2-edge-colourings by forbidden subgraphs.
Complexity results for a cops and robber game on directed graphs
Published
• View Publication
• BIB
We investigate a cops and robber game on directed graphs, where the robber moves along the arcs of the graph, while the cops can select any position at each time step. Our main focus is on the cop number: the minimum number of cops required to guarantee the capture of the robber. We prove that deciding whether the cop number of a digraph is equal to 1 is NP-hard, whereas this is decidable in polynomial time for tournaments. Furthermore, we show that computing the cop number for general digraphs is fixed parameter tractable when parameterized by a generalization of vertex cover. However, for tournaments, tractability is achieved with respect to the minimum size of a feedback vertex set. Among our findings, we prove that the cop number of a digraph is equal to that of its reverse digraph, and we draw connections to the matrix mortality problem.
On minimizing the Wiener index of unicyclic graphs with fixed girth and given degree sequence
The Wiener index of a graph is the sum of all the distances between any pair of vertices. We aim to describe graphs which minimize the Wiener index among all unicyclic graphs with fixed girth and given degree sequence. Depending on where the centroid of the graph is, we will present three candidates for the minimization, namely the greedy unicyclic graph, the cycle-centered graph and the out-greedy unicyclic graph.