Showing 20 papers (Total: 83133 papers, 48023 authors in database)
A symmetric formula for hypergeometric series
Published
• View Publication
• BIB
In terms of Dougall's $_2H_2$ series identity and the series rearrangement method, we establish an interesting symmetric formula for hypergeometric series. Then it is utilized to derive a known nonterminating form of Saalschütz's theorem. Similarly, we also show that Bailey's $_6ψ_6$ series identity implies the nonterminating form of Jackson's $_8φ_7$ summation formula. Considering the reversibility of the proofs, it is routine to show that Dougall's $_2H_2$ series identity is equivalent to a known nonterminating form of Saalschütz's theorem and Bailey's $_6ψ_6$ series identity is equivalent to the nonterminating form of Jackson's $_8φ_7$ summation formula.
Two q-summation formulas and q-analogues of series expansions for certain constants
From two q-summation formulas we deduce certain series expansion formulas involving the q-gamma function. With these formulas we can give q-analogues of series expansions for certain constants.
The amazing world of simplicial complexes
Defined by a single axiom, finite abstract simplicial complexes belong to the simplest constructs of mathematics. We look at a a few theorems.
On the Relationship Between Ehrhart Unimodality and Ehrhart Positivity
Published
• View Publication
• BIB
For a given lattice polytope, two fundamental problems within the field of Ehrhart theory are to (1) determine if its (Ehrhart) $h^\ast$-polynomial is unimodal and (2) to determine if its Ehrhart polynomial has only positive coefficients. The former property of a lattice polytope is known as Ehrhart unimodality and the latter property is known as Ehrhart positivity. These two properties are often simultaneously conjectured to hold for interesting families of lattice polytopes, yet they are typically studied in parallel. As to answer a question posed at the 2017 Introductory Workshop to the MSRI Semester on Geometric and Topological Combinatorics, the purpose of this note is to show that there is no general implication between these two properties in any dimension greater than two. To do so, we investigate these two properties for families of well-studied lattice polytopes, assessing one property where previously only the other had been considered. Consequently, new examples of each phenomena are developed, some of which provide an answer to an open problem in the literature. The well-studied families of lattice polytopes considered include zonotopes, matroid polytopes, simplices of weighted projective spaces, empty lattice simplices, smooth polytopes, and $s$-lecture hall simplices.
Spectral characterization of the complete graph removing a path of small length
Published
• View Publication
• BIB
A graph $G$ is said to be \emph{determined by its spectrum} if any graph having the same spectrum as $G$ is isomorphic to $G$. Let $K_n \setminus P_{\ell}$ be the graph obtained from $K_n$ by removing edges of $P_\ell$, where $P_\ell$ is a path of length $\ell-1$ which is a subgraph of a complete graph $K_n$. Cámara and Haemers~\cite{MC} conjectured that $K_n \backslash P_{\ell}$ is determined by its adjacency spectrum for every $2\leq \ell \leq n$. In this paper we show that the conjecture is true for $7\leq \ell \leq9$.
Some properties of Bowlin and Brin's color graphs
Published
• View Publication
• BIB
Bowlin and Brin defined the class of color graphs, whose vertices are triangulated polygons compatible with a fixed four-coloring of the polygon vertices. In this article it is proven that each color graph has a vertex-induced embedding in a hypercube, and an upper bound is given for the hypercube dimension. The color graphs for $n$-gons up to $n=8$ are listed and some of their features are discussed. Finally it is shown that certain color graphs cannot be isometrically embedded in a hypercube of any dimension.
Correlations for symplectic and orthogonal Schur measures
We show, using either Fock space techniques or Macdonald difference operators, that certain symplectic and orthogonal analogues of Okounkov's Schur measure are determinantal with kernels given by explicit double contour integrals. We give two applications: one equates certain Toeplitz+Hankel determinants of random matrix theory with appropriate Fredholm determinants and computes Szegő asymptotics for the former; another finds that the simplest examples of said measures exhibit discrete sine kernel asymptotics in the bulk and Airy 2 to 1 kernel---along with a certain dual---asymptotics at the edge. We believe the edge behavior to be universal.
Perron-Frobenius Theorem for Rectangular Tensors and Directed Hypergraphs
For any positive integers $r$, $s$, $m$, $n$, an $(r,s)$-order $(n,m)$-dimensional rectangular tensor ${\cal A}=(a_{i_1\cdots i_r}^{j_1\cdots j_s}) \in ({\mathbb R}^n)^r\times ({\mathbb R}^m)^s$ is called partially symmetric if it is invariant under any permutation on the lower $r$ indexes and any permutation on the upper $s$ indexes. Such partially symmetric rectangular tensor arises naturally in studying directed hypergraphs. Ling and Qi [Front. Math. China, 2013] first studied the $(p,q)$-spectral radius (or singular values) and proved a Perron-Fronbenius theorem for such tensors when both $p,q \geq r+s$. We improved their results by extending to all $(p,q)$ satisfying $\frac{r}{p} +\frac{s}{q}\leq 1$. We also proved the Perron-Fronbenius theorem for general nonnegative $(r,s)$-order $(n,m)$-dimensional rectangular tensors when $\frac{r}{p}+\frac{s}{q}>1$. We essentially showed that this is best possible without additional conditions on $\cal A$. Finally, we applied these results to study the $(p,q)$-spectral radius of $(r,s)$-uniform directed hypergraphs.
*-Balanced Fuzzy graphs
Our aim in this paper is to introduce the relatively new concept of *-density of a fuzzy graph and *-balanced fuzzy graph. Several examples and results are also provided. In addition, many operations on fuzzy graphs that preserves *-balanced are explored.
How to Realize a Graph on Random Points
We are given an integer $d$, a graph $G=(V,E)$, and a uniformly random embedding $f : V \rightarrow \{0,1\}^d$ of the vertices. We are interested in the probability that $G$ can be "realized" by a scaled Euclidean norm on $\mathbb{R}^d$, in the sense that there exists a non-negative scaling $w \in \mathbb{R}^d$ and a real threshold $θ> 0$ so that \[
(u,v) \in E \qquad \text{if and only if} \qquad \Vert f(u) - f(v) \Vert_w^2 < θ\,, \] where $\| x \|_w^2 = \sum_i w_i x_i^2$.
These constraints are similar to those found in the Euclidean minimum spanning tree (EMST) realization problem. A crucial difference is that the realization map is (partially) determined by the random variable $f$.
In this paper, we consider embeddings $f : V \rightarrow \{ x, y\}^d$ for arbitrary $x, y \in \mathbb{R}$. We prove that arbitrary trees can be realized with high probability when $d = Ω(n \log n)$. We prove an analogous result for graphs parametrized by the arboricity: specifically, we show that an arbitrary graph $G$ with arboricity $a$ can be realized with high probability when $d = Ω(n a^2 \log n)$. Additionally, if $r$ is the minimum effective resistance of the edges, $G$ can be realized with high probability when $d=Ω\left((n/r^2)\log n\right)$. Next, we show that it is necessary to have $d \geq \binom{n}{2}/6$ to realize random graphs, or $d \geq n/2$ to realize random spanning trees of the complete graph. This is true even if we permit an arbitrary embedding $f : V \rightarrow \{ x, y\}^d$ for any $x, y \in \mathbb{R}$ or negative weights. Along the way, we prove a probabilistic analog of Radon's theorem for convex sets in $\{0,1\}^d$.
Our tree-realization result can complement existing results on statistical inference for gene expression data which involves realizing a tree, such as [GJP15].
Alternating sign trapezoids and a constant term approach
Published
• View Publication
• BIB
We show that there is the same number of (n,l)-alternating sign trapezoids as there is of column strict shifted plane partitions of class l-1 with at most n parts in the top row, thereby proving a result that was conjectured independently by Behrend and Aigner. The first objects generalize alternating sign triangles, which have recently been introduced by Ayyer, Behrend and the author who showed that they are counted by the same formula as alternating sign matrices. Column strict shifted plane partitions of a fixed class were introduced in a slightly different form by Andrews, and they essentially generalize descending plane partitions. They also correspond to cyclically symmetric lozenge tilings of a hexagon with a triangular hole in the center. In addition, we also provide three statistics on each class of objects and show that their joint distribution is the same. We prove our result by employing a constant term approach that is based on the author's operator formula for monotone triangles. This paper complements a forthcoming paper of Behrend and the author, where the six-vertex model approach is used to show equinumeracy as well as generalizations involving statistics that are different from those considered in the present paper.
On the 4-girth-thickness of the line graph of the complete graph
Published in Utilitas Mathematica-2020
• Search Publication
The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this note, we give the $4$-girth-thickness $θ(4,L(K_n))$ of the line graph of the complete graph $L(K_n)$ when $n$ is even. We also give the minimum number of subgraphs of $L(K_n)$, which are of girth at least $4$ and embeddable on the projective plane, whose union is $L(K_n)$.
Vertically constrained Motzkin-like paths inspired by bobbin lace
Published
• View Publication
• BIB
Inspired by a new mathematical model for bobbin lace, this paper considers finite lattice paths formed from the set of step vectors $\mathfrak{A}=$$\{\rightarrow,$ $\nearrow,$ $\searrow,$ $\uparrow,$ $\downarrow\}$ with the restriction that vertical steps $(\uparrow, \downarrow)$ cannot be consecutive. The set $\mathfrak{A}$ is the union of the well known Motzkin step vectors $\mathfrak{M}=$$\{\rightarrow,$ $\nearrow,$ $\searrow\}$ with the vertical steps $\{\uparrow, \downarrow\}$. An explicit bijection $φ$ between the exhaustive set of vertically constrained paths formed from $\mathfrak{A}$ and a bisection of the paths generated by $\mathfrak{M}$ is presented. In a similar manner, paths with the step vectors $\mathfrak{B}=$$\{\nearrow,$ $\searrow,$ $\uparrow,$ $\downarrow\}$, the union of Dyck step vectors and constrained vertical steps, are examined. We show, using the same $φ$ mapping, that there is a bijection between vertically constrained $\mathfrak{B}$ paths and the subset of Motzkin paths avoiding horizontal steps at even indices. Generating functions are derived to enumerate these vertically constrained, partially directed paths when restricted to the half and quarter-plane. Finally, we extend Schröder and Delannoy step sets in a similar manner and find a bijection between these paths and a subset of Schröder paths that are smooth (do not change direction) at a regular horizontal interval.
Proof of the Gorenstein Interval Conjecture in low socle degree
Published in Journal of Algebra 523 (2019), 192-200
• View Publication
• BIB
Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characterization of which Hilbert functions are Gorenstein is widely believed to be hopeless, the GIC, if true, would at least provide the existence of a strong, and very natural, structural property for such basic functions in commutative algebra. Before now, very little progress was made on the GIC.
The main goal of this note is to prove the case $e\le 5$, in arbitrary codimension. Our arguments will be in part constructive, and will combine several different tools of commutative algebra and classical algebraic geometry.
The connected metric dimension at a vertex of a graph
Published in Theoret. Comput. Sci., Vol. 806 (2020) pp.53-69
• View Publication
• BIB
The notion of metric dimension, $dim(G)$, of a graph $G$, as well as a number of variants, is now well studied. In this paper, we begin a local analysis of this notion by introducing $cdim_G(v)$, \emph{the connected metric dimension of $G$ at a vertex $v$}, which is defined as follows: a set of vertices $S$ of $G$ is a \emph{resolving set} if, for any pair of distinct vertices $x$ and $y$ of $G$, there is a vertex $z \in S$ such that the distance between $z$ and $x$ is distinct from the distance between $z$ and $y$ in $G$. We call a resolving set $S$ \emph{connected} if $S$ induces a connected subgraph of $G$. Then, $cdim_G(v)$ is defined to be the minimum of the cardinalities of all connected resolving sets which contain the vertex $v$. The \emph{connected metric dimension of $G$}, denoted by $cdim(G)$, is $\min\{cdim_G(v): v \in V(G)\}$. Noting that $1 \le dim(G) \le cdim(G) \le cdim_G(v) \le |V(G)|-1$ for any vertex $v$ of $G$, we show the existence of a pair $(G,v)$ such that $cdim_G(v)$ takes all positive integer values from $dim(G)$ to $|V (G)|-1$, as $v$ varies in a fixed graph $G$. We characterize graphs $G$ and their vertices $v$ satisfying $cdim_G(v) \in \{1, |V(G)|-1\}$. We show that $cdim(G)=2$ implies $G$ is planar, whereas it is well known that there is a non-planar graph $H$ with $dim(H)=2$. We also characterize trees and unicyclic graphs $G$ satisfying $cdim(G)=dim(G)$. We show that $cdim(G)-dim(G)$ can be arbitrarily large. We determine $cdim(G)$ and $cdim_G(v)$ for some classes of graphs. We further examine the effect of vertex or edge deletion on the connected metric dimension. We conclude with some open problems.
Boolean functions on high-dimensional expanders
Published in In Proc. 22nd RANDOM, volume 116 of LIPIcs, pages 38:1-38:20, 2018
• View Publication
• BIB
We initiate the study of Boolean function analysis on high-dimensional expanders. We give a random-walk based definition of high-dimensional expansion, which coincides with the earlier definition in terms of two-sided link expanders. Using this definition, we describe an analog of the Fourier expansion and the Fourier levels of the Boolean hypercube for simplicial complexes. Our analog is a decomposition into approximate eigenspaces of random walks associated with the simplicial complexes. Our random-walk definition and the decomposition have the additional advantage that they extend to the more general setting of posets, encompassing both high-dimensional expanders and the Grassmann poset, which appears in recent work on the unique games conjecture.
We then use this decomposition to extend the Friedgut-Kalai-Naor theorem to high-dimensional expanders. Our results demonstrate that a constant-degree high-dimensional expander can sometimes serve as a sparse model for the Boolean slice or hypercube, and quite possibly additional results from Boolean function analysis can be carried over to this sparse model. Therefore, this model can be viewed as a derandomization of the Boolean slice, containing only $|X(k-1)|=O(n)$ points in contrast to $\binom{n}{k}$ points in the $(k)$-slice (which consists of all $n$-bit strings with exactly $k$ ones).
Variations on a Theme of Schubert Calculus
Published
• View Publication
• BIB
In this tutorial, we provide an overview of many of the established combinatorial and algebraic tools of Schubert calculus, the modern area of enumerative geometry that encapsulates a wide variety of topics involving intersections of linear spaces. It is intended as a guide for readers with a combinatorial bent to understand and appreciate the geometric and topological aspects of Schubert calculus, and conversely for geometric-minded readers to gain familiarity with the relevant combinatorial tools in this area.
We lead the reader through a tour of three variations on a theme: Grassmannians, flag varieties, and orthogonal Grassmannians. The orthogonal Grassmannian, unlike the ordinary Grassmannian and the flag variety, has not yet been addressed very often in textbooks, so this presentation may be helpful as an introduction to type B Schubert calculus.
This work is adapted from the author's lecture notes for a graduate workshop during the Equivariant Combinatorics Workshop at the Center for Mathematics Research, Montreal, June 12-16, 2017.
Embedding Hypertrees into Steiner Triple Systems
Published
• View Publication
• BIB
In this paper we are interested in the following question: Given an arbitrary Steiner triple system $S$ on $m$ vertices and any 3-uniform hypertree $T$ on $n$ vertices, is it necessary that $S$ contains $T$ as a subgraph provided $m \geq (1+μ)n$? We show the answer is positive for a class of hypertrees and conjecture that the answer is always positive.
Parabolically induced functions and equidistributed pairs
Published in Boletín de la Sociedad Matemática Mexicana (2018)
• View Publication
• BIB
Given a function defined over a parabolic subgroup of a Coxeter group, equidistributed with the length, we give a procedure to construct a function over the entire group, equidistributed with the length. Such a procedure permits to define functions equidistributed with the length in all the finite Coxeter groups. We can establish our results in the general setting of graded posets which satisfy some properties. These results apply to some known functions arising in Coxeter groups as the major index, the negative major index and the D-negative major index defined in type $A$, $B$ and $D$ respectively.
Line configurations and r-Stirling partitions
Published
• View Publication
• BIB
A set partition of $[n] := \{1, 2, \dots, n \}$ is called {\em $r$-Stirling} if the numbers $1, 2, \dots, r$ belong to distinct blocks. Haglund, Rhoades, and Shimozono constructed graded ring $R_{n,k}$ depending on two positive integers $k \leq n$ whose algebraic properties are governed by the combinatorics of ordered set partitions of $[n]$ with $k$ blocks. We introduce a variant $R_{n,k}^{(r)}$ of this quotient for ordered $r$-Stirling partitions which depends on three integers $r \leq k \leq n$. We describe the standard monomial basis of $R_{n,k}^{(r)}$ and use the combinatorial notion of the {\em coinversion code} of an ordered set partition to reprove and generalize some results of Haglund et.\ al.\ in a more direct way. Furthermore, we introduce a variety $X_{n,k}^{(r)}$ of line arrangements whose cohomology is presented as the integral form of $R_{n,k}^{(r)}$, generalizing results of Pawlowski and Rhoades.