Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Several transformation formulas involving bilateral basic hypergeometric series
In terms of the analytic continuation method, we prove three transformation formulas involving bilateral basic hypergeometric series. One of them is equivalent to Jouhet's result involving two $_8ψ_8$ series and two $_8φ_7$ series.
Well-quasi-order of plane minors and an application to link diagrams
A plane graph $H$ is a {\em plane minor} of a plane graph $G$ if there is a sequence of vertex and edge deletions, and edge contractions performed on the plane, that takes $G$ to $H$. Motivated by knot theory problems, it has been asked if the plane minor relation is a well-quasi-order. We settle this in the affirmative. We also prove an additional application to knot theory. If $L$ is a link and $D$ is a link diagram, write $D\leadsto L$ if there is a sequence of crossing exchanges and smoothings that takes $D$ to a diagram of $L$. We show that, for each fixed link $L$, there is a polynomial-time algorithm that takes as input a link diagram $D$ and answers whether or not $D\leadsto L$.
Scaling limits for random triangulations on the torus
We study the scaling limit of essentially simple triangulations on the torus. We consider, for every $n\geq 1$, a uniformly random triangulation $G_n$ over the set of (appropriately rooted) essentially simple triangulations on the torus with $n$ vertices. We view $G_n$ as a metric space by endowing its set of vertices with the graph distance denoted by $d_{G_n}$ and show that the random metric space $(V(G_n),n^{-1/4}d_{G_n})$ converges in distribution in the Gromov-Hausdorff sense when $n$ goes to infinity, at least along subsequences, toward a random metric space. One of the crucial steps in the argument is to construct a simple labeling on the map and show its convergence to an explicit scaling limit. We moreover show that this labeling approximates the distance to the root up to a uniform correction of order $o(n^{1/4})$.
On the bar visibility number of complete bipartite graphs
Published
• View Publication
• BIB
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. For the complete bipartite graph $K_{m,n}$, the lower bound $b(K_{m,n})\ge\lceil{\frac{mn+4}{2m+2n}}\rceil$ from Euler's Formula is well known. We prove that equality holds.
Tensor models with generalized melonic interactions
Tensor models are natural generalizations of matrix models. The interactions and observables in the case of unitary invariant models are generalizations of matrix traces. Some notable interactions in the literature include the melonic ones, the tetrahedral one as well as the planar ones in rank three, or necklaces in even ranks. Here we introduce generalized melonic interactions which generalize the melonic and necklace interactions. We characterize them as tree-like gluings of quartic interactions. We also completely characterize the Feynman graphs which contribute to the large $N$ limit. For a subclass of generalized melonic interactions called totally unbalanced interactions, we prove that the large $N$ limit is Gaussian and therefore the Feynman graphs are in bijection with trees. This result further extends the class of tensor models which fall into the Gaussian universality class. Another key aspect of tensor models with generalized melonic interactions is that they can be written as matrix models without increasing the number of degrees of freedom of the original tensor models. In the case of totally unbalanced interactions, this new matrix model formulation in fact decreases the number of degrees of freedom, meaning that some of the original degrees of freedom are effectively integrated. We then show how the large $N$ Gaussian behavior can be reproduced using a saddle point analysis on those matrix models.
Nonsingular (Vertex-Weighted) Block Graphs
Published
• View Publication
• BIB
A graph $G$ is \emph{nonsingular (singular)} if its adjacency matrix $A(G)$ is nonsingular (singular). In this article, we consider the nonsingularity of block graphs, i.e., graphs in which every block is a clique. Extending the problem, we characterize nonsingular vertex-weighted block graphs in terms of reduced vertex-weighted graphs resulting after successive deletion and contraction of pendant blocks. Special cases where nonsingularity of block graphs may be directly determined are discussed.
Percolating sets in bootstrap percolation on the Hamming graphs
Published
• View Publication
• BIB
For any integer $r\geqslant0$, the $r$-neighbor bootstrap percolation on a graph is an activation process of the vertices. The process starts with some initially activated vertices and then, in each round, any inactive vertex with at least $r$ active neighbors becomes activated. A set of initially activated vertices leading to the activation of all vertices is said to be a percolating set. Denote the minimum size of a percolating set in the $r$-neighbor bootstrap percolation process on a graph $G$ by $m(G, r)$. In this paper, we present upper and lower bounds on $m(K_n^d, r)$, where $K_n^d$ is the Cartesian product of $d$ copies of the complete graph $K_n$ which is referred as the Hamming graph. Among other results, we show that $m(K_n^d, r)=\frac{1+o(1)}{(d+1)!}r^d$ when both $r$ and $d$ go to infinity with $r<n$ and $d=o(\!\sqrt{r})$.
A new face iterator for polyhedra and more general finite locally branched lattices
Published in Discrete Comput Geom (2022)
• View Publication
• BIB
We discuss a new memory-efficient depth-first algorithm and its implementation that iterates over all elements of a finite locally branched lattice. This algorithm can be applied to face lattices of polyhedra and to various generalizations such as finite polyhedral complexes and subdivisions of manifolds, extended tight spans and closed sets of matroids. Its practical implementation is very fast compared to state-of-the-art implementations of previously considered algorithms. Based on recent work of Bruns, García-Sánchez, O'Neill and Wilburne, we apply this algorithm to prove Wilf's conjecture for all numerical semigroups of multiplicity 19 by iterating through the faces of the Kunz cone and identifying the possible bad faces and then checking that these do not yield counterexamples to Wilf's conjecture.
On the notion of effective impedance
Published in Operators and Matrices, Volume 14, Number 3 (2020), 723--741
• View Publication
• BIB
It is known that electrical networks with resistors are related to the Laplace operator and random walk on weighted graphs. In this paper we consider more general electrical networks with coils, capacitors, and resistors. We give two mathematical models of such networks: complex-weighted graphs and graphs with weight from the ordered field of rational functions. The notion of effective impedance in both approaches is defined.
An insertion algorithm on multiset partitions with applications to diagram algebras
Published in J. Algebra 557 no. 1, (2020), 97-128
• View Publication
• BIB
We generalize the Robinson-Schensted-Knuth algorithm to the insertion of two row arrays of multisets. This generalization leads to new enumerative results that have representation theoretic interpretations as decompositions of centralizer algebras and the spaces they act on. In addition, restrictions on the multisets lead to further identities and representation theory analogues. For instance, we obtain a bijection between words of length $k$ with entries in $[n]$ and pairs of tableaux of the same shape with one being a standard Young tableau of size $n$ and the other being a standard multiset tableau of content $[k]$. We also obtain an algorithm from partition diagrams to pairs of a standard tableau and a standard multiset tableau of the same shape, which has the remarkable property that it is well-behaved with respect to restricting a representation to a subalgebra. This insertion algorithm matches recent representation-theoretic results of Halverson and Jacobson.
Arboretum for a generalization of Ramanujan polynomials
Published
• View Publication
• BIB
In this paper, we expand on the work of Guo and Zeng from 2007 on a generalization of the Ramanujan polynomials and planar trees. We manage to find combinatorial interpretations of this family of polynomials in terms of Greg trees, Cayley trees, and planar trees by constructing bijections that preserve relevant tree statistics.
The average simplex cardinality of a finite abstract simplicial complex
We study the average simplex cardinality Dim^+(G) = sum_x |x|/(|G|+1) of a finite abstract simplicial complex G. The functional is a homomorphism from the monoid of simplicial complexes to the rationals: the formula Dim^+(G + H) = Dim^+(G) + Dim^+(H) holds for the join + similarly as for the augmented inductive dimension dim^+(G) = dim(G)+1 where dim is the inductive dimension dim(G) = 1+ sum_x dim(S(x))/|G| with unit sphere S(x) (a recent theorem of Betre and Salinger). In terms of the generating function f(t) = 1+v_0 t + v_1 t^2 + ... +v_d t^(d+1) defined by the f-vector (v_0,v_1, \dots) of G for which f(-1) is the genus 1-X(G) with Euler characteristic X and f(1)=|G|+1 is the augmented number of simplices, the average cardinality is the logarithmic derivative Dim^+(f) = f'(1)/f(1) of f at 1. Beside introducing the average cardinality and establishing its compatibility with arithmetic, we prove two results: 1) the inequality dim^+(G)/2 <= Dim^+(G) with equality for complete complexes. 2) the limit C_d of Dim^+(G_n) for n to infinity is the same for any initial complex G_0 of maximal dimension d and the constant c_d is explicitly given in terms of the Perron-Frobenius eigenfunction of the universal Barycentric refinement operator and is for positive d always a rational number in the open interval ((d+1)/2,d+1).
Partitioning sparse graphs into an independent set and a graph with bounded size components
Published
• View Publication
• BIB
We study the problem of partitioning the vertex set of a given graph so that each part induces a graph with components of bounded order; we are also interested in restricting these components to be paths. In particular, we say a graph $G$ admits an $({\cal I}, {\cal O}_k)$-partition if its vertex set can be partitioned into an independent set and a set that induces a graph with components of order at most $k$. We prove that every graph $G$ with $\operatorname{mad}(G)<\frac 52$ admits an $({\cal I}, {\cal O}_3)$-partition. This implies that every planar graph with girth at least $10$ can be partitioned into an independent set and a set that induces a graph whose components are paths of order at most 3. We also prove that every graph $G$ with $\operatorname{mad}(G) < \frac{8k}{3k+1} = \frac{8}{3}\left( 1 - \frac{1}{3k+1} \right)$ admits an $({\cal I}, {\cal O}_k)$-partition. This implies that every planar graph with girth at least $9$ can be partitioned into an independent set and a set that induces a graph whose components are paths of order at most 9.
An infinite-dimensional version of Gowers' $\mathrm{FIN}_{\pm k}$ theorem
Published
• View Publication
• BIB
We prove an infinite-dimensional version of an approximate Ramsey theorem of Gowers, initially used to show that every Lipschitz function on the unit sphere of $c_0$ is oscillation stable. To do so, we use the theory of ultra-Ramsey spaces developed by Todorcevic in order to obtain an Ellentuck-type theorem for the space of all infinite block sequences in $\mathrm{FIN}_{\pm k}$.
The Pseudoforest analogue for the Strong Nine Dragon Tree Conjecture is True
Published
• View Publication
• BIB
We prove that for any positive integers $k$ and $d$, if a graph $G$ has maximum average degree at most $2k + \frac{2d}{d+k+1}$, then $G$ decomposes into $k+1$ pseudoforests $C_{1},\ldots,C_{k+1}$ such that there is an $i$ such that for every connected component $C$ of $C_{i}$, we have that $e(C) \leq d$.
Counterexamples to Hedetniemi's conjecture
Published
• View Publication
• BIB
The chromatic number of $G\times H$ can be smaller than the minimum of the chromatic numbers of finite simple graphs $G$ and $H$.
Wall-crossing and recursion formulae for tropical Jucys covers
Published
• View Publication
• BIB
In recent work, the authors derived a tropical interpretation of monotone and strictly monotone double Hurwitz numbers. In this paper, we apply the technique of tropical flows to this interpretation in order to provide a new proof of the piecewise polynomiality of these enumerative invariants. Moreover, we derive new types of wall-crossing formulae.
Stable multivariate generalizations of matching polynomials
The first part of this note concerns stable averages of multivariate matching polynomials. In proving the existence of infinite families of bipartite Ramanujan $d$-coverings, Hall, Puder and Sawin introduced the $d$-matching polynomial of a graph $G$, defined as the uniform average of matching polynomials over the set of $d$-sheeted covering graphs of $G$. We prove that a natural multivariate version of the $d$-matching polynomial is stable, consequently giving a short direct proof of the real-rootedness of the $d$-matching polynomial. Our theorem also includes graphs with loops, thus answering a question of said authors. Furthermore we define a weaker notion of matchings for hypergraphs and prove that a family of natural polynomials associated to such matchings are stable. In particular this provides a hypergraphic generalization of the classical Heilmann-Lieb theorem.
The Finite Matroid-Based Valuation Conjecture is False
Published
• View Publication
• BIB
The matroid-based valuation conjecture of Ostrovsky and Paes Leme states that all gross substitutes valuations on $n$ items can be produced from merging and endowments of weighted ranks of matroids defined on at most $m(n)$ items. We show that if $m(n) = n$, then this statement holds for $n \leq 3$ and fails for all $n \geq 4$. In particular, the set of gross substitutes valuations on $n \geq 4$ items is strictly larger than the set of matroid based valuations defined on the ground set $[n]$. Our proof uses matroid theory and discrete convex analysis to explicitly construct a large family of counter-examples. It indicates that merging and endowment by themselves are poor operations to generate gross substitutes valuations. We also connect the general MBV conjecture and related questions to long-standing open problems in matroid theory, and conclude with open questions at the intersection of this field and economics.
Fifth Geometric--Arithmetic Index VS Atom--Bond Connectivity Index and Heat of Formation
The geometric--arithmetic indices are widely considered in the chemical graph theory in the last decade. The reason of introducing new indices is to gain prediction of target properties of considered molecules that is better than the prediction obtained by already known indices. In the case of the fifth geometric--arithmetic index hitherto no ability of prediction of some molecule property has been considered.
In this paper we investigate correlations between the fifth geometric--arithmetic index and some other degree--based topological indices on the family of octane isomers and polyaromatic hydrocarbons. Since a very good correlation is established with the well known atom--bond connectivity index for polyaromatic hydrocarbons and then for the alkane series, the relation between the heat of formation and the fifth geometric--arithmetic index is examined and a good correlation is confirmed in that case as well.