Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Kőnig = Ramsey, A compactness lemma for Ramsey categories
We prove a new characterization of the Ramsey property of categories in terms of a generalized form of Kőnig's tree lemma. Afterwards, we discuss its applications to structural Ramsey theory. In particular, we provide a new proof of the existence and uniqueness of minimal Ramsey expansions and a new transfer theorem which uses Grothendieck opfibrations and unifies several known Ramsey transfers.
Design switching on graphs
We show that each (r, lambda)-design yields a class of switching methods that can be used produce cospectral graphs. We use this to explain several specific switching methods such as Godsil-McKay (GM) switching and Wang-Qiu-Hu (WQH) switching.
Combinatorial Methods in Bootstrap Percolation Problems
An elegant bootstrap percolation result on the hyperrectangle graph was proved by Balogh, Bollobás, Morris, and Riordan using a linear algebric method in 2012. This paper studies the same problem by purely combinatorial means. The base case is solved for all dimensions, and we pose open problems for the remaining cases.
Lower Bounds for Induced-Universal Graphs
Published
• View Publication
• BIB
We give a series of new lower bounds on the minimum number of vertices required by a graph to contain every graph of a given family as induced subgraph. In particular, we show that this induced-universal graph for $n$-vertex planar graphs must have at least $10.52n$ vertices. We also show that the number of conflicting graphs to consider in order to beat this lower bound is at least $137$. In other words, any family of less than $137$ planar graphs of $n$ vertices has an induced-universal graph with less than $10.52n$ vertices, stressing the difficulty in beating such lower bounds. Similar results are developed for other graph families, including but not limited to, trees, outerplanar graphs, series-parallel graphs, $K_{3,3}$-minor free graphs. As a byproduct, we show that any family of $t$ graphs of $n$ vertices having small chromatic number and sublinear pathwidth, like any proper minor-closed family, has an induced-universal graph with less than $\frac{15}{7} \sqrt{t} \cdot n$ vertices. This is achieved by making a bridge between equitable colorings, combinatorial designs, and path-decompositions.
Inversions in parking functions
In this paper, we obtain a q-exponential generating function for inversions on parking functions via symmetric function theory and also through a direct bijection to rooted labeled forests. We then apply these techniques to unit interval parking functions to give analogous results. We conclude by introducing a probabilistic approach through which we obtain formulas for the total number of inversions and several other statistics across all parking functions and other sets of words closed under rearrangement.
Separable integer partition classes with restrictions on consecutive parts
Recently, Andrews introduced separable integer partition classes and studied some well-known theorems. In this article, we will consider the types of partitions with restrictions on consecutive parts. We will show that such partitions are separable integer partition classes and then give the generating functions for such partitions.
$K$-analogues of Hivert's divided difference operators
Several families of polynomials of combinatorial and representation theoretic interest (notably the Schur polynomials $s_λ$, Demazure characters $\mathfrak{D}_a$, and Demazure atoms $\mathfrak{A}_a$) can be defined in terms of divided difference operators. Hivert (2000) defines "fundamental analogues" of these divided difference operators, and Hivert and Hicks-Niese show in arXiv:2406.02420 that the polynomials that arise from those fundamental operators in analogous ways to the three families of polynomials above are respectively the fundamental quasisymmetric functions $F_a$ from (1984), the fundamental slides $\mathfrak{F}_a$ of Assaf and Searles from arXiv:1603.09744, and the fundamental particles $\mathfrak{P}_a$ of Searles from arXiv:1707.01172. Lascoux (2001) defines $K$-analogues of the divided difference operators, and in arXiv:1908.07364, Buciumas, Scrimshaw, and Weber show that the polynomials arising in corresponding ways from the $K$-theoretic divided difference operators are respectively the Grothendieck polynomials $\overline{s}_λ$, the combinatorial Lascoux polynomials $\overline{\mathfrak{D}}_a$ from arXiv:1611.08777, and the combinatorial Lascoux atoms $\overline{\mathfrak{A}}_a$ from arXiv:1611.08777, as conjectured by Monical in arXiv:1611.08777. We define $K$-analogues of Hivert's fundamental divided difference operators and show that the polynomials arising in the corresponding ways from our new operators are respectively the multifundamentals $\overline{F}_a$ of Lam and Pylyavskyy from arXiv:0705.2189, the fundamental glides $\overline{\mathfrak{F}}_a$ from of Pechenik and Searles from arXiv:1611.02545, and the kaons $\overline{\mathfrak{P}}_a$ of Monical, Pechenik, and Searles from arXiv:1806.03802.
Monochromatic Sums and Products with Additive or Multiplicative Shifts in Natural Numbers
Published
• View Publication
• BIB
In this paper we prove that for any finite coloring of N there are lambda,rho in N such that infinitely many pairs (x,y),(u,v) in N^2 satisfy the sets {lambda x, lambda y, x y, lambda(x+y)} and {u+rho, v+rho, u v+rho, u+v} being monochromatic. Using related arguments we also give two different proofs of a special case of the Milliken--Taylor theorem.
The Challenge of Computing Geode Numbers
In a fascinating recent American Mathematical Monthly article, Norman Wildberger and Dean Rubine introduced a new kind of combinatorial numbers, that they aptly named the ``Geode numbers''. While their definition is simple, these numbers are surprisingly hard to compute, in general. While the two-dimensional case has a nice closed-form expression, that make them easy to compute, already the three-dimensional case poses major computational challenges that we do meet, combining experimental mathematics and the holonomic ansatz. Alas, things get really complicated in four and higher dimensions, and we are unable to efficiently compute, for example, the $1000$-th term of the four-dimensional diagonal Geode sequence. A donation of $100$ US dollars to the OEIS, in honor of the first person to compute this number, is offered.
On the Structure of Multilinear Invariants of a Finite Unitary Reflection Group
We study the space of multilinear invariants \( V_f \) of degree \( f \) for a specified finite unitary reflection group. A subspace \( W_f \) of typical invariants is also introduced. We note that the dimension of \( W_f \) is given by Catalan number. We explore both spaces for \( f \leq 5 \), noting that their dimensions differ based on the value of \( f \). We explicitly determine the bases for both spaces, and then we establish the relationship between the vectors of the two bases.
On 2-Movable Total Domination in the Join and Corona of Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph. A non-empty $T\subseteq V(G)$ is a $2$-\textit{movable total dominating set} of $G$ if $T$ is a total dominating set and for every pair $x,y \in T$, $T \backslash \{x, y\}$ is a total dominating set in $G$, or there exist $u, v \in V(G) \backslash T$ such that $u$ and $v$ are adjacent to $x$ and $y$, respectively, and $(T \backslash \{x,y\}) \cup \{u,v\}$ is a total dominating set in $G$. The $2$-\textit{movable total domination number} of $G$, denoted by $γ_{mt}^{2}(G)$, is the minimum cardinality of a 2-movable total dominating set of $G$. A 2-movable total dominating set with cardinality equal to $γ_{mt}^{2}(G)$ is called $γ_{mt}^{2}$-set of $G$. This paper present the 2-movable total domination in the join and corona of graphs.
Stanley-Reisner ideals with linear powers
Let $S = K[x_1, \dots, x_n]$ be the standard graded polynomial ring over a field $K$. In this paper, we address and completely solve two fundamental open questions in Commutative Algebra:
(i) For which degrees $d$, does there exist a uniform combinatorial characterization of all squarefree monomial ideals in $S$ having $d$-linear resolutions?
(ii) For which degrees $d$, does having a linear resolution coincide with having linear powers for all squarefree monomial ideals of $S$ generated in degree $d$?
Let $\mathcal{I}_{n,d}(K)$ denote the class of squarefree monomial ideals of $S$ having a $d$-linear resolution. Our main result establishes the equivalence of the following conditions:
(a) Any squarefree monomial ideal $I$ in $S$ generated in degree $d$ has a linear resolution, if and only if, $I$ has linear powers.
(b) $\mathcal{I}_{n,d}(K)$ is independent of the base field $K$.
(c) $d\in\{0,1,2,n{-}2,n{-}1,n\}$.
In each of these degrees, we show that a squarefree monomial ideal has a linear resolution if and only if all of its powers admit linear quotients, and we combinatorially classify such ideals. In contrast, for each degree $3\le d\le n{-}3$, we construct fully-supported squarefree monomial ideals $I$ and $J$ in $S$ generated in degree $d$ such that the linear resolution property of $I$ depends on the choice of the base field, $J$ has a linear resolution and $J^2$ does not have a linear resolution.
Lower Bounds on Tree Covers
Published
• View Publication
• BIB
Given an $n$-point metric space $(X,d_X)$, a tree cover $\mathcal{T}$ is a set of $|\mathcal{T}|=k$ trees on $X$ such that every pair of vertices in $X$ has a low-distortion path in one of the trees in $\mathcal{T}$. Tree covers have been playing a crucial role in graph algorithms for decades, and the research focus is the construction of tree covers with small size $k$ and distortion.
When $k=1$, the best distortion is known to be $Θ(n)$. For a constant $k\ge 2$, the best distortion upper bound is $\tilde O(n^{\frac 1 k})$ and the strongest lower bound is $Ω(\log_k n)$, leaving a gap to be closed. In this paper, we improve the lower bound to $Ω(n^{\frac{1}{2^{k-1}}})$.
Our proof is a novel analysis on a structurally simple grid-like graph, which utilizes some combinatorial fixed-point theorems. We believe that they will prove useful for analyzing other tree-like data structures as well.
The bracket polynomial of the Celtic link shadow $CK_4^{2n}$
We derive the Kauffman bracket polynomial for the shadow of the Celtic link $CK_4^{2n}$ using two complementary approaches. The first approach uses a recursive relation within the Celtic framework of Gross and Tucker, based on diagrammatic identities. The second approach makes use of a 4-tangle algebraic framework: a fundamental tangle is concatenated with itself n times to form an iterated composite tangle, and the Kauffman bracket polynomial is computed by decomposing the state space with respect to the basis elements of the 4-strand diagram monoid.
Non-orientable regular hypermaps of arbitrary hyperbolic type
One of the consequences of residual finiteness of triangle groups is that for any given hyperbolic triple $(\ell,m,n)$ there exist infinitely many regular hypermaps of type $(\ell,m,n)$ on compact orientable surfaces. The same conclusion also follows from a classification of those finite quotients of hyperbolic triangle groups that are isomorphic to linear fractional groups over finite fields. A non-orientable analogue of this, that is, existence of regular hypermaps of a given hyperbolic type on {\em non-orientable} compact surfaces, appears to have been proved only for {\em maps}, which arise when one of the parameters $\ell,m,n$ is equal to $2$.
In this paper we establish a non-orientable version of the above statement in full generality by proving the following much stronger assertion: for every hyperbolic triple $(\ell,m,n)$ there exists an infinite set of primes $p$ of positive Dirichlet density, such that (i) there exists a regular hypermap $\mathcal{H}$ of type $(\ell,m,n)$ on a compact non-orientable surface such that the automorphism group of $\mathcal{H}$ is isomorphic to $\PSL(2,p)$, and, moreover, (ii) the carrier compact surface of {\em every} regular hypermap of type $(\ell,m,n)$ with rotation group isomorphic to $\PSL(2,p)$ is necessarily non-orientable.
Localization game capture time of trees and outerplanar graphs
Published
• View Publication
• BIB
The localization game is a variant of the game of Cops and Robber in which the robber is invisible and moves between adjacent vertices, but the cops can probe any $k$ vertices of the graph to obtain the distance between probed vertices and the robber. The localization number of a graph is the minimum $k$ needed for cops to be able to locate the robber in finite time. The localization capture time is the number of rounds needed for cops to win.
The localization capture time conjecture claims that there exists a constant $C$ such that the localization number of every connected graph on $n$ vertices is at most $Cn$. While it is known that the conjecture holds for trees, in this paper we significantly improve the known upper bound for the localization capture time of trees. We also prove the conjecture for a subclass of outerplanar graphs and present a generalization of the localization game that appears useful for making further progress towards the conjecture.
Maximal 1-plane graphs with the maximum number of crossings
A drawing of a graph in the plane is called 1-planar if each edge is crossed at most once. A graph together with a 1-planar drawing is a 1-plane graph. A 1-plane graph $G$ with exactly $4|V (G)|-8$ edges is called optimal. The crossing number $cr(G)$ of a graph $G$ is the minimum number of crossings over all drawings of $G$. Czap and Hudák proved that $cr(G)\le |V(G)|-2$ for any 1-plane graph $G$ and equality holds if $G$ is an optimal 1-plane graph [The Electronic J. Comb}., 20(2),#P54 (2013)]. This paper aims to characterize maximal 1-plane graphs $G$ achieving the maximum crossing number $|V(G)|-2$. We first introduce a class of quasi-optimal 1-plane graphs as a generalization of optimal 1-plane graphs, and then prove that for any maximal 1-plane graph $G$, $cr(G)=|V(G)|-2$ holds if and only if $G$ is a quasi-optimal 1-plane graph. Moreover, we prove that every quasi-optimal 1-plane graph is maximal 1-planar (not merely drawing-saturated). Finally, we present some applications of our main results, including a disproof of an upper bound on the crossing number of maximal 1-planar graphs with odd-degree vertices.
The maximum number of triangles in $K_{1,s,t}$-free graphs
We consider the following generalized Turán problem: For $2 \le s \le t$, what is the maximum number of triangles in a $K_{1,s,t}$-free graph on $n$ vertices? The previously best known lower and upper bounds are $Ω(n^2)$ and $o(n^{3-1/s})$, respectively. To the best of our knowledge, all known proofs of the upper bound use the triangle removal lemma. We give a new elementary proof that avoids the use of the triangle removal lemma and improves the upper bound to $O\left(n^{3-1/s}(\log n)^{-1+1/s}\right)$.
Balanced spanning trees of the 2-by-N grid
We obtain an exact formula for the probability that a uniformly random spanning tree of the $2$-by-$n$ square grid is ``balanced'' in the sense that it has an edge whose removal partitions its vertices into two sets of equal size. We compute the exact limit of this probability as $n\rightarrow\infty$.
Finding Partite Hypergraphs Efficiently
We provide a deterministic polynomial-time algorithm that, for a given $k$-uniform hypergraph $H$ with $n$ vertices and edge density $d$, finds a complete $k$-partite subgraph of $H$ with parts of size at least ${c(d, k)(\log n)^{1/(k-1)}}$. This generalizes work by Mubayi and Turán on bipartite graphs. The value we obtain for the part size matches the order of magnitude guaranteed by the non-constructive proof due to Erdős and is tight up to a constant factor.