Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Multiset Metric Dimension of Binomial Random Graphs
For a graph $G = (V,E)$ and a subset $R \subseteq V$, we say that $R$ is \textit{multiset resolving} for $G$ if for every pair of vertices $v,w$, the \textit{multisets} $\{d(v,r): r \in R\}$ and $\{d(w,r):r \in R\}$ are distinct, where $d(x,y)$ is the graph distance between vertices $x$ and $y$. The \textit{multiset metric dimension} of $G$ is the size of a smallest set $R \subseteq V$ that is multiset resolving (or $\infty$ if no such set exists). This graph parameter was introduced by Simanjuntak, Siagian, and Vitrík in 2017~\cite{simanjuntak2017multiset}, and has since been studied for a variety of graph families. We prove bounds which hold with high probability for the multiset metric dimension of the binomial random graph $G(n,p)$ in the regime $d = (n-1)p = Θ(n^{x})$ for fixed $x \in (0,1)$.
Preference-restricted parking functions
A parking function is a function $π:[n]\to [n]$ whose $i$th-smallest output is at most $i,$ corresponding to a parking procedure for $n$ cars on a one-way street. We refine this concept by introducing preference-restricted parking functions, which are parking functions with codomain restricted to some $S\subseteq[n]$. Particular choices of $S$ yield new combinatorial interpretations of previous results about variant parking procedures, and new results too. In particular we consider prime parking functions, parking procedures with fewer spots than cars, and parking functions where each spot has space for multiple cars. We also use restricted parking functions to reprove Abel's binomial theorem.
Symplectic Hecke eigenbases from Ehrhart polynomials
For $n\in\mathbb{N}$ and $\ell\in\{0,1,\dots,n\}$, we consider the function extracting the $\ell$th coefficient of the Ehrhart polynomials of lattice polytopes in $\mathbb{R}^n$. These functions form a basis of the space of unimodular invariant valuations. We show that, in even dimensions, these functions are in fact simultaneous symplectic Hecke eigenfunctions. We leverage this and apply the theory of spherical functions and their associated zeta functions to prove analytic, asymptotic, and combinatorial results about the arithmetic functions averaging $\ell$th Ehrhart coefficients.
Positive combinatorial formulae for involution matrix loci and orbit harmonics
Published
• View Publication
• BIB
Let $\mathcal{M}_{n,a}$ be the set consisting of involutions in symmetric group $\mathfrak{S}_n$ with exactly $a$ fixed points and apply the orbit harmonics method to obtain a graded $\mathfrak{S}_n$-module $R(\mathcal{M}_{n,a})$. Liu, Ma, Rhoades, and Zhu figured out a signed combinatorial formula for the graded Frobenius image $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$. Our goal is to cancel these signs. Finally, we find two positive combinatorial formulae for $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$. As an application, we deduce a series of $\mathfrak{S}_n$-equivariant isomorphisms between graded components $R(\mathcal{M}_{n,a})_d$ and $R(\mathcal{M}_{n,a^{\prime}})_d$ for some integers $a\neq a^{\prime}$ and $d$. Our positive formulae also yield potential attempts to find a linear basis for $R(\mathcal{M}_{n,a})$ and a statistic $\mathrm{stat}:\mathcal{M}_{n,a}\rightarrow\mathbb{Z}_{\ge0}$ to interpret the Hilbert series $\mathrm{Hilb}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$.
On connected graphs with finite spectral redundancy index and Pythagorean triplets
This article investigates spectral redundancy, a concept initially introduced by Alberto Seeger. Spectral redundancy arises when different connected induced subgraphs of a graph share the same spectral radius in their adjacency spectrum. Let \(b(G)\) denote the total number of non-isomorphic induced subgraphs of \(G\), and \(c(G)\) represents the cardinality of the set of spectral radius of all connected induced subgraphs of \(G\). The spectral redundancy of a graph \( G \) is defined as the ratio \( \frac{b(G)}{c(G)} \). The supremum of this ratio across all graphs in a family is called the spectral redundancy index of that family. We focus on a family of graphs that exhibit spectral redundancy and we find out the spectral redundancy index of this family. Furthermore, we investigate the connection between the spectral redundancy of these graphs and the presence of Pythagorean triplets.
An Alon-Boppana--type bound for very dense graphs, with applications to max-cut
For any $ε> 0$, we show that if $G$ is a regular graph on $n \gg_ε1$ vertices that is $ε$-far (differs by at least $εn^2$ edges) from any Turán graph, then its second eigenvalue $λ_2$ satisfies $$λ_2 \geq n^{1/4 - ε}.$$ The exponent $1/4$ is optimal. Our result generalizes an analogous bound, independently obtained by Balla, Räty -- Sudakov-Tomon, and Ihringer, which only applies to graphs with density at most $\frac{1}{2}$. Up to a lower-order factor, this confirms a conjecture of Räty, Sudakov and Tomon. Our spectral approach has interesting applications to max-cut. First, we show that if a graph $G$, on $n \gg_ε1$ vertices and $m$ edges, is $ε$-far from a disjoint union of cliques, then it has a max-cut of size at least $$\frac{m}{2} + n^{1.01}.$$ Our result improves upon a classical result of Edwards by a non-trivial polynomial factor, making progress towards another conjecture of Räty, Sudakov and Tomon. As another application of our method, we show that if a graph $G$ is $H$-free and has $m$ edges, then $G$ has a max-cut of size at least $$\frac{m}{2} + c_H m^{0.5001}$$ where $c_H > 0$ is some constant depending on $H$ only. This result makes progress towards a conjecture of Alon, Bollobás, Krivelevich and Sudakov, and answers recent questions by Glock-Janzer-Sudakov and Balla-Janzer-Sudakov.
Testing APS conjecture on regular graphs
The maximum energy of the EPR model on a weighted graph is known to be upper-bounded by the sum of the total weight and the value of maximum-weight fractional matching~(MWFM). Recently, Apte, Parekh and Sud~(APS) conjecture that the bound could be strengthened by replacing MWFM with maximum weight matching~(MWM). Here we test this conjecture on a special class of regular graphs that Henning and Yeo constructed many years ago. On this class of regular graphs, MWMs achieve tight lower bounds. As for the maximum energy of the EPR model, we have recently devised a new algorithm called Fractional Entanglement Distribution~(FED) based on quasi-homogeneous fractional matchings, which could achieve rather high accuracy. Applying the FED algorithm to the EPR model on Henning-Yeo graphs, we could thus obtain energy as high as possible and matching value as low as possible, and then make high-precision tests of the APS conjecture. Nevertheless, our numerical results do not show any evidence that the APS conjecture could be violated.
Note on extremal problems about connected subgraph sums
Published
• View Publication
• BIB
For a graph $G$ with vertex assignment $c:V(G)\to \mathbb{Z}^+$, we define $\sum_{v\in V(H)}c(v)$ for $H$ a connected subgraph of $G$ as a connected subgraph sum of $G$. We study the set $S(G,c)$ of connected subgraph sums and, in particular, resolve a problem posed by Solomon Lo in a strong form. We show that for each $n$-vertex graph, there is a vertex assignment $c:V(G)\to \{1,\dots,12n^2\}$ such that for every $n$-vertex graph $G'\not\cong G$ and vertex assignment $c'$ for $G'$, the corresponding collections of connected subgraph sums are different (i.e., $S(G,c)\neq S(G',c')$). We also provide some remarks on vertex assignments of a graph $G$ for which all connected subgraph sums are different.
A lower bound for the Weisfeiler-Leman dimension of circulant graphs
Published
• View Publication
• BIB
It is proved that for infinitely many positive integers n, there exists a circulant graph of order n whose Weisfeiler-Leman dimension is at least c\sqrt{log n} for some positive constant c not depending on n.
A new look at twin reduction
Twin reduction defines an equivalence relation on the vertex set of a graph. I give a characterisation of this equivalence relation. A consequence is a structure theorem for the automorphism group of the graph.
$(Δ-1)$-dicolouring of digraphs
In 1977, Borodin and Kostochka conjectured that every graph with maximum degree $Δ\geq 9$ is $(Δ-1)$-colourable, unless it contains a clique of size $Δ$. In 1999, Reed confirmed the conjecture when $Δ\geq 10^{14}$.
We propose different generalisations of this conjecture for digraphs, and prove the analogue of Reed's result for each of them. The chromatic number and clique number are replaced respectively by the dichromatic number and the biclique number of digraphs. If $D$ is a digraph such that $\min(\tildeΔ(D),Δ^+(D)) = Δ\geq 9$, we conjecture that $D$ has dichromatic number at most $Δ-1$, unless either (i) $D$ contains a biclique of size $Δ$, or (ii) $D$ contains a biclique $K$ of size $Δ-2$, a directed $3$-cycle $\vec{C_3}$ disjoint from $K$, and all possible arcs in both directions between $\vec{C_3}$ and $K$. If true, this implies the conjecture of Borodin and Kostochka. We prove it when $Δ$ is large enough, thereby generalising the result of Reed.
We finally give a sufficient condition for a digraph $D$ to have dichromatic number at most $Δ_{\min}(D)-1$, assuming that $Δ_{\min}(D)$ is large enough. In particular, this holds when the underlying graph of $D$ has no clique of size $Δ_{\min}(D)$, thus yielding a third independent generalisation of Reed's result. We further give a hardness result witnessing that our sufficient condition is best possible.
To obtain these new upper bounds on the dichromatic number, we prove a dense decomposition lemma for digraphs having large maximum degree, which generalises to the directed setting the so-called dense decomposition of graphs due to Molloy and Reed. We believe this may be of independent interest, especially as a tool in various applications.
Guessing Strategies for Shuffling Machines
We investigate a one-time single shelf shuffle by establishing the position matrix explicitly. In some cases, we prove a no-feedback optimal guessing strategy. A general no-feedback strategy is conjectured, and asymptotics for the expected reward are given. For the complete-feedback case, we give a guessing strategy, prove that it is optimal and unique, and find the expected reward. Our results prove a conjecture of Diaconis, Fulman, and Holmes in a special case.
Computing the probability of intersection
Published
• View Publication
• BIB
Let $Ω_1, \ldots, Ω_m$ be probability spaces, let $Ω=Ω_1 \times \cdots \times Ω_m$ be their product and let $A_1, \ldots, A_n \subset Ω$ be events. Suppose that each event $A_i$ depends on $r_i$ coordinates of a point $x \in Ω$, $x=\left(ξ_1, \ldots, ξ_m\right)$, and that for each event $A_i$ there are $Δ_i$ of other events $A_j$ that depend on some of the coordinates that $A_i$ depends on. Let $Δ=\max\{5,\ Δ_i: i=1, \ldots, n\}$ and let $μ_i=\min\{r_i,\ Δ_i+1\}$ for $i=1, \ldots, n$. We prove that if $P(A_i) < (3Δ)^{-3μ_i}$ for all $i$, then for any $0 < ε< 1$, the probability $P\left( \bigcap_{i=1}^n \overline{A}_i\right)$ of the intersection of the complements of all $A_i$ can be computed within relative error $ε$ in polynomial time from the probabilities $P\left(A_{i_1} \cap \ldots \cap A_{i_k}\right)$ of $k$-wise intersections of the events $A_i$ for $k = e^{O(Δ)} \ln (n/ε)$.
p-Laplacians for Manifold-valued Hypergraphs
Published
• View Publication
• BIB
Hypergraphs extend traditional graphs by enabling the representation of N-ary relationships through higher-order edges. Akin to a common approach of deriving graph Laplacians, we define function spaces and corresponding symmetric products on the nodes and edges to derive hypergraph Laplacians. While this has been done before for Euclidean features, this work generalizes previous hypergraph Laplacian approaches to accommodate manifold-valued hypergraphs for many commonly encountered manifolds.
Leaf to leaf path lengths in trees of given degree sequence
Published
• View Publication
• BIB
For a tree $T$, let $lp(T)$ be the number of different lengths of leaf to leaf paths in $T$. For a degree sequence $s$ of a tree, let ${\rm rad}(s)$ be the minimum radius of a tree with degree sequence $s$. Recently, Di Braccio, Katsamaktsis, Ma, Malekshahian, and Zhao provided a lower bound on $lp(T)$ in terms of the number of leaves and the maximum degree of $T$, answering a related question posed by Narins, Pokrovskiy, and Szabó. Here we show $lp(T)\geq {\rm rad}(s)-\log_2\left({\rm rad}(s)\right)$ for a tree $T$ with no vertex of degree $2$ and degree sequence $s$, and discuss possible improvements and variants.
Ptolemy's equation and kin
Published
• View Publication
• BIB
Three-term relations of the form AB+CD=EF arise in multiple mathematical contexts, including the Ptolemy equation for a cyclic quadrilateral, Casey's theorem on bitangents, Penner's relation for lambda lengths, and Plücker's identity for the maximal minors of a 2x4-matrix. In this note, we explain how these different occurrences of the 3-term relation can be directly obtained from each other.
Degree-truncated choosability of graphs
Published
• View Publication
• BIB
A graph $G$ is called degree-truncated $k$-choosable if for every list assignment $L$ with $|L(v)| \ge \min\{d_G(v), k\}$ for each vertex $v$, $G$ is $L$-colourable. Richter asked whether every 3-connected non-complete planar graph is degree-truncated 6-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not degree-truncated 7-choosable. Then we prove that every 3-connected non-complete planar graph is degree-truncated 16-DP-colourable (and hence degree-truncated $16$-choosable). We further prove that for an arbitrary proper minor closed family ${\mathcal G}$ of graphs, let $s$ be the minimum integer such that $K_{s,t} \notin \mathcal{G}$ for some $t$, then there is a constant $k$ such that every $s$-connected graph $G \in {\mathcal G}$ other than a GDP tree is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable), where a GDP-tree is a graph whose blocks are complete graphs or cycles. In particular, for any surface $Σ$, there is a constant $k$ such that every 3-connected non-complete graph embeddable on $Σ$ is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable). The $s$-connectedness for graphs in $\mathcal{G}$ (and 3-connectedness for graphs embeddable on $Σ$) is necessary, as for any positive integer $k$, $K_{s-1,k^{s-1}} \in \mathcal{G}$ ($K_{2,k^2}$ is planar) is not degree-truncated $k$-choosable. Also, non-completeness is a necessary condition, as complete graphs are not degree-choosable.
Colorful Minors
We introduce the notion of colorful minors, which generalizes the classical concept of rooted minors in graphs. A $q$-colorful graph is defined as a pair $(G, χ),$ where $G$ is a graph and $χ$ assigns to each vertex a (possibly empty) subset of at most $q$ colors. The colorful minor relation enhances the classical minor relation by merging color sets at contracted edges and allowing the removal of colors from vertices. This framework naturally models algorithmic problems involving graphs with (possibly overlapping) annotated vertex sets. We develop a structural theory for colorful minors by establishing three core theorems characterizing $\mathcal{H}$-colorful minor-free graphs, where $\mathcal{H}$ consists either of a clique or a grid with all vertices assigned all colors, or of grids with colors segregated and ordered on the outer face. Our results reveal that when exclusion is imposed not only on graphs but also to the way colors are distributed in them, a more refined structural landscape appears.
Leveraging our structural insights, we provide a complete classification -- parameterized by the number $q$ of colors -- of all colorful graphs that exhibit the Erdős-Pósa property with respect to colorful minors. On the algorithmic side, we deduce that colorful minor testing is fixed-parameter tractable. Together with the fact that the colorful minor relation forms a well-quasi-order, this implies that every colorful minor-monotone parameter on colorful graphs admits a fixed-parameter algorithm. Furthermore, we derive two algorithmic meta-theorems (AMTs) whose structural conditions are linked to extensions of treewidth and Hadwiger number on colorful graphs. Our results suggest how known AMTs can be extended to incorporate not only the structure of the input graph but also the way the colored vertices are distributed in it.
Discrete sumsets with one large summand
Published
• View Publication
• BIB
If $A$ and $B$ are subsets of an abelian group, their sumset is $A+B:=\{a+b:a\in A, b\in B\}$. We study sumsets in discrete abelian groups, where at least one summand has positive upper Banach density.
Renling Jin proved that if $A$ and $B$ are sets of integers having positive upper Banach density, then $A+B$ is piecewise syndetic. Bergelson, Furstenberg, and Weiss improved the conclusion to "$A+B$ is piecewise Bohr." Beiglböck, Bergelson, and Fish showed this to be qualitatively optimal, in the sense that if $C\subseteq \mathbb Z$ is piecewise Bohr, then there are $A, B\subseteq \mathbb Z$ having positive upper Banach density such that $A+B\subseteq C$.
We improve these results by establishing a strong correspondence between sumsets in discrete abelian groups, level sets of convolutions in compact abelian groups, and sumsets in compact abelian groups. Our proofs avoid measure preserving dynamics and nonstandard analysis, and our results apply to discrete abelian groups of any cardinality.
A Fast Coloring Oracle for Average Case Hypergraphs
Hypergraph $2$-colorability is one of the classical NP-hard problems. Person and Schacht [SODA'09] designed a deterministic algorithm whose expected running time is polynomial over a uniformly chosen $2$-colorable $3$-uniform hypergraph. Lee, Molla, and Nagle recently extended this to $k$-uniform hypergraphs for all $k\geq 3$. Both papers relied heavily on the regularity lemma, hence their analysis was involved and their running time hid tower-type constants.
Our first result in this paper is a new simple and elementary deterministic $2$-coloring algorithm that reproves the theorems of Person-Schacht and Lee-Molla-Nagle while avoiding the use of the regularity lemma. We also show how to turn our new algorithm into a randomized one with average expected running time of only $O(n)$.
Our second and main result gives what we consider to be the ultimate evidence of just how easy it is to find a $2$-coloring of an average $2$-colorable hypergraph. We define a coloring oracle to be an algorithm which, given vertex $v$, assigns color red/blue to $v$ while inspecting as few edges as possible, so that the answers to any sequence of queries to the oracle are consistent with a single legal $2$-coloring of the input. Surprisingly, we show that there is a coloring oracle that, on average, can answer every vertex query in time $O(1)$.