Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Flag-transitive point-primitive quasi-symmetric $2$-designs with block intersection numbers $0$ and $y\leq10$
Published
• View Publication
• BIB
In this paper, we show that for a non-trivial quasi-symmetric $2$-design $\mathcal{D}$ with two block intersection numbers $x=0$ and $2\leq y\leq10$, if $G\leq \mathrm{Aut}(\mathcal{D})$ is flag-transitive and point-primitive, then $G$ is either of affine type or almost simple type. Moreover, we prove that the socle of $G$ cannot be an alternating group. If the socle of $G$ is a sporadic group, then $\mathcal{D}$ and $G$ must be one of the following: $\mathcal{D}$ is a $2$-$(12,6,5)$ design with block intersection numbers $0,3$ and $G=\mathrm{M}_{11}$, or $\mathcal{D}$ is a $2$-$(22,6,5)$ design with block intersection numbers $0,2$ and $G=\mathrm{M}_{22}$ or $\mathrm{M}_{22}:2$.
Orthogonal and symplectic orbits in the affine flag variety of type A
Published
• View Publication
• BIB
It is a classical result that the set $K\backslash G /B$ is finite, where $G$ is a reductive algebraic group over an algebraically closed field with characteristic not equal to two, $B$ is a Borel subgroup of $G$, and $K = G^θ$ is the fixed point subgroup of an involution of $G$. In this paper, we investigate the affine counterpart of the aforementioned set, where $G$ is the general linear group over formal Laurent series, $B$ is an Iwahori subgroup of $G$, and $K$ is either the orthogonal group or the symplectic group over formal Laurent series. We construct explicit bijections between the double cosets $K \backslash G/B$ and certain twisted affine involutions. This is the first combinatorial description of $K$-orbits in the affine flag variety of type A.
On combinatorial descriptions of faces of the cone of supermodular functions
Five different ways of combinatorial description of non-empty faces of the cone of supermodular functions on the power set of a finite basic set $N$ are introduced. Their identification with faces of the cone of supermodular games allows one to associate to them certain polytopes in $\mathbb{R}^{N}$, known as cores (of these games) in context of cooperative game theory, or generalized permutohedra in context of polyhedral geometry. Non-empty faces of the supermodular cone then correspond to normal fans of those polytopes. This (basically) geometric way of description of faces of the cone then leads to the combinatorial ways of their description. The first combinatorial way is to identify the faces with certain partitions of the set of enumerations of $N$, known as rank tests in context of algebraic statistics. The second combinatorial way is to identify faces with certain collections of posets on $N$, known as (complete) fans of posets in context of polyhedral geometry. The third combinatorial way is to identify the faces with certain coverings of the power set of $N$, introduced relatively recently in context of cooperative game theory under name core structures. The fourth combinatorial way is to identify the faces with certain formal conditional independence structures, introduced formerly in context of multivariate statistics under name structural semi-graphoids. The fifth way is to identify the faces with certain subgraphs of the permutohedral graph, whose nodes are enumerations of $N$. We prove the equivalence of those six ways of description of non-empty faces of the supermodular cone. This result also allows one to describe the faces of the polyhedral cone of (rank functions of) polymatroids over $N$ and the faces of the submodular cone over $N$.
Graphs with span 1 and shortest optimal walks
Published
• View Publication
• BIB
A span of a given graph $G$ is the maximum distance that two players can keep at all times while visiting all vertices (edges) of $G$ and moving according to certain rules, that produce different variants of span. We prove that the vertex and edge span of the same variant can differ by at most 1 and present a graph where the difference is exactly 1. For all variants of vertex span we present a lower bound in terms of the girth of the graph. Then we study graphs with the strong vertex span equal to 1. We present some nice properties of such graphs and show that interval graphs are contained in the class of graphs having the strong vertex span equal to 1. Finally, we present an algorithm that returns the minimum number of moves needed such that both players traverse all vertices of the given graph $G$ such that in each move the distance between players equals at least the chosen span of $G$.
On upper domatic number of graphs
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called an \emph{upper domatic partition} of size $k$ if either $V_i$ dominates $V_j$ or $V_j$ dominates $V_i$ or both for all $i, j$, where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called the \emph{upper domatic number} of $G$, and it is denoted by $D(G)$. The \textsc{Maximum upper domatic number Problem} involves finding an upper domatic partition of a given graph with the maximum number of parts. It was known that the maximum upper domatic problem can be solved in linear time for trees. In this paper, we prove that this problem can be solved in linear time for \emph{split graphs} and for the \emph{complement of bipartite chain graphs}, two subclasses of chordal graphs. Moreover, we show that this problem can be solved in polynomial time for unicyclic graphs. Finally, we partially solve a conjecture regarding the sink set posed by Haynes et al. [The upper domatic number of a graph, \emph{AKCE Int. J. Graphs Comb.}, 17, 2020].
Hindrance from a wasteful partial linkage
Let $ D=(V,E) $ be a (possibly infinite) digraph and $ A,B\subseteq V $. A hindrance consists of an $ AB $-separator $ S $ together with a set of disjoint $ AS $-paths linking a proper subset of $ A $ onto $ S $. Hindrances and configurations guaranteeing the existence of hindrances play an essential role in the proof of the infinite version of Menger's theorem and are important in the context of certain open problems as well. This motivates the investigation of circumstances under which hindrances appear. In this paper we show that if there is a ``wasteful partial linkage'', i.e. a set $ \mathcal{P} $ of disjoint $ AB $-paths with fewer unused vertices in $ B $ than in $ A $, then there exists a hindrance.
Quasi-orthogonal extension of skew-symmetric matrices
A real matrix $Q$ is quasi-orthogonal if $Q^{\top}Q=qI$, for some positive real number $q$. We prove that any $n\times n$ skew-symmetric matrix $S$ is a principal sub-matrix of a skew-symmetric quasi-orthogonal matrix $Q$, called a quasi-orthogonal extension of $S$. Moreover, we determine the least integer $d$ such that $S$ has a quasi-orthogonal extension of order $n+d$. This integer is called the quasi-orthogonality index of $S$. Lastly, we give a spectral characterization of skew-adjacency matrices of tournaments with quasi-orthogonality index at most three.
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.