Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Structural characterization of some problems on circle and interval graphs
A graph is circle if there is a family of chords in a circle such that two vertices are adjacent if the corresponding chords cross each other. There are diverse characterizations of circle graphs, many of them using the notions of local complementation or split decomposition. However, there are no known structural characterization by minimal forbidden induced subgraphs for circle graphs. In this thesis, we give a characterization by forbidden induced subgraphs of circle graphs within split graphs. A $(0,1)$-matrix has the consecutive-ones property (C1P) for the rows if there is a permutation of its columns such that the $1$'s in each row appear consecutively. In this thesis, we develop characterizations by forbidden subconfigurations of $(0,1)$-matrices with the C1P for which the rows are $2$-colorable under a certain adjacency relationship, and we characterize structurally some auxiliary circle graph subclasses that arise from these special matrices. Given a graph class $Π$, a $Π$-completion of a graph $G = (V,E)$ is a graph $H = (V, E \cup F)$ such that $H$ belongs to $Π$. A $Π$-completion $H$ of $G$ is minimal if $H'= (V, E \cup F')$ does not belong to $Π$ for every proper subset $F'$ of $F$. A $Π$-completion $H$ of $G$ is minimum if for every $Π$-completion $H' = (V, E \cup F')$ of $G$, the cardinal of $F$ is less than or equal to the cardinal of $F'$. In this thesis, we study the problem of completing minimally to obtain a proper interval graph when the input is an interval graph. We find necessary conditions that characterize a minimal completion in this particular case, and we leave some conjectures for the future.
Factorization length distribution for affine semigroups III: modular equidistribution for numerical semigroups with arbitrarily many generators
Published
• View Publication
• BIB
For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization lengths are equidistributed across all congruence classes that are not trivially ruled out by modular considerations.
Tropical flag varieties
Published
• View Publication
• BIB
Flag matroids are combinatorial abstractions of flags of linear subspaces, just as matroids are of linear subspaces. We introduce the flag Dressian as a tropical analogue of the partial flag variety, and prove a correspondence between: (a) points on the flag Dressian, (b) valuated flag matroids, (c) flags of projective tropical linear spaces, and (d) coherent flag matroidal subdivisions. We introduce and characterize projective tropical linear spaces, which serve as a fundamental tool in our proof. We apply the correspondence to prove that all valuated flag matroids on ground set up to size 5 are realizable, and give an example where this fails for a flag matroid on 6 elements.
On the expected number of perfect matchings in cubic planar graphs
Published in Publicacions Matemàtiques, 2022, Vol. 66, Núm. 1, p. 325-353
• View Publication
• BIB
A well-known conjecture by Lovász and Plummer from the 1970s asserted that a bridgeless cubic graph has exponentially many perfect matchings. It was solved in the affirmative by Esperet et al. (Adv. Math. 2011). On the other hand, Chudnovsky and Seymour (Combinatorica 2012) proved the conjecture in the special case of cubic planar graphs. In our work we consider random bridgeless cubic planar graphs with the uniform distribution on graphs with $n$ vertices. Under this model we show that the expected number of perfect matchings in labeled bridgeless cubic planar graphs is asymptotically $cγ^n$, where $c>0$ and $γ\sim 1.14196$ is an explicit algebraic number. We also compute the expected number of perfect matchings in (non necessarily bridgeless) cubic planar graphs and provide lower bounds for unlabeled graphs. Our starting point is a correspondence between counting perfect matchings in rooted cubic planar maps and the partition function of the Ising model in rooted triangulations.
Poisson limit theorems for the Robinson-Schensted correspondence and for the multi-line Hammersley process
Published in Advances in Applied Mathematics 145 (2023) 102478
• View Publication
• BIB
We consider Robinson-Schensted-Knuth algorithm applied to a random input and study the growth of the bottom rows of the corresponding Young diagrams. We prove multidimensional Poisson limit theorem for the resulting Plancherel growth process. In this way we extend the result of Aldous and Diaconis to more than just one row. This result can be interpreted as convergence of the multi-line Hammersley process to its stationary distribution which is given by a collection of independent Poisson point processes.
Reconfiguring dominating sets in minor-closed graph classes
Published
• View Publication
• BIB
For a graph $G$, two dominating sets $D$ and $D'$ in $G$, and a non-negative integer $k$, the set $D$ is said to $k$-transform to $D'$ if there is a sequence $D_0,\ldots,D_\ell$ of dominating sets in $G$ such that $D=D_0$, $D'=D_\ell$, $|D_i|\leq k$ for every $i\in \{ 0,1,\ldots,\ell\}$, and $D_i$ arises from $D_{i-1}$ by adding or removing one vertex for every $i\in \{ 1,\ldots,\ell\}$. We prove that there is some positive constant $c$ and there are toroidal graphs $G$ of arbitrarily large order $n$, and two minimum dominating sets $D$ and $D'$ in $G$ such that $D$ $k$-transforms to $D'$ only if $k\geq \max\{ |D|,|D'|\}+c\sqrt{n}$. Conversely, for every hereditary class ${\cal G}$ that has balanced separators of order $n\mapsto n^α$ for some $α<1$, we prove that there is some positive constant $C$ such that, if $G$ is a graph in ${\cal G}$ of order $n$, and $D$ and $D'$ are two dominating sets in $G$, then $D$ $k$-transforms to $D'$ for $k=\max\{ |D|,|D'|\}+\lfloor Cn^α\rfloor$.
The Cayley isomorphism property for the group $C^5_2\times C_p$
Published in ARS Mathematica Contemporanea, Vol. 19, No. 2 (2020), 277-295
• View Publication
• BIB
A finite group $G$ is called a DCI-group if two Cayley digraphs over $G$ are isomorphic if and only if their connection sets are conjugate by a group automorphism. We prove that the group $C_2^5\times C_p$, where $p$ is a prime, is a DCI-group if and only if $p\neq 2$. Together with the previously obtained results, this implies that a group $G$ of order $32p$, where $p$ is a prime, is a DCI-group if and only if $p\neq 2$ and $G\cong C_2^5\times C_p$.
Infinite family of nonschurian separable association schemes
Published in Discrete Mathematics, Vol. 344, No. 4 (2021), Article ID 112278
• View Publication
• BIB
An infinite family of nonschurian separable association schemes is constructed.
Computing Subset Transversals in $H$-Free Graphs
Published
• View Publication
• BIB
We study the computational complexity of two well-known graph transversal problems, namely Subset Feedback Vertex Set and Subset Odd Cycle Transversal, by restricting the input to $H$-free graphs, that is, to graphs that do not contain some fixed graph~$H$ as an induced subgraph. By combining known and new results, we determine the computational complexity of both problems on $H$-free graphs for every graph $H$ except when $H=sP_1+P_4$ for some $s\geq 1$. As part of our approach, we introduce the Subset Vertex Cover problem and prove that it is polynomial-time solvable for $(sP_1+P_4)$-free graphs for every $s\geq 1$.
Promotion of Kreweras words
Published in Selecta Mathematica (N.S.) 28(1), 2022
• View Publication
• BIB
Kreweras words are words consisting of n A's, n B's, and n C's in which every prefix has at least as many A's as B's and at least as many A's as C's. Equivalently, a Kreweras word is a linear extension of the poset ${\sf V}\times [n]$. Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in the theory of lattice walks in the quarter plane. We study Schützenberger's promotion operator on the set of Kreweras words. In particular, we show that 3n applications of promotion on a Kreweras word merely swaps the B's and C's. Doing so, we provide the first answer to a question of Stanley from 2009, asking for posets with `good' behavior under promotion, other than the four families of shapes classified by Haiman in 1992. We also uncover a strikingly simple description of Kreweras words in terms of Kuperberg's $\mathfrak{sl}_3$-webs, and Postnikov's trip permutation associated with any plabic graph. In this description, Schützenberger's promotion corresponds to rotation of the web.
On the number of intersection points of lines and circles in $\mathbb R^3$
We consider the following question: Given $n$ lines and $n$ circles in $\mathbb{R}^3$, what is the maximum number of intersection points lying on at least one line and on at least one circle of these families. We prove that if there are no $n^{1/2}$ curves (lines or circles) lying on an algebraic surface of degree at most two, then the number of these intersection points is $O(n^{3/2})$.
On $r$-to-$p$ norms of random matrices with nonnegative entries: Asymptotic normality and $\ell_\infty$-bounds for the maximizer
Published
• View Publication
• BIB
For an $n\times n$ matrix $A_n$, the $r\to p$ operator norm is defined as $$\|A_n\|_{r\to p}:= \sup_{\mathbf{x}\in\mathbb{R}^n:\|\mathbf{x} \|_r\leq 1 } \|A_n\mathbf{x} \|_p\quad\text{for}\quad r,p\geq 1.$$ For different choices of $r$ and $p$, this norm corresponds to key quantities that arise in diverse applications including matrix condition number estimation, clustering of data, and construction of oblivious routing schemes in transportation networks. This article considers $r\to p$ norms of symmetric random matrices with nonnegative entries, including adjacency matrices of Erdős-Rényi random graphs, matrices with positive sub-Gaussian entries, and certain sparse matrices. For $1<p\leq r<\infty$, the asymptotic normality, as $n\to\infty$, of the appropriately centered and scaled norm $\|A_n\|_{r\to p}$ is established. When $p \geq 2$, this is shown to imply asymptotic normality of the solution to the $\ell_p$ quadratic maximization problem, also known as the $\ell_p$ Grothendieck problem. Furthermore, a sharp $\ell_\infty$-approximation bound for the unique maximizing vector in the definition of $\|A_n\|_{r\to p}$ is obtained, and may be viewed as an $\ell_\infty$-stability result of the maximizer under random perturbations of the matrix with mean entries. This result is in fact shown to hold for a broad class of deterministic sequences of matrices having certain asymptotic expansion properties. The results obtained can be viewed as a generalization of the seminal results of Füredi and Komlós (1981) on asymptotic normality of the largest singular value of a class of symmetric random matrices. In the general case with $1<p\leq r< \infty$, spectral methods are no longer applicable, and so a new approach is developed involving a refined convergence analysis of a nonlinear power method and a perturbation bound on the maximizing vector, which may be of independent interest.
Minkowski decompositions for generalized associahedra of acyclic type
Published
• View Publication
• BIB
We give an explicit subword complex description of the generators of the type cone of the g-vector fan of a finite type cluster algebra with acyclic initial seed. This yields in particular a description of the Newton polytopes of the F-polynomials in terms of subword complexes as conjectured by S. Brodsky and the third author. We then show that the cluster complex is combinatorially isomorphic to the totally positive part of the tropicalization of the cluster variety as conjectured by D. Speyer and L. Williams.
On the index of unbalanced signed bicyclic graphs
Published
• View Publication
• BIB
In this paper, we focus on the index ( largest eigenvalue) of the adjacency matrix of connected signed graphs. We give some general results on the index when the corresponding signed graph is perturbed. As applications, we determine the first five largest index among all unbalanced bicyclic graphs on n >= 36 vertices together with the corresponding extremal signed graphs whose index attain these values.
Planar Graphs that Need Four Pages
Published in Journal of Combinatorial Theory, series B, 145, pp. 241-263, 2020
• View Publication
• BIB
We show that there are planar graphs that require four pages in any book embedding.
A characterization of graphs with regular distance-$2$ graphs
Published in Discrete Applied Mathematics, Volume 324, 15 January 2023, Pages 181-218
• View Publication
• BIB
For non-negative integers~$k$, we consider graphs in which every vertex has exactly $k$ vertices at distance~$2$, i.e., graphs whose distance-$2$ graphs are $k$-regular. We call such graphs $k$-metamour-regular motivated by the terminology in polyamory.
While constructing $k$-metamour-regular graphs is relatively easy -- we provide a generic construction for arbitrary~$k$ -- finding all such graphs is much more challenging. We show that only $k$-metamour-regular graphs with a certain property cannot be built with this construction. Moreover, we derive a complete characterization of $k$-metamour-regular graphs for each $k=0$, $k=1$ and $k=2$. In particular, a connected graph with~$n$ vertices is $2$-metamour-regular if and only if $n\ge5$ and the graph is a join of complements of cycles (equivalently every vertex has degree~$n-3$), a cycle, or one of $17$ exceptional graphs with $n\le8$. Moreover, a characterization of graphs in which every vertex has at most one metamour is acquired. Each characterization is accompanied by an investigation of the corresponding counting sequence of unlabeled graphs.
Some $q$-supercongruences modulo the fourth power of a cyclotomic polynomial
Published
• View Publication
• BIB
In terms of the creative microscoping method recently introduced by Guo and Zudilin and the Chinese remainder theorem for coprime polynomials, we establish a $q$-supercongruence with two parameters modulo $[n]Φ_n(q)^3$. Here $[n]=(1-q^n)/(1-q)$ and $Φ_n(q)$ is the $n$-th cyclotomic polynomial in $q$. In particular, we confirm a recent conjecture of Guo and give a complete $q$-analogue of Long's supercongruence. The latter is also a generalization of a recent $q$-supercongruence obtained by Guo and Schlosser.
Vertex-Faithful Regular Polyhedra
Published
• View Publication
• BIB
We study the abstract regular polyhedra with automorphism groups that act faithfully on their vertices, and show that each non-flat abstract regular polyhedron covers a "vertex-faithful" polyhedron with the same number of vertices. We then use this result and earlier work on flat polyhedra to study abstract regular polyhedra based on the size of their vertex set. In particular, we classify all regular polyhedra where the number of vertices is prime or twice a prime. We also construct the smallest regular polyhedra with a prime squared number of vertices.
Reflections on the Erd\H {o}s Discrepancy Problem
We consider some coloring issues related to the famous Erd\H {o}s Discrepancy Problem. A set of the form $A_{s,k}=\{s,2s,\dots,ks\}$, with $s,k\in \mathbb{N}$, is called a \emph{homogeneous arithmetic progression}. We prove that for every fixed $k$ there exists a $2$-coloring of $\mathbb N$ such that every set $A_{s,k}$ is \emph{perfectly balanced} (the numbers of red and blue elements in the set $A_{s,k}$ differ by at most one). This prompts reflection on various restricted versions of Erd\H {o}s' problem, obtained by imposing diverse confinements on parameters $s,k$. In a slightly different direction, we discuss a \emph{majority} variant of the problem, in which each set $A_{s,k}$ should have an excess of elements colored differently than the first element in the set. This problem leads, unexpectedly, to some deep questions concerning completely multiplicative functions with values in $\{+1,-1\}$. In particular, whether there is such a function with partial sums bounded from above.
Geometric vertex decomposition and liaison
Published in Forum of Mathematics, Sigma 9 (2021) e70
• View Publication
• BIB
Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G-biliaisons of height 1 to an ideal of indeterminates and, conversely, that every G-biliaison of a certain type gives rise to a geometric vertex decomposition. As a consequence, we can immediately conclude that several well-known families of ideals are glicci, including Schubert determinantal ideals, defining ideals of varieties of complexes, and defining ideals of graded lower bound cluster algebras.