Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Bijections between directed animals, multisets and Grand-Dyck paths
Published in Electron. J. Combin. 27(2): P2.10, 2020
• View Publication
• BIB
An $n$-multiset of $[k]=\{1,2,\ldots, k\}$ consists of a set of $n$ elements from $[k]$ where each element can be repeated. We present the bivariate generating function for $n$-multisets of $[k]$ with no consecutive elements. For $n=k$, these multisets have the same enumeration as directed animals in the square lattice. Then we give constructive bijections between directed animals, multisets with no consecutive elements and Grand-Dyck paths avoiding the pattern $DUD$, and we show how classical and novel statistics are transported by these bijections.
The score sequences with unique tournament that has minimum number of upsets
Let $T$ be a tournament with nondecreasing score sequence $R$ and $A$ be its tournament matrix. An upset of $T$ corresponds to an entry above the main diagonal of $A$. Given a feasible score sequence $R$, Fulkerson~(1965) gave a simple recursive construction for a tournament with score sequence $R$ and the minimum number of upsets, and Hacioglu et al. (2019) provided a construction for all of such tournament matrices. Let $U_{\min}(R)$ denote the set of tournament matrices with score sequence $R$ that have minimum number of upsets. Brauldi and Li~(1983) characterized the strong score sequences $R$ ($R$ is strong if a tournament $T$ with score sequence $R$ is strongly connected) with $|U_{\min}(R)|=1$. In this article, we characterize all feasible score sequences $R$ with $|U_{\min}(R)|=1$ and give an explicit formula for the number of the feasible score sequences $R$ with $|U_{\min}(R)|=1$.
On Degree Sum Conditions and Vertex-Disjoint Chorded Cycles
Published
• View Publication
• BIB
In this paper, we consider a general degree sum condition sufficient to imply the existence of $k$ vertex-disjoint chorded cycles in a graph $G$. Let $σ_t(G)$ be the minimum degree sum of $t$ independent vertices of $G$. We prove that if $G$ is a graph of sufficiently large order and $σ_t(G)\geq 3kt-t+1$ with $k\geq 1$, then $G$ contains $k$ vertex-disjoint chorded cycles. We also show that the degree sum condition on $σ_t(G)$ is sharp. To do this, we also investigate graphs without chorded cycles.
Harmonic Partitions of Positive Integers and Bosonic Extension of Euler's Pentagonal Number Theorem
Published in Mathematical Journal of Okayama University Vol. 66 (2024) 71 - 83
• View Publication
• BIB
In this paper, we first propose a cohomological derivation of the celebrated Euler's Pentagonal Number Theorem. Then we prove an identity that corresponds to a bosonic extension of the theorem. The proof corresponds to a cohomological re-derivation of Euler's another celebrated identity.
Generalized F-signatures of Hibi rings
Published
• View Publication
• BIB
The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) $F$-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) $F$-signature for some Segre products of polynomial rings.
A crystal on decreasing factorizations in the $0$-Hecke monoid
Published in Electronic J. Comb. 27(2) (2020), #P2.29
• View Publication
• BIB
We introduce a type $A$ crystal structure on decreasing factorizations of fully-commutative elements in the 0-Hecke monoid which we call $\star$-crystal. This crystal is a $K$-theoretic generalization of the crystal on decreasing factorizations in the symmetric group of the first and last author. We prove that under the residue map the $\star$-crystal intertwines with the crystal on set-valued tableaux recently introduced by Monical, Pechenik and Scrimshaw. We also define a new insertion from decreasing factorization to pairs of semistandard Young tableaux and prove several properties, such as its relation to the Hecke insertion and the uncrowding algorithm. The new insertion also intertwines with the crystal operators.
The Tutte Polynomial of Complex Reflection Groups
Published
• View Publication
• BIB
This article computes the Tutte polynomial of the hyperplane arrangements associated to the complex reflection groups. The calculations are based on both formulas of De Concini and Procesi for Tutte polynomial and the normaliser of parabolic subgroups in complex reflection groups determined by Krishnasamy and Taylor.
Almost supplementary difference sets and quaternary sequences
Published
• View Publication
• BIB
We introduce almost supplementary difference sets (ASDS). For odd $m$, certain ASDS in ${\mathbb Z}_m$ that have amicable incidence matrices are equivalent to quaternary sequences of odd length $m$ with optimal autocorrelation. As one consequence, if $2m-1$ is a prime power, or $m \equiv 1 \mod 4$ is prime, then ASDS of this kind exist. We also explore connections to optimal binary sequences and group cohomology.
Counting Hamilton cycles in Dirac hypergraphs
Published in Combinator. Probab. Comp. 30 (2021) 631-653
• View Publication
• BIB
A tight Hamilton cycle in a $k$-uniform hypergraph ($k$-graph) $G$ is a cyclic ordering of the vertices of $G$ such that every set of $k$ consecutive vertices in the ordering forms an edge. Rödl, Ruciński, and Szemerédi proved that for $k\geq 3$, every $k$-graph on $n$ vertices with minimum codegree at least $n/2+o(n)$ contains a tight Hamilton cycle. We show that the number of tight Hamilton cycles in such $k$-graphs is $\exp(n\ln n-Θ(n))$. As a corollary, we obtain a similar estimate on the number of Hamilton $\ell$-cycles in such $k$-graphs for all $\ell\in\{0,\dots,k-1\}$, which makes progress on a question of Ferber, Krivelevich and Sudakov.
Z-domination game
The Z-domination game is a variant of the domination game in which each newly selected vertex $u$ in the game must have a not yet dominated neighbor, but after the move all vertices from the closed neighborhood of $u$ are declared to be dominated. The Z-domination game is the fastest among the five natural domination games. The corresponding game Z-domination number of a graph $G$ is denoted by $γ_{Zg}(G)$. It is proved that the game domination number and the game total domination number of a graph can be expressed as the game Z-domination number of appropriate lexicographic products. Graphs with a Z-insensitive property are introduced and it is proved that if $G$ is Z-insensitive, then $γ_{Zg}(G)$ is equal to the game domination number of $G$. Weakly claw-free graphs are defined and proved to be Z-insensitive. As a consequence, $γ_{Zg}(P_n)$ is determined, thus sharpening an earlier related approximate result. It is proved that if $γ_{Zg}(G)$ is an even number, then $γ_{Zg}(G)$ is strictly smaller than the game L-domination number. On the other hand, families of graphs are constructed for which all five game domination numbers coincide. Graphs $G$ with $γ_{Zg}(G) = γ(G)$ are also considered and computational results which compare the studied invariants in the class of trees on at most $16$ vertices reported.
On the Induction of p-Cells
Published
• View Publication
• BIB
We study cells with respect to the $p$-canonical basis of the Hecke algebra of a crystallographic Coxeter system (see arXiv:1510.01556, arXiv:1901.02323) and their compatibility with standard parabolic subgroups. We show that after induction to the surrounding bigger Coxeter group the cell module of a right $p$-cell in a standard parabolic subgroup decomposes as a direct sum of cell modules. Along the way, we state some new positivity properties of the $p$-canonical basis.
Reynolds algebras and their free objects from bracketed words and rooted trees
Published in Journal of Pure and Applied Algebra 225 (2021) 106766
• View Publication
• BIB
The study of Reynolds algebras has its origin in the well-known work of O. Reynolds on fluid dynamics in 1895 and has since found broad applications. It also has close relationship with important linear operators such as algebra endomorphisms, derivations and Rota-Baxter operators. Many years ago G.~Birkhoff suggested an algebraic study of Reynolds operators, including the corresponding free algebras. We carry out such a study in this paper. We first provide examples and properties of Reynolds operators, including a multi-variant generalization of the Reynolds identity. We then construct the free Reynolds algebra on a set. For this purpose, we identify a set of bracketed words called Reynolds words which serves as the linear basis of the free Reynolds algebra. A combinatorial interpretation of Reynolds words is given in terms of rooted trees without super crowns. The closure of the Reynolds words under concatenation gives the algebra structure on the space spanned by Reynolds words. Then a linear operator is defined on this algebra such that the Reynolds identity and the desired universal property are satisfied.
Joints formed by lines and a $k$-plane, and a discrete estimate of Kakeya type
Published
• View Publication
• BIB
Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together with $(n-k)$ lines in $\mathcal{L}$ is $O_n(|\mathcal{L}||\mathcal{P}|^{1/(n-k)}$). This is the first sharp result for joints involving higher-dimensional affine subspaces, and it holds in the setting of arbitrary fields $\mathbb{F}$. In contrast, for our second result, we work in the three-dimensional Euclidean space $\mathbb{R}^3$, and we establish the Kakeya-type estimate \begin{equation*}\sum_{x \in J} \left(\sum_{\ell \in \mathcal{L}} χ_\ell(x)\right)^{3/2} \lesssim |\mathcal{L}|^{3/2}\end{equation*} where $J$ is the set of joints formed by $\mathcal{L}$; such an estimate fails in the setting of arbitrary fields. This result strengthens the known estimates for joints, including those counting multiplicities. Additionally, our techniques yield significant structural information on quasi-extremisers for this inequality.
Sparse random tensors: Concentration, regularization and applications
Published in Electron. J. Statist. 15(1): 2483-2516 (2021)
• View Publication
• BIB
We prove a non-asymptotic concentration inequality for the spectral norm of sparse inhomogeneous random tensors with Bernoulli entries. For an order-$k$ inhomogeneous random tensor $T$ with sparsity $p_{\max}\geq \frac{c\log n}{n }$, we show that $\|T-\mathbb E T\|=O(\sqrt{n p_{\max}}\log^{k-2}(n))$ with high probability. The optimality of this bound up to polylog factors is provided by an information theoretic lower bound. By tensor unfolding, we extend the range of sparsity to $p_{\max}\geq \frac{c\log n}{n^{m}}$ with $1\leq m\leq k-1$ and obtain concentration inequalities for different sparsity regimes. We also provide a simple way to regularize $T$ such that $O(\sqrt{n^{m}p_{\max}})$ concentration still holds down to sparsity $p_{\max}\geq \frac{c}{n^{m}}$ with $k/2\leq m\leq k-1$. We present our concentration and regularization results with two applications: (i) a randomized construction of hypergraphs of bounded degrees with good expander mixing properties, (ii) concentration of sparsified tensors under uniform sampling.
A New Characterization of Path Graphs
Path graphs are intersection graphs of paths in a tree.~In this paper we give a "6\
good characterization" of path graphs, namely, we prove that path graph membership is in $NP\cap CoNP$ without resorting to existing polynomial time algorithms. The characterization is given in terms of the collection of the \emph{attachedness graphs} of a graph, a novel device to deal with the connected components of a graph after the removal of clique separators. On the one hand, the characterization refines and simplifies the characterization of path graphs due to Monma and Wei [C.L.~Monma,~and~V.K.~Wei, Intersection {G}raphs of {P}aths in a {T}ree, J. Combin. Theory Ser. B, 41:2 (1986) 141--181], which we build on, by reducing a constrained vertex coloring problem defined on the \emph{attachedness graphs} to a vertex 2-coloring problem on the same graphs. On the other hand, the characterization allows us to exhibit two exhaustive lists of obstructions to path graph membership in the form of minimal forbidden induced/partial 2-edge colored subgraphs in each of the \emph{attachedness graphs}.
Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic
Published
• View Publication
• BIB
Let $f_1(n), \ldots, f_k(n)$ be polynomial functions of $n$. For fixed $n\in\mathbb{N}$, let $S_n\subseteq \mathbb{N}$ be the numerical semigroup generated by $f_1(n),\ldots,f_k(n)$. As $n$ varies, we show that many invariants of $S_n$ are eventually quasi-polynomial in $n$, such as the Frobenius number, the type, the genus, and the size of the $Δ$-set. The tool we use is expressibility in the logical system of parametric Presburger arithmetic. Generalizing to higher dimensional families of semigroups, we also examine affine semigroups $S_n\subseteq \mathbb{N}^m$ generated be vectors whose coordinates are polynomial functions of $n$, and we prove similar results; for example, the Betti numbers are eventually quasi-polynomial functions of $n$.
m-Axial and m-Circular 3m-Polygons
The present article includes the enumeration of $n$-polygons with two certain symmetry properties: For a number $3m$ of vertices, we count the $3m$-polygons with $m$ symmetry axes and the $3m$-polygons, that match after three elementary rotations, but have no symmetry axes. For those polygons we give complete lists of representatives of their equivalence-classes and closed formulas for their number.
The k-Power Domination Number in Some Self-Similar Graphs
The $k$-power domination problem is a problem in graph theory, which has applications in many areas. However, it is hard to calculate the exact $k$-power domination number since determining k-power domination number of a generic graph is a NP-complete problem. We determine the exact $k$-power domination number in two graphs which have the same number of vertices and edges: pseudofractal scale-free web and Sierpiński gasket. The $k$-power domination number becomes 1 for $k\ge2$ in the Sierpiński gasket, while the $k$-power domination number increases at an exponential rate with regard to the number of vertices in the pseudofractal scale-free web. The scale-free property may account for the difference in the behavior of two graphs.
A special case of the existential version of the Non Commutative Khintchine inequality
Here we prove the following result. Let $A = \{a_{ij}\}_{i,j\in \mathbb{N}}$ be a bounded operator. Then there exists a signing of $A$ such that $$||A\circ S||_2 < 2||A||_{l_\infty(l_2)},$$ where $A\circ S$ denotes the matrix generated by the entry-wise product of $A$ and $S$.
Sets in $\mathbb{R}^d$ determining $k$ taxicab distances
Published in Involve 13 (2020) 487-509
• View Publication
• BIB
We address an analog of a problem introduced by Erdős and Fishburn, itself an inverse formulation of the famous Erdős distance problem, in which the usual Euclidean distance is replaced with the metric induced by the $\ell^1$-norm, commonly referred to as the $\textit{taxicab metric}$. Specifically, we investigate the following question: given $d,k\in \mathbb{N}$, what is the maximum size of a subset of $\mathbb{R}^d$ that determines at most $k$ distinct taxicab distances, and can all such optimal arrangements be classified? We completely resolve the question in dimension $d=2$, as well as the $k=1$ case in dimension $d=3$, and we also provide a full resolution in the general case under an additional hypothesis.