Showing 20 papers (Total: 82374 papers, 47635 authors in database)
{T}he Gröbner Basis of a Catalan Path Ideal
Published
• View Publication
• BIB
For the ideal $I = \langle y_1 + \dots + y_n, y^2_1, \dots , y^2_n \rangle$ in $R = {\mathbb F}[y_1, \dots , y_n]$ with char($\mathbb F$) = 0, we show that the reduced Gröbner basis with lex-order consists of polynomials $g_α$ that are represented in terms of paths, moving northeast in the Cartesian plane, that stay above the diagonal and cross the diagonal at the last step. This implies that a linear basis for the quotient ring $R/I$ is given by a set of Catalan paths. We show that the dimension is the number of standard Young tableaux of size $n$ and height at most two. The graded Frobenius characteristic of $R/I$ as a symmetric group module is given by
$\sum_{k=0}^{\lfloor \frac{n}{2} \rfloor } s_{n-k,k}q^k$.
Pure pairs. VIII. Excluding a sparse graph
Published
• View Publication
• BIB
A pure pair of size $t$ in a graph $G$ is a pair $A,B$ of disjoint sets of $t$ vertices such that $A$ is either complete or anticomplete to $B$. It is known that, for every forest $H$, every graph on $n\ge2$ vertices that does not contain $H$ or its complement as an induced subgraph has a pure pair of size $Ω(n)$; furthermore, this only holds when $H$ or its complement is a forest.
In this paper, we look at pure pairs of size $n^{1-c}$, where $0<c<1$. Let $H$ be a graph: does every graph on $n\ge2$ vertices that does not contain $H$ or its complement as an induced subgraph have a pure pair $A,B$ with $|A|,|B|\ge Ω(|G|^{1-c})$,? The answer is related to the congestion of $H$, the maximum of $1-(|J|-1)/|E(J)|$ over all subgraphs $J$ of $H$ with an edge. (Congestion is nonnegative, and equals zero exactly when $H$ is a forest.) Let $d$ be the smaller of the congestions of $H$ and $\overline{H}$. We show that the answer to the question above is "yes" if $d\le c/(9+15c)$, and "no" if $d>c$.
On sumsets containing a perfect square
We show $A+B$ contains a perfect square if $A,B \subseteq \{1,\dots,N\}$ have $|A|,|B| \ge (\frac{3}{8}+ε)N$. The constant $\frac{3}{8}$ is optimal.
Optimally compressing VC classes
Resolving a conjecture of Littlestone and Warmuth, we show that any concept class of VC-dimension $d$ has a sample compression scheme of size $d$.
The Principal Component of the Jets of a Graph
We define the s-order principal component of the jets of a graph and give a description of the primary decomposition of its edge ideal in terms of the minimal vertex covers of the base graph. As an application, we show the s-order principal component of the jets of a cochordal graph is cochordal, and connect this to Froberg's theorem on the linear resolution of edge ideals of cochordal graphs. An appendix is provided describing some computations of jets in the computer algebra system Macaulay2.
Conditional Probability of Derangements and Fixed Points
The probability that a random permutation in $S_n$ is a derangement is well known to be $\displaystyle\sum\limits_{j=0}^n (-1)^j \frac{1}{j!}$. In this paper, we consider the conditional probability that the $(k+1)^{st}$ point is fixed, given there are no fixed points in the first $k$ points. We prove that when $n \neq 3$ and $k \neq 1$, this probability is a decreasing function of both $k$ and $n$. Furthermore, it is proved that this conditional probability is well approximated by $\frac{1}{n} - \frac{k}{n^2(n-1)}$. Similar results are also obtained about the more general conditional probability that the $(k+1)^{st}$ point is fixed, given that there are exactly $d$ fixed points in the first $k$ points.
A semigroup defining the Gröbner degeneration of a toric ideal
Published
• View Publication
• BIB
We give an explicit set of generators for the semigroup of the Gröbner degeneration of a toric ideal. This set of generators is used to study algebraic properties of the semigroup it generates: approximation of semigroups, non-preservation of saturation, Betti elements, uniqueness of presentations, and Möbius functions.
New conjectures on algebraic connectivity and the Laplacian spread of graphs
Published
• View Publication
• BIB
We conjecture a new lower bound on the algebraic connectivity of a graph that involves the number of vertices of high eccentricity in a graph. We prove that this lower bound implies a strengthening of the Laplacian Spread Conjecture. We discuss further conjectures, also strengthening the Laplacian Spread Conjecture, that include a conjecture for simple graphs and a conjecture for weighted graphs.
From Cauchy's determinant formula to bosonic and fermionic immanant identities
Published in European Journal of Combinatorics 110 (2023), art. # 103683, 16 pp
• View Publication
• BIB
Cauchy's determinant formula (1841) involving $\det ((1-u_i v_j)^{-1})$ is a fundamental result in symmetric function theory. It has been extended in several directions, including a determinantal extension by Frobenius [J. reine angew. Math. 1882] involving a sum of two geometric series in $u_i v_j$. This theme also resurfaced in a matrix analysis setting in a paper by Horn [Trans. Amer. Math. Soc. 1969] - where the computations are attributed to Loewner - and in recent works by Belton-Guillot-Khare-Putinar [Adv. Math. 2016] and Khare-Tao [Amer. J. Math. 2021]. These formulas were recently unified and extended in [Trans. Amer. Math. Soc. 2022] to arbitrary power series, with commuting/bosonic variables $u_i, v_j$.
In this note we formulate analogous permanent identities, and in fact, explain how all of these results are a special case of a more general identity, for any character - in fact, any complex class function - of any finite group that acts on the bosonic variables $u_i$ and on the $v_j$ via signed permutations. (We explain why larger linear groups do not work, via a - perhaps novel - "symmetric function" characterization of signed permutation matrices that holds over any integral domain.) We then provide fermionic analogues of these formulas, as well as of the closely related Cauchy product identities.
Two Approaches For a Perturbative Expansion in Blobbed Topological Recursion
In this paper we continue the perturbative analysis of the quartic Kontsevich model. We investigate meromorphic functions $Ω^{(0)}_m$ with $m=1,2$, that obey blobbed topological recursion. We calculate their expansions and check their equivalence to sums of ribbon graph weights, which are obtained with common methods of perturbation theory in QFT, up to fifth order in the coupling using Mathematica.
Furthermore, we provide a catalog of permutation pairs $(α,σ)$, which encode all 5660 vacuum ribbon graphs that contribute to the free energy $\mathcal{F}^{(g)}$ with genus $g\geq 0$ up to fifth order and begin to expand upon the used methods to also consider ribbon graphs of general correlation functions $G_{\dots}$. This is a first step towards automation of the calculation of ribbon graph expansions in the quartic Kontsevich model.
Mixing time bounds for edge flipping on regular graphs
Published
• View Publication
• BIB
The edge flipping is a non-reversible Markov chain on a given connected graph, which is defined by Chung and Graham in [CG12]. In the same paper, its eigenvalues and stationary distributions for some classes of graphs are identified. We further study its spectral properties to show a lower bound for the rate of convergence in the case of regular graphs. Moreover, we show that a cutoff occurs at \frac{1}{4} n \log n for the edge flipping on the complete graph by a coupling argument.
A Survey on the k-Path Vertex Cover Problem
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ and a positive integer $k\ge2$, a $k$-path vertex cover is a subset of vertices $F$ such that every path on $k$ vertices in $G$ contains at least one vertex from $F$. A minimum $k$-path vertex cover in $G$ is a $k$-path vertex cover with minimum cardinality and its cardinality is called the {\it $k$-path vertex cover number} of $G$. In the {\it $k$-path vertex cover problem}, it is required to find a minimum $k$-path vertex cover in a given graph. In this paper, we present a brief survey of the current state of the art in the study of the $k$-path vertex cover problem and the $k$-path vertex cover number.
On the supercongruences involving harmonic numbers of order 2
We prove several supercongruences involving the harmonic number of order two $H_n^{(2)}:=\sum_{k=1}^n1/k^2$. For example, if $p>5$ is prime and $α$ is $p$-integral, then we can completely determine $$ \sum_{k=0}^{p-1}\frac{H_k^{(2)}}{k}\cdot\binomα{k}\binom{-1-α}{k}\quad\text{and}\quad \sum_{k=0}^{\frac{p-1}{2}}\frac{H_k^{(2)}}{k}\cdot\binomα{k}\binom{-1-α}{k} $$ modulo $p^3$. In particular, by setting $α=-1/2$, we confirm two conjectured congruences of Z.-W. Sun.
Anti-Ramsey numbers for vertex-disjoint triangles
Published
• View Publication
• BIB
An edge-colored graph is called rainbow if all the colors on its edges are distinct. Given a positive integer n and a graph G, the anti-Ramsey number ar(n,G) is the maximum number of colors in an edge-coloring of K_{n} with no rainbow copy of G. Denote by kC_{3} the union of k vertex-disjoint copies of C_{3}. In this paper, we determine the anti-Ramsey number ar(n,kC_{3}) for n=3k and n\geq2k^{2}-k+2, respectively. When 3k\leq n\leq 2k^{2}-k+2, we give lower and upper bounds for ar(n, kC_{3}).
Near Classification of Compact Hyperbolic Coxeter $d$-Polytopes with $d+4$ Facets and Related Dimension Bounds
Published
• View Publication
• BIB
We complete the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets for $d=4$ and $5$. By previous work of Felikson and Tumarkin, the only remaining dimension where new polytopes may arise is $d=6$. We derive a new method for generating the combinatorial type of these polytopes via the classification of point set order types. In dimensions $4$ and $5$, there are $348$ and $51$ polytopes, respectively, yielding many new examples for further study.
We furthermore provide new upper bounds on the dimension $d$ of compact hyperbolic Coxeter polytopes with $d+k$ facets for $k \leq 10$. It was shown by Vinberg in 1985 that for any $k$, we have $d \leq 29$, and no better bounds have previously been published for $k \geq 5$. As a consequence of our bounds, we prove that a compact hyperbolic Coxeter $29$-polytope has at least $40$ facets.
Loops and Regions in Hitomezashi Patterns
Published
• View Publication
• BIB
Hitomezashi patterns, which originate from traditional Japanese embroidery, are intricate arrangements of unit-length line segments called stitches. The stitches connect to form hitomezashi strands and hitomezashi loops, which divide the plane into regions. We investigate the deeper mathematical properties of these patterns, which also feature prominently in the study of corner percolation. It was previously known that every loop in a hitomezashi pattern has odd width and odd height. We additionally prove that such a loop has length congruent to $4$ modulo $8$ and area congruent to $1$ modulo $4$. Although these results are simple to state, their proofs require us to understand the delicate topological and combinatorial properties of slicing operations that can be applied to hitomezashi patterns. We also show that the expected number of regions in a random $m\times n$ hitomezashi pattern (chosen according to a natural random model) is asymptotically $\left(\frac{π^2-9}{12}+o(1)\right)mn$.
The Boundary of a Graph and its Isoperimetric Inequality
Published
• View Publication
• BIB
We define, for any graph $G=(V,E)$, a boundary $\partial G \subseteq V$. The definition coincides with what one would expected for the discretization of (sufficiently nice) Euclidean domains and contains all vertices from the Chartrand-Erwin-Johns-Zhang boundary. Moreover, it satisfies an isoperimetric principle stating that graphs with many vertices have a large boundary unless they contain long paths: we show that for graphs with maximal degree $Δ$
$$ | \partial G| \geq \frac{1}{2Δ} \frac{|V|}{\mbox{diam}(G)}.$$ For graphs discretizing Euclidean domains, one has $\mbox{diam}(G) \sim |V|^{1/d}$ and recovers the scaling of the classical Euclidean isoperimetric principle.
Partial Domination in Prisms of Graphs
For any graph G = (V, E) and proportion $p\in(0,1]$, a set $S\subseteq V$ is a p-dominating set if $\frac{|N[S]|}{|V|}\geq p$. The $p$-domination number $γ_{p}(G)$ equals the minimum cardinality of a $p$-dominating set in G. For a permutation $π$ of the vertex set of G, the graph $π$G is obtained from two disjoint copies $G_1$ and $G_2$ of $G$ by joining each v in $G_1$ to $π(v)$ in $G_2$. i.e., $V(πG)= V(G_1)\cup V(G_2) \text{ and } E(G)= E(G_1)\cup E(G_2)\cup \{\{v,π(v)\}: v\in V(G_1), π(v)\in V(G_2)\}$. The graph $πG$ is called the prism of $G$ with respect to $π$. In this paper, we find some relations between the domination and the $p$-domination numbers in the context of graph and its prism graph for particular values of $p$.
A transfer theorem for multivariate Delta-analytic functions with a power-law singularity
This paper presents a multivariate generalization of Flajolet and Odlyzko's transfer theorem. Similarly to the univariate version, the theorem assumes $Δ$-analyticity (defined coordinate-wise) of a function $A(z_1,\ldots,z_d)$ at a unique dominant singularity $(ρ_1,\ldots,ρ_d) \in (\mathbb C_*)^d$, and allows one to translate, on a term-by-term basis, an asymptotic expansion of $A(z_1,\ldots,z_d)$ around $(ρ_1,\ldots,ρ_d)$ into a corresponding asymptotic expansion of its Taylor coefficients $a_{n_1,\ldots,n_d}$. We treat the case where the asymptotic expansion of $A(z_1,\ldots,z_d)$ contains only power-law type terms, and where the indices $n_1,\ldots,n_d$ tend to infinity in some polynomially stretched diagonal limit. The resulting asymptotic expansion of $a_{n_1,\ldots,n_d}$ is a sum of terms of the form \begin{equation*} I(λ_1,\ldots,λ_d) \cdot n_0^{-Θ} \cdot ρ_1^{-n_1}\cdots ρ_d^{-n_d}, \end{equation*} where $(λ_1,\ldots,λ_d) \in (0,\infty)^d$ is the direction vector of the stretched diagonal limit for $(n_1,\ldots,n_d)$, the parameter $n_0$ tends to $\infty$ at similar speed as $n_1,\ldots,n_d$, while $Θ\in \mathbb R$ and $I:(0,\infty)^d \to \mathbb C$ are determined by the asymptotic expansion of $A$.
Remarks on odd colorings of graphs
Published
• View Publication
• BIB
A proper vertex coloring $\varphi$ of graph $G$ is said to be odd if for each non-isolated vertex $x\in V(G)$ there exists a color $c$ such that $\varphi^{-1}(c)\cap N(x)$ is odd-sized. The minimum number of colors in any odd coloring of $G$, denoted $χ_o(G)$, is the odd chromatic number. Odd colorings were recently introduced in [M.~Petruševski, R.~Škrekovski: \textit{Colorings with neighborhood parity condition}]. Here we discuss various basic properties of this new graph parameter, characterize acyclic graphs and hypercubes in terms of odd chromatic number, establish several upper bounds in regard to degenericity or maximum degree, and pose several questions and problems.