Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On generalized Sidon spaces
Published
• View Publication
• BIB
Sidon spaces have been introduced by Bachoc, Serra and Zémor as the $q$-analogue of Sidon sets, classical combinatorial objects introduced by Simon Szidon. In 2018 Roth, Raviv and Tamo introduced the notion of $r$-Sidon spaces, as an extension of Sidon spaces, which may be seen as the $q$-analogue of $B_r$-sets, a generalization of classical Sidon sets. Thanks to their work, the interest on Sidon spaces has increased quickly because of their connection with cyclic subspace codes they pointed out. This class of codes turned out to be of interest since they can be used in random linear network coding. In this work we focus on a particular class of them, the one-orbit cyclic subspace codes, through the investigation of some properties of Sidon spaces and $r$-Sidon spaces, providing some upper and lower bounds on the possible dimension of their \textit{r-span} and showing explicit constructions in the case in which the upper bound is achieved. Moreover, we provide further constructions of $r$-Sidon spaces, arising from algebraic and combinatorial objects, and we show examples of $B_r$-sets constructed by means of them.
Power domination with random sensor failure
The power domination problem seeks to determine the minimum number of phasor measurement units (PMUs) needed to monitor an electric power network. We introduce random sensor failure before the power domination process occurs and call this the fragile power domination process. For a given graph, PMU placement, and probability of PMU failure $q$, we study the expected number of observed vertices at the termination of the fragile power domination process. This expected value is a polynomial in $q$, which we relate to fault-tolerant and PMU-defect-robust power domination. We also study the probability of that the entire graph becomes observed and give results for some graph families.
Connectedness in weighted consensus division of graphical cakes between two agents
Published in Mathematical Social Sciences Mathematical Social Sciences, Volume 138, December 2025, 102463
• View Publication
• BIB
Austin's moving knife procedure was originally introduced to find a consensus division of an interval/circular cake between two agents, each of whom believes that they receive exactly half of the cake. We generalise this in two ways: we consider cakes modelled by graphs, and let the two agents have unequal, arbitrary entitlements. In this setting, we seek a weighted consensus division -- one where each agent believes they received exactly the share they are entitled to -- which also minimises the number of connected components that each agent receives. First, we review the weighted consensus division of a circular cake, which gives exactly one connected piece to each agent. Next, by judiciously mapping a circle to a graph, we produce a weighted consensus division of a star graph cake that gives at most two connected pieces to each agent -- and show that this bound on the number of connected pieces is tight. For a tree, each agent receives at most h+1 connected pieces, where h is the minimal height of the tree. For a connected graphical cake, each agent receives r+2 connected pieces, where r is the radius of the graph. Finally, for a graphical cake with s connected components, the division involves at most s+2r+4 connected pieces, where r is the maximum radius among all connected components.
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
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
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.