Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Optimization algorithms for Carleson and sparse collections of sets
Carleson and sparse collections of sets play a central role in dyadic harmonic analysis. We employ methods from optimization theory to study such collections. First, we present a strongly polynomial algorithm to compute the Carleson constant of a collection of sets, improving on the recent approximation algorithm of Rey. Our algorithm is based on submodular function minimization. Second, we provide an algorithm showing that any Carleson collection is sparse, achieving optimal dependence of the respective constants and thus providing a constructive proof of a result of Hänninen. Our key insight is a reformulation of the duality between the Carleson condition and sparseness in terms of the duality between the maximum flow and the minimum cut in a weighted directed graph.
On subgroup perfect codes in vertex-transitive graphs
A subset $C$ of the vertex set $V$ of a graph $Γ$ is called a perfect code in $Γ$ if every vertex in $V\setminus C$ is adjacent to exactly one vertex in $C$. Given a group $G$ and a subgroup $H$ of $G$, a subgroup $A$ of $G$ containing $H$ is called a perfect code of the pair $(G,H)$ if there exists a coset graph $\mathrm{Cos}(G,H,U)$ such that the set of left cosets of $H$ in $A$ is a perfect code in $\mathrm{Cos}(G,H,U)$. In particular, $A$ is called a perfect code of $G$ if $A$ is a perfect code of the pair $(G,1)$. In this paper, we give a characterization of $A$ to be a perfect code of the pair $(G,H)$ under the assumption that $H$ is a perfect code of $G$. As a corollary, we derive an additional sufficient and necessary condition for $A$ to be a perfect code of $G$. Moreover, we establish conditions under which $A$ is not a perfect code of $(G,H)$, which is applied to construct infinitely many counterexamples to a question posed by Wang and Zhang [\emph{J.~Combin.~Theory~Ser.~A}, 196 (2023) 105737]. Furthermore, we initiate the study of determining which maximal subgroups of $S_n$ are perfect codes.
Spectral radius and rainbow $k$-factors of graphs
Let $\mathcal{G}=\{G_1,\ldots, G_{\frac{kn}{2}}\}$ be a set of graphs on the same vertex set $V=\{1,\dots,n\}$ where $k\cdot n$ is even. We say $\mathcal{G}$ admits a rainbow $k$-factor if there exists a $k$-regular graph $F$ on the vertex set $V$ such that all edges of $F$ are from different members of $\mathcal{G}$. In this paper, we show a sufficient spectral condition for the existence of a rainbow $k$-factor for $k\geq 2$, which is that if $ρ(G_i)\geqρ(K_{k-1}\vee(K_1\cup K_{n-k}))$ for each $G_i\in \mathcal{G}$, then $\mathcal{G}$ admits a rainbow $k$-factor unless $G_1=G_2=\cdots=G_{\frac{kn}{2}}\cong K_{k-1}\vee(K_1\cup K_{n-k})$.
Strictly Metrizable Graphs are Minor-Closed
A consistent path system in a graph $G$ is an collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We say that $G$ is strictly metrizable if every consistent path system in $G$ can be realized as the system of unique geodesics with respect to some assignment of positive edge weight. In this paper, we show that the family of strictly metrizable graphs is minor-closed.
Dimension of RC-lattices
In $1941$ Dushnik and Miller introduced the concept of dimension of a poset. In $2020$ Bhavale and Waphare introduced the concept of an RC-lattice as a lattice in which all the reducible elements are lying on a chain. In this paper, we obtain the dimension of adjunct sum of two lattices. We obtain a bound on the dimension of a dismantlable lattice in terms of its nullity. We also prove that the dimension of an RC-lattice on $n$ elements is at the most three. Consequently, we prove that an RC-lattice is non planar if and only if its dimension is three.
Waring and Waring-Goldbach subbases with prescribed representation function
We study $r_{A,h}(n)$, the number of representations of integers $n$ as sums of $h$ elements from subsets $A$ of $k$-th powers $\mathbb{N}^k$ and $k$-th powers of primes $\mathbb{P}^k$ for $k \geq 1$. Extending work by Vu, Wooley, and others, we show that for $h \geq h_k = O(8^k k^2)$, if $F$ is a regularly varying function satisfying $\lim_{n\to\infty} F(n)/\log n = \infty$, then there exists $A \subseteq \mathbb{N}^k$ such that
\[ r_{A,h}(n) \sim \mathfrak{S}_{k,h}(n)F(n), \]
where $\mathfrak{S}_{k,h}(n)$ is the singular series from Waring's problem.
For $h \geq 2k^2(2\log k + \log\log k + O(1))$, we show the existence of $A \subseteq \mathbb{P}^k$ with
\[ r_{A,h}(n) \sim \mathfrak{S}^*_{k,h}(n) c n^κ\]
for $0 < κ< h/k - 1$ and $c > 0$, where $\mathfrak{S}^*_{k,h}(n)$ is the singular series from Waring--Goldbach's problem. Additionally, for $0 \leq κ\leq h/k - 1$ and functions $ψ$ satisfying $ψ(x) \asymp_λ ψ(x^λ)$ for every $λ>0$, if $\log x \ll x^κ ψ(x) \ll x^{h/k-1}/(\log x)^h$, then there exists $A \subseteq \mathbb{P}^k$ with $r_{A,h}(n) \asymp n^κψ(n)$ for $n$ satisfying certain congruence conditions, producing thin subbases of prime powers when $κ= 0$, $ψ= \log$.
Asymptotic lengths of permutahedra and associahedra
We define asymptotic lengths for families of oriented polytopes. We show that permutahedra with weak order orientations have asymptotic total length 1 and associahedra with Tamari order orientations have asymptotic total length 1/2.
Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors
As a fundamental and ubiquitous combinatorial notion, species has attracted sustained interest, generalizing from set-theoretical combinatorial to algebraic combinatorial and beyond. The Rota-Baxter algebra is one of the algebraic structures with broad applications from Renormalization of quantum field theory to integrable systems and multiple zeta values. Its interpretation in terms of monoidal categories has also recently appeared. This paper studies species of Rota-Baxter algebras, making use of the combinatorial construction of free Rota-Baxter algebras in terms of angularly decorated trees and forests. The notion of simple angularly decorated forests is introduced for this purpose and the resulting Rota-Baxter species is shown to be free. Furthermore, a twisted bialgebra structure, as the bialgebra for species, is established on this free Rota-Baxter species. Finally, through the Fock functor, another proof of the bialgebra structure on free Rota-Baxter algebras is obtained.
Gröbner Cones for Finite Type Cluster Algebras
Let $\mathcal{A}$ be a cluster algebra of finite cluster type. We study the Gröbner cone $\mathcal{C}_{\mathcal{A}}$ parametrizing term orders inducing an initial degeneration of the ideal $I_{\mathcal{A}}$ of relations among the cluster variables of $\mathcal{A}$ to the ideal generated by products of incompatible cluster variables. We show that for any cluster variable $v$, the weight induced by taking compatibility degrees with $v$ belongs to $\mathcal{C}_{\mathcal{A}}$. This allows us to construct an explicit circular term order and prove a conjecture of Ilten, Nájera Chávez, and Treffinger. Furthermore, we give explicit descriptions of the rays and lineality spaces of $\mathcal{C}_{\mathcal{A}}$ in terms of combinatorial models for cluster algebras of types $A_n$, $B_n$, $C_n$, $D_n$ with a special choice of frozen variables, and in the case of no frozen variables.
Rank, two-color partitions and Mock theta function
In this paper, we establish that the number of partitions of a natural number with positive odd rank is equal to the number of two-color partitions (red and blue), where the smallest part is even (say $2n$) and all red parts are even and lie within the interval $(2n,4n]$. This led us to derive a new representation for the third order mock theta function $f_3(q)$ and an analogue of the fundamental identity for the smallest part partition function Spt$(n)$, both of which are of significant interest in their own right. We also consider the odd smallest part version of the above two-color partition, whose generating function involves another third order mock theta function $φ_3(q)$.
Convex pentagonal monotiles in the 15 Type families
The properties of convex pentagonal monotiles in the 15 Type families and their tilings are summarized. The Venn diagrams of the 15 Type families are also shown.
Metric graphs of negative type
The negative type inequalities of a metric space are closely tied to embeddability. A result by Gupta, Newman, and Rabinovich implies that if a metric graph $G$ does not contain a theta submetric as an embedding, then $G$ has negative type. We show the converse: if a metric graph $G$ contains a theta, then it does not have negative type.
$(2,4)$-Colorability of Planar Graphs Excluding $3$-, $4$-, and $6$-Cycles
A defective $k$-coloring is a coloring on the vertices of a graph using colors $1,2, \dots, k$ such that adjacent vertices may share the same color. A $(d_1,d_2)$-\emph{coloring} of a graph $G$ is a defective $2$-coloring of $G$ such that any vertex colored by color $i$ has at most $d_i$ adjacent vertices of the same color, where $i\in\{1,2\}$. A graph $G$ is said to be $(d_1,d_2)$-\emph{colorable} if it admits a $(d_1,d_2)$-coloring.
Defective $2$-coloring in planar graphs without $3$-cycles, $4$-cycles, and $6$-cycles has been investigated by Dross and Ochem, as well as Sittitrai and Pimpasalee. They showed that such graphs are $(0,6)$-colorable and $(3,3)$-colorable, respectively. In this paper, we proved that these graphs are also $(2,4)$-colorable.
Bollobás-Nikiforov conjecture holds asymptotically almost surely
Bollobás and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $ω(G)$, then $
λ_{1}^{2}+λ_{2}^{2}\leq 2e(G)\left(1-\frac{1}{ω(G)}\right), $ where $λ_{1}$ and $λ_{2}$ are the largest and the second largest eigenvalues of the adjacency matrix of $G$, respectively. In this paper, we prove that for a sequence of random graphs the conjecture holds true with probability tending to one as the number of vertices tends to infinity.
Temperatures of Robin Hood
Cumulative Games were introduced by Larsson, Meir, and Zick (2020) to bridge some conceptual and technical gaps between Combinatorial Game Theory (CGT) and Economic Game Theory. The partizan ruleset {\sc Robin Hood} is an instance of a Cumulative Game, viz., {\sc Wealth Nim}. It is played on multiple heaps, each associated with a pair of cumulations, interpreted here as wealth. Each player chooses one of the heaps, removes tokens from that heap not exceeding their own wealth, while simultaneously diminishing the other player's wealth by the same amount. In CGT, the {\em temperature} of a {\em disjunctive sum} game component is an estimate of the urgency of moving first in that component. It turns out that most of the positions of {\sc Robin Hood} are {\em hot}. The temperature of {\sc Robin Hood} on a single large heap shows a dichotomy in behavior depending on the ratio of the wealths of the players. Interestingly, this bifurcation is related to Pingala (Fibonacci) sequences and the Golden Ratio $φ$: when the ratio of the wealths lies in the interval $(φ^{-1},φ)$, the temperature increases linearly with the heap size, and otherwise it remains constant, and the mean values has a reciprocal property. It turns out that despite {\sc Robin Hood} displaying high temperatures, playing in the hottest component might be a sub-optimal strategy.
The wreath matrix
Let $k\leq n$ be positive integers and $\mathbb{Z}_{n}$ be the set of integers modulo $n$. A conjecture of Baranyai from 1974 asks for a decomposition of $k$-element subsets of $\mathbb{Z}_{n}$ into particular families of sets called "wreaths". We approach this conjecture from a new algebraic angle by introducing the key object of this paper, the wreath matrix $M$. As our first result, we establish that Baranyai's conjecture is equivalent to the existence of a particular vector in the kernel of $M$. We then employ results from representation theory to study $M$ and its spectrum in detail. In particular, we find all eigenvalues of $M$ and their multiplicities, and identify several families of vectors which lie in the kernel of $M$.
Intervals in Dyck paths and the wreath conjecture
Let $ι_{k}(m,l)$ denote the total number of intervals of length $m$ across all Dyck paths of semilength $k$ such that each interval contains precisely $l$ falls. We give the formula for $ι_{k}(m,l)$ and show that $ι_{k}(k,l)=\binom{k}{l}^2$. Motivated by this, we propose two stronger variants of the wreath conjecture due to Baranyai for $n=2k+1$.
Edge ideals and their asymptotic syzygies
Let $G$ be a finite simple graph, and let $I(G)$ denote its edge ideal. In this paper, we investigate the asymptotic behavior of the syzygies of powers of edge ideals through the lens of homological shift ideals $\text{HS}_i(I(G)^k)$. We introduce the notion of the $i$th homological strong persistence property for monomial ideals $I$, providing an algebraic characterization that ensures the chain of inclusions $\text{Ass}\,\text{HS}_i(I)\subseteq\text{Ass}\,\text{HS}_i(I^2)\subseteq\text{Ass}\,\text{HS}_i(I^3) \subseteq\cdots$. We prove that edge ideals possess both the $0$th and $1$st homological strong persistence properties. To this end, we explicitly describe the first homological shift algebra of $I(G)$ and show that $\text{HS}_1(I(G)^{k+1}) = I(G) \cdot \text{HS}_1(I(G)^k)$ for all $k \ge 1$. Finally, we conjecture that if $I(G)$ has a linear resolution, then $\text{HS}_i(I(G)^k)$ also has a linear resolution for all $k \gg 0$, and we present partial results supporting this conjecture.
Monk Algebras and Representability
In ``Monk Algebras and Ramsey Theory,'' \emph{J. Log. Algebr. Methods Program.} (2022), Kramer and Maddux prove various representability results in furtherance of the goal of finding the smallest weakly representable but not representable relation algebra. They also pose many open problems.
In the present paper, we address problems and issues raised by Kramer and Maddux. In particular, we prove that their Proposition 7 does not generalize, and we answer Problem 1.1 in the negative: relation algebra $1311_{1316}$ is not representable. Thus $1311_{1316}$ is a good candidate for the smallest weakly representable but not representable relation algebra.
Finally, we give the first known finite cyclic group representations for relation algebras $31_{37}$, $32_{65}$, $1306_{1314}$, and $1314_{1316}$.
Borel fractional perfect matchings in quasi-transitive amenable graphs
We show that if a locally finite Borel graph with quasitransitive amenable components admits a fractional perfect matching, it will admit a Borel fractional perfect matching. In particular, if a countable amenable quasitransitive graph admits a fractional perfect matching then its Bernoulli graph admits a Borel fractional perfect matching.