Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Parametric analysis of RNA folding
Published
• View Publication
• BIB
We extend recent methods for parametric sequence alignment to the parameter space for scoring RNA folds. This involves the construction of an RNA polytope. A vertex of this polytope corresponds to RNA secondary structures with common branching. We use this polytope and its normal fan to study the effect of varying three parameters in the free energy model that are not determined experimentally. Our results indicate that variation of these specific parameters does not have a dramatic effect on the structures predicted by the free energy model. We additionally map a collection of known RNA secondary structures to the RNA polytope.
Topological flatness of orthogonal local models in the split, even case. I
Published
• View Publication
• BIB
Local models are schemes, defined in terms of linear algebra, that were introduced by Rapoport and Zink to study the étale-local structure of integral models of certain PEL Shimura varieties over p-adic fields. A basic requirement for the integral models, or equivalently for the local models, is that they be flat. In the case of local models for even orthogonal groups, Genestier observed that the original definition of the local model does not yield a flat scheme. In a recent article, Pappas and Rapoport introduced a new condition to the moduli problem defining the local model, the so-called spin condition, and conjectured that the resulting "spin" local model is flat. We prove a weak form of their conjecture in the split, Iwahori case, namely that the spin local model is topologically flat. An essential combinatorial ingredient is the equivalence of mu-admissibility and mu-permissibility for two minuscule cocharacters mu in root systems of type D.
The tripartite Ramsey number for trees
Published in J. Graph Theory 69 (2012), no. 3, 264-300
• View Publication
• BIB
We prove that for all epsilon>0 there are c>0 and n_0 such that for all n>n_0 the following holds. For any two-colouring of the edges of $K_{n,n,n}$ one colour contains copies of all trees T of order t<(3-epsilon)n/2 and with maximum degree at most n^c. This confirms a conjecture of Schelp.
Computing the vertices of tropical polyhedra using directed hypergraphs
Published in Discrete & Computational Geometry, March 2013, Volume 49, Issue 2, pp 247-279
• View Publication
• BIB
We establish a characterization of the vertices of a tropical polyhedron defined as the intersection of finitely many half-spaces. We show that a point is a vertex if, and only if, a directed hypergraph, constructed from the subdifferentials of the active constraints at this point, admits a unique strongly connected component that is maximal with respect to the reachability relation (all the other strongly connected components have access to it). This property can be checked in almost linear-time. This allows us to develop a tropical analogue of the classical double description method, which computes a minimal internal representation (in terms of vertices) of a polyhedron defined externally (by half-spaces or hyperplanes). We provide theoretical worst case complexity bounds and report extensive experimental tests performed using the library TPLib, showing that this method outperforms the other existing approaches.
Homotopy classification of nanophrases with less than or equal to four letters
Published
• View Publication
• BIB
In this paper we give the stable classification of ordered, pointed, oriented multi-component curves on surfaces with minimal crossing number less than or equal to 2 such that any equivalent curve has no simply closed curves in its components. To do this, we use the theory of words and phrases which was introduced by V. Turaev. Indeed we give the homotopy classification of nanophrases with less than or equal to 4 letters. It is an extension of the classification of nanophrases of length 2 with less than or equal to 4 letters which was given by the author in a previous paper. This is a corrected version of Hokkaido University Preprint Series in Mathematics #921. I corrected the subsection 5.3 and added proofs of propositions.
Long Arithmetic Progressions in Sets with Small Sumset
Published
• View Publication
• BIB
Let $A, B\subseteq \mathbb{Z}$ be finite, nonempty subsets with $\min A=\min B=0$, and let $$δ(A,B)={\begin{array}{ll}
1 & \hbox{if} A\subseteq B,
0 & \hbox{otherwise.}
If $\max B\leq \max A\leq |A|+|B|-3$ and \label{one}|A+B|\leq |A|+2|B|-3-δ(A,B), then we show $A+B$ contains an arithmetic progression with difference 1 and length $|A|+|B|-1$.
As a corollary, if \eqref{one} holds, $\max(B)\leq \max(A)$ and either $\gcd(A)=1$ or else $\gcd(A+B)=1$ and $|A+B|\leq 2|A|+|B|-3$, then $A+B$ contains an arithmetic progression with difference 1 and length $|A|+|B|-1$.
Spectral Characteristics of Network Redundancy
Published in Phys. Rev. E 80, 026117 (2009)
• View Publication
• BIB
Many real-world complex networks contain a significant amount of structural redundancy, in which multiple vertices play identical topological roles. Such redundancy arises naturally from the simple growth processes which form and shape many real-world systems. Since structurally redundant elements may be permuted without altering network structure, redundancy may be formally investigated by examining network automorphism (symmetry) groups. Here, we use a group-theoretic approach to give a complete description of spectral signatures of redundancy in undirected networks. In particular, we describe how a network's automorphism group may be used to directly associate specific eigenvalues and eigenvectors with specific network motifs.
On the Cameron-Praeger Conjecture
Published
• View Publication
• BIB
This paper takes a significant step towards confirming a long-standing and far-reaching conjecture of Peter J. Cameron and Cheryl E. Praeger. They conjectured in 1993 that there are no non-trivial block-transitive 6-designs. We prove that the Cameron-Praeger conjecture is true for the important case of non-trivial Steiner 6-designs, i.e. for 6-$(v,k,λ)$ designs with $λ=1$, except possibly when the group is $P\GammaL(2,p^e)$ with $p=2$ or 3, and $e$ is an odd prime power.
F-polynomials in Quantum Cluster Algebras
Published
• View Publication
• BIB
F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A quantum cluster algebras.
Bead sliding and convex inequalities
We analyze a bead sliding game and relate it to some classical convex inequalities.
Root polytopes, triangulations, and the subdivision algebra, II
The type C_n full root polytope is the convex hull in R^n of the origin and the points e_i-e_j, e_i+e_j, 2e_k for 1 <= i < j <= n, k \in [n]. Given a graph G, with edges labeled positive or negative, associate to each edge e of G a vector v(e) which is e_i-e_j if e=(i, j), i < j, is labeled negative and e_i+e_j if it is labeled positive. For such a signed graph G, the associated root polytope P(G) is the intersection of the full root polytope with the cone generated by the vectors v(e), for edges e in G. The reduced forms of a certain monomial m[G] in commuting variables x_{ij}, y_{ij}, z_k under reductions derived from the relations of a bracket algebra of type C_n, can be interpreted as triangulations of P(G). Using these triangulations, the volume of P(G) can be calculated. If we allow variables to commute only when all their indices are distinct, then we prove that the reduced form of m[G], for "good" graphs G, is unique and yields a canonical triangulation of P(G) in which each simplex corresponds to a noncrossing alternating graph in a type C sense. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type C_n. We also study the bracket algebra of type D_n and show that a family of monomials has unique reduced forms in it. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type D_n.
An Algebra of Pieces of Space -- Hermann Grassmann to Gian Carlo Rota
Published
• View Publication
• BIB
We sketch the outlines of Gian Carlo Rota's interaction with the ideas that Hermann Grassmann developed in his Ausdehnungslehre of 1844 and 1862, as adapted and explained by Giuseppe Peano in 1888. This leads us past what Rota variously called 'Grassmann-Cayley algebra', or 'Peano spaces', to the Whitney algebra of a matroid, and finally to a resolution of the question "What, really, was Grassmann's regressive product?". This final question is the subject of ongoing joint work with Andrea Brini, Francesco Regonati, and William Schmitt.
The present paper was presented at the conference "The Digital Footprint of Gian-Carlo Rota: Marbles, Boxes and Philosophy" in Milano on 17 Feb 2009. It will appear in proceedings of that conference, to be published by Springer Verlag.
Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory
Published
• View Publication
• BIB
Generalizing the notion of Newton polytope, we define the Newton-Okounkov body, respectively, for semigroups of integral points, graded algebras, and linear series on varieties. We prove that any semigroup in the lattice Z^n is asymptotically approximated by the semigroup of all the points in a sublattice and lying in a convex cone. Applying this we obtain several results: we show that for a large class of graded algebras, the Hilbert functions have polynomial growth and their growth coefficients satisfy a Brunn-Minkowski type inequality. We prove analogues of Fujita approximation theorem for semigroups of integral points and graded algebras, which imply a generalization of this theorem for arbitrary linear series. Applications to intersection theory include a far-reaching generalization of the Kushnirenko theorem (from Newton polytope theory) and a new version of the Hodge inequality. We also give elementary proofs of the Alexandrov-Fenchel inequality in convex geometry and its analogue in algebraic geometry.
A Unified Model for Evolutionary Multiobjective Optimization and its Implementation in a General Purpose Software Framework: ParadisEO-MOEO
Published
• View Publication
• BIB
This paper gives a concise overview of evolutionary algorithms for multiobjective optimization. A substantial number of evolutionary computation methods for multiobjective problem solving has been proposed so far, and an attempt of unifying existing approaches is here presented. Based on a fine-grained decomposition and following the main issues of fitness assignment, diversity preservation and elitism, a conceptual global model is proposed and is validated by regarding a number of state-of-the-art algorithms as simple variants of the same structure. The presented model is then incorporated into a general-purpose software framework dedicated to the design and the implementation of evolutionary multiobjective optimization techniques: ParadisEO-MOEO. This package has proven its validity and flexibility by enabling the resolution of many real-world and hard multiobjective optimization problems.
The augmented tridiagonal algebra
Published
• View Publication
• BIB
Motivated by investigations of the tridiagonal pairs of linear transformations, we introduce the augmented tridiagonal algebra ${\mathcal T}_q$. This is an infinite-dimensional associative ${\mathbb C}$-algebra with 1. We classify the finite-dimensional irreducible representations of ${\mathcal T}_q$. All such representations are explicitly constructed via embeddings of ${\mathcal T}_q$ into the $U_q(sl_2)$-loop algebra. As an application, tridiagonal pairs over ${\mathbb C}$ are classified in the case where $q$ is not a root of unity.
Additive number theory and inequalities in Ehrhart theory
Published in Int. Math. Res. Not. 5 (2016) 1497-1540
• View Publication
• BIB
We introduce a powerful connection between Ehrhart theory and additive number theory, and use it to produce infinitely many new classes of inequalities between the coefficients of the $h^*$-polynomial of a lattice polytope. This greatly improves upon the three known classes of inequalities, which were proved using techniques from commutative algebra and combinatorics. As an application, we deduce all possible `balanced' inequalities between the coefficients of the $h^*$-polynomial of a lattice polytope containing an interior lattice point, in dimension at most 6.
Bi-resolving graph homomorphisms and extensions of bi-closing codes
Published in Acta Appl. Math. 126 (2013), 245-252
• View Publication
• BIB
Given two graphs G and H, there is a bi-resolving (or bi-covering) graph homomorphism from G to H if and only if their adjacency matrices satisfy certain matrix relations. We investigate the bi-covering extensions of bi-resolving homomorphisms and give several sufficient conditions for a bi-resolving homomorphism to have a bi-covering extension with an irreducible domain. Using these results, we prove that a bi-closing code between subshifts can be extended to an n-to-1 code between irreducible shifts of finite type for all large n.
Difference between minimum light numbers of sigma-game and lit-only sigma-game
A configuration of a graph is an assignment of one of two states, on or off, to each vertex of it. A regular move at a vertex changes the states of the neighbors of that vertex. A valid move is a regular move at an on vertex. The following result is proved in this note: given any starting configuration $x$ of a tree, if there is a sequence of regular moves which brings $x$ to another configuration in which there are $\ell$ on vertices then there must exist a sequence of valid moves which takes $x$ to a configuration with at most $\ell +2$ on vertices. We provide example to show that the upper bound $\ell +2$ is sharp. Some relevant results and conjectures are also reported.
Matrix models for 2* theories
Published in Phys.Rev.D80:086006,2009
• View Publication
• BIB
We show how to represent a class of expressions involving discrete sums over partitions as matrix models. We apply this technique to the partition functions of 2* theories, i.e. Seiberg-Witten theories with the massive hypermultiplet in the adjoint representation. We consider theories in four, five and six dimensions, and obtain new matrix models respectively of rational, trigonometric and elliptic type. The matrix models for five- and six-dimensional U(1) theories are derived from the topological vertex construction related to curves of genus one and two.
A bijection between dominant Shi regions and core partitions
Published
• View Publication
• BIB
It is well-known that Catalan numbers $C_n = \frac{1}{n+1} \binom{2n}{n}$ count the number of dominant regions in the Shi arrangement of type $A$, and that they also count partitions which are both $n$-cores as well as $(n+1)$-cores. These concepts have natural extensions, which we call here the $m$-Catalan numbers and $m$-Shi arrangement. In this paper, we construct a bijection between dominant regions of the $m$-Shi arrangement and partitions which are both $n$-cores as well as $(mn+1)$-cores. The bijection is natural in the sense that it commutes with the action of the affine symmetric group.