Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Newell-Littlewood numbers II: extended Horn inequalities
Published in Algebr. Comb. 5 (2022), no. 6, 1287-1297
• View Publication
• BIB
The Newell-Littlewood numbers $N_{μ,ν,λ}$ are tensor product multiplicities of Weyl modules for classical Lie groups, in the stable limit. For which triples of partitions $(μ,ν,λ)$ does $N_{μ,ν,λ}>0$ hold? The Littlewood-Richardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. Knutson-T. Tao). We extend these celebrated linear inequalities to a much larger family, suggesting a general solution.
Species-theoretic foundations of perturbative quantum field theory
We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of modern theory developed by Aguiar-Mahajan. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into the Wick algebra of microcausal polynomial observables. The operator-valued distributions called (generalized) time-ordered products and (generalized) retarded products are obtained as images of fundamental elements of this Hopf monoid under the curried homomorphism. The perturbative S-matrix scheme corresponds to the so-called universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers, called the Tits product. Given a system of fully renormalized time-ordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.
Impact of Vertex Addition on Italian Domination Number
An Italian dominating function (IDF), of a graph G is a function $ f: V(G) \rightarrow \{0,1,2\} $ satisfying the condition that for every $ v\in V(G) $ with $ f(v) = 0, \sum_{ u\in N(v)} f(u) \geq 2. $ The weight of an IDF on $G$ is the sum $ f(V)= \sum_{v\in V(G)}f(v) $ and Italian domination number, $ γ_I(G) $ is the minimum weight of an IDF. In this paper, we study the impact of corona operator and addition of twins on Italian domination number.
Cayley graphs of order 6pq are Hamiltonian
Published
• View Publication
• BIB
Assume G is a finite group, such that |G|= 6pq or 7pq, where p and q are distinct prime numbers, and let S be a generating set of G. We prove there is a Hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
Extremal Pattern-Avoiding Words
Recently, Grytczuk, Kordulewski, and Niewiadomski defined an extremal word over an alphabet $\mathbb{A}$ to be a word with the property that inserting any letter from $\mathbb{A}$ at any position in the word yields a given pattern. In this paper, we determine the number of extremal $XY_1XY_2X\dots XY_tX$-avoiding words on a $k$-letter alphabet. We also derive a lower bound on the shortest possible length of an extremal square-free word on a $k$-letter alphabet that grows exponentially in $k$.
Fibonacci polynomials
Published
• View Publication
• BIB
The Fibonacci polynomials $\big\{F_n(x)\big\}_{n\ge 0}$ have been studied in multiple ways. In this paper we study them by means of the theory of Heaps of Viennot. In this setting our polynomials form a basis $\big\{P_n(x)\big\}_{n\ge 0}$ with $P_n(x)$ monic of degree $n$. This given, we are forced to set $P_n(x)=F_{n+1}(x)$. The Heaps setting extends the Flajolet view of the classical theory of orthogonal polynomials given by a three term recursion. Thus with Heaps most of the identities for our $P_n(x)'s$ can be derived by combinatorial arguments. Using the present setting we derive a variety of new identities. We must mention that the theory of Heaps is presented here without restrictions. This is much more than needed to deal with the Fibonacci polynomials. We do this to convey a flavor of the power of Heaps. In the lecture notes there is a chapter dedicated to Heaps where most of its contents are dedicated to applications of the theory.
Note on Sunflowers
Published in Discrete Mathematics 344 (2021), 112340
• View Publication
• BIB
A sunflower with p petals consists of p sets whose pairwise intersections are identical. The goal of the sunflower problem is to find the smallest r=r(p,k) such that any family of r^k distinct k-element sets contains a sunflower with p petals. Building upon a breakthrough of Alweiss, Lovett, Wu and Zhang from 2019, Rao proved that r=O(p log(pk)) suffices; this bound was reproved by Tao in 2020. In this short note we record that r=O(p log k) suffices, by using a minor variant of the probabilistic part of these recent proofs.
The area of reduced spherical polygons
Published
• View Publication
• BIB
We confirm two conjectures of Lassak on the area of reduced spherical polygons. The area of every reduced spherical non-regular $n$-gon is less than that of the regular spherical $n$-gon of the same thickness. Moreover, the area of every reduced spherical polygon is less than that of the regular spherical odd-gons of the same thickness and whose number of vertices tends to infinity.
A look at generalized perfect shuffles
Published in Involve 14 (2021) 813-828
• View Publication
• BIB
Standard perfect shuffles involve splitting a deck of $2n$ cards into two stacks and interlacing the cards from the stacks. There are two ways that this interlacing can be done, commonly referred to as an in shuffle and an out shuffle, respectively. In 1983, Diaconis, Graham, and Kantor determined the permutation group generated by in and out shuffles on a deck of $2n$ cards for all $n$. Diaconis et al. concluded their work by asking whether similar results can be found for so-called generalized perfect shuffles. For these new shuffles, we split a deck of $mn$ cards into $m$ stacks and similarly interlace the cards with an in $m$-shuffle or out $m$-shuffle (denoted $I_m$ and $O_m$, respectively). In this paper, we find the structure of the group generated by these two shuffles for a deck of $m^k$ cards, together with $m^y$-shuffles, for all possible values of $m$, $k$, and $y$. The group structure is completely determined by $k/\gcd(y,k)$ and the parity of $y/\gcd(y,k)$. In particular, the group structure is independent of the value of $m$.
The seven-strand braid group is CAT(0)
Published
• View Publication
• BIB
We prove that the 7-strand braid group is CAT(0) by elaborating on the argument of Haettel, Kielak and Schwer
The Terwilliger algebra of the twisted Grassmann graph: the thin case
Published in Electron. J. Combin. 28 (2020) #P4.15
• View Publication
• BIB
The Terwilliger algebra $T(x)$ of a finite connected simple graph $Γ$ with respect to a vertex $x$ is the complex semisimple matrix algebra generated by the adjacency matrix $A$ of $Γ$ and the diagonal matrices $E_i^*(x)=\operatorname{diag}(v_i)$ $(i=0,1,2,\dots)$, where $v_i$ denotes the characteristic vector of the set of vertices at distance $i$ from $x$. The twisted Grassmann graph $\tilde{J}_q(2D+1,D)$ discovered by Van Dam and Koolen in 2005 has two orbits of the automorphism group on its vertex set, and it is known that one of the orbits has the property that $T(x)$ is thin whenever $x$ is chosen from it, i.e., every irreducible $T(x)$-module $W$ satisfies $\dim E_i^*(x)W\leqslant 1$ for all $i$. In this paper, we determine all the irreducible $T(x)$-modules of $\tilde{J}_q(2D+1,D)$ for this "thin" case.
On non-empty cross-intersecting families
Published
• View Publication
• BIB
Let $2^{[n]}$ and $\binom{[n]}{i}$ be the power set and the class of all $i$-subsets of $\{1,2,\cdots,n\}$, respectively. We call two families $\mathscr{A}$ and $\mathscr{B}$ cross-intersecting if $A\cap B\neq \emptyset$ for any $A\in \mathscr{A}$ and $B\in \mathscr{B}$. In this paper we show that, for $n\geq k+l,l\geq r\geq 1,c>0$ and $\mathscr{A}\subseteq \binom{[n]}{k},\mathscr{B}\subseteq \binom{[n]}{l}$, if $\mathscr{A}$ and $\mathscr{B}$ are cross-intersecting and $\binom{n-r}{l-r}\leq|\mathscr{B}|\leq \binom{n-1}{l-1}$, then $$|\mathscr{A}|+c|\mathscr{B}|\leq \max\left\{\binom{n}{k}-\binom{n-r}{k}+c\binom{n-r}{l-r},\ \binom{n-1}{k-1}+c\binom{n-1}{l-1}\right\}$$ and the families $\mathscr{A}$ and $\mathscr{B}$ attaining the upper bound are also characterized. This generalizes the corresponding result of Hilton and Milner for $c=1$ and $r=k=l$, and implies a result of Tokushige and the second author (Theorem 1.3).
Pure pairs. IV. Trees in bipartite graphs
Published in Journal of Combinatorial Theory, Series B, Volume 161, July 2023, Pages 120-146
• View Publication
• BIB
In this paper we investigate the bipartite analogue of the strong Erdos-Hajnal property. We prove that for every forest $H$ and every $τ>0$ there exists $ε>0$, such that if $G$ has a bipartition $(A,B)$ and does not contain $H$ as an induced subgraph, and has at most $(1-τ)|A|\cdot|B|$ edges, then there is a stable set in $G$ that contains at least $ε|V_i|$ vertices of $V_i$, for $i=1,2$. No graphs $H$ except forests have this property.
Hernandez-Leclerc modules and snake graphs
In 2010, Hernandez and Leclerc studied connections between representations of quantum affine algebras and cluster algebras. In 2019, Brito and Chari defined a family of modules over quantum affine algebras, called Hernandez-Leclerc modules. We characterize the highest $\ell$-weight monomials of Hernandez-Leclerc modules. We give a non-recursive formula for $q$-characters of Hernandez-Leclerc modules using snake graphs, which involves an explicit formula for $F$-polynomials. We also give a new recursive formula for $q$-characters of Hernandez-Leclerc modules.
Strongly regular graphs with parameters (81,30,9,12) and a new partial geometry pg(5,5,2)
Twelve new strongly regular graphs with parameters (81,30,9,12) are found as graphs invariant under certain subgroups of the automorphism groups of the two previously known graphs that arise from 2-weight codes. One of these new graphs is geometric and yields a partial geometry with parameters pg(5,5,2) that is not isomorphic to the partial geometry discovered by J. H. van Lint and A. Schrijver in 1981.
Inverse relations and reciprocity laws involving partial Bell polynomials and related extensions
Published in Enumer. Combin. Appl. 1:1 (2021) Article S2R3
• View Publication
• BIB
The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials (2015), to present a number of new results related to different types of inverse relationships, among these (1) the use of multivariable Lah polynomials for characterizing self-orthogonal families of polynomials that can be represented by Bell polynomials, (2) the introduction of `generalized Lagrange inversion polynomials' that invert functions characterized in a specific way by sequences of constants, (3) a general reciprocity theorem according to which, in particular, the partial Bell polynomials $B_{n,k}$ and their orthogonal companions $A_{n,k}$ belong to one single class of Stirling polynomials: $A_{n,k}=(-1)^{n-k}B_{-k,-n}$. Moreover, of some numerical statements (such as Stirling inversion, Schlömilch-Schläfli formulas) generalized polynomial versions are established. A number of well-known theorems (Jabotinsky, Mullin-Rota, Melzak, Comtet) are given new proofs.
Italian Domination and Perfect Italian Domination on Sierpinski Graphs
Published
• View Publication
• BIB
An Italian dominating function (IDF) of a graph G is a function $ f: V(G) \rightarrow \{0,1,2\} $ satisfying the condition that for every $ v\in V $ with $ f(v) = 0$, $\sum_{ u\in N(v)} f(u) \geq 2. $ The weight of an IDF on $G$ is the sum $ f(V)= \sum_{v\in V}f(v) $ and the Italian domination number, $ γ_I(G) $, is the minimum weight of an IDF. An IDF is a perfect Italian dominating function (PID) on $G$, if for every vertex $ v \in V(G) $ with $ f(v) = 0 $ the total weight assigned by $f$ to the neighbours of $ v $ is exactly 2, i.e., all the neighbours of $u$ are assigned the weight 0 by $f$ except for exactly one vertex $v$ for which $ f(v) = 2 $ or for exactly two vertices $v$ and $w$ for which $ f(v) = f(w) = 1 $. The weight of a PID- function is $f(V)=\sum_{u \in V(G)}f(u)$. The perfect Italian domination number of $G$, denoted by $ γ^{p}_{I}(G), $ is the minimum weight of a PID-function of $G$. In this paper we obtain the Italian domination number and perfect Italian domination number of Sierpiński graphs.
Regularity in weighted oriented graphs
Published in Indian J Pure Appl Math, 2021
• View Publication
• BIB
Let $D$ be a weighted oriented graph with the underlying graph $G$ and $I(D), I(G) $ be the edge ideals corresponding to $D$ and $G$ respectively. We show that the regularity of edge ideal of a certain class of weighted oriented graph remains same even after adding certain kind of new edges to it. We also establish the relationship between the regularity of edge ideal of weighted oriented path and cycle with the regularity of edge ideal of their underlying graph when vertices of $V^+$ are sinks.
Distinguishing actions of symmetric groups and related graphs
The distinguishing number $D(G,X)$ of an action of a group $G$ on a set $X$ is the least size of a partition of $X$ such that no element of $G$ acting nontrivially on $X$ preserves this partition. In this paper we describe the distinguishing numbers for all actions of the symmetric group $S_n$, for any $n\geq 3$. This allows us to describe the distinguishing numbers for all graphs whose automorphism group is isomorphic with a symmetric group. Our description solves a few open problems posed by various authors in earlier papers on this topic.
The geometry of random tournaments
Published in Discrete Comput. Geom. 71, No. 4, 1343-1351 (2024)
• View Publication
• BIB
A tournament is an orientation of a graph. Each edge represents a match, directed towards the winner. The score sequence lists the number of wins by each team. Landau (1953) characterized score sequences of the complete graph. Moon (1963) showed that the same conditions are necessary and sufficient for mean score sequences of random tournaments.
We present short and natural proofs of these results that work for any graph using zonotopes from convex geometry. A zonotope is a linear image of a cube. Moon's Theorem follows by identifying elements of the cube with distributions and the linear map as the expectation operator. Our proof of Landau's Theorem combines zonotopal tilings with the theory of mixed subdivisions. We also show that any mean score sequence can be realized by a tournament that is random within a subforest, and deterministic otherwise.