Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the Target Pebbling Conjecture
Published
• View Publication
• BIB
Graph pebbling is a network optimization model for satisfying vertex demands with vertex supplies (called pebbles), with partial loss of pebbles in transit. The pebbling number of a demand in a graph is the smallest number for which every placement of that many supply pebbles satisfies the demand. The Target Conjecture (Herscovici-Hester-Hurlbert, 2009) posits that the largest pebbling number of a demand of fixed size $t$ occurs when the demand is entirely stacked on one vertex. This truth of this conjecture could be useful for attacking many open problems in graph pebbling, including the famous conjecture of Graham (1989) involving graph products. It has been verified for complete graphs, cycles, cubes, and trees. In this paper we prove the conjecture for 2-paths and Kneser graphs over pairs.
The node cop-win reliability of unicyclic and bicyclic graphs
Published
• View Publication
• BIB
Various models to quantify the reliability of a network have been studied where certain components of the graph may fail at random and the probability that the remaining graph is connected is the proxy for reliability. In this work we introduce a strengthening of one of these models by considering the probability that the remaining graph is not just connected but also cop-win. A graph is cop-win if one cop can guarantee capture of a fleeing robber in the well-studied pursuit-evasion game of Cops and Robber. More precisely, for a graph $G$ with nodes that are operational independently with probability $p$ and edges that are operational if and only if both of their endpoints are operational, the node cop-win reliability of $G$, denoted $\text{NCRel}(G,p)$, is the probability that the operational nodes induce a cop-win subgraph of $G$. It is then of interest to find graphs $G$ with $n$ nodes and $m$ edges such that $\text{NCRel}(G,p)\ge\text{NCRel}(H,p)$ for all $p\in[0,1]$ and all graphs $H$ with $n$ nodes and $m$ edges. Such a graph is called uniformly most reliable. We show that uniformly most reliable graphs exist for unicyclic and bicyclic graphs, respectively. This is in contrast to the fact that there are no known sparse graphs maximizing the corresponding notion of node reliability.
Generalized Catalan numbers
A finitization of the Catalan numbers $ C_n $ can be defined as Euler characteristics of an algebraic structure. We conjecture the existence of a $ q $-deformed version of such structure, and provide evidence for the first two non-trivial cases. This $ q $-deformed version will likely categorify series arise from identities of the Roger-Ramanujan type.
Wasserstein Learning of Determinantal Point Processes
Determinantal point processes (DPPs) have received significant attention as an elegant probabilistic model for discrete subset selection. Most prior work on DPP learning focuses on maximum likelihood estimation (MLE). While efficient and scalable, MLE approaches do not leverage any subset similarity information and may fail to recover the true generative distribution of discrete data. In this work, by deriving a differentiable relaxation of a DPP sampling algorithm, we present a novel approach for learning DPPs that minimizes the Wasserstein distance between the model and data composed of observed subsets. Through an evaluation on a real-world dataset, we show that our Wasserstein learning approach provides significantly improved predictive performance on a generative task compared to DPPs trained using MLE.
Switch-based Markov Chains for Sampling Hamiltonian Cycles in Dense Graphs
Published
• View Publication
• BIB
We consider the irreducibility of switch-based Markov chains for the approximate uniform sampling of Hamiltonian cycles in a given undirected dense graph on $n$ vertices. As our main result, we show that every pair of Hamiltonian cycles in a graph with minimum degree at least $n/2+7$ can be transformed into each other by switch operations of size at most $10$, implying that the switch Markov chain using switches of size at most $10$ is irreducible. As a proof of concept, we also show that this Markov chain is rapidly mixing on dense monotone graphs.
Gromov width of symplectic toric manifolds associated with graphs
Published
• View Publication
• BIB
We give an explicit formula for the Gromov width for a class of symplectic toric manifolds constructed from simple graphs. As a corollary, we show a version of non-squeezing theorem with respect to the inclusion of connected graphs.
Obtaining trees of tangles from tangle-tree duality
Published in Journal of Combinatorics, Volume 13, Number 2, pp 251-287, 2022
• View Publication
• BIB
We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding the node degrees in them. We also present a slight strengthening and simplified proof of the duality theorem, which allows us to derive a tree-of-tangles theorem also for tangles of different orders.
Minimal Delaunay triangulations of hyperbolic surfaces
Published
• View Publication
• BIB
Motivated by recent work on Delaunay triangulations of hyperbolic surfaces, we consider the minimal number of vertices of such triangulations. First, we will show that every hyperbolic surface of genus $g$ has a simplicial Delaunay triangulation with $O(g)$ vertices, where edges are given by distance paths. Then, we will construct a class of hyperbolic surfaces for which the order of this bound is optimal. Finally, to give a general lower bound, we will show that the $Ω(\sqrt{g})$ lower bound for the number of vertices of a simplicial triangulation of a topological surface of genus $g$ is tight for hyperbolic surfaces as well.
Uniform and Monotone Line Sum Optimization
Published in Discrete Applied Mathematics, 298:165--170, 2021
• Search Publication
The {\em line sum optimization problem} asks for a $(0,1)$-matrix minimizing the sum of given functions evaluated at its row and column sums. We show that the {\em uniform} problem, with identical row functions and identical column functions, and the {\em monotone} problem, over matrices with nonincreasing row and column sums, are polynomial time solvable.
Hyperpaths
Hypertrees are high-dimensional counterparts of graph theoretic trees. They have attracted a great deal of attention by various investigators. Here we introduce and study Hyperpaths -- a particular class of hypertrees which are high dimensional analogs of paths in graph theory. A $d$-dimensional hyperpath is a $d$-dimensional hypertree in which every $(d-1)$-dimensional face is contained in at most $(d+1)$ faces of dimension $d$. We introduce a possibly infinite family of hyperpaths for every dimension, and investigate its properties in greater depth for dimension $d=2$.
A note on the largest sum-free sets of integers
Published
• View Publication
• BIB
Given $A$ a set of $N$ positive integers, an old question in additive combinatorics asks that whether $A$ contains a sum-free subset of size at least $N/3+ω(N)$ for some increasing unbounded function $ω$. The question is generally attacked in the literature by considering another conjecture, which asserts that as $N\to\infty$, $\max_{x\in\mathbb{R}/\mathbb{Z}}\sum_{n\in A}({\bf 1}_{(1/3,2/3)}-1/3)(nx)\to\infty$. This conjecture, if true, would also imply that a similar phenomenon occurs for $(2k,4k)$-sum-free sets for every $k\geq1$. In this note, we prove the latter result directly. The new ingredient of our proof is a structural analysis on the host set $A$, which might be of independent interest.
Combinatorial results on $t$-cores and sums of squares
We classify the connection between $t$-cores and self-conjugate $t$-cores to sums of squares. To do so, we provide explicit maps between $t$-core partitions and self-conjugate $t$-core partitions of a positive integer $n$ to representations of certain numbers as sums of squares. For example, the self-conjugate $4$-core partition $λ=(4,1,1,1)$ corresponds uniquely to the solution $61=6^2+5^2$. As a corollary, we completely classify the relationship between $t$-cores and Hurwitz class numbers.
Using these tools, we see how certain sets of representations as sums of squares naturally decompose into families of $t$-cores. Finally, we construct an explicit map on partitions to explain the equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$ previously studied by Bringmann, Kane, and the first author.
Intransitive dice tournament is not quasirandom
Published
• View Publication
• BIB
We settle a version of the conjecture about intransitive dice posed by Conrey, Gabbard, Grant, Liu and Morrison in 2016 and Polymath in 2017. We consider generalized dice with $n$ faces and we say that a die $A$ beats $B$ if a random face of $A$ is more likely to show a higher number than a random face of $B$. We study random dice with faces drawn iid from the uniform distribution on $[0,1]$ and conditioned on the sum of the faces equal to $n/2$. Considering the "beats" relation for three such random dice, Polymath showed that each of eight possible tournaments between them is asymptotically equally likely. In particular, three dice form an intransitive cycle with probability converging to $1/4$. In this paper we prove that for four random dice not all tournaments are equally likely and the probability of a transitive tournament is strictly higher than $3/8$.
An analogue of a theorem of Steinitz for ball polyhedra in $\mathbb{R}^3$
Published
• View Publication
• BIB
Steinitz's theorem states that a graph $G$ is the edge-graph of a $3$-dimensional convex polyhedron if and only if, $G$ is simple, plane and $3$-connected. We prove an analogue of this theorem for ball polyhedra, that is, for intersections of finitely many unit balls in $\mathbb{R}^3$.
Symmetric Group Action of the Birational $R$-matrix
Published
• View Publication
• BIB
The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group $S_m$ on an $m$-tuple of vectors. While the birational $R$-matrix is precisely the formula corresponding to the action of the simple transposition $s_i$, explicit formulas for the action of other permutations are generally not known. One particular case was studied by Lam and Pylyavskyy as it relates to energy functions of crystals. In this paper, we will discuss formulas for several additional cases, including transpositions, and provide combinatorial interpretations for the functions that appear in our work.
Random multilinear maps and the Erdős box problem
Published in Discrete Analysis 2021:17, 8 pp
• Search Publication
By using random multilinear maps, we provide new lower bounds for the Erdős box problem, the problem of estimating the extremal number of the complete $d$-partite $d$-uniform hypergraph with two vertices in each part, thereby improving on work of Gunderson, Rödl and Sidorenko.
Improvements on Hippchen's Conjecture
Published
• View Publication
• BIB
Let $G$ be a $k$-connected graph on $n$ vertices. Hippchen's Conjecture states that two longest paths in $G$ share at least $k$ vertices. Gutiérrez recently proved the conjecture when $k\leq 4$ or $k\geq \frac{n-2}{3}$. We improve upon both results; namely, we show that two longest paths in $G$ share at least $k$ vertices when $k=5$ or $k\geq \frac{n+2}{5}$. This completely resolves two conjectures of Gutiérrez in the affirmative.
Further Results on Pure Summing Registers and Complementary Ones
We decide completely the cycle structure of pure summing register (PSR) and complementary summing register (CSR). Based on the state diagram of CSR, we derive an algorithm to generate de Bruijn cycles from CSR inspired by Tuvi Etzion's publication in 1984. We then point out the limitation in generalizations of extended representation we use in the algorithm proposed, with a proof of the fact that only PSR and CSR contain pure cycles all dividing n+1.
The Buchweitz set of a numerical semigroup
Published
• View Publication
• BIB
Let $A \subset {\mathbb Z}$ be a finite subset. We denote by $\mathcal{B}(A)$ the set of all integers $n \ge 2$ such that $|nA| > (2n-1)(|A|-1)$, where $nA=A+\cdots+A$ denotes the $n$-fold sumset of $A$. The motivation to consider $\mathcal{B}(A)$ stems from Buchweitz's discovery in 1980 that if a numerical semigroup $S \subseteq {\mathbb N}$ is a Weierstrass semigroup, then $\mathcal{B}({\mathbb N} \setminus S) = \emptyset$. By constructing instances where this condition fails, Buchweitz disproved a longstanding conjecture by Hurwitz (1893). In this paper, we prove that for any numerical semigroup $S \subset {\mathbb N}$ of genus $g \ge 2$, the set $\mathcal{B}({\mathbb N} \setminus S) $ is finite, of unbounded cardinality as $S$ varies.
On the nonexistence of certain orthogonal arrays of strength four
Published
• View Publication
• BIB
We show that no orthogonal arrays $OA(16 λ, 11, 2,4)$ exist with $λ=6$ and $λ=7$. This solves an open problem of the NSUCRYPTO Olympiad 2018. Our result allows us to determine the minimum weights of certain higher-order correlation-immune Boolean functions.