Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Equivariant Schubert calculus and jeu de taquin
Published in Ann. Inst. Fourier (Grenoble) 68 (2018), no. 1, 275-318
• View Publication
• BIB
We introduce edge labeled Young tableaux. Our main results provide a corresponding analogue of [Schützenberger '77]'s theory of jeu de taquin. These are applied to the equivariant Schubert calculus of Grassmannians. Reinterpreting, we present new (semi)standard tableaux to study factorial Schur polynomials, after [Biedenharn-Louck '89], [Macdonald '92] and [Goulden-Greene '94] and others.
Consequently, we obtain new combinatorial rules for the Schubert structure coefficients, complementing work of [Molev-Sagan '99], [Knutson-Tao '03], [Molev '08] and [Kreiman '09]. We also describe a conjectural generalization of one of our rules to the equivariant K-theory of Grassmannians, extending work of [Thomas-Yong '07]. This conjecture concretely realizes the "positivity" known to exist by [Anderson-Griffeth-Miller '08]. It provides an alternative to the conjectural rule of Knutson-Vakil reported in [Coskun-Vakil '06].
Braess' Paradox in a Generalised Traffic Network
Published
• View Publication
• BIB
The classical network configuration introduced by Braess in 1968 is of fundamental significance because Valiant and Roughgarden showed in 2006 that `the "global" behaviour of an equilibrium flow in a large random network is similar to that in Braess' original four-node example'. In this paper, a natural generalisation of Braess' network is introduced and conditions for the occurrence of Braess' paradox are formulated for the generalised network.
The Braess' paradox has been studied mainly in the context of the classical problem introduced by Braess and his colleagues, assuming a certain type of networks. Specifically, two pairs of links in those networks are assumed to have the same volume-delay functions. The occurrence of Braess' paradox for this specific case of network symmetry was investigated by Pas and Principio in 1997. Such a symmetry is not common in real-life networks because the parameters of volume-delay functions are associated with roads physical and functional characteristics, which typically differ from one link to another (e.g. roads in networks are of different length). Our research provides an extension of previous studies on Braess' paradox by considering arbitrary volume-delay functions, i.e. symmetry properties are not assumed for any of the network's links and the occurrence of Braess' paradox is studied for a general configuration.
Statistical Distributions and $q$-Analogues of $k$-Fibonacci Numbers
Published
• View Publication
• BIB
We study $q$-analogues of $k$-Fibonacci numbers that arise from weighted tilings of an $n\times1$ board with tiles of length at most $k$. The weights on our tilings arise naturally out of distributions of permutations statistics and set partitions statistics. We use these $q$-analogues to produce $q$-analogues of identities involving $k$-Fibonacci numbers. This is a natural extension of results of the first author and Sagan on set partitions and the first author and Mathisen on permutations. In this paper we give general $q$-analogues of $k$-Fibonacci identities for arbitrary weights that depend only on lengths and locations of tiles. We then determine weights for specific permutation or set partition statistics and use these specific weights and the general identities to produce specific identities.
A refinement for ordered labeled trees
Published in Korean Journal of Mathematics, 20(2), 225-261, 2012
• View Publication
• BIB
Let $\mathcal{O}_n$ be the set of ordered labeled trees on ${0,...,n}$. A maximal decreasing subtree of an ordered labeled tree is defined by the maximal ordered subtree from the root with all edges being decreasing. In this paper, we study a new refinement $\mathcal{O}_{n,k}$ of $\mathcal{O}_n$, which is the set of ordered labeled trees whose maximal decreasing subtree has $k+1$ vertices.
Quantum extremal loop weight modules and monomial crystals
Published in Pacific J. Math. 267 (2014) 185-241
• View Publication
• BIB
In this paper we construct a new family of representations for the quantum toroidal algebras of type $A_n$, which are $\ell$-extremal in the sense of Hernandez [24]. We construct extremal loop weight modules associated to level 0 fundamental weights $\varpi_\ell$ when $n=2r+1$ is odd and $\ell=1, r+1$ or $n$. To do it, we relate monomial realizations of level 0 extremal fundamental weight crystals with integrable representations of $\mathcal{U}_q(sl_{n+1}^{tor})$, and we introduce promotion operators for the level 0 extremal fundamental weight crystals. By specializing the quantum parameter, we get finite-dimensional modules of quantum toroidal algebras at roots of unity. In general, we give a conjectural process to construct extremal loop weight modules from monomial realizations of crystals.
Restricted integer partition functions
Published
• View Publication
• BIB
For two sets $A$ and $M$ of positive integers and for a positive integer $n$, let $p(n,A,M)$ denote the number of partitions of $n$ with parts in $A$ and multiplicities in $M$, that is, the number of representations of $n$ in the form $n=\sum_{a \in A} m_a a$ where $m_a \in M \cup {0}$ for all $a$, and all numbers $m_a$ but finitely many are 0. It is shown that there are infinite sets $A$ and $M$ so that $p(n,A,M)=1$ for every positive integer $n$. This settles (in a strong form) a problem of Canfield and Wilf. It is also shown that there is an infinite set $M$ and constants $c$ and $n_0$ so that for $A={k!}_{k \geq 1}$ or for $A=\{k^k\}_{k \geq 1}$, $0<p(n,A,M) \leq n^c$ for all $n>n_0$. This answers a question of Ljujić and Nathanson.
Lower bound for the rank of rigidity matrix of 4-valent graphs under various connectivity assumptions
In this paper we study the rank of planar rigidity matrix of 4-valent graphs, both in case of generic realizations and configurations in general position, under various connectivity assumptions on the graphs. For each case considered, we prove a lower bound and provide an example which shows the order of the bound we proved is sharp. This work is closed related to work in \cite{Luo:Rigidity} and answers some questions raised there.
On Kirchhoff's theorems with coefficients in a line bundle
Published
• View Publication
• BIB
We prove `twisted' versions of Kirchhoff's network theorem and Kirchhoff's matrix-tree theorem on connected finite graphs. Twisting here refers to chains with coefficients in a flat unitary line bundle.
Homologies of path complexes and digraphs
In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.
Search Algorithms for Conceptual Graph Databases
Published
• View Publication
• BIB
We consider a database composed of a set of conceptual graphs. Using conceptual graphs and graph homomorphism it is possible to build a basic query-answering mechanism based on semantic search. Graph homomorphism defines a partial order over conceptual graphs. Since graph homomorphism checking is an NP-Complete problem, the main requirement for database organizing and managing algorithms is to reduce the number of homomorphism checks. Searching is a basic operation for database manipulating problems. We consider the problem of searching for an element in a partially ordered set. The goal is to minimize the number of queries required to find a target element in the worst case. First we analyse conceptual graph database operations. Then we propose a new algorithm for a subclass of lattices. Finally, we suggest a parallel search algorithm for a general poset. Keywords. Conceptual Graph, Graph Homomorphism, Partial Order, Lattice, Search, Database.
Equivariant Topology of Configuration Spaces
Published
• View Publication
• BIB
We study the Fadell-Husseini index of the configuration space F(R^d,n) with respect to different subgroups of the symmetric group S_n. For p prime and d>0, we completely determine Index_{Z/p}(F(R^d,p);F_p) and partially describe Index{(Z/p)^k}(F(R^d,p^k);F_p). In this process we obtain results of independent interest, including:
(1) an extended equivariant Goresky-MacPherson formula,
(2) a complete description of the top homology of the partition lattice Pi_p as an F_p[Z_p]-module, and
(3) a generalized Dold theorem for elementary abelian groups.
The results on the Fadell-Husseini index yield a new proof of the Nandakumar & Ramana Rao conjecture for a prime. For n=p^k a prime power, we compute the Lusternik-Schnirelmann category cat(F(R^d,n)/S_n)=(d-1)(n-1). Moreover, we extend coincidence results related to the Borsuk-Ulam theorem, as obtained by Cohen & Connett, Cohen & Lusk, and Karasev & Volovikov.
Families that remain $k$-Sperner even after omitting an element of their ground set
A family $\cF\subseteq 2^{[n]}$ of sets is said to be $l$-trace $k$-Sperner if for any $l$-subset $L \subset [n]$ the family $\cF|_L=\{F|_L:F \in \cF\}=\{F \cap L: F \in \cF\}$ is $k$-Sperner, i.e. does not contain any chain of length $k+1$. The maximum size that an $l$-trace $k$-Sperner family $\cF \subseteq 2^{[n]}$ can have is denoted by $f(n,k,l)$. For pairs of integers $l<k$, if in a family $\cG$ every pair of sets satisfies $||G_1|-|G_2||<k-l$, then $\cG$ possesses the $(n-l)$-trace $k$-Sperner property. Among such families, the largest one is $\cF_0=\{F\in 2^{[n]}: \lfloor \frac{n-(k-l)}{2}\rfloor+1 \le |F| \le \lfloor \frac{n-(k-l)}{2}\rfloor +k-l\}$ and also $\cF'_0=\{F\in 2^{[n]}: \lfloor \frac{n-(k-l)}{2}\rfloor \le |F| \le \lfloor \frac{n-(k-l)}{2}\rfloor +k-l-1\}$ if $n-(k-l)$ is even. In an earlier paper, we proved that this is asymptotically optimal for all pair of integers $l<k$, i.e. $f(n,k,n-l)=(1+o(1))|\cF_0|$. In this paper we consider the case when $l=1$, $k\ge 2$, and prove that $f(n,k,n-1)=|\cF_0|$ provided $n$ is large enough. We also prove that the unique $(n-1)$-trace $k$-Sperner family with size $f(n,k,n-1)$ is $\cF_0$ and also $\cF'_0$ when $n+k$ is odd.
Torsion Limits and Riemann-Roch Systems for Function Fields and Applications
Published
• View Publication
• BIB
The Ihara limit (or -constant) $A(q)$ has been a central problem of study in the asymptotic theory of global function fields (or equivalently, algebraic curves over finite fields). It addresses global function fields with many rational points and, so far, most applications of this theory do not require additional properties. Motivated by recent applications, we require global function fields with the additional property that their zero class divisor groups contain at most a small number of $d$-torsion points. We capture this by the torsion limit, a new asymptotic quantity for global function fields. It seems that it is even harder to determine values of this new quantity than the Ihara constant. Nevertheless, some non-trivial lower- and upper bounds are derived. Apart from this new asymptotic quantity and bounds on it, we also introduce Riemann-Roch systems of equations. It turns out that this type of equation system plays an important role in the study of several other problems in areas such as coding theory, arithmetic secret sharing and multiplication complexity of finite fields etc. Finally, we show how our new asymptotic quantity, our bounds on it and Riemann-Roch systems can be used to improve results in these areas.
On the k-edge magic graphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set V and edge set E such that |V| = p and |E| = q. For integers k\geq 0, define an edge labeling f : E \rightarrow \{k,k+1,....,k+q-1\} and define the vertex sum for a vertex $v$ as the sum of the labels of the edges incident to v. If such an edge labeling induces a vertex labeling in which every vertex has a constant vertex sum (mod p), then G is said to be k-edge magic (k-EM). In this paper, we (i) show that all the maximal outerplanar graphs of order p = 4; 5; 7 are k-EM if and only if k\equiv 2 (mod p); (ii) obtain all the maximal outerplanar graphs that are k-EM for k = 3; 4; and (iii) characterize all (p; p-h)-graph that are k-EM for h\geq 0. We conjecture that all maximal outerplanar graphs of prime order p are k-EM if and only if k \equiv 2 (mod p).
Minoration of the complexity function associated to a translation on the torus
Published in Monatshefte fur Mathematik. 2013 Volume 171, Issue 3, Page 291-304
• Search Publication
We show that the complexity function $p_k(n)$ of a piecewise translation map conjugated to a minimal translation on the torus $\TT^k = \RR^k / \ZZ^k$ is at least $kn+1$ for every integer $n$.
Subexponential estimations in Shirshov's height theorem (in English)
Published in Sbornik: Mathematics, 203:4 (2012), 534--553
• View Publication
• BIB
In 1993 E. I. Zelmanov asked the following question in Dniester Notebook: "Suppose that F_{2, m} is a 2-generated associative ring with the identity x^m=0. Is it true, that the nilpotency degree of F_{2, m} has exponential growth?" We show that the nilpotency degree of l-generated associative algebra with the identity x^d=0 is smaller than Psi(d,d,l), where Psi(n,d,l)=2^{18} l (nd)^{3 log_3 (nd)+13}d^2. We give the definitive answer to E. I. Zelmanov by this result. It is the consequence of one fact, which is based on combinatorics of words. Let l, n and d>n be positive integers. Then all the words over alphabet of cardinality l which length is greater than Psi(n,d,l) are either n-divided or contain d-th power of subword, where a word W is n-divided, if it can be represented in the following form W=W_0 W_1...W_n such that W_1 >' W_2>'...>'W_n. The symbol >' means lexicographical order here. A. I. Shirshov proved that the set of non n-divided words over alphabet of cardinality l has bounded height h over the set Y consisting of all the words of degree <n. Original Shirshov's estimation was just recursive, in 1982 double exponent was obtained by A.G.Kolotov and in 1993 A.Ya.Belov obtained exponential estimation. We show, that h<Phi(n,l), where Phi(n,l) = 2^{87} n^{12 log_3 n + 48} l. Our proof uses Latyshev idea of Dilworth theorem application.
The Square of Adjacency Matrices
It can be shown that any symmetric $(0,1)$-matrix $A$ with $\tr A = 0$ can be interpreted as the adjacency matrix of a simple, finite graph. The square of an adjacency matrix $A^2=(s_{ij})$ has the property that $s_{ij}$ represents the number of walks of length two from vertex $i$ to vertex $j$. With this information, the motivating question behind this paper was to determine what conditions on a matrix $S$ are needed to have $S=A(G)^2$ for some graph $G$. Structural results imposed by the matrix $S$ include detecting bipartiteness or connectedness and counting four cycles. Row and column sums are examined as well as the problem of multiple nonisomorphic graphs with the same adjacency matrix squared.
Chain polytopes and algebras with straightening laws
Published
• View Publication
• BIB
It will be shown that the toric ring of the chain polytope of a finite partially ordered set is an algebra with straightening laws on a finite distributive lattice. Thus in particular every chain polytope possesses a regular unimodular triangulation arising from a flag complex.
Simplifying inclusion-exclusion formulas
Published
• View Publication
• BIB
Let $\mathcal{F}=\{F_1,F_2, \ldots,F_n\}$ be a family of $n$ sets on a ground set $S$, such as a family of balls in $\mathbb{R}^d$. For every finite measure $μ$ on $S$, such that the sets of $\mathcal{F}$ are measurable, the classical inclusion-exclusion formula asserts that $μ(F_1\cup F_2\cup\cdots\cup F_n)=\sum_{I:\emptyset\ne I\subseteq[n]} (-1)^{|I|+1}μ\Bigl(\bigcap_{i\in I} F_i\Bigr)$; that is, the measure of the union is expressed using measures of various intersections. The number of terms in this formula is exponential in $n$, and a significant amount of research, originating in applied areas, has been devoted to constructing simpler formulas for particular families $\mathcal{F}$. We provide an upper bound valid for an arbitrary $\mathcal{F}$: we show that every system $\mathcal{F}$ of $n$ sets with $m$ nonempty fields in the Venn diagram admits an inclusion-exclusion formula with $m^{O(\log^2n)}$ terms and with $\pm1$ coefficients, and that such a formula can be computed in $m^{O(\log^2n)}$ expected time. For every $\varepsilon>0$ we also construct systems with Venn diagram of size $m$ for which every valid inclusion-exclusion formula has the sum of absolute values of the coefficients at least $Ω(m^{2-\varepsilon})$.
Mixed orthogonal arrays, $k$-dimensional $M$-part Sperner multi-families, and full multi-transversals
Published
• View Publication
• BIB
Aydinian et al. [J. Combinatorial Theory A 118(2)(2011), 702-725] substituted the usual BLYM inequality for L-Sperner families with a set of M inequalities for $(m_1,m_2,...,m_M;L_1,L_2,...,L_M)$ type M-part Sperner families and showed that if all inequalities hold with equality, then the family is homogeneous. Aydinian et al. [Australasian J. Comb. 48(2010), 133-141] observed that all inequalities hold with equality if and only if the transversal of the Sperner family corresponds to a simple mixed orthogonal array with constraint M, strength M-1, using $m_i+1$ symbols in the $i^{\text{th}}$ column. In this paper we define $k$-dimensional $M$-part Sperner multi-families with parameters $L_P: P\in\binom{[M]}{k}$ and prove $\binom{M}{k}$ BLYM inequalities for them. We show that if k<M and all inequalities hold with equality, then these multi-families must be homogeneous with profile matrices that are strength M-k mixed orthogonal arrays. For k=M, homogeneity is not always true, but some necessary conditions are given for certain simple families. Following the methods of Aydinian et al. [Australasian J. Comb. 48(2010), 133-141], we give new constructions to simple mixed orthogonal arrays with constraint M, strength M-k, using $m_i+1$ symbols in the ith column. We extend the convex hull method to k-dimensional M-part Sperner multi-families, and allow additional conditions providing new results even for simple 1-part Sperner families.