Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The Interplay between Additive and Multiplicative Central Sets Theorems
The concept of Central sets, introduced by Furstenberg through the framework of topological dynamics, has played a pivotal role in combinatorial number theory. Furstenberg's Central Sets Theorem highlighted their rich combinatorial structure. Later, De, Hindman, and Strauss strengthen this theorem using the algebraic framework of the Stone--Čech compactification. In this article, we establish a unified version of the Central Sets Theorem that simultaneously captures both additive and multiplicative structures.
Convex Geometries via Hopf Monoids: Combinatorial Invariants, Reciprocity, and Supersolvability
We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more general quasisymmetric function. We give combinatorial descriptions of the polynomial invariants and prove combinatorial reciprocity theorems for the Edelman-Jamison and Billera-Hsiao-Provan polynomials, which generalize the order and enriched order polynomials, respectively, within a unified framework. For the quasisymmetric invariants, we show that their coefficients enumerate faces of certain simplicial complexes, including subcomplexes of the Coxeter complex and a simplicial sphere structure introduced by Billera, Hsiao, and Provan. We also examine the associated $ab$- and $cd$-indices. We establish an equivalent condition for convex geometries to be supersolvable and use this result to give a geometric interpretation of the $ab$- and $cd$-index coefficients for this class of convex geometries.
On the local metric dimension of $K_4$-free graphs
Let $G$ be a graph of order $ n(G) $, local metric dimension $ \dim_l(G) $, and clique number $ ω(G) $. It has been conjectured that if $ n(G) \geq ω(G) + 1 \geq 4 $, then $ \dim_l(G) \leq \left( \frac{ω(G) - 2}{ω(G) - 1} \right) n(G) $. In this paper the conjecture is confirmed for the case $ ω(G) = 3 $. Consequently, a problem regarding the local metric dimension of planar graphs is also resolved.
Combinatorial $t$-Designs from Finite Abelian Groups and Their Applications to Elliptic Curve Codes
In this paper, we establish the conditions for some finite abelian groups and the family all the $k$-sets in each of them summing up to an element $x$ to form $t$-designs. We fully characterize the sufficient and necessary conditions for the incidence structures to form $1$-designs in finite abelian $p$-groups, generalizing existing results on vector spaces over finite fields. For finite abelian groups of exponent $pq$, we also propose sufficient and necessary conditions for the incidence structures to form a $1$-designs. Furthermore, some interesting observations of the general case when the group is cyclic or non-cyclic are presented and the relations between $(t-1)$-designs and $t$-designs from subset sums are established. As an application, we demonstrate the correspondence between $t$-designs from the minimum-weight codewords in elliptic curve codes and subset-sum designs in their groups of rational points. By such a correspondence, elliptic curve codes supporting designs can be simply derived from subset sums in finite abelian groups that supporting designs.
Triangles in the Plane and arithmetic progressions in thick compact subsets of $\mathbb{R}^d$
This article focuses on the occurrence of three-point configurations in subsets of $\mathbb{R}^d$ for $d\geq 1$ of sufficient thickness. We prove that compact sets $A\subset \mathbb{R}^d$ contain a similar copy of any linear $3$ point configuration provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition for $d\geq 2$; or, when $d=1$, the result holds provided the Newhouse thickness of $A$ is at least $1$.
Moreover, we prove that compact sets $A\subset \mathbb{R}^2$ contain the vertices of an equilateral triangle (and more generally, the vertices of a similar copy of any given triangle) provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition. Further, $C\times C$ contains the vertices of an equilateral triangle (and more generally the vertices of a similar copy of any given three-point configuration) provided the Newhouse thickness of $C$ is at least $1$. These are among the first results in the literature to give explicit criteria for the occurrence of three-point configurations in the plane.
Mutual-visibility of the disjointness graph of segments in ${\mathbb R}^2$
Let $G=(V(G),E(G))$ be a simple graph, and let $U\subseteq V(G)$. Two distinct vertices $x,y\in U$ are $U$-mutually visible if $G$ contains a shortest $x$-$y$ path that is internally disjoint from $U$. $U$ is called a mutual-visibility set of $G$ if any two vertices of $U$ are $U$-mutually visible. The mutual-visibility number $μ(G)$ of $G$ is the size of a largest mutual-visibility set of $G$. Let $P$ be a set of $n\geq 3$ points in ${\mathbb R}^2$ in general position. The disjointness graph of segments $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. In this paper we establish tight lower and upper bounds for $μ(D(P))$, and show that almost all edge disjointness graphs have diameter 2.
An Introduction to Algebraic Combinatorics
This is an introduction to algebraic combinatorics, written for a quarter-long graduate course. It starts with a rigorous introduction to formal power series with some combinatorial applications, then discusses integer partitions (proving Jacobi's triple product identity), permutations (Lehmer codes, cycles) and subtractive methods (alternating sums, cancellations and inclusion-exclusion principles, with a particular focus on sign-reversing involutions and determinants). The last chapter introduces symmetric polynomials and proves the Littlewood--Richardson rule using Bender--Knuth involutions (a la Stembridge).
The appendix contains over 200 exercises (without solutions).
Halfway to induced saturation for even cycles
For graphs $G$ and $H$, we say that $G$ is $H$-free if no induced subgraph of $G$ is isomorphic to $H$, and that $G$ is $H$-induced-saturated if $G$ is $H$-free but removing or adding any edge in $G$ creates an induced copy of $H$. A full characterization of graphs $H$ for which $H$-induced-saturated graphs exist remains elusive. Even the case where $H$ is a path -- now settled by the collective results of Martin and Smith, Bonamy et al., and Dvoŕǎk -- was already quite challenging.
What if $H$ is a cycle? The complete answer for odd cycles was given by Behren et al., leaving the case of even cycles (except for the $4$-cycle) wide open. Our main result is the first step toward closing this gap: We prove that for every even cycle $H$, there is a graph $G$ with at least one edge such that $G$ is $H$-free but removing any edge from $G$ creates an induced copy of $H$ (in fact, we construct $H$-induced-saturated graphs for every even cycle $H$ on at most 10 vertices).
The superspace coinvariant ring of type B
Given the rank $n$ superspace $Ω_n$, the ring of polynomial-valued differential forms on $\mathbb C^n$, one can define an action of hyperoctahedral group $\mathfrak B_n$ on it. This leads to a superspace coinvariant ideal $SR_n^B$, defined as the quotient of $Ω_n$ by two-sided ideal generated by all $\mathfrak B_n$ invariants with vanishing constant terms. We derive the Hilbert series of $SR^B_n$ conjectured by Sagan and Swanson, and prove an operator theorem that yields a concrete description of the superharmonic space $SH^B_n$ associated to $SR^B_n$ as conjectured by Swanson and Wallach. We also derive an explicit basis of $SR^B_n$ using the theory of hyperplane arrangements.
A first view on the density of 5-planar graphs
$k$-planar graphs are generalizations of planar graphs that can be drawn in the plane with at most $k > 0$ crossings per edge. One of the central research questions of $k$-planarity is the maximum edge density, i.e., the maximum number of edges a $k$-planar graph on $n$ vertices may have. While there are numerous results for the classes of general $k$-planar graphs for $k\leq 2$, there are only very few results for increasing $k=3$ or $4$ due to the complexity of the classes. We make a first step towards even larger $k>4$ by exploring the class of $5$-planar graphs. While our main tool is still the discharging technique, a better understanding of the structure of the denser parts leads to corresponding density bounds in a much simpler way.
We first apply a simplified version of our technique to outer $5$-planar graphs and use the resulting density bound to assert that the structure of maximally dense $5$-planar graphs differs from the uniform structure when $k$ is small. As the central result of this paper, we then show that simple $5$-planar graphs have at most $\frac{340}{49}(n-2) \approx 6.94(n-2)$ edges, which is a drastic improvement from the previous best bound of $\approx8.3n$. This even implies a small improvement of the leading constant in the Crossing Lemma $cr(G) \ge c \frac{m^3}{n^2}$ from $c=\frac{1}{27.48}$ to $c=\frac{1}{27.19}$. To demonstrate the potential of our new technique, we also apply it to other graph classes, such as 4-planar and 6-planar graphs.
The stability of independence polynomials of complete bipartite graphs
The independence polynomial of a graph is termed {\it stable} if all its roots are located in the left half-plane $\{z \in \mathbb{C} : \mathrm{Re}(z) \leq 0\}$, and the graph itself is also referred to as stable. Brown and Cameron (Electron. J. Combin. 25(1) (2018) \#P1.46) proved that the complete bipartite graph $K_{1,n}$ is stable and posed the question: \textbf{Are all complete bipartite graphs stable?}
We answer this question by establishing the following results:
\begin{itemize}
\item The complete bipartite graphs $K_{2,n}$ and $K_{3,n}$ are stable.
\item For any integer $k\geq0$, there exists an integer $N(k)\in \mathbb{N}$ such that $K_{m,m+k}$ is stable for all $m>N(k)$.
\item For any rational $\ell> 1$, there exists an integer $N(\ell) \in \mathbb{N}$ such that whenever $m >N(\ell)$ and $\ell \cdot m$ is an integer, $K_{m, \ell \cdot m}$ is \textbf{not} stable.
\end{itemize}
Hilbert polynomials of configuration spaces over graphs of circumference at most 1
The $ k $-configuration space $ B_kΓ$ of a topological space $ Γ$ is the space of sets of $ k $ distinct points in $ Γ$. In this paper, we consider the case where $ Γ$ is a graph of circumference at most $1$. We show that for all $ k\ge0 $, the $ i $-th Betti number of $ B_kΓ$ is given by a polynomial $P_Γ^i(k)$ in $ k $, called the Hilbert polynomial of $ Γ$. We find an expression for the Hilbert polynomial $P_Γ^i(k)$ in terms of those coming from the canonical $1$-bridge decomposition of $ Γ$. We also give a combinatorial description of the coefficients of $P_Γ^i(k)$.
On a Family of Nested Recurrences and Their Arithmetical Solutions
A family of nested recurrence relations $a(n+1) = n - a^{(m)}(n) + a^{(m+1)}(n)$, parameterized by an integer $m \ge 1$ with initial condition $a(1)=1$, is studied. We prove that $a(n)=n-h(n)$ is the unique solution satisfying this condition, where $h(n)$ is an arithmetical sequence in which each non-negative integer $k$ appears $mk+1$ times, with $h(n)$ 1-indexed such that $h(1)=0$. An explicit floor formula for $h(n)$ (and thus for $a(n)$) is derived. The proof of the main theorem involves establishing a key identity for $h(n)$ that arises from the recurrence; this identity is then proved using arithmetical properties of $h(n)$ and the iterated function $a^{(m)}(n)$ at critical boundary points. Combinatorial interpretations for $a(n)$ and its partial sums (for $m=2$), and connections to The On-Line Encyclopedia of Integer Sequences (OEIS), including generalizations of Connell's sequence, are also discussed.
On the maximum number of edges of outer k-planar graphs
We study the maximum number of straight-line segments connecting $n$ points in convex position in the plane, so that each segment intersects at most $k$ others. This question can also be framed as the maximum number of edges of an outer $k$-planar graph on $n$ vertices. We outline several approaches to tackle the problem with the best approach yielding an upper bound of $(\sqrt{2}+\varepsilon)\sqrt{k}n$ edges (with $\varepsilon \rightarrow 0$ for sufficiently large $k$). We further investigate the case where the points are arbitrarily bicolored and segments always connect two different colors (i.e., the corresponding graph has to be bipartite). To this end, we also consider the maximum cut problem for the circulant graph $C_n^{1,2,\dots,r}$ which might be of independent interest.
Generalized chord diagrams and weight systems
Weight systems are functions on chord diagrams satisfying Vassiliev's $4$-term relations. They originate in the theory of finite type knot invariants. Recent developments in understanding weight systems arising from Lie algebras are based on extending these weight systems from chord diagrams (which can be interpreted as involutions without fixed points, considered modulo cyclic shifts) to arbitrary permutations (also modulo cyclic shifts). We suggest relations for functions on permutations, which generalize Vassiliev's relations. We show that the $gl$- and $so$- weight systems satisfy these relations. We also analyze certain properties of these weight systems and study realted Hopf algebras of permutations.
The Weak Version of the Graph Complement Conjecture and Partial Results for the Delta Conjecture
Since the transformative workshop by the American Institute of Mathematics on the minimum rank of a graph, two longstanding open problems have captivated the community interested in the minimum rank of graphs: the graph complement conjecture and the $δ$-conjecture. In this paper, we use a classical result of Mader (1972) to establish a weak version of the graph complement conjecture for all key minimum rank parameters. In addition, again using the same result of Mader, we present some extremal resolutions of the $δ$-conjecture. Furthermore, we incorporate the assumption of the $δ$-conjecture and extensive work on graph degeneracy to improve the bound in the weak version of the graph complement conjecture. We conclude with a list of conjectured bounds on the positive semidefinite variant of the Colin de Verdière number.
From Group Operations to Geometric Structures: Amalgamations, HNN-Extensions, and Twisting in Coset Geometries
Coset incidence geometries, introduced by Jacques Tits, provide a versatile framework for studying the interplay between group theory and geometry.
In this article, we build upon that idea by extending classical group-theoretic constructions (amalgamated products, HNN-extensions, semi-direct products, and twisting) to the setting of coset geometries. This gives a general way to glue together incidence geometries in various ways. This provides a general framework for combining or gluing incidence geometries in different ways while preserving essential properties such as flag-transitivity and residual connectedness.
Using these techniques, we analyze families of Shephard groups, which generalize both Coxeter and Artin-Tits groups, and their associated simplicial complexes.
Our results also point to the existence of a Bass-Serre theory for coset geometries and of a fundamental geometry of a graph of coset geometries.
Geometric Littlewood-Offord problems via lattice point counting
Consider nonzero vectors $a_{1},\dots,a_{n}\in\mathbb{C}^{k}$, independent Rademacher random variables $ξ_{1},\dots,ξ_{n}$, and a set $S\subseteq\mathbb{C}^{k}$. What upper bounds can we prove on the probability that the random sum $ξ_{1}a_{1}+\dots+ξ_{n}a_{n}$ lies in $S$? We develop a general framework that allows us to reduce problems of this type to counting lattice points in $S$. We apply this framework with known results from diophantine geometry to prove various bounds when $S$ is a set of points in convex position, an algebraic variety, or a semialgebraic set. In particular, this resolves conjectures of Fox-Kwan-Spink and Kwan-Sauermann.
We also obtain some corollaries for the polynomial Littlewood-Offord problem, for polynomials that have bounded Chow rank (i.e., can be written as a polynomial of a bounded number of linear forms). For example, one of our results confirms a conjecture of Nguyen and Vu in the special case of polynomials with bounded Chow rank: if a bounded-degree polynomial $F\in\mathbb{C}[x_{1},\dots,x_{n}]$ has bounded Chow rank and ''robustly depends on at least $b$ of its variables'', then $\mathbb{P}[F(ξ_{1},\dots,ξ_{n})=0]\le O(1/\sqrt{b})$. We also prove significantly stronger bounds when $F$ is ''robustly irreducible'', towards a conjecture of Costello.
Vulnerability Measures and Zagreb Indices of Graphs
This paper establishes sharp bounds for the vulnerability measures of closeness and generalized closeness in graphs and identifies graphs that attain these bounds. It further develops bounds incorporating Zagreb indices for triangle- and quadrangle-free graphs, yielding formulas for closeness and generalized closeness in such graphs with diameter at most 3. Moreover, using Zagreb indices, we derive bounds for trees and connected graphs with girth at least 7, which are attained by graphs with diameter at most 4. Finally, formulas for closeness and generalized closeness in specific trees are established using Zagreb indices.
A Computational Search for Minimal Obstruction Graphs for the Lovász--Schrijver SDP Hierarchy
We study the lift-and-project relaxations of the stable set polytope of graphs generated by $\text{LS}_+$, the SDP lift-and-project operator devised by Lovász and Schrijver. In particular, we focus on searching for $\ell$-minimal graphs, which are graphs on $3\ell$ vertices whose stable set polytope has rank $\ell$ with respect to $\text{LS}_+$. These are the graphs which are the most challenging for the $\text{LS}_+$ operator according to one of the main complexity measures (smallest graphs with largest $\text{LS}_+$-rank). We introduce the notion of $\text{LS}_+$ certificate packages, which is a framework that allows for efficient and reliable verification of membership of points in $\text{LS}_+$-relaxations. Using this framework, we present numerical certificates which (combined with other results) show that there are at least $49$ $3$-minimal graphs, as well as over $4000$ $4$-minimal graphs. This marks a significant leap from the $14$ $3$-minimal and $588$ $4$-minimal graphs known before this work, with many of the newly-discovered graphs containing novel structures which helps enrich and recalibrate our understanding of $\ell$-minimal graphs. Some of this computational work leads to interesting conjectures. We also find all of the smallest vertex-transitive graphs with $\text{LS}_+$-rank $\ell$ for every $\ell \leq 4$.