Showing 20 papers (Total: 84253 papers, 48533 authors in database)
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$.
Counting cycles in planar triangulations
Published in Journal of Combinatroial Theory, Series B 170 (2025) 335-351
• View Publication
• BIB
We investigate the minimum number of cycles of specified lengths in planar $n$-vertex triangulations $G$. It is proven that this number is $Ω(n)$ for any cycle length at most $3 + \max \{ {\rm rad}(G^*), \lceil (\frac{n-3}{2})^{\log_32} \rceil \}$, where ${\rm rad}(G^*)$ denotes the radius of the triangulation's dual, which is at least logarithmic but can be linear in the order of the triangulation. We also show that there exist planar hamiltonian $n$-vertex triangulations containing $O(n)$ many $k$-cycles for any $k \in \{ \lceil n - \sqrt[5]{n} \rceil, \ldots, n \}$. Furthermore, we prove that planar 4-connected $n$-vertex triangulations contain $Ω(n)$ many $k$-cycles for every $k \in \{ 3, \ldots, n \}$, and that, under certain additional conditions, they contain $Ω(n^2)$ $k$-cycles for many values of $k$, including $n$.
Enumeration of Random Walk Positions in $L_1$-norm ball in $\mathbb{Z}^d$
In this paper, we mainly concerned about deriving the general formula to count the possible positions of $n$ step random walk in $\mathbb{Z}^d$ with unit length in each step, which we denoted as $|P_n^{d}|$. For our results, we firstly propose a recurrence relation of the counting formula: $|P_n^{d+1}| = |P_n^d| + 2\sum_{k=0}^{n-1} |P_k^d|$. Next, we propose two methods in deriving the explicit formula of $|P_n^{d}|$ using generating functions and Faulhaber's formula. Finally, we reached our main theorem in the matrix representation of our formula.
Inductive Freeness of Ziegler's Canonical Multiderivations for Restrictions of Reflection Arrangements
Published
• View Publication
• BIB
Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A"$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $κ$ is then a free multiarrangement. In 2024, the first two authors proved an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is the free multiarrangement $(\mathcal A'',κ)$. In 2018, all reflection arrangements which admit inductively free Ziegler restrictions were classified by the first two authors. The aim of this paper is an extension of this classification to all restrictions of reflection arrangements utilizing the aforementioned fundamental result from the 2024 paper of the first two authors.
Vertical projections in the Heisenberg group via cinematic functions and point-plate incidences
Let $\{π_{e} \colon \mathbb{H} \to \mathbb{W}_{e} : e \in S^{1}\}$ be the family of vertical projections in the first Heisenberg group $\mathbb{H}$. We prove that if $K \subset \mathbb{H}$ is a Borel set with Hausdorff dimension $\dim_{\mathbb{H}} K \in [0,2] \cup \{3\}$, then $$ \dim_{\mathbb{H}} π_{e}(K) \geq \dim_{\mathbb{H}} K $$ for $\mathcal{H}^{1}$ almost every $e \in S^{1}$. This was known earlier if $\dim_{\mathbb{H}} K \in [0,1]$.
The proofs for $\dim_{\mathbb{H}} K \in [0,2]$ and $\dim_{\mathbb{H}} K = 3$ are based on different techniques. For $\dim_{\mathbb{H}} K \in [0,2]$, we reduce matters to a Euclidean problem, and apply the method of cinematic functions due to Pramanik, Yang, and Zahl.
To handle the case $\dim_{\mathbb{H}} K = 3$, we introduce a point-line duality between horizontal lines and conical lines in $\mathbb{R}^{3}$. This allows us to transform the Heisenberg problem into a point-plate incidence question in $\mathbb{R}^{3}$. To solve the latter, we apply a Kakeya inequality for plates in $\mathbb{R}^{3}$, due to Guth, Wang, and Zhang. This method also yields partial results for Borel sets $K \subset \mathbb{H}$ with $\dim_{\mathbb{H}} K \in (5/2,3)$.
The lexicographically least square-free word with a given prefix
Published in The Electronic Journal of Combinatorics 30 (2023) #P3.11 (43 pages)
• View Publication
• BIB
The lexicographically least square-free infinite word on the alphabet of non-negative integers with a given prefix $p$ is denoted $L(p)$. When $p$ is the empty word, this word was shown by Guay-Paquet and Shallit to be the ruler sequence. For other prefixes, the structure is significantly more complicated. In this paper, we show that $L(p)$ reflects the structure of the ruler sequence for several words $p$. We provide morphisms that generate $L(n)$ for letters $n=1$ and $n\geq3$, and $L(p)$ for most families of two-letter words $p$.
In the Frame
In this expository paper, I survey Room frames and Kirkman frames, concentrating on the early history of these objects. I mainly look at the basic construction techniques, but I also provide some historical remarks and discussion. I also briefly discuss some other types of frames that have been investigated as well as some applications of frames to the construction of other types of designs.
The Second-Order Football-Pool Problem and the Optimal Rate of Generalized-Covering Codes
Published
• View Publication
• BIB
The goal of the classic football-pool problem is to determine how many lottery tickets are to be bought in order to guarantee at least $n-r$ correct guesses out of a sequence of $n$ games played. We study a generalized (second-order) version of this problem, in which any of these $n$ games consists of two sub-games. The second-order version of the football-pool problem is formulated using the notion of generalized-covering radius, recently proposed as a fundamental property of linear codes. We consider an extension of this property to general (not necessarily linear) codes, and provide an asymptotic solution to our problem by finding the optimal rate function of second-order covering codes given a fixed normalized covering radius. We also prove that the fraction of second-order covering codes among codes of sufficiently large rate tends to $1$ as the code length tends to $\infty$.
Twisted Hurwitz numbers: Tropical and polynomial structures
Published
• View Publication
• BIB
Hurwitz numbers count covers of curves satisfying fixed ramification data. Via monodromy representation, this counting problem can be transformed to a problem of counting factorizations in the symmetric group. This and other beautiful connections make Hurwitz numbers a longstanding active research topic. In recent work Chapuy and Dolęga, a new enumerative invariant called b-Hurwitz number was introduced, which enumerates non-orientable branched coverings. For b=1, we obtain twisted Hurwitz numbers which were linked to surgery theory in work of Burman and Fesler and admit a representation as factorisations in the symmetric group. In this paper, we derive a tropical interperetation of twisted Hurwitz numbers in terms of tropical covers and study their polynomial structure.
Optimizing for the Rupert property
Published
• View Publication
• BIB
A polyhedron is Rupert if it is possible to cut a hole in it and thread an identical polyhedron through the hole. It is known that all 5 Platonic solids, 10 of the 13 Archimedean solids, 9 of the 13 Catalan solids, and 82 of the 92 Johnson solids are Rupert. Here, a nonlinear optimization method is devised that is able to validate the previously known results in seconds. It is also used to show that 2 additional Catalan solids -- the triakis tetrahedron and the pentagonal icositetrahedron -- and 5 additional Johnson solids are Rupert.
Local and global expansion in random geometric graphs
Published
• View Publication
• BIB
Consider a random geometric 2-dimensional simplicial complex $X$ sampled as follows: first, sample $n$ vectors $\boldsymbol{u_1},\ldots,\boldsymbol{u_n}$ uniformly at random on $\mathbb{S}^{d-1}$; then, for each triple $i,j,k \in [n]$, add $\{i,j,k\}$ and all of its subsets to $X$ if and only if $\langle{\boldsymbol{u_i},\boldsymbol{u_j}}\rangle \ge τ, \langle{\boldsymbol{u_i},\boldsymbol{u_k}}\rangle \ge τ$, and $\langle \boldsymbol{u_j}, \boldsymbol{u_k}\rangle \ge τ$. We prove that for every $\varepsilon > 0$, there exists a choice of $d = Θ(\log n)$ and $τ= τ(\varepsilon,d)$ so that with high probability, $X$ is a high-dimensional expander of average degree $n^\varepsilon$ in which each $1$-link has spectral gap bounded away from $\frac{1}{2}$.
To our knowledge, this is the first demonstration of a natural distribution over $2$-dimensional expanders of arbitrarily small polynomial average degree and spectral link expansion better than $\frac{1}{2}$. All previously known constructions are algebraic. This distribution also furnishes an example of simplicial complexes for which the trickle-down theorem is nearly tight.
En route, we prove general bounds on the spectral expansion of random induced subgraphs of arbitrary vertex transitive graphs, which may be of independent interest. For example, one consequence is an almost-sharp bound on the second eigenvalue of random $n$-vertex geometric graphs on $\mathbb{S}^{d-1}$, which was previously unknown for most $n,d$ pairs.
A minimum semi-degree condition for unpaired many-to-many disjoint path covers in digraphs
For a digraph $D$, let $δ^{0}(D) = \min \{δ^{+}(D), δ^{-}(D)\}$ be the minimum semi-degree of $D$. A set of $k$ vertex-disjoint paths, $\{P_{1}, \dots, P_{k}\}$, joining a disjoint source set $S = \{s_{1}, \dots, s_{k}\}$ and sink set $T = \{t_{1}, \dots, t_{k}\}$ is called an unpaired many-to-many $k$-disjoint directed path cover ($k$-DDPC for short) of $D$, if each $P_{j}$ joins $s_{j}$ and $t_{σ(j)}$ for some permutation $σ$ on $\{1, \dots , k\}$ and $\bigcup^{k}_{j=1} V(P_{j}) = V(D)$.
In this paper, we give a new proof for the following result that every digraph $D$ with $δ^{0}(D) \geq \lceil (n+k) / 2 \rceil$ has an unpaired many-to-many $k$-DDPC joining any disjoint source set $S$ and sink set $T$, where $S = \{s_{1}, \dots, s_{k}\}$ and $T = \{t_{1}, \dots, t_{k}\}$. Moreover, we show that the bound on the minimum semi-degree is best possible when $n \geq 3k$.
One-connection rule for structural equation models
Linear structural equation models are multivariate statistical models encoded by mixed graphs. In particular, the set of covariance matrices for distributions belonging to a linear structural equation model for a fixed mixed graph $G=(V, D,B)$ is parameterized by a rational function with parameters for each vertex and edge in $G$. This rational parametrization naturally allows for the study of these models from an algebraic and combinatorial point of view. Indeed, this point of view has led to a collection of results in the literature, mainly focusing on questions related to identifiability and determining relationships between covariances (i.e., finding polynomials in the Gaussian vanishing ideal). So far, a large proportion of these results has focused on the case when $D$, the directed part of the mixed graph $G$, is acyclic. This is due to the fact that in the acyclic case, the parametrization becomes polynomial and there is a description of the entries of the covariance matrices in terms of a finite sum. We move beyond the acyclic case and give a closed form expression for the entries of the covariance matrices in terms of the one-connections in a graph obtained from $D$ through some small operations. This closed form expression then allows us to show that if $G$ is simple, then the parametrization map is generically finite-to-one. Finally, having a closed form expression for the covariance matrices allows for the development of an algorithm for systematically exploring possible polynomials in the Gaussian vanishing ideal.
Uniqueness for 2-Intersecting Families of Permutations and Perfect Matchings
Published
• View Publication
• BIB
We give a characterization of the largest $2$-intersecting families of permutations of $\{1,2,\ldots,n\}$ and of perfect matchings of the complete graph $K_{2n}$ for all $n \geq 2$.