Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the hull and interval numbers of oriented graphs
In this work, for a given oriented graph $D$, we study its interval and hull numbers, respectively, in the oriented geodetic, P3 and P3* convexities. This last one, we believe to be formally defined and first studied in this paper, although its undirected version is well-known in the literature.
Concerning bounds, for a strongly oriented graph D, and the oriented geodetic convexity, we prove that $ohng(D)\leq m(D)-n(D)+2$ and that there is at least one such that $ohng(D) = m(D)-n(D)$. We also determine exact values for the hull numbers in these three convexities for tournaments, which imply polynomial-time algorithms to compute them. These results allow us to deduce polynomial-time algorithms to compute $ohnp(D)$ when the underlying graph of $D$ is split or cobipartite.
Moreover, we provide a meta-theorem by proving that if deciding whether $oing(D)\leq k$ or $ohng(D)\leq k$ is NP-hard or W[i]-hard parameterized by $k$, for some $i\in\mathbb{Z_+^*}$, then the same holds even if the underlying graph of $D$ is bipartite. Next, we prove that deciding whether $ohnp(D)\leq k$ or $ohnps(D)\leq k$ is W[2]-hard parameterized by $k$, even if $D$ is acyclic and its underlying graph is bipartite; that deciding whether $ohng(D)\leq k$ is W[2]-hard parameterized by $k$, even if $D$ is acyclic; that deciding whether $oinp(D)\leq k$ or $oinps(D)\leq k$ is NP-complete, even if $D$ has no directed cycles and the underlying graph of $D$ is a chordal bipartite graph; and that deciding whether $oinp(D)\leq k$ or $oinps(D)\leq k$ is W[2]-hard parameterized by $k$, even if the underlying graph of $D$ is split.
Finally, also argue that the interval and hull numbers in the oriented P3 and P3* convexities can be computed in cubic time for graphs of bounded clique-width by using Courcelle's theorem.
Asymptotic behavior of Markov complexity of matrices
Published
• View Publication
• BIB
To any integer matrix $A$ one can associate a matroid structure consisting of a graph and another integer matrix $A_B$. The connected components of this graph are called bouquets. We prove that bouquets behave well with respect to the $r$--th Lawrence liftings of matrices and we use it to prove that the Markov and Graver complexities of $m\times n$ matrices of rank $d$ may be arbitrarily large for $n\geq 4$ and $d\leq n-2$. In contrast, we show they are bounded in terms of $n$ and the largest absolute value $a$ of any entry of $A$.
On the critical group of hinge graphs
Published
• View Publication
• BIB
Let $G$ be a finite, connected, simple graph. The critical group $K(G)$, also known as the sandpile group, is the torsion subgroup of the cokernel of the graph Laplacian $\operatorname{cok}(L)$. We investigate a family of graphs with relatively simple non-cyclic critical group with an end goal of understanding whether multiple divisors, i.e., formal linear combinations of vertices of $G$, generate $K(G)$. These graphs, referred to as hinge graphs, can be intuitively understood by taking multiple base shapes and ``gluing" them together by a single shared edge and two corresponding shared vertices. In the case where all base shapes are identical, we compute the explicit structure of the critical group. Additionally, we compute the order of three special divisors. We prove the structure of the critical group of hinge graphs when variance in the number of vertices of each base shape is allowed, generalizing many of the aforementioned results.
Perfect partitions of a random set of integers
Let $X_1,\dots, X_n$ be independent integers distributed uniformly on $\{1,\dots, M\}$, $M=M(n)\to\infty$ however slow. A partition $S$ of $[n]$ into $ν$ non-empty subsets $S_1,\dots, S_ν$ is called perfect, if all $ν$ values $\sum_{j\in S_{\a}}X_j$ are equal. For a perfect partition to exist, $\sum_j X_j$ has to be divisible by $ν$. For $ν=2$, Borgs et al. proved, among other results, that, conditioned on $\sum_j X_j$ being even, with high probability a perfect partition exists if $κ:=\lim \tfrac{n}{\log M}>\tfrac{1}{\log 2}$, and that w.h.p. no perfect partition exists if $κ<\tfrac{1}{\log 2}$. We prove that w.h.p. no perfect partition exists if $ν\ge 3$ and $κ<\tfrac{2}{\log ν}$. We identify the range of $κ$ in which the expected number of perfect partitions is exponentially high. We show that for $κ> \tfrac{2(ν-1)}{\log[(1-2ν^{-2})^{-1}]}$ the total number of perfect partitions is exponentially high with probability $\gtrsim (1+ν^2)^{-1}$.
On the extremal graphs in generalized Turán problems
Published
• View Publication
• BIB
Given two graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the largest number of copies of $H$ in an $n$-vertex $F$-free graph. For every $F$ and sufficiently large $n$, we present an extremal graph for a generalized Turán problem, i.e., an $F$-free $n$ vertex graph $G$ that for some $H$ contains exactly $\mathrm{ex}(n,H,F)$ copies of $H$.
Multiple Scale Asymptotics of Map Enumeration
Published in Nonlinearity 36, 1663-1698 (2023)
• View Publication
• BIB
We introduce a systematic approach to express generating functions for the enumeration of maps on surfaces of high genus in terms of a single generating function relevant to planar surfaces. Central to this work is the comparison of two asymptotic expansions obtained from two different fields of mathematics: the Riemann-Hilbert analysis of orthogonal polynomials and the theory of discrete dynamical systems. By equating the coefficients of these expansions in a common region of uniform validity in their parameters, we recover known results and provide new expressions for generating functions associated with graphical enumeration on surfaces of genera 0 through 7. Although the body of the article focuses on 4-valent maps, the methodology presented here extends to regular maps of arbitrary even valence and to some cases of odd valence, as detailed in the appendices.
Sum and Difference Sets in Generalized Dihedral Groups
Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets.
The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ and proved that almost all subsets $A\subseteq G$ are sum-difference balanced as $|G|\to\infty$. For the dihedral group $D_{2n}$, they conjectured that of the remaining sets, most are MSTD, i.e., there are more MSTD sets than MDTS sets. Some progress on this conjecture was made by Haviland et al. in 2020, when they introduced the idea of partitioning the subsets by size: if, for each $m$, there are more MSTD subsets of $D_{2n}$ of size $m$ than MDTS subsets of size $m$, then the conjecture follows.
We extend the conjecture to generalized dihedral groups $D=\mathbb{Z}_2\ltimes G$, where $G$ is an abelian group of size $n$ and the nonidentity element of $\mathbb{Z}_2$ acts by inversion. We make further progress on the conjecture by considering subsets with a fixed number of rotations and reflections. By bounding the expected number of overlapping sums, we show that the collection $\mathcal S_{D,m}$ of subsets of the generalized dihedral group $D$ of size $m$ has more MSTD sets than MDTS sets when $6\le m\le c_j\sqrt{n}$ for $c_j=1.3229/\sqrt{111+5j}$, where $j$ is the number of elements in $G$ with order at most $2$. We also analyze the expectation for $|A+A|$ and $|A-A|$ for $A\subseteq D_{2n}$, proving an explicit formula for $|A-A|$ when $n$ is prime.
Polynomial progressions in topological fields
Published in Forum of Mathematics, Sigma 12 (2024) e106
• View Publication
• BIB
Let $P_1, \ldots, P_m \in K[y]$ be polynomials with distinct degrees, no constant terms and coefficients in a general locally compact topological field $K$. We give a quantitative count of the number of polynomial progressions $x, x+P_1(y), \ldots, x + P_m(y)$ lying in a set $S\subseteq K$ of positive density. The proof relies on a general $L^{\infty}$ inverse theorem which is of independent interest. This inverse theorem implies a Sobolev improving estimate for multilinear polynomial averaging operators which in turn implies our quantitative estimate for polynomial progressions. This general Sobolev inequality has the potential to be applied in a number of problems in real, complex and $p$-adic analysis.
Non-recursive Counts of Graphs on Surfaces
Published
• View Publication
• BIB
The problem of map enumeration concerns counting connected spatial graphs, with a specified number $j$ of vertices, that can be embedded in a compact surface of genus $g$ in such a way that its complement yields a cellular decomposition of the surface. As such this problem lies at the cross-roads of combinatorial studies in low dimensional topology and graph theory. The determination of explicit formulae for map counts, in terms of closed classical combinatorial functions of $g$ and $j$ as opposed to a recursive prescription, has been a long-standing problem with explicit results known only for very low values of $g$. In this paper we derive closed-form expressions for counts of maps with an arbitrary number of even-valent vertices, embedded in surfaces of arbitrary genus. In particular, we exhibit a number of higher genus examples for 4-valent maps that have not appeared prior in the literature.
Regular Cayley Maps of Elementary abelian $p$-groups: Classification and Enumeration
Published
• View Publication
• BIB
Recently, regular Cayley maps of cyclic groups and dihedral groups have been classified. A nature question is to classify regular Cayley maps of elementary abelian $p$-groups $Z_p^n$. In this paper, a complete classification of regular Cayley maps of $Z_p^n$ is given and moreover, the number of these maps and their genera are enumerated.
On the $A_α$ and $RD_α$ matrices over certain groups
The power graph $G = P(Ω)$ of a finite group $Ω$ is a graph with the vertex set $Ω$ and two vertices $u, v \in Ω$ form an edge if and only if one is an integral power of the other. Let $D(G)$, $A(G)$, $RT(G)$, and $RD(G)$ denote the degree diagonal matrix, adjacency matrix, the diagonal matrix of the vertex reciprocal transmission, and Harary matrix of the power graph $G$ respectively. Then the $A_α$ and $RD_α$ matrices of $G$ are defined as $A_α(G) = αD(G) + (1-α)A(G)$ and $RD_α(G) = αRT(G) + (1-α)RD(G)$. In this article, we determine the eigenvalues of $A_α$ and $RD_α$ matrices of the power graph of group $ \mathcal{G} = \langle s,r \, : r^{2^kp} = s^2 = e,~ srs^{-1} = r^{2^{k-1}p-1}\rangle$. In addition, we calculate its distant and detotar distance degree sequences, metric dimension, and strong metric dimension.
Dyck Numbers, I. Successor Function
Dyck paths are among the most heavily studied Catalan families. In the paper we are dealing with the minimal numbering of Dyck paths, with the resulting numbers, the terms of the OEIS sequence A036991, which we have called Dyck numbers. We consider the successor function on the Dyck numbers, closed formulas are obtained. In particular, the formula for the successor of the Mersenne number is calculated (since OEIS A000225 is a subset of A036991). We have obtained the corresponding algorithm of the Dyck successor function, DS-function, and a Python program has been compiled. At the end of the paper, the size of the A036991 ranges is associated with the terms of OEIS A001405. The corresponding hypothesis is formulated.
Random rotor walks and i.i.d. sandpiles on Sierpinski graphs
Published
• View Publication
• BIB
We prove that, on the infinite Sierpinski gasket graph SG, rotor walk with random initial configuration of rotors is recurrent. We also give a necessary condition for an i.i.d. sandpile to stabilize. In particular, we prove that an i.i.d. sandpile with expected number of chips per site greater or equal to three does not stabilize almost surely. Furthermore, the proof also applies to divisible sandpiles and shows that divisible sandpile at critical density one does not stabilize almost surely on SG.
The extended Frobenius problem for Fibonacci sequences incremented by a Fibonacci number
Published in Mediterr. J. Math. 20 (2023), Article No. 222
• View Publication
• BIB
We study the extended Frobenius problem for sequences of the form $\{f_a+f_n\}_{n\in\mathbb{N}}$, where $\{f_n\}_{n\in\mathbb{N}}$ is the Fibonacci sequence and $f_a$ is a Fibonacci number. As a consequence, we show that the family of numerical semigroups associated to these sequences satisfies the Wilf's conjecture.
Combinatorial and algebraic perspectives on the marginal independence structure of Bayesian networks
Published in Alg. Stat. 14 (2023) 233-286
• View Publication
• BIB
We consider the problem of estimating the marginal independence structure of a Bayesian network from observational data, learning an undirected graph we call the unconditional dependence graph. We show that unconditional dependence graphs of Bayesian networks correspond to the graphs having equal independence and intersection numbers. Using this observation, a Gröbner basis for a toric ideal associated to unconditional dependence graphs of Bayesian networks is given and then extended by additional binomial relations to connect the space of all such graphs. An MCMC method, called GrUES (Gröbner-based Unconditional Equivalence Search), is implemented based on the resulting moves and applied to synthetic Gaussian data. GrUES recovers the true marginal independence structure via a penalized maximum likelihood or MAP estimate at a higher rate than simple independence tests while also yielding an estimate of the posterior, for which the $20\%$ HPD credible sets include the true structure at a high rate for data-generating graphs with density at least $0.5$.
Ollivier Ricci curvature of Cayley graphs for dihedral groups, generalized quaternion groups, and cyclic groups
Published
• View Publication
• BIB
Lin, Lu, and Yau formulated the Ricci curvature of edges in simple undirected graphs[2]. Using their formulations, we calculate the Ricci curvatures of Cayley graphs for the dihedral groups, the general quaternion groups, and cyclic groups with some generating sets that are chosen so that their cardinal numbers are less than or equal to four. For the dihedral group and the general quaternion group, we obtained the Ricci curvatures of all edges of the Cayley graph with generator sets consisting of the four elements that are the two generators defining each group and their inverses elements.For the cyclic group (Z/nZ, +), we have the Ricci curvatures of edges of the Cayley graph generating by S_{1, k} = {+1, -1, +k, -k}.
Extended commonality of paths and cycles via Schur convexity
Published
• View Publication
• BIB
A graph $H$ is \emph{common} if the number of monochromatic copies of $H$ in a 2-edge-colouring of the complete graph $K_n$ is asymptotically minimised by the random colouring, or equivalently, $t_H(W)+t_H(1-W)\geq 2^{1-e(H)}$ holds for every graphon $W:[0,1]^2\rightarrow [0,1]$, where $t_H(.)$ denotes the homomorphism density of the graph $H$. Paths and cycles being common is one of the earliest cornerstones in extremal graph theory, due to Mulholland and Smith (1959), Goodman (1959), and Sidorenko (1989).
We prove a graph homomorphism inequality that extends the commonality of paths and cycles. Namely, $t_H(W)+t_H(1-W)\geq t_{K_2}(W)^{e(H)} +t_{K_2}(1-W)^{e(H)}$ whenever $H$ is a path or a cycle and $W:[0,1]^2\rightarrow\mathbb{R}$ is a bounded symmetric measurable function.
This answers a question of Sidorenko from 1989, who proved a slightly weaker result for even-length paths to prove the commonality of odd cycles. Furthermore, it also settles a recent conjecture of Behague, Morrison, and Noel in a strong form, who asked if the inequality holds for graphons $W$ and odd cycles $H$. Our proof uses Schur convexity of complete homogeneous symmetric functions, which may be of independent interest.
Refined Verlinde and Segre formula for Hilbert schemes
Let $\mathrm{Hilb}_nS$ be the Hilbert scheme of $n$ points on a smooth projective surface $S$. To a class $α\in K^0(S)$ correspond a tautological vector bundle $α^{[n]}$ on $\mathrm{Hilb}_nS$ and line bundle $L_{(n)}\otimes E^{\otimes r}$ with $L=\det(α)$, $r=\mathrm{rk}(α)$. In this paper we give closed formulas for the generating functions for the Segre classes $\int_{\mathrm{Hilb}_nS} s(α^{[n]})$, and the Verlinde numbers $χ(\mathrm{Hilb}_nS,L_{(n)}\otimes E^{\otimes r})$, for any surface $S$ and any class $α\in K^0(S)$. In fact we determine a more general generating function for $K$-theoretic invariants of Hilbert schemes of points, which contains the formulas for Segre and Verlinde numbers as specializations. We prove these formulas in case $K_S^2=0$. Without assuming the condition $K_S^2=0$, we show the Segre-Verlinde conjecture of Johnson and Marian-Oprea-Pandharipande, which relates the Segre and Verlinde generating series by an explicit change of variables.
On Equivariant flag $f$-vectors for balanced relative simplicial complexes
We study the equivariant flag $f$-vector and equivariant flag $h$-vector of a balanced relative simplicial complex with respect to a group action. When the complex satisfies Serre's condition $(S_{\ell}),$ we show that the equivariant flag $h$-vector, the equivariant $h$-vector, and the equivariant $f$-vector satisfy several inequalities.
We apply these results to the study of $P$-partitions of double posets, and weak colorings of mixed graphs.
The limit in the $(k+2, k)$-Problem of Brown, Erdős and Sós exists for all $k\geq 2$
Published
• View Publication
• BIB
Let $f^{(r)}(n;s,k)$ be the maximum number of edges of an $r$-uniform hypergraph on~$n$ vertices not containing a subgraph with $k$~edges and at most $s$~vertices. In 1973, Brown, Erdős and Sós conjectured that the limit $$\lim_{n\to \infty} n^{-2} f^{(3)}(n;k+2,k)$$ exists for all positive integers $k\ge 2$. They proved this for $k=2$. In 2019, Glock proved this for $k=3$ and determined the limit. Quite recently, Glock, Joos, Kim, Kühn, Lichev and Pikhurko proved this for $k=4$ and determined the limit; we combine their work with a new reduction to fully resolve the conjecture by proving that indeed the limit exists for all positive integers $k\ge 2$.