Showing 20 papers (Total: 82311 papers, 47607 authors in database)
A characterization of normal $3$-pseudomanifolds with $g_2\leq4$
We characterize normal $3$-pseudomanifolds with $g_2\leq4$. We know that if a $3$-pseudomanifold with $g_2\leq4$ does not have any singular vertices then it is a $3$-sphere. We first prove that a normal $3$-pseudomanifold with $g_2\leq4$ has at most two singular vertices. Then we prove that a normal $3$-pseudomanifold with $g_2 \leq 4$, which is not a $3$-sphere is obtained from some boundary of $4$-simplices by a sequence of operations connected sum, edge expansion and an edge folding. In addition, by using [17], we re-framed the characterization of normal $3$-pseudomanifolds with $g_2\leq 9$, when it has no singular vertices.
Forest-based networks
Published
• View Publication
• BIB
In evolutionary studies it is common to use phylogenetic trees to represent the evolutionary history of a set of species. However, in case the transfer of genes or other genetic information between the species or their ancestors has occurred in the past, a tree may not provide a complete picture of their history. In such cases,tree-based phylogenetic networks can provide a useful, more refined representation of the species evolution. Such a network is essentially a phylogenetic tree with some arcs added between the tree edges so as to represent reticulate events such as gene transfer. Even so, this model does not permit the representation of evolutionary scenarios where reticulate events have taken place between different subfamilies or lineages of species. To represent such scenarios, in this paper we introduce the notion of a forest-based phylogenetic network, that is, a collection of leaf-disjoint phylogenetic trees on a set of species with arcs added between the edges of distinct trees within the collection. Forest-based networks include the recently introduced class of overlaid species forests which are used to model introgression. As we shall see, even though the definition of forest-based networks is closely related to that of tree-based networks, they lead to new mathematical theory which complements that of tree-based networks. As well as studying the relationship of forest-based networks with other classes of phylogenetic networks, such as tree-child networks and universal tree-based networks, we present some characterizations of some special classes of forest-based networks. We expect that our results will be useful for developing new models and algorithms to understand reticulate evolution, such as gene transfer between collections of bacteria that live in different environments.
Beyond symmetry in generalized Petersen graphs
Published
• View Publication
• BIB
A graph is a core or unretractive if all its endomorphisms are automorphisms. Well-known examples of cores include the Petersen graph and the graph of the dodecahedron -- both generalized Petersen graphs. We characterize the generalized Petersen graphs that are cores. A simple characterization of endomorphism-transitive generalized Petersen graphs follows. This extends the characterization of vertex-transitive generalized Petersen graphs due to Frucht, Graver, and Watkins and solves a problem of Fan and Xie.
Moreover, we study generalized Petersen graphs that are (underlying graphs of) Cayley graphs of monoids. We show that this is the case for the Petersen graph, answering a recent mathoverflow question, for the Desargues graphs, and for the dodecahedron -- answering a question of Knauer and Knauer. Moreover, we characterize the infinite family of generalized Petersen graphs that are Cayley graph of a monoid with generating connection set of size two. This extends Nedela and Škoviera's characterization of generalized Petersen graphs that are group Cayley graphs and complements results of Hao, Gao, and Luo.
Structured Codes of Graphs
Published
• View Publication
• BIB
We investigate the maximum size of graph families on a common vertex set of cardinality $n$ such that the symmetric difference of the edge sets of any two members of the family satisfies some prescribed condition. We solve the problem completely for infinitely many values of $n$ when the prescribed condition is connectivity or $2$-connectivity, Hamiltonicity or the containment of a spanning star. We also investigate local conditions that can be certified by looking at only a subset of the vertex set. In these cases a capacity-type asymptotic invariant is defined and when the condition is to contain a certain subgraph this invariant is shown to be a simple function of the chromatic number of this required subgraph. This is proven using classical results from extremal graph theory. Several variants are considered and the paper ends with a collection of open problems.
Problems hard for treewidth but easy for stable gonality
Published
• View Publication
• BIB
We show that some natural problems that are XNLP-hard (which implies W[t]-hardness for all t) when parameterized by pathwidth or treewidth, become FPT when parameterized by stable gonality, a novel graph parameter based on optimal maps from graphs to trees. The problems we consider are classical flow and orientation problems, such as Undirected Flow with Lower Bounds (which is strongly NP-complete, as shown by Itai), Minimum Maximum Outdegree (for which W[1]-hardness for treewidth was proven by Szeider), and capacitated optimization problems such as Capacitated (Red-Blue) Dominating Set (for which W[1]-hardness was proven by Dom, Lokshtanov, Saurabh and Villanger). Our hardness proofs (that beat existing results) use reduction to a recent XNLP-complete problem (Accepting Non-deterministic Checking Counter Machine). The new easy parameterized algorithms use a novel notion of weighted tree partition with an associated parameter that we call treebreadth, inspired by Seese's notion of tree-partite graphs, as well as techniques from dynamical programming and integer linear programming.
Algebraic Aspects of combined matrices
In this work, we present algebraic results concerning the combined matrices $\mathcal{C}(A)$, where the entries of $A$ belong to a number field $K$ and $A$ is a non-singular matrix. In other words, $A$ is a $n\times n$ matrix belonging to the General Linear Group over $K$, denoted by $\mathrm{GL}_n(K)$. We also analyze the case in which matrix $A$ belongs to algebraic subgroups of $\mathrm{GL}_n(K)$, such as the unimodular group, where $A^2$ is a $n\times n$ matrix belonging to the Special Linear Group, denoted by $\mathrm{SL}_n(K)$, triangular groups, diagonal groups, among others. In particular, we thouroughly examine the cases $n=2$ and $n=3$ for symmetric and non-symmetric matrices, providing explicit diagonalization of $\mathcal{C}(A)$, which includes characteristic polynomials with their eigenvalues and eigenfactors.
Enumeration of Dyck paths with air pockets
Published
• View Publication
• BIB
We introduce and study the new combinatorial class of Dyck paths with air pockets. We exhibit a bijection with the peakless Motzkin paths which transports several pattern statistics and give bivariate generating functions for the distribution of patterns as peaks, returns and pyramids. Then, we deduce the popularities and asymptotic expectations of these patterns and point out a link between the popularity of pyramids and a special kind of closed smooth self-overlapping curves, a subset of Fibonacci meanders. A similar study is conducted for non-decreasing Dyck paths with air pockets.
Unitary matrix models, free fermion ensembles, and the giant graviton expansion
Published
• View Publication
• BIB
We consider a class of matrix integrals over the unitary group $U(N)$ with an infinite set of couplings characterized by a series $f(q)=\sum_{n \ge 1} a_n q^n$, with $a_n \in \mathbb{Z}$. Such integrals arise in physics as the partition functions of free four-dimensional gauge theories on $S^3$ and, in particular, as the superconformal index of super Yang-Mills theory. We show that any such model can be expressed in terms of a system of free fermions in an ensemble parameterized by the infinite set of couplings. Integrating out the fermions in a given quantum state leads to a convergent expansion as a series of determinants, as shown by Borodin-Okounkov many years ago. By further averaging over the ensemble, we obtain a formula for the matrix integral as a $q$-series with successive terms suppressed by $q^{αN + β}$ where $α$, $β$ do not depend on $N$. This provides a matrix-model explanation of the giant graviton expansion that has been observed recently in the literature.
Upper tail behavior of the number of triangles in random graphs with constant average degree
Published
• View Publication
• BIB
Let $N$ be the number of triangles in an Erdős-Rényi graph $\mathcal{G}(n,p)$ on $n$ vertices with edge density $p=d/n,$ where $d>0$ is a fixed constant. It is well known that $N$ weakly converges to the Poisson distribution with mean ${d^3}/{6}$ as $n\rightarrow \infty$. We address the upper tail problem for $N,$ namely, we investigate how fast $k$ must grow, so that the probability of $\{N\ge k\}$ is not well approximated anymore by the tail of the corresponding Poisson variable. Proving that the tail exhibits a sharp phase transition, we essentially show that the upper tail is governed by Poisson behavior only when $k^{1/3} \log k< (\frac{3}{\sqrt{2}})^{2/3} \log n$ (sub-critical regime) as well as pin down the tail behavior when $k^{1/3} \log k> (\frac{3}{\sqrt{2}})^{2/3} \log n$ (super-critical regime). We further prove a structure theorem, showing that the sub-critical upper tail behavior is dictated by the appearance of almost $k$ vertex-disjoint triangles whereas in the supercritical regime, the excess triangles arise from a clique like structure of size approximately $(6k)^{1/3}$. This settles the long-standing upper-tail problem in this case, answering a question of Aldous, complementing a long sequence of works, spanning multiple decades, culminating in (Harel, Moussat, Samotij,'19) which analyzed the problem only in the regime $p\gg \frac{1}{n}.$ The proofs rely on several novel graph theoretical results which could have other applications.
Equivariant Kazhdan-Lusztig theory of paving matroids
Published
• View Publication
• BIB
We study the way in which equivariant Kazhdan-Lusztig polynomials, equivariant inverse Kazhdan-Lusztig polynomials, and equivariant Z-polynomials of matroids change under the operation of relaxation of a collection of stressed hyperplanes. This allows us to compute these polynomials for arbitrary paving matroids, which we do in a number of examples, including various matroids associated with Steiner systems that admit actions of Mathieu groups.
Triangular-Grid Billiards and Plabic Graphs
Published in Combinatorial Theory, 3(1) (2023)
• View Publication
• BIB
Given a polygon $P$ in the triangular grid, we obtain a permutation $π_P$ via a natural billiards system in which beams of light bounce around inside of $P$. The different cycles in $π_P$ correspond to the different trajectories of light beams. We prove that \[\text{area}(P)\geq 6\text{cyc}(P)-6\quad\text{and}\quad\text{perim}(P)\geq\frac{7}{2}\text{cyc}(P)-\frac{3}{2},\] where $\text{area}(P)$ and $\text{perim}(P)$ are the (appropriately normalized) area and perimeter of $P$, respectively, and $\text{cyc}(P)$ is the number of cycles in $π_P$. The inequality concerning $\text{area}(P)$ is tight, and we characterize the polygons $P$ satisfying $\text{area}(P)=6\text{cyc}(P)-6$. These results can be reformulated in the language of Postnikov's plabic graphs as follows. Let $G$ be a connected reduced plabic graph with essential dimension $2$. Suppose $G$ has $n$ marked boundary points and $v$ (internal) vertices, and let $c$ be the number of cycles in the trip permutation of $G$. Then we have \[v\geq 6c-6\quad\text{and}\quad n\geq\frac{7}{2}c-\frac{3}{2}.\]
Degree and regularity of Eulerian ideals of hypergraphs
Published
• View Publication
• BIB
We define the Eulerian ideal of a $k$-uniform hypergraph and study its degree and Castelnuovo--Mumford regularity. The main tool is a Gröbner basis of the ideal obtained combinatorially from the hypergraph. We define the notion of parity join in a hypergraph and show that the regularity of the Eulerian ideal is equal to the maximum cardinality of such a set of edges. The formula for the degree involves the cardinality of the set of sets of vertices, $T$, that admit a $T$-join. We compute the degree and regularity explicity in the cases of a complete $k$-partite hypergraph and a complete hypergraph of rank $3$.
A note on hamiltonian cycles in $4$-tough $(P_2\cup kP_1)$-free graphs
Published
• View Publication
• BIB
Let $t>0$ be a real number and $G$ be a graph. We say $G$ is $t$-tough if for every cutset $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. The Toughness Conjecture of Chvátal, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is hamiltonian, is still open in general. For any given integer $k\ge 1$, a graph $G$ is $(P_2\cup kP_1)$ free if $G$ does not contain the disjoint union of $P_2$ and $k$ isolated vertices as an induced subgraph.
In this note, we show that every 4-tough and $2k$-connected $(P_2\cup kP_1)$-free graph with at least three vertices is hamiltonian.
This result in some sense is an "extension" of the classical Chvátal-Erdős Theorem that every $\max\{2,k\}$-connected
$(k+1)P_1$-free graph on at least three vertices is hamiltonian.
Enumerating solutions to grid based puzzles with a fixed number of rows
Published
• View Publication
• BIB
In this paper we demonstrate a method for counting the number of solutions to various logic puzzles. Specifically, we remove all of the "clues" from the puzzle which help the solver to a unique solution, and instead start from an empty grid. We then count the number of ways to fill in this empty grid to a valid solution. We fix the number of rows $r$, vary the number of columns $k$, and then compute the sequence $A_r(k)$, which gives the number of solutions on an empty grid of size $r \times k$.
Codes and Designs in Johnson Graphs From Symplectic Actions on Quadratic Forms
Published
• View Publication
• BIB
The Johnson graph $J(v, k)$ has as vertices the $k$-subsets of $\mathcal{V}=\{1,\ldots, v\}$, and two vertices are joined by an edge if their intersection has size $k-1$. An \emph{$X$-strongly incidence-transitive code} in $J (v, k)$ is a proper vertex subset $Γ$ such that the subgroup $X$ of graph automorphisms leaving $Γ$ invariant is transitive on the set $Γ$ of `codewords', and for each codeword $Δ$, the setwise stabiliser $X_Δ$ is transitive on $Δ\times (\mathcal{V}\setminus Δ)$. We classify the \emph{$X$-strongly incidence-transitive codes} in $J(v,k)$ for which $X$ is the symplectic group $\mathrm{Sp}_{2n}(2)$ acting as a $2$-transitive permutation group of degree $2^{2n-1}\pm 2^{n-1}$, where the stabiliser $X_Δ$ of a codeword $Δ$ is contained in a \emph{geometric} maximal subgroup of $X$. In particular, we construct two new infinite families of strongly incidence-transitive codes associated with the reducible maximal subgroups of $\mathrm{Sp}_{2n}(2)$.
Extremal graphs for edge blow-up of lollipops
Given a graph $H$ and an integer $p$ ($p\geq 2$), the edge blow-up $H^{p+1}$ of $H$ is the graph obtained from replacing each edge in $H$ by a clique of order $(p+1)$, where the new vertices of the cliques are all distinct. The Turán numbers for edge blow-up of matchings were first studied by Erdős and Moon. Very recently some substantial progress of the extremal graphs for $H^{p+1}$ of larger $p$ has been made by Yuan. The range of Turán numbers for edge blow-up of all bipartite graphs when $p\geq 3$ and the exact Turán numbers for edge blow-up of all non-bipartite graphs when $p\geq χ(H) +1$ has been determined by Yuan (2022), where $χ(H)$ is the chromatic number of $H$. A lollipop $C_{k,\;\ell}$ is the graph obtained from a cycle $C_k$ by appending a path $P_{\ell+1}$ to one of its vertices. In this paper, we consider the extremal graphs for $C_{k,\;\ell}^{p+1}$ of the rest cases $p=2$ and $p=3$.
Pseudo-finiteness of arbitrary graphs of bounded shrub-depth
We consider classes of arbitrary (finite or infinite) graphs of bounded shrub-depth, specifically the classes $\mathrm{TM}_r(d)$ of arbitrary graphs that have tree models of height $d$ and $r$ labels. We show that the graphs of $\mathrm{TM}_r(d)$ are $\mathrm{MSO}$-pseudo-finite relative to the class $\mathrm{TM}^{\text{f}}_r(d)$ of finite graphs of $\mathrm{TM}_r(d)$; that is, that every $\mathrm{MSO}$ sentence true in a graph of $\mathrm{TM}_r(d)$ is also true in a graph of $\mathrm{TM}^{\text{f}}_r(d)$. We also show that $\mathrm{TM}_r(d)$ is closed under ultraproducts and ultraroots. These results have two consequences. The first is that the index of the $\mathrm{MSO}[m]$-equivalence relation on graphs of $\mathrm{TM}_r(d)$ is bounded by a $(d+1)$-fold exponential in $m$. The second is that $\mathrm{TM}_r(d)$ is exactly the class of all graphs that are $\mathrm{MSO}$-pseudo-finite relative to $\mathrm{TM}^{\text{f}}_r(d)$.
On maximum parallel classes in packings
The integer $β(ρ, v, k)$ is defined to be the maximum number of blocks in any $(v, k)$-packing in which the maximum partial parallel class (or PPC) has size $ρ$. This problem was introduced and studied by Stinson for the case $k=3$. Here, we mainly consider the case $k = 4$ and we obtain some upper bounds and lower bounds on $β(ρ, v, 4)$. We also provide some explicit constructions of $(v,4)$-packings having a maximum PPC of a given size $ρ$. For small values of $ρ$, the number of blocks of the constructed packings are very close to the upper bounds on $β(ρ, v, 4)$. Some of our methods are extended to the cases $k > 4$.
Lattice path enumeration for semi-magic squares by Latin rectangles
Similar to how standard Young tableaux represent paths in the Young lattice, Latin rectangles may be use to enumerate paths in the poset of semi-magic squares with entries zero or one. The symmetries associated to determinant preserve this poset, and we completely describe the orbits, covering data, and maximal chains for squares of size 4, 5, and 6. The last item gives the number of Latin squares in these cases. To calculate efficiently for size 6, we in turn identify orbits with certain equivalence classes of hypergraphs.
Castelnuovo-Mumford regularity and Schubert geometry
Published
• View Publication
• BIB
We study the Castelnuovo-Mumford regularity of tangent cones of Schubert varieties. Conjectures about this statistic are presented; these are proved for the covexillary case. This builds on work of L. Li and the author on these tangent cones, as well as that of J. Rajchgot-Y. Ren-C. Robichaux-A. St. Dizier-A. Weigandt and J. Rajchgot-C. Robichaux-A. Weigandt on tableau rules for computing regularity of some matrix Schubert varieties.