Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Snake Graphs for Graph LP Algebras
Published
• View Publication
• BIB
Graph LP algebras are a generalization of cluster algebras introduced by Lam and Pylyavskyy. We provide a combinatorial proof of positivity for certain cluster variables in these algebras. This proof uses a hypergraph generalization of snake graphs, a class of planar graphs which were used by Musiker, Schiffler, and Williams to prove positivity for cluster algebras from surfaces. These results extend those given in our previous paper, where we used a related combinatorial object known as a $T$-path.
The Tropical Amplituhedron
Published
• View Publication
• BIB
The Amplituhedron is a subspace of the Grassmannian that was recently defined by Arkani-Hamed and Trnka in their study of scattering amplitudes in planar $\mathcal{N}=4$ super Yang Mills theory (arXiv:1312.2007), and was the subject of many papers in the last decade. In this work we define a tropical analog of the amplituhedron, and develop techniques to address it. We prove that many of the key properties of the amplituhedron hold also in this simpler, piecewise linear, model.
Diffusion limited aggregation in the layers model
Published
• View Publication
• BIB
In the classical model of Diffusion Limited Aggregation (DLA), introduced by Witten and Sander, the process begins with a single particle cluster placed at the origin of a space, and then, one at a time, particles make a random walk from infinity until they collide with, and stick to, the existing cluster.
We consider an analogous version of this process on large but finite graphs with a designated source and sink vertex. Initially the cluster of halted particles contains a single particle at the sink vertex. Starting one at a time from the source, each particle makes a random walk in the direction of the sink vertex. The particle halts at the last unoccupied vertex before the walk enters the cluster for the first time, thus increasing the size of the cluster. This continues until the source vertex becomes occupied, at which point the process ends. We study the DLA process on several classes of layered graphs, including Cayley trees of branching factor at least two with a sink vertex attached to the leaves. We determine the finish time of the process for a given class of graphs and show that the subcomponent of the final cluster linking source to sink is essentially a unique path.
Motivic Coh and Quot zeta functions of singular curves
We present a general and effective algebraic framework for enumerating finite-length quotients of a torsion-free sheaf of arbitrary rank (the Quot zeta function) and finite-length coherent sheaves (the Coh zeta function) over reduced singular curves. We prove that Quot zeta functions are motivically rational, using a novel parametrization and the geometry of affine Grassmannians, and that they satisfy an arbitrary-rank reflection principle, via harmonic analysis. We show that the a normalized high-rank limit of Quot zeta functions converges to the Coh zeta function. As a first application, we compute explicit formulas for these zeta functions for all $y^2 = x^n$ singularities, revealing a surprising and previously unknown connection to Rogers--Ramanujan type $q$-series. Further applications to affine Springer fibers and commuting varieties are also discussed.
Some frustrating questions on dimensions of products of posets
Published
• View Publication
• BIB
For $P$ a poset, the dimension of $P$ is defined to be the least cardinal $κ$ such that $P$ is embeddable in a direct product of $κ$ totally ordered sets. We study the behavior of this function on finite-dimensional (not necessarily finite) posets.
In general, the dimension dim($P$ x $Q$) of a product of two posets can be smaller than dim($P$) + dim($Q$), though no cases are known where the discrepancy is greater than 2. We obtain a result that gives upper bounds on the dimensions of certain products of posets, including cases where the discrepancy 2 is achieved. But the paper is mainly devoted to stating questions, old and new, about dimensions of product posets, noting implications among their possible answers, and introducing some related concepts that might be helpful in tackling these questions.
Automating Weight Function Generation in Graph Pebbling
Published
• View Publication
• BIB
Graph pebbling is a combinatorial game played on an undirected graph with an initial configuration of pebbles. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the smallest number of pebbles necessary such that, given any initial configuration of pebbles, at least one pebble can be moved to a specified root vertex. Recent lines of inquiry apply computational techniques to pebbling bound generation and improvement.
Along these lines, we present a computational framework that produces a set of tree strategy weight functions that are capable of proving pebbling number upper bounds on a connected graph. Our mixed-integer linear programming approach automates the generation of large sets of such functions and provides verifiable certificates of pebbling number upper bounds. The framework is capable of producing verifiable pebbling bounds on any connected graph, regardless of its structure or pebbling properties. We apply the model to the 4th weak Bruhat to prove $π(B_4) \leq 66$ and to the Lemke square graph to produce a set of certificates that verify $π(L x L) \leq 96$.
Weighted File Placements on Singleton Boards
In 2006, Briggs and Remmel gave a factorization theorem for $m$-level rook placements on singleton boards, a special subset of Ferrers boards. Subsequently, Barrese, Loehr, Remmel, and Sagan defined the $m$-weighted file placements to give a combinatorial interpretation to the aforementioned factorization theorem for all Ferrers boards. An unintended consequence of this definition is that the sum of the $m$-weights of file placements that are not $m$-level rook placements on a singleton board must be zero. In this paper, we attempt to illuminate this result by partitioning the set of file placements that are not $m$-level rook placements. We do so in such a way that it can be shown constructively that the sum of the $m$-weights on each partition must be zero using induction.
Less than Equable Triangles on the Eisenstein lattice
Published
• View Publication
• BIB
We classify perimeter dominant triangles whose side lengths are in $\sqrt3\mathbb N$ and whose area is in $\frac{\sqrt3}4\mathbb N$. There is one exceptional example, which is equilateral, and three infinite families determined by certain Pell, or Pell-like, equations.
Generating functions for the quotients of numerical semigroups
Published in Bull. Aust. Math. Soc. 110 (2024) 427-438
• View Publication
• BIB
We propose a class of generating functions denoted by $\textrm{RGF}_p(x)$, which is related to the Sylvester denumerant for the quotients of numerical semigroups. Using MacMahon's partition analysis, we can obtain $\textrm{RGF}_p(x)$ by extracting the constant term of a rational function. We use $\textrm{RGF}_p(x)$ to give a system of generators of the quotient of the numerical semigroup $\langle a_1,a_2,a_3\rangle$ by $p$ for a small positive integer $p$ and we characterise the generators for $\frac{\langle A\rangle}{p}$ for a general numerical semigroup $A$ and any positive integer $p$.
More on greedy construction heuristics for the MAX-CUT problem
A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics for the maximum cut problem, in analogy with the minimum spanning tree problem. Namely, all versions of the Sahni-Gonzalez~(SG) algorithms could be classified as the Prim class, while various Edge-Contraction~(EC) algorithms are of the Kruskal class. We further elucidate the relation of this framework to the stabilizer formalism in quantum computing, and point out that the recently proposed \textit{ADAPT-Clifford} algorithm is a reformulation of a refined version of the SG algorithm, SG3. Numerical performance of the typical algorithms from the two classes are studied with various kinds of graphs. It turns out that, the Prim-class algorithms perform better for general dense graphs, and the Kruskal-class algorithms performs better when the graphs are sparse enough.
Laguerre inequalities and determinantal inequalities for the finite difference of the partition functions
The paper aims to establish the Turán inequalities, the Laguerre inequalities (order $2$), and the determinantal inequalities (order $3$) for $Δp(n)$ and $Δ\bar{p}(n)$, where $Δf(n)$ is the first-order forward difference of a sequence $f(n)$. The functions $p(n)$ and $\bar{p}(n)$ denote the partition function and overpartition function, respectively. Conjectures for thresholds of Laguerre inequalities (order $m$) and positivity of $m$-order determinants are proposed, extending to $Δ^k p(n)$ and $Δ^k \bar{p}(n)$, with $1 \leq m \leq 11$ and $1 \leq k \leq 5$.
Bounds for Greedy $B_h$-sets
A set $A$ of nonnegative integers is called a $B_h$-set if every solution to $a_1+\dots+a_h = b_1+\dots+b_h$, where $a_i,b_i \in A$, has $\{a_1,\dots,a_h\}=\{b_1,\dots,b_h\}$ (as multisets). Let $γ_k(h)$ be the $k$-th positive element of the greedy $B_h$-set. We give a nontrivial lower bound on $γ_5(h)$, and a nontrivial upper bound on $γ_k(h)$ for $k\ge 5$. Specifically, $\frac 18 h^4 +\frac12 h^3 \le γ_5(h) \le 0.467214 h^4+O(h^3)$, although we conjecture that $γ_5(h)=\frac13 h^4 +O(h^3)$. We show that $γ_k(h) \ge \frac{1}{k!} h^{k-1} + O(h^{k-2})$ for $k\ge 1$ and $γ_k(h) \le α_k h^{k-1}+O(h^{k-2})$, where $α_6 := 0.382978$, $α_7 := 0.269877$, and for $k\ge 7$, $α_{k+1} := \frac{1}{2^k k!} \sum_{j=0}^{k-1} \binom{k-1}j\binom kj 2^j$. This work begins with a thorough introduction and concludes with a section of open problems.
A Note on Graph Burning of Path Forests
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Discrete Algorithms (August 21, 2024) dmtcs:12709
• View Publication
• BIB
Graph burning is a natural discrete graph algorithm inspired by the spread of social contagion. Despite its simplicity, some open problems remain steadfastly unsolved, notably the burning number conjecture, which says that every connected graph of order $m^2$ has burning number at most $m$. Earlier, we showed that the conjecture also holds for a path forest, which is disconnected, provided each of its paths is sufficiently long. However, finding the least sufficient length for this to hold turns out to be nontrivial. In this note, we present our initial findings and conjectures that associate the problem to some naturally impossibly burnable path forests. It is noteworthy that our problem can be reformulated as a topic concerning sumset partition of integers.
Families of Harris Graphs
A Harris Graph is a tough, Eulerian, non-Hamiltonian graph. Several approaches to creating new Harris graphs from existing ones are explored, including creating families of Harris graphs and combining Harris graphs. Pictures of all Harris Graphs through order 9 and the number of Harris graphs through order 12 are included. We also prove a result about barnacle-free Harris graphs.
Spanning caterpillar in biconvex bipartite graphs
Published in Discrete Applied Mathematics, 356, (2024), 32-36
• View Publication
• BIB
A bipartite graph $G=(A, B, E)$ is said to be a biconvex bipartite graph if there exist orderings $<_A$ in $A$ and $<_B$ in $B$ such that the neighbors of every vertex in $A$ are consecutive with respect to $<_B$ and the neighbors of every vertex in $B$ are consecutive with respect to $<_A$. A caterpillar is a tree that will result in a path upon deletion of all the leaves. In this note, we prove that there exists a spanning caterpillar in any connected biconvex bipartite graph. Besides being interesting on its own, this structural result has other consequences. For instance, this directly resolves the burning number conjecture for biconvex bipartite graphs.
Simple homotopy of flag simplicial complexes and contractible contractions of graphs
Published
• View Publication
• BIB
In his work on molecular spaces, Ivashchenko introduced the notion of an $\mathfrak{I}$-contractible transformation on a graph $G$, a family of addition/deletion operations on its vertices and edges. Chen, Yau, and Yeh used these operations to define the $\mathfrak{I}$-homotopy type of a graph, and showed that $\mathfrak{I}$-contractible transformations preserve the simple homotopy type of $C(G)$, the clique complex of $G$. In other work, Boulet, Fieux, and Jouve introduced the notion of $s$-homotopy of graphs to characterize the simple homotopy type of a flag simplicial complex. They proved that $s$-homotopy preserves $\mathfrak{I}$-homotopy, and asked whether the converse holds. In this note, we answer their question in the affirmative, concluding that graphs $G$ and $H$ are $\mathfrak{I}$-homotopy equivalent if and only if $C(G)$ and $C(H)$ are simple homotopy equivalent. We also show that a finite graph $G$ is $\mathfrak{I}$-contractible if and only if $C(G)$ is contractible, which answers a question posed by the first author, Espinoza, Frías-Armenta, and Hernández. We use these ideas to give a characterization of simple homotopy for arbitrary simplicial complexes in terms of links of vertices.
Latin hypercubes realizing integer partitions
Published
• View Publication
• BIB
For an integer partition $h_1 + \dots + h_n = N$, a 2-realization of this partition is a latin square of order $N$ with disjoint subsquares of orders $h_1,\dots,h_n$. The existence of 2-realizations is a partially solved problem posed by Fuchs. In this paper, we extend Fuchs' problem to $m$-ary quasigroups, or, equivalently, latin hypercubes. We construct latin cubes for some partitions with at most two distinct parts and highlight how the new problem is related to the original.
Pretty good fractional revival on Cayley graphs over dicyclic groups
In this paper, we investigate the existence of pretty good fractional revival on Cayley graphs over dicyclic groups. We first give a necessary and sufficient description for Cayley graphs over dicyclic groups admitting pretty good fractional revival. By this description, we give some sufficient conditions for Cayley graphs over dicyclic groups admitting or not admitting pretty good fractional revival.
Information Inequalities via Ideas from Additive Combinatorics
Published
• View Publication
• BIB
Ruzsa's equivalence theorem provided a framework for converting certain families of inequalities in additive combinatorics to entropic inequalities (which sometimes did not possess stand-alone entropic proofs). In this work, we first establish formal equivalences between some families (different from Ruzsa) of inequalities in additive combinatorics and entropic ones. As a first step to further these equivalences, we establish an information-theoretic characterization of the magnification ratio that could also be of independent interest.
The Weyl groupoid in Type A, Young diagrams and Borel subalgebras
Let $\mathtt{k}$ be an algebraically closed field of characteristic zero. Let ${\stackrel{\rm o}{\mathfrak{g}}}$ be the Lie superalgebra ${\mathfrak{sl}}(n|m)$ and let $\mathfrak{W}$ be the Weyl groupoid introduced by
Sergeev and Veselov using the root system of ${\stackrel{\rm o}{\mathfrak{g}}}$. An important subgroupoid $\mathfrak T_{iso}$ of ${\mathfrak{W}}$ has base $Δ_{iso}$, the set of all the isotropic roots.
Motivated by deformed quantum Calogero-Moser problems, the same authors considered an action of $\mathfrak{W}$ on $\mathtt{k}^{n|m}$ depending on a parameter $κ$. %When $κ$ is negative special, they showed this action has infinite orbits. In the case $m>n$, with $m,n $ relatively prime and $κ=-n/m$ we study a particular infinite orbit of $\mathfrak T_{iso}$ with some special properties. This orbit, thought of as a directed graph is isomorphic to the graph of an orbit for the action of $\mathfrak T_{iso}$ on certain Borel subalgebras of the affinization ${\widehat{L}(\stackrel{\rm _o}{\mathfrak{g}})}$ of ${\stackrel{\rm o}{\mathfrak{g}}}$. %The root groupoid has a base consisting of Borel subalgebras with fixed even part, and morphisms are given by odd reflections.
The underlying reason for this graph isomorphism is that both have combinatorics which can be described using Young diagrams and tableaux drawn on the surface of a rotating cylinder with circumference $n$ and length $m$. Allowing the cylinder to rotate produces an infinite orbit. This leads to a third graph which is isomorphic to the other two.