Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Multiple correlation sequences and nilsequences
Published
• View Publication
• BIB
We study the structure of multiple correlation sequences defined by measure preserving actions of commuting transformations. When the iterates of the transformations are integer polynomials we prove that any such correlation sequence is the sum of a nilsequence and an error term that is small in uniform density; this was previously known only for measure preserving actions of a single transformation. We then use this decomposition result to give convergence criteria for multiple ergodic averages involving iterates that grow linearly, and prove the rather surprising fact that for such sequences, convergence results for actions of commuting transformations follow automatically from the special case of actions of a single transformation. Our proof of the decomposition result differs from previous works of V. Bergelson, B. Host, B. Kra, and A. Leibman, as it does not rely on the theory of characteristic factors. It consists of a simple orthogonality argument and the main tool is an inverse theorem of B. Host and B. Kra for general bounded sequences.
From Aztec diamonds to pyramids: steep tilings
Published in Trans. Amer. Math. Soc. 369 (2017), 5921-5959
• View Publication
• BIB
We introduce a family of domino tilings that includes tilings of the Aztec diamond and pyramid partitions as special cases. These tilings live in a strip of $\mathbb{Z}^2$ of the form $1 \leq x-y \leq 2\ell$ for some integer $\ell \geq 1$, and are parametrized by a binary word $w\in\{+,-\}^{2\ell}$ that encodes some periodicity conditions at infinity. Aztec diamond and pyramid partitions correspond respectively to $w=(+-)^\ell$ and to the limit case $w=+^\infty-^\infty$. For each word $w$ and for different types of boundary conditions, we obtain a nice product formula for the generating function of the associated tilings with respect to the number of flips, that admits a natural multivariate generalization. The main tools are a bijective correspondence with sequences of interlaced partitions and the vertex operator formalism (which we slightly extend in order to handle Littlewood-type identities). In probabilistic terms our tilings map to Schur processes of different types (standard, Pfaffian and periodic). We also introduce a more general model that interpolates between domino tilings and plane partitions.
Rational points and Galois points for a plane curve over a finite field
Published in Finite Fields Appl. 39 (2016), 36--42
• View Publication
• BIB
We study the relationship between rational points and Galois points for a plane curve over a finite field. It is known that the set of Galois points coincides with that of rational points of the projective plane if the curve is the Hermitian, Klein quartic or Ballico-Hefez curves. We propose a problem: Does the converse hold true? When the curve of genus at most one has a rational point, we will have an affirmative answer.
When will the crossing number of an alternating link decrease by two via a crossing change?
Let $D$ be a reduced alternating diagram of a non-split link $L$ and $\tilde{L}$ be the link whose diagram is obtained from $D$ by a crossing change. If $\tilde{L}$ is alternating, then $c(\tilde{L})\leq c(L)-2$. In this paper we explore when $c(\tilde{L})=c(L)-2$ holds and obtain a simple sufficient and necessary condition in terms of plane graphs corresponding to $L$. This result is obtained via analyzing the behavior of the Tutte polynomial of the signed plane graph corresponding to $\tilde{L}$.
Finite Differences of the Logarithm of the Partition Function
Published
• View Publication
• BIB
Let $p(n)$ denote the partition function. DeSalvo and Pak proved that $\frac{p(n-1)}{p(n)}\left(1+\frac{1}{n}\right)> \frac{p(n)}{p(n+1)}$ for $n\geq 2$, as conjectured by Chen. Moreover, they conjectured that a sharper inequality $\frac{p(n-1)}{p(n)}\left( 1+\fracπ{\sqrt{24}n^{3/2}}\right) > \frac{p(n)}{p(n+1)}$ holds for $n\geq 45$. In this paper, we prove the conjecture of Desalvo and Pak by giving an upper bound for $-Δ^{2} \log p(n-1)$, where $Δ$ is the difference operator with respect to $n$. We also show that for given $r\geq 1$ and sufficiently large $n$, $(-1)^{r-1}Δ^{r} \log p(n)>0$. This is analogous to the positivity of finite differences of the partition function. It was conjectured by Good and proved by Gupta that for given $r\geq 1$, $Δ^{r} p(n)>0$ for sufficiently large $n$.
A Weyl-Type character formula for PDC modules of gl(m|n)
In 1994, Kac and Wakimoto suggested a generalization of Bernstein and Leites character formula for basic Lie superalgebras, and the natural question was raised: to which simple highest weight modules does it apply? In this paper, we prove a similar formula for a large class of finite-dimensional simple modules over the Lie superalgebra gl(m|n), which we call piecewise disconnected modules, or PDC. The class of PDC modules naturally includes totally connected modules and totally disconnected modules, the two families for which similiar character formulas were proven by Su and Zhang as special cases of their general formula. This paper is part of our program for the pursuit of elegant character formulas for Lie superalgebras.
Heaps and Two Exponential Structures
Published
• View Publication
• BIB
Take ${\sf Q}=({\sf Q}_1,{\sf Q}_2,\ldots)$ to be an exponential structure and $M(n)$ to be the number of minimal elements of ${\sf Q}_n$ where $M(0)=1$. Then a sequence of numbers $\{r_n({\sf Q}_n)\}_{n\ge 1}$ is defined by the equation \begin{eqnarray*} \sum_{n\ge 1}r_n({\sf Q}_n)\frac{z^n}{n!\,M(n)}=-\log(\sum_{n\ge 0}(-1)^n\frac{z^n}{n!\,M(n)}). \end{eqnarray*} Let $\bar{\sf Q}_n$ denote the poset ${\sf Q}_n$ with a $\hat{0}$ adjoined and let $\hat{1}$ denote the unique maximal element in the poset ${\sf Q}_n$. Furthermore, let $μ_{{\sf Q}_n}$ be the Möbius function on the poset $\bar{\sf Q}_n$. Stanley proved that $r_n({\sf Q}_n)=(-1)^nμ_{{\sf Q}_n}(\hat{0},\hat{1})$. This implies that the numbers $r_n({\sf Q}_n)$ are integers. In this paper, we study the cases ${\sf Q}_n=Π_n^{(r)}$ and ${\sf Q}_n={\sf Q}_n^{(r)}$ where $Π_n^{(r)}$ and ${\sf Q}_n^{(r)}$ are posets, respectively, of set partitions of $[rn]$ whose block sizes are divisible by $r$ and of $r$-partitions of $[n]$. In both cases we prove that $r_n(Π_n^{(r)})$ and $r_n({\sf Q}_n^{(r)})$ enumerate the pyramids by applying the Cartier-Foata monoid identity and further prove that $r_n(Π_n^{(r)})$ is the generalized Euler number $E_{rn-1}$ and that $r_n({\sf Q}_n^{(2)})$ is the number of complete non-ambiguous trees of size $2n-1$ by bijections. This gives a new proof of Welker's theorem that $r_n(Π_n^{(r)})=E_{rn-1}$ and implies the construction of $r$-dimensional complete non-ambiguous trees. As a bonus of applying the theory of heaps, we establish a bijection between the set of complete non-ambiguous forests and the set of pairs of permutations with no common rise. This answers an open question raised by Aval {\it et al.}.
Stanley's Major Contributions to Ehrhart Theory
Published in The Mathematical Legacy of Richard P. Stanley (P. Hersh, T. Lam, P. Pylyavskyy and V. Reiner, eds.), AMS, 2016, pp. 53-63
• View Publication
• BIB
This expository paper features a few highlights of Richard Stanley's extensive work in Ehrhart theory, the study of integer-point enumeration in rational polyhedra. We include results from the recent literature building on Stanley's work, as well as several open problems.
Deleting an edge of a 3-cycle in an intrinsically knotted graph gives an intrinsically linked graph
Published
• View Publication
• BIB
We show that deleting an edge of a 3-cycle in an intrinsically knotted graph gives an intrinsically linked graph.
On the Roman Bondage Number of Graphs on surfaces
A Roman dominating function on a graph $G$ is a labeling $f : V(G) \rightarrow \{0, 1, 2\}$ such that every vertex with label $0$ has a neighbor with label $2$. The Roman domination number, $γ_R(G)$, of $G$ is the minimum of $Σ_{v\in V (G)} f(v)$ over such functions. The Roman bondage number $b_R(G)$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with Roman domination number not equal to $γ_R(G)$. In this paper we obtain upper bounds on $b_{R}(G)$ in terms of (a) the average degree and maximum degree, and (b) Euler characteristic, girth and maximum degree. We also show that the Roman bondage number of every graph which admits a $2$-cell embedding on a surface with non negative Euler characteristic does not exceed $15$.
On variants of Conway and Conolly's Meta-Fibonacci recursions
Published in Electronic Journal of Combinatorics 18 (2011), P96
• Search Publication
We study the recursions $A(n) = A(n-a-A^k(n-b)) + A(A^k(n-b))$ where $a \geq 0$, $b \geq 1$ are integers and the superscript $k$ denotes a $k$-fold composition, and also the recursion $C(n) = C(n-s-C(n-1)) + C(n-s-2-C(n-3))$ where $s \geq 0$ is an integer. We prove that under suitable initial conditions the sequences $A(n)$ and $C(n)$ will be defined for all positive integers, and be monotonic with their forward difference sequences consisting only of 0 and 1. We also show that the sequence generated by the recursion for $A(n)$ with parameters $(k,a,b) = (k,0,1)$, and initial conditions $A(1) = A(2) = 1$, satisfies $A(E_n) = E_{n-1}$ where $E_n$ is defined by $E_n = E_{n-1} + E_{n-k}$ with $E_n = 1$ for $1 \leq n \leq k$.
On the number of incidences between points and planes in three dimensions
Published
• View Publication
• BIB
We prove an incidence theorem for points and planes in the projective space $\mathbb P^3$ over any field $\mathbb F$, whose characteristic $p\neq 2.$ An incidence is viewed as an intersection along a line of a pair of two-planes from two canonical rulings of the Klein quadric. The Klein quadric can be traversed by a generic hyperplane, yielding a line-line incidence problem in a three-quadric, the Klein image of a regular line complex. This hyperplane can be chosen so that at most two lines meet. Hence, one can apply an algebraic theorem of Guth and Katz, with a constraint involving $p$ if $p>0$.
This yields a bound on the number of incidences between $m$ points and $n$ planes in $\mathbb P^3$, with $m\geq n$ as $$O\left(m\sqrt{n}+ m k\right),$$ where $k$ is the maximum number of collinear planes, provided that $n=O(p^2)$ if $p>0$. Examples show that this bound cannot be improved without additional assumptions.
This gives one a vehicle to establish geometric incidence estimates when $p>0$. For a non-collinear point set $S\subseteq \mathbb F^2$ and a non-degenerate symmetric or skew-symmetric bilinear form $ω$, the number of distinct values of $ω$ on pairs of points of $S$ is $Ω\left[\min\left(|S|^{\frac{2}{3}},p\right)\right]$. This is also the best known bound over $\mathbb R$, where it follows from the Szemerédi-Trotter theorem. Also, a set $S\subseteq \mathbb F^3$, not supported in a single semi-isotropic plane contains a point, from which $Ω\left[\min\left(|S|^{\frac{1}{2}},p\right)\right]$ distinct distances to other points of $S$ are attained.
On lattices generated by finite Abelian groups
This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a basis of minimal vectors. Another result provides an improvement of a recent upper bound by Min Sha for the covering radius in the case of the Barnes lattices. Also discussed are properties of the automorphism groups of these lattices.
Egalitarianism in the rank aggregation problem: a new dimension for democracy
Published in Quality & Quantity, 50(3), 1185-1200, 2016
• View Publication
• BIB
Winner selection by majority, in an election between two candidates, is the only rule compatible with democratic principles. Instead, when the candidates are three or more and the voters rank candidates in order of preference, there are no univocal criteria for the selection of the winning (consensus) ranking and the outcome is known to depend sensibly on the adopted rule. Building upon XVIII century Condorcet theory, whose idea was to maximize total voter satisfaction, we propose here the addition of a new basic principle (dimension) to guide the selection: satisfaction should be distributed among voters as equally as possible. With this new criterion we identify an optimal set of rankings. They range from the Condorcet solution to the one which is the most egalitarian with respect to the voters. We show that highly egalitarian rankings have the important property to be more stable with respect to fluctuations and that classical consensus rankings (Copeland, Tideman, Schulze) often turn out to be non optimal. The new dimension we have introduced provides, when used together with that of Condorcet, a clear classification of all the possible rankings. By increasing awareness in selecting a consensus ranking our method may lead to social choices which are more egalitarian compared to those achieved by presently available voting systems.
The Roots and Links in a Class of $M$-Matrices
Published in Annals of Functional Analysis, 5(2)2014, pp. 127-137
• View Publication
• BIB
In this paper, we discuss exiting roots of sub-kernel transient matrices $P$ associated with a class of $M-$ matrices which are related to generalized ultrametric matrices. Then the results are used to describe completely all links of the class of matrices in terms of structure of the supporting tree.
Characteristics polynomial of normalized Laplacian for trees
Published in Appl. Math. Comput 271 (2015) 838-844
• View Publication
• BIB
Here, we find the characteristics polynomial of normalized Laplacian of a tree. The coefficients of this polynomial are expressed by the higher order general Randić indices for matching, whose values depend on the structure of the tree. We also find the expression of these indices for starlike tree and a double-starlike tree, $H_m(p,q)$. Moreover, we show that two cospectral $H_m(p,q)$ of the same diameter are isomorphic.
Tropical Geometric Compactification of Moduli, I - $M_g$ case -
Published
• View Publication
• BIB
We compactify the classical moduli variety of compact Riemann surfaces by attaching moduli of (metrized) graphs as boundary. The compactifications do not admit the structure of varieties and patch together to form a big connected moduli space in which $\sqcup_{g} M_{g}$ is open dense.
The metrized graphs, which are often studied as "tropical curves", are obtained as Gromov-Hausdorff collapse by fixing diameters of the hyperbolic metrics of the Riemann surfaces. This phenomenon can be also seen as an archemidean analogue of the tropicalization of Berkovich analytification of $M_{g}$ (cf., [ACP]).
A sign-reversing involution to count labeled lone-child-avoiding trees
We use a sign-reversing involution to show that trees on the vertex set [n], considered to be rooted at 1, in which no vertex has exactly one child are counted by 1/n sum_{k=1}^{n} (-1)^(n-k) {n}-choose-{k} (n-1)!/(k-1)! k^(k-1). This result corrects a persistent misprint in the Encyclopedia of Integer Sequences.
Tilings of Rectangular Regions by Rectangular Tiles: Counts Derived from Transfer Matrices
Step by step completion of a left-to-right tiling of a rectangular floor with tiles of a single shape starts from one edge of the floor, considers the possible ways of inserting a tile at the leftmost uncovered square, passes through a sequence of rugged shapes of the front line between covered and uncovered regions of the floor, and finishes with a straight front line at the opposite edge. We count the tilings by mapping the front shapes to nodes in a digraph, then counting closed walks on that digraph with the transfer matrix method.
Generating functions are detailed for tiles of shape 1 x 3, 1 x 4 and 2 x 3 and modestly wide floors. Equivalent results are shown for the 3-dimensional analog of filling bricks of shape 1x 1 x 2, 1 x 1 x 3, 1 x 1 x 4, 1 x 2 x 2 or 1 x 2 x 3 into rectangular containers of small cross sections.
Universality theorems for inscribed polytopes and Delaunay triangulations
Published
• View Publication
• BIB
We prove that every primary basic semialgebraic set is homotopy equivalent to the set of inscribed realizations (up to Möbius transformation) of a polytope. If the semialgebraic set is moreover open, then, in addition, we prove that (up to homotopy) it is a retract of the realization space of some inscribed neighborly (and simplicial) polytope. We also show that all algebraic extensions of $\mathbb{Q}$ are needed to coordinatize inscribed polytopes. These statements show that inscribed polytopes exhibit the Mnëv universality phenomenon.
Via stereographic projections, these theorems have a direct translation to universality theorems for Delaunay subdivisions. In particular, our results imply that the realizability problem for Delaunay triangulations is polynomially equivalent to the existential theory of the reals.