Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On lattice path matroid polytopes: alcoved triangulations and snake decompositions
We study lattice path matroid polytopes using their alcoved triangulation. We characterize Gorenstein lattice path matroid polytopes, yielding a new class of matroids satisfying the unimodality conjecture of de Loera, Haws, and K{ö}ppe. Further, we characterize matroids whose polytopes are order polytopes as a special class of lattice path matroids, called snakes. Finally, we give combinatorial interpretations of the volumes and $h^*$-vectors of lattice path matroids of rank $2$ based on their snake decomposition.
A pipe dream perspective on totally symmetric self-complementary plane partitions
Published in Forum of Mathematics, Sigma. 2024;12:e17
• View Publication
• BIB
We characterize totally symmetric self-complementary plane partitions (TSSCPP) as bounded compatible sequences satisfying a Yamanouchi-like condition. As such, they are in bijection with certain pipe dreams. Using this characterization and the recent bijection of [Gao-Huang] between reduced pipe dreams and reduced bumpless pipe dreams, we give a bijection between alternating sign matrices and TSSCPP in the reduced, 1432-avoiding case. We also give a different bijection in the 1432- and 2143-avoiding case that preserves natural poset structures on the associated pipe dreams and bumpless pipe dreams.
Subdivision and Graph Eigenvalues
Published
• View Publication
• BIB
This paper investigates the asymptotic nature of graph spectra when some edges of a graph are subdivided sufficiently many times. In the special case where all edges of a graph are subdivided, we find the exact limits of the $k$-th largest and $k$-th smallest eigenvalues for any fixed $k$. It is expected that after subdivision, most eigenvalues of the new graph will lie in the interval $[-2,2]$. We examine the eigenvalues of the new graph outside this interval, and we prove several results that might be of independent interest.
New results about the Inverse Eigenvalue Problem of a Graph
All graphs considered are simple and undirected. The Inverse Eigenvalue Problem of a Graph $G$ (IEP-G) aims to find all possible spectra for matrices whose $(i,j)-$entry, for $i\neq j$, is nonzero precisely when $i$ is adjacent to $j$. A cluster in a graph $G$ is a pair of vertex subsets $(C, S)$, where $C$ is a maximal set of cardinality $\vert C\vert\geq 2$ of independent vertices sharing the same set $S$ of $\vert S\vert$ neighbors. Let $G$ be a connected graph on $n$ vertices with a cluster $(C, S)$ and $H$ be a graph of order $\vert C\vert$. Let $G(H)$ be the connected graph obtained from $G$ and $H$ when the edges of $H$ are added to the edges of $G$ by identifying the vertices of $H$ with the vertices in $C$. In this paper, we construct a symmetric matrix with associated complete graph, which satisfies some interesting properties. This result is applied to obtain new sufficient conditions on the IEP-G, when $G$ is a graph of order $n$ having a clique of order $k$ and a cluster $(C,S)$, where $\vert C\vert=n-k$ and $\vert S\vert=r\leq k$, as well as, for the graph $G(K_{n-k})$, being $G$ as before. In particular, when $G$ is a graph obtained from $K_{n}$ by deleting a single edge $e_{k}\in E(K_{n})$, we establish a necessary and sufficient condition on the IEP-G. Several illustrative example are given. The constructive nature of our results generate algorithmic procedures that always allow one to compute a solution matrix.
Hamiltonicity of $1$-tough $(P_2\cup kP_1)$-free graphs
Published
• View Publication
• BIB
Given a graph $H$, a graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. For a positive real number $t$, a non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. A complete graph is said to be $t$-tough for any $t>0$. Chvátal's toughness conjecture, 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. Chvátal and Erdös \cite{CE} proved that, for any integer $k\ge 1$, every $\max\{2,k\}$-connected $(k+1)P_1$-free graph on at least three vertices is Hamiltonian. Along the Chvátal-Erdös theorem, Shi and Shan \cite{SS} proved that, for any integer $k\ge 4$, every $4$-tough $2k$-connected $(P_2\cup kP_1)$-free graph with at least three vertices is Hamiltonian, and furthermore, they proposed a conjecture that for any integer $k\ge 1$, any $1$-tough $2k$-connected $(P_2\cup kP_1)$-free graph is Hamiltonian. In this paper, we confirm the conjecture, and furthermore, we show that if $k\ge 3$, then the condition `$2k$-connected' may be weakened to be `$2(k-1)$-connected'. As an immediate consequence, for any integer $k\ge 3$, every $(k-1)$-tough $(P_2\cup kP_1)$-free graph is Hamiltonian. This improves the result of Hatfield and Grimm \cite{HG}, stating that every $3$-tough $(P_2\cup 3P_1)$-free graph is Hamiltonian.
A proof of a conjecture on the distance spectral radius
Published
• View Publication
• BIB
A cactus is a connected graph in which any two cycles have at most one common vertex. We determine the unique graph that maximizes the distance spectral radius over all cacti with fixed numbers of vertices and cycles, and thus prove a conjecture on the distance spectral radius of cacti in [S.S. Bose, M. Nath, S. Paul, On the distance spectral radius of cacti, Linear Algebra Appl. 437 (2012) 2128--2141]. We prove the result in the context of hypertrees.
On tropical Hodge theory for tropical varieties
To prove log-concavity of the characteristic polynomials of matroids, Adiprasito-Huh-Katz proved the Kähler package (the hard Lefschetz theorem and the Hodge-Riemann bilinear relations) for their Chow rings. Amini-Piquerez generalized it to tropical cohomology of smooth projective tropical varieties. Their proofs were combinatorial. In this paper, we establish tropical Hodge theory except for regularity of solutions of Laplacian, and give a conditional proof of the Kähler package in the same way as compact Kähler manifolds.
Hypercubes and Isometric Words based on Swap and Mismatch Distance
Published
• View Publication
• BIB
The hypercube of dimension n is the graph whose vertices are the 2^n binary words of length n, and there is an edge between two of them if they have Hamming distance 1. We consider an edit distance based on swaps and mismatches, to which we refer as tilde-distance, and define the tilde-hypercube with edges linking words at tilde-distance 1. Then, we introduce and study some isometric subgraphs of the tilde-hypercube obtained by using special words called tilde-isometric words. The subgraphs keep only the vertices that avoid a given tilde-isometric word as a factor. In the case of word 11, the subgraph is called tilde-Fibonacci cube, as a generalization of the classical Fibonacci cube. The tilde-hypercube and the tilde-Fibonacci cube can be recursively defined; the same holds for the number of their edges. This allows an asymptotic estimation of the number of edges in the tilde-Fibonacci cube, in comparison to the total number in the tilde-hypercube.
On the signless Laplacian spectrum of k-uniform hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a connected $k$-uniform hypergraph on $n$ vertices and $m$ hyperedges. In [A.~Banerjee, On the spectrum of hypergraph, Linear Algebra and its Application, 614(2021), 82--110], Anirban Banerjee introduced a new adjacency matrix for hypergraphs. In this article we consider the corresponding signless Laplacian matrix $Q(\mathcal{H})$ and discuss about its spectrum.
A combinatorial study on product of filter large sets
Sets satisfying Central sets theorem and other Ramsey theoretic large sets were studied extensively in literature. Hindman and Strauss proved that product of some of these large sets is again large. In this paper we show that if we take two combinatorially large sets along idempotent filters, then their product is also a filter large set. The techniques used here to prove our results are completely elementary in nature.
Bounds for the Competition-Independence game on trees
Published
• View Publication
• BIB
In this paper we prove that Sweller has a strategy so that the Sweller-Start Competition-Independence game lasts at least $(5n+3)/13$ moves for every tree. Moreover, we show that there exist arbitrarily large trees such that the Sweller-Start Competition-Independence game lasts at most $(5n+26)/12$ moves, disproving a conjecture by Henning.
Special values of spectral zeta functions and combinatorics: Sturm-Liouville problems
Published in European Journal of Combinatorics 2024
• View Publication
• BIB
In this paper, we apply the combinatorial results on counting permutations with fixed pinnacle and vale sets to evaluate the special values of the spectral zeta functions of Sturm-Liouville differential operators. As applications, we get a combinatorial formula for the special values of spectral zeta functions and give a new explicit formula for Bernoulli numbers.
A Comparison of Dijkstra's Algorithm Using Fibonacci Heaps, Binary Heaps, and Self-Balancing Binary Trees
This paper describes the shortest path problem in weighted graphs and examines the differences in efficiency that occur when using Dijkstra's algorithm with a Fibonacci heap, binary heap, and self-balancing binary tree. Using C++ implementations of these algorithm variants, we find that the fastest method is not always the one that has the lowest asymptotic complexity. Reasons for this are discussed and backed with empirical evidence.
Perfect t-embeddings of uniformly weighted Aztec diamonds and tower graphs
Published
• View Publication
• BIB
In this work we study a sequence of perfect t-embeddings of uniformly weighted Aztec diamonds. We show that these perfect t-embeddings can be used to prove convergence of gradients of height fluctuations to those of the Gaussian free field. In particular we provide a first proof of the existence of a model satisfying all conditions of the main theorem of arXiv:2109.06272. This confirms the prediction of arXiv:2002.07540. An important part of our proof is to exhibit exact integral formulas for perfect t-embeddings of uniformly weighted Aztec diamonds.
In addition, we construct and analyze perfect t-embeddings of another sequence of uniformly weighted finite graphs called tower graphs. Although we do not check all technical assumptions of the mentioned theorem for these graphs, we use perfect t-embeddings to derive a simple transformation which identifies height fluctuations on the tower graph with those of the Aztec diamond.
Scaling limits and universality: Critical percolation on weighted graphs converging to an $L^3$ graphon
Published
• View Publication
• BIB
We develop a general universality technique for establishing metric scaling limits of critical random discrete structures exhibiting mean-field behavior that requires four ingredients: (i) from the barely subcritical regime to the critical window, components merge approximately like the multiplicative coalescent, (ii) asymptotics of the susceptibility functions are the same as that of the Erdos-Renyi random graph, (iii) asymptotic negligibility of the maximal component size and the diameter in the barely subcritical regime, and (iv) macroscopic averaging of distances between vertices in the barely subcritical regime.
As an application of the general universality theorem, we establish, under some regularity conditions, the critical percolation scaling limit of graphs that converge, in a suitable topology, to an $L^3$ graphon. In particular, we define a notion of the critical window in this setting. The $L^3$ assumption ensures that the model is in the Erdos-Renyi universality class and that the scaling limit is Brownian. Our results do not assume any specific functional form for the graphon. As a consequence of our results on graphons, we obtain the metric scaling limit for Aldous-Pittel's RGIV model [9] inside the critical window.
Our universality principle has applications in a number of other problems including in the study of noise sensitivity of critical random graphs [52]. In [10], we use our universality theorem to establish the metric scaling limit of critical bounded size rules. Our method should yield the critical metric scaling limit of Rucinski and Wormald's random graph process with degree restrictions [56] provided an additional technical condition about the barely subcritical behavior of this model can be proved.
Characterisation of the big Ramsey degrees of the generic partial order
Published
• View Publication
• BIB
As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order. This is an infinitary extension of the well known fact that finite partial orders endowed with linear extensions form a Ramsey class (this result was announced by Nešetřil and Rödl in 1984 with first published proof by Paoli, Trotter and Walker in 1985). Towards this, we refine earlier upper bounds obtained by Hubička based on a new connection of big Ramsey degrees to the Carlson-Simpson theorem and we also introduce a new technique of giving lower bounds using an iterated application of the upper-bound theorem.
Stack and Queue Numbers of Graphs Revisited
Published
• View Publication
• BIB
A long-standing question of the mutual relation between the stack and queue numbers of a graph, explicitly emphasized by Dujmović and Wood in 2005, was "half-answered" by Dujmović, Eppstein, Hickingbotham, Morin and Wood in 2022; they proved the existence of a graph family with the queue number at most 4 but unbounded stack number. We give an alternative very short, and still elementary, proof of the same fact.
Hessenberg-Toeplitz Matrix Determinants with Schroder and Fine Number Entries
Published
• View Publication
• BIB
In this paper, we find determinant formulas of several Hessenberg-Toeplitz matrices whose nonzero entries are derived from the small and large Schroder and Fine number sequences. Algebraic proofs of these results can be given which make use of Trudi's formula and the generating function of the associated sequence of determinants. We also provide direct arguments of our results that utilize various counting techniques, among them sign-changing involutions, on combinatorial structures related to classes of lattice paths enumerated by the Schroder and Fine numbers. As a consequence of our results, we obtain some new formulas for the Schroder and Catalan numbers as well as for some additional sequences from the OEIS in terms of determinants of certain Hessenberg-Toeplitz matrices.
Distinct Distances in $R^3$ Between Quadratic and Orthogonal Curves
Published
• View Publication
• BIB
We study the minimum number of distinct distances between point sets on two curves in $R^3$. Assume that one curve contains $m$ points and the other $n$ points. Our main results:
(a) When the curves are conic sections, we characterize all cases where the number of distances is $O(m+n)$. This includes new constructions for points on two parabolas, two ellipses, and one ellipse and one hyperbola. In all other cases, the number of distances is $Ω(\min\{m^{2/3}n^{2/3},m^2,n^2\})$.
(b) When the curves are not necessarily algebraic but smooth and contained in perpendicular planes, we characterize all cases where the number of distances is $O(m+n)$. This includes a surprising new construction of non-algebraic curves that involve logarithms. In all other cases, the number of distances is $Ω(\min\{m^{2/3}n^{2/3},m^2,n^2\})$.
A lower bound for the complex flow number of a graph: a geometric approach
Published
• View Publication
• BIB
Let $r \geq 2$ be a real number. A complex nowhere-zero $r$-flow on a graph $G$ is an orientation of $G$ together with an assignment $\varphi\colon E(G)\to \mathbb{C}$ such that, for all $e \in E(G)$, the modulus of the complex number $\varphi(e)$ lies in the interval $[1,r-1]$ and, for every vertex, the incoming flow is equal to the outgoing flow. The complex flow number of a bridgeless graph $G$, denoted by $φ_{\mathbb{C}}(G)$, is the minimum of the real numbers $r$ such that $G$ admits a complex nowhere-zero $r$-flow. The exact computation of $φ_{\mathbb{C}}$ seems to be a hard task even for very small and symmetric graphs. In particular, the exact value of $φ_{\mathbb{C}}$ is known only for families of graphs where a lower bound can be trivially proved. Here, we use geometric and combinatorial arguments to give a non trivial lower bound for $φ_{\mathbb{C}}(G)$ in terms of the odd-girth of a cubic graph $G$ (i.e. the length of a shortest odd cycle) and we show that such lower bounds are tight. Our main result, Theorem 2, relies on the exact computation of the complex flow number of the wheel graph $W_n$ (see Theorem 1). In particular, we show that for every odd $n$, the value of $φ_{\mathbb{C}}(W_n)$ arises from one of three suitable configurations of points in the complex plane according to the congruence of $n$ modulo $6$.