Showing 20 papers (Total: 81564 papers, 47262 authors in database)
An explicit condition for boundedly supermultiplicative subshifts
Published
• View Publication
• BIB
We study some properties of the growth rate of $\mathcal{L}(\mathcal{A},\mathcal{F})$, that is, the language of words over the alphabet $\mathcal{A}$ avoiding the set of forbidden factors $\mathcal{F}$. We first provide a sufficient condition on $\mathcal{F}$ and $\mathcal{A}$ for the growth of $\mathcal{L}(\mathcal{A},\mathcal{F})$ to be boundedly supermultiplicative. That is, there exist constants $C>0$ and $α\ge0$, such that for all $n$, the number of words of length $n$ in $\mathcal{L}(\mathcal{A},\mathcal{F})$ is between $α^n$ and $Cα^n$. In some settings, our condition provides a way to compute $C$, which implies that $α$, the growth rate of the language, is also computable whenever our condition holds.
We also apply our technique to the specific setting of power-free words where the argument can be slightly refined to provide better bounds. Finally, we apply a similar idea to $\mathcal{F}$-free circular words and in particular we make progress toward a conjecture of Shur about the number of square-free circular words.
Three types of the minimal excludant size of an overpartition
Recently, Andrews and Newman studied the minimal excludant of a partition, which is defined as the smallest positive integer that is not a part of a partition. In this article, we consider the minimal excludant size of an overpartition, which is an overpartition analogue of the minimal excludant of a partition. We define three types of overpartition related to the minimal excludant size.
Some Results on Local Distance Antimagic Chromatic Number of Graphs
Let G=(V,E) be a graph of order n without isolated vertices. A bijection f:V -- {1,2,...n} is called a local distance antimagic labeling if the weights of any two adjacent vertices are not equal, where the weight of a vertex is defined to be the sum of labels of adjacent vertices. The local distance antimagic chromatic number is defined to be the minimum number of colors taken over all colorings of G induced by local distance antimagic labelings of G. In this paper, we study the local distance antimagic chromatic number for the join of graphs and the lexicographic product of graphs with empty graphs.
Garsia--Remmel $q$-rook numbers are not always unimodal
Published
• View Publication
• BIB
We show by an explicit example that the Garsia--Remmel $q$-rook numbers of Ferrers boards do not all have unimodal sequences of coefficients. This resolves in the negative a question from 1986 by the aforementioned authors.
Ramsey Goodness of paths and unbalanced graphs
Published
• View Publication
• BIB
Given graphs $G$ and $H$, we say that $G$ is $H$-$good$ if the Ramsey number $R(G,H)$ equals the trivial lower bound $(|G| - 1)(χ(H) - 1) + σ(H)$, where $χ(H)$ denotes the usual chromatic number of $H$, and $σ(H)$ denotes the minimum size of a color class in a $χ(H)$-coloring of $H$. Pokrovskiy and Sudakov [Ramsey goodness of paths. Journal of Combinatorial Theory, Series B, 122:384-390, 2017.] proved that $P_n$ is $H$-good whenever $n\geq 4|H|$. In this paper, given $\varepsilon>0$, we show that if $H$ satisfy a special unbalance condition, then $P_n$ is $H$-good whenever $n \geq (2 + \varepsilon)|H|$. More specifically, we show that if $m_1,\ldots, m_k$ are such that $\varepsilon\cdot m_i \geq 2m_{i-1}^2$ for $2\leq i\leq k$, and $n \geq (2 + \varepsilon)(m_1 + \cdots + m_k)$, then $P_n$ is $K_{m_1,\ldots,m_k}$-good.
Jackson's inequality on the hypercube
We investigate the best constant $J(n,d)$ such that Jackson's inequality \[ \inf_{\mathrm{deg}(g) \leq d} \|f - g\|_{\infty} \leq J(n,d) \, s(f), \] holds for all functions $f$ on the hypercube $\{0,1\}^n$, where $s(f)$ denotes the sensitivity of $f$. We show that the quantity $J(n, 0.499n)$ is bounded below by an absolute positive constant, independent of $n$. This complements Wagner's theorem, which establishes that $J(n,d)\leq 1 $. As a first application we show that reverse Bernstein inequality fails in the tail space $L^{1}_{\geq 0.499n}$ improving over previously known counterexamples in $L^{1}_{\geq C \log \log (n)}$. As a second application, we show that there exists a function $f : \{0,1\}^n \to [-1,1]$ whose sensitivity $s(f)$ remains constant, independent of $n$, while the approximate degree grows linearly with $n$. This result implies that the sensitivity theorem $s(f) \geq Ω(\mathrm{deg}(f)^C)$ fails in the strongest sense for bounded real-valued functions even when $\mathrm{deg}(f)$ is relaxed to the approximate degree. We also show that in the regime $d = (1 - δ)n$, the bound \[ J(n,d) \leq C \min\{δ, \max\{δ^2, n^{-2/3}\}\} \] holds. Moreover, when restricted to symmetric real-valued functions, we obtain $J_{\mathrm{symmetric}}(n,d) \leq C/d$ and the decay $1/d$ is sharp. Finally, we present results for a subspace approximation problem: we show that there exists a subspace $E$ of dimension $2^{n-1}$ such that $\inf_{g \in E} \|f - g\|_{\infty} \leq s(f)/n$ holds for all $f$.
$c$-functions and Koornwinder polynomials
Published
• View Publication
• BIB
This paper develops the theory of Macdonald-Koornwinder polynomials in parallel analogy with the work done for the $GL_n$ case in [CR22]. In the context of the type $CC_n$ affine root system the Macdonald polynomials of other root systems of classical type are specializations of the Koornwinder polynomials. We derive $c$-function formulas for symmetrizers and use them to give $E$-expansions, principal specializations and norm formulas for bosonic, mesonic and fermionic Koornwinder polynomials. Finally, we explain the proof of the norm conjectures and constant term conjectures for the Koornwinder case.
Counting independent sets in regular graphs with bounded independence number
An $n$-vertex, $d$-regular graph can have at most $2^{n/2+o_d(n)}$ independent sets. In this paper we address what happens with this upper bound when we impose the further condition that the graph has independence number at most $α$.
We give upper and lower bounds that in many cases are close to each other. In particular, for each $0 < c_{\rm ind} \leq 1/2$ we exhibit a constant $k(c_{\rm ind})$ such that if $(G_n)_{n \in {\mathbb N}}$ is a sequence of graphs with $G_n$ $d$-regular on $n$ vertices and with maximum independent set size at most $α$, with $d\rightarrow \infty$ and $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$, then $G_n$ has at most $k(c_{\rm ind})^{n+o(n)}$ independent sets, and we show that there is a sequence $(G_n)_{n \in {\mathbb N}}$ of graphs with $G_n$ $d$-regular on $n$ vertices ($d \leq n/2$) and with maximum independent set size at most $α$, with $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$ and with $G_n$ having at least $k(c_{\rm ind})^{n+o(n)}$ independent sets. We also consider the regime $1/2 < c_{\rm ind} < 1$. Here for each $0 < c_{\rm deg} \leq 1-c_{\rm ind}$ we exhibit a constant $k(c_{\rm ind},c_{\rm deg})$ for which an analogous pair of statements can be proven, except that in each case we add the condition $d/n \rightarrow c_{\rm deg}$ as $n \rightarrow \infty$.
Our upper bounds are based on graph container arguments, while our lower bounds are constructive.
Hook-valued tableau uncrowding and tableau switching
Published
• View Publication
• BIB
Refined canonical stable Grothendieck polynomials were introduced by Hwang, Jang, Kim, Song, and Song. There exist two combinatorial models for these polynomials: one using hook-valued tableaux and the other using pairs of a semistandard Young tableau and (what we call) an exquisite tableau. An uncrowding algorithm on hook-valued tableaux was introduced by Pan, Pappe, Poh, and Schilling. In this paper, we discover a novel connection between the two models via the uncrowding and Goulden--Greene's jeu de taquin algorithms, using a classical result of Benkart, Sottile, and Stroomer on tableau switching. This connection reveals a symmetry of the uncrowding algorithm defined on hook-valued tableaux. As a corollary, we obtain another combinatorial model for the refined canonical stable Grothendieck polynomials in terms of biflagged tableaux, which naturally appear in the characterization of the image of the uncrowding map.
On maximal almost balanced non-overlapping codes and non-overlapping codes with restricted run-lengths
Published
• View Publication
• BIB
This paper concerns non-overlapping codes, block codes motivated by synchronisation and DNA-based storage applications. Most existing constructions of these codes do not account for the restrictions posed by the physical properties of communication channels. If undesired sequences are not avoided, the system using the encoding may start behaving incorrectly. Hence, we aim to characterise all non-overlapping codes satisfying two additional constraints. For the first constraint, where approximately half of the letters in each word are positive, we derive necessary and sufficient conditions for the code's non-expandability and improve known bounds on its maximum size. We also determine exact values for the maximum sizes of polarity-balanced non-overlapping codes having small block and alphabet sizes. For the other constraint, where long sequences of consecutive equal symbols lead to undesired behaviour, we derive bounds and constructions of constrained non-overlapping codes. Moreover, we provide constructions of non-overlapping codes that satisfy both constraints and analyse the sizes of the obtained codes.
Growth of recurrences with mixed multifold convolutions
Generalizing some popular sequences like Catalan's number, Schröder's number, etc, we consider the sequence $s_n$ with $s_0=1$ and for $n\ge 1$, \begin{multline*}
s_n=\sum_{x_1+\dots+x_{\ell_1}=n-1} κ_1 s_{x_1}\dots s_{x_{\ell_1}} + \dots +\sum_{x_1+\dots+x_{\ell_{t'}}=n-1} κ_{t'} s_{x_1}\dots s_{x_{\ell_{t'}}}+\\ \max_{x_1+\dots+x_{\ell_{t'+1}}=n-1} κ_{t'+1} s_{x_1}\dots s_{x_{\ell_{t'+1}}} + \dots + \max_{x_1+\dots+x_{\ell_t}=n-1} κ_t s_{x_1}\dots s_{x_{\ell_t}}, \end{multline*} where $x_i$ are nonnegative integers, $\ell_1,\dots,\ell_t$ are positive integers, and $κ_1,\dots,κ_t$ are positive reals. We show that it is possible to compute the growth rate $λ$ of $s_n$ to any precision. In particular, for every $n\ge 2$,
\[
\sqrt[n]{\frac{κ^*}{\mathcal L(n-1) s_1} s_n} \le λ\le \sqrt[n]{3^{18\log 3 + 2\log\frac{s_1\mathcal L^2}{κ^*}} n^{3\log n + 12\log 3 + \log\frac{s_1\mathcal L^2}{κ^*}} s_n},
\]where $\mathcal L=\max_i \ell_i$ and $κ^*=κ_i$ for some $i$ with $\ell_i\ge 2$, and the logarithm has the base $\frac{\mathcal L+1}{\mathcal L}$. The constants in the inequalities are not very well optimized and serve mostly as a proof of concept with the ratio of the upper bound and the lower bound converging to $1$ as $n$ goes to infinity.
Two-edge-connected (not necessarily spanning) subgraphs and polyhedra
Given a graph $G$, we study the $2$-edge-connected subgraph polytope $\mathrm{TECSP}(G)$, which is given by the convex hull of the incidence vectors of all $2$-edge-connected subgraphs of $G$. We describe the lattice points of this polytope by linear inequalities which provides an ILP-algorithm for finding a $2$-edge-connected subgraph of maximum weight. Furthermore, we characterize when these inequalities define facets of $\mathrm{TECSP}(G)$. We also consider further types of supporting hyperplanes of $\mathrm{TECSP}(G)$ and study when they are facet-defining. Finally, we investigate the efficiency of our considered inequalities practically on some classes of graphs.
Counting sparse induced subgraphs in locally dense graphs
Published
• View Publication
• BIB
An $n$-vertex graph $G$ is locally dense if every induced subgraph of size larger than $ζn$ has density at least $d > 0$, for some parameters $ζ, d > 0$. We show that the number of induced subgraphs of $G$ with $m$ vertices and maximum degree significantly smaller than $dm$ is roughly $\binom{ζn}{m}$, for $m \ll ζn$ which is not too small. This generalises a result of Kohayakawa, Lee, Rödl, and Samotij on the number of independent sets in locally dense graphs. As an application, we slightly improve a result of Balogh, Chen, and Luo on the generalised Erdős-Rogers function for graphs with small extremal number.
Asymptotic Normality and Concentration Inequalities of Statistics of Core Partitions with Bounded Perimeters
Core partitions have attracted much attention since Anderson's work (2002) on the number of $(s,t)$-core partitions for coprime $s,t$. Recently, there has been a growing interest in studying the limiting distributions of the sizes of random simultaneous core partitions. In this paper, we prove the asymptotic normality of certain statistics of uniform random core partitions with bounded perimeters in the Kolmogorov and Wasserstein $W_1$ distances, including the length and size of a random (strict) $n$-core partition, the length of the Durfee square and the size of a random self-conjugate $n$-core partition. Accordingly, we prove that these statistics are subgaussian. This contrasts with the asymptotic behavior of the size of a random $(s, t)$-core partition for coprime $s,t$ studied by Even-Zohar (2022), which converges in law to Watson's $U^2$ distribution. Our results show that the distribution of the size of a random strict $(n, dn+1)$-core partition is asymptotically normal when $d \ge 3$ is fixed and $n$ tends to infinity, which is an analog of Zaleski's conjecture (2017) and covers Komlós, Sergel, and Tusnády's result (2020) as a special case. Our proof integrates a variety of combinatorial and probabilistic tools, including Stein's method based on Hoeffding decomposition, Hoeffding's combinatorial central limit theorem, the Efron-Stein inequalities on product spaces and slices, and asymptotics of Pólya frequency sequences. Furthermore, our approach is potentially applicable to the study of the asymptotic normality of functionals of random variables with certain global dependence structures that can be decomposed into appropriate mixture forms.
On dynamical $C^{\star}$-set and its combinatorial consequences
Using the methods from topological dynamics, H. Furstenberg introduced the notion of a central set and proved the famous Central Sets Theorem. Later D. De, Neil Hindman, and D. Strauss [Fund. Math.199 (2008), 155-175.] established a stronger version of the Central Sets Theorem and then introduced the notion of $C$-sets satisfying the Central Sets Theorem and studied the properties of these sets. For any weak mixing system $\left(X, \mathcal{B},μ, T\right),$ and $A_{0},A_{1}\in\mathcal{B}$, with $μ\left(A_{0}\right)μ\left(A_{1}\right)>0$, R. Kung and X.Ye [Disc. Cont. Dyn. sys., 18 (2007) 817-827.] proved that the set $N\left(A,B\right)= \left\{n:μ\left(A_{0}\cap T^{-n}A_{1}\right)>0\right\}$ intersects all sets of positive upper Banach density. However, later N. Hindman and D. Strauss [New York J. Math. 26 (2020) 230-260.] proved that there exist $C$-sets having zero upper Banach density. Inspired by this result, in this article, we prove that $N\left(A, B \right)$ intersects with all $C$-sets. Then we introduce the notion of a dynamical $C^{\star}$-set and then we study their combinatorial properties.
Unimodular Hunting
Published
• View Publication
• BIB
We develop a method initiated by Bacher and Venkov, and based on a study of the Kneser neighbors of the standard lattice Z^n, which allows to classify the integral unimodular Euclidean lattices of rank n. As an application, of computational flavour, we determine the isometry classes of unimodular lattices of rank 26 and 27.
Braid groups of J-reflection groups and associated classical and dual Garside structures
Published
• View Publication
• BIB
The family of $J$-reflection groups can be seen as a combinatorial generalisation of irreducible rank two complex reflection groups and was introduced by the author in a previous article. In this article, we define the braid groups associated to $J$-reflection groups, which coincide with the complex braid group when the $J$-reflection group is finite. We show that the isomorphism type of the braid groups only depend on the reflection isomorphism types of the corresponding $J$-reflection groups. Moreover, we show that these braid groups are always abstractly isomorphic to circular groups. At the same time, we show that the center of the braid groups is cyclic and sent onto the center of the corresponding $J$-reflection groups under the natural quotient. Finally, we exhibit two Garside structures for each braid group of $J$-reflection group. These structures generalise the classical and dual Garside structures (when defined) of rank two irreducible complex reflection groups. In particular, the dual Garside structure of $J$-reflection groups provides candidates for dual monoids associated to the irreducible complex reflection groups of rank two which do not already have one.
Minimizing Monochromatic Subgraphs of $K_{n,n}$
Given any $r$-edge coloring of $K_{n,n}$, how large is the maximum (over all $r$ colors) sized monochromatic subgraph guaranteed to be? We give answers to this problem for $r \leq 8$, when $r$ is a perfect square, and when $r$ is one less than a perfect square all up to a constant additive term that depends on $r$. We give a lower bound on this quantity that holds for all $r$ and is sharp when $r$ is a perfect square up to a constant additive term that depends on $r$. Finally, we give a construction for all $r$ which provides an upper bound on this quantity up to a constant additive term that depends on $r$, and which we conjecture is also a lower bound.
Slitherlink on Triangular Grids
Let $G$ be a plane graph and let $C$ be a cycle in $G$. For each finite face of $G$, count the number of edges of $C$ the face contains. We call this the Slitherlink signature of $C$. The symmetric difference $A$ of two cycles with the same signature is totally even, meaning every vertex is incident to an even number of edges in $A$ and every face contains an even number of edges in $A$. In this paper, we completely characterize totally even subsets in the triangular grid, and count the number of edges in any totally even subset of the triangular grid. We also show that the size of the symmetric difference of two cycles with the same signature in the triangular grid is divisible by $12$; this is best possible since 12 is the greatest common divisor of all the sizes of the symmetric difference between two cycles with the same signature in a triangular grid.
Reinforcement Learning the Chromatic Symmetric Function
We propose a conjectural counting formula for the coefficients of the chromatic symmetric function of unit interval graphs using reinforcement learning. The formula counts specific disjoint cycle-tuples in the graphs, referred to as Eschers, which satisfy certain concatenation conditions. These conditions are identified by a reinforcement learning model and are independent of the particular unit interval graph, resulting a universal counting expression.