Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Homological properties of Orlik-Solomon algebras
Published in Manuscripta Math. 129 (2009), no. 2, 181-210
• View Publication
• BIB
The Orlik-Solomon algebra of a matroid can be considered as a quotient ring over the exterior algebra E. At first we study homological properties of E-modules as e.g. complexity, depth and regularity. In particular, we consider modules with linear injective resolutions. We apply our results to Orlik-Solomon algebras of matroids and give formulas for the complexity, depth and regularity of such rings in terms of invariants of the matroid. Moreover, we characterize those matroids whose Orlik-Solomon ideal has a linear projective resolution and compute in these cases the Betti numbers of the ideal.
Finitary incidence algebras
Published
• View Publication
• BIB
We consider the functions in two variables on an arbitrary poset, for which the convolution operation is defined. We obtain the generalization of incidence algebra and describe its properties: invertibility, the Jackobson radical, idempotents, regular elements. As a consequence a positive solution of the isomorphism problem for such algebras is obtained.
Determinant Expansions of Signed Matrices and of Certain Jacobians
Published in SIAM J. Matrix Anal. Appl. 31 (2009), no. 2, 732-754
• View Publication
• BIB
This paper treats two topics: matrices with sign patterns and Jacobians of certain mappings. The main topic is counting the number of plus and minus coefficients in the determinant expansion of sign patterns and of these Jacobians. The paper is motivated by an approach to chemical networks initiated by Craciun and Feinberg. We also give a graph-theoretic test for determining when the Jacobian of a chemical reaction dynamics has a sign pattern.
Reduced Incidence algebras description of cobweb posets and KoDAGs
After identifying the reduced incidence algebra of an arbitrary cobweb poset the very first properties of these algebras are being disclosed.
A palindromization map for the free group
Published in Theoret. Comput. Sci. 409 (2008), 461-470
• View Publication
• BIB
We define a self-map Pal: F_2 --> F_2 of the free group on two generators a, b, using automorphisms of F_2 that form a group isomorphic to the braid group B_3. The map Pal restricts to de Luca's right iterated palindromic closure on the submonoid generated by a, b, and is continuous for the profinite topology on F_2. The values of Pal are palindromes and coincide with the elements g of F_2 such that abg is conjugate to bag.
On additive doubling and energy
Published
• View Publication
• BIB
We show that if A is a set having small subtractive doubling in an abelian group, that is |A-A|< K|A|, then there is a polynomially large subset B of A-A so that the additive energy of B is large than (1/K)^{1 - ε) where epsilon is a positive, universal exponent. (1/37 seems to suffice.)
Cycle Equivalence of Graph Dynamical Systems
Published in Nonlinearity 22 (2009) 421-436.
• View Publication
• BIB
Graph dynamical systems (GDSs) can be used to describe a wide range of distributed, nonlinear phenomena. In this paper we characterize cycle equivalence of a class of finite GDSs called sequential dynamical systems SDSs. In general, two finite GDSs are cycle equivalent if their periodic orbits are isomorphic as directed graphs. Sequential dynamical systems may be thought of as generalized cellular automata, and use an update order to construct the dynamical system map.
The main result of this paper is a characterization of cycle equivalence in terms of shifts and reflections of the SDS update order. We construct two graphs C(Y) and D(Y) whose components describe update orders that give rise to cycle equivalent SDSs. The number of components in C(Y) and D(Y) is an upper bound for the number of cycle equivalence classes one can obtain, and we enumerate these quantities through a recursion relation for several graph classes. The components of these graphs encode dynamical neutrality, the component sizes represent periodic orbit structural stability, and the number of components can be viewed as a system complexity measure.
On the product of vector spaces in a commutative field extension
Published
• View Publication
• BIB
Let $K \subset L$ be a commutative field extension. Given $K$-subspaces $A,B$ of $L$, we consider the subspace $<AB>$ spanned by the product set $AB=\{ab \mid a \in A, b \in B\}$. If $\dim_K A = r$ and $\dim_K B = s$, how small can the dimension of $<AB>$ be? In this paper we give a complete answer to this question in characteristic 0, and more generally for separable extensions. The optimal lower bound on $\dim_K < AB>$ turns out, in this case, to be provided by the numerical function $$ κ_{K,L}(r,s) = \min_{h} (\lceil r/h\rceil + \lceil s/h\rceil -1)h, $$ where $h$ runs over the set of $K$-dimensions of all finite-dimensional intermediate fields $K \subset H \subset L$. This bound is closely related to one appearing in additive number theory.
Frobenius splittings of toric varieties
Published in Algebra Number Theory 3 (2009), no. 1, 107--119.
• View Publication
• BIB
We discuss a characteristic free version of Frobenius splittings for toric varieties and give a polyhedral criterion for a toric variety to be diagonally split. We apply this criterion to show that section rings of nef line bundles on diagonally split toric varieties are normally presented and Koszul, and that Schubert varieties are not diagonally split in general.
Generating functions for colored 3D Young diagrams and the Donaldson-Thomas invariants of orbifolds
Published in Duke Math. J. 152, no. 1 (2010), 115-153
• View Publication
• BIB
We derive two multivariate generating functions for three-dimensional Young diagrams (also called plane partitions). The variables correspond to a colouring of the boxes according to a finite Abelian subgroup G of SO(3). We use the vertex operator methods of Okounkov--Reshetikhin--Vafa for the easy case G = Z/n; to handle the considerably more difficult case G=Z/2 x Z/2, we will also use a refinement of the author's recent q--enumeration of pyramid partitions.
In the appendix, we relate the diagram generating functions to the Donaldson-Thomas partition functions of the orbifold C^3/G. We find a relationship between the Donaldson-Thomas partition functions of the orbifold and its G-Hilbert scheme resolution. We formulate a crepant resolution conjecture for the Donaldson-Thomas theory of local orbifolds satisfying the Hard Lefschetz condition.
The non-commutative $A$-polynomial of twist knots
Published
• View Publication
• BIB
The purpose of the paper is two-fold: to introduce a multivariable creative telescoping method, and to apply it in a problem of Quantum Topology: namely the computation of the non-commutative $A$-polynomial of twist knots.
Our multivariable creative telescoping method allows us to compute linear recursions for sums of the form $J(n)=\sum_k c(n,k) \hatJ (k)$ given a recursion relation for $(\hatJ(n))$ a the hypergeometric kernel $c(n,k)$. As an application of our method, we explicitly compute the non-commutative $A$-polynomial for twist knots with -8 and 11 crossings. The non-commutative $A$-polynomial of a knot encodes the monic, linear, minimal order $q$-difference equation satisfied by the sequence of colored Jones polynomials of the knot. Its specialization to $q=1$ is conjectured to be the better-known $A$-polynomial of a knot, which encodes important information about the geometry and topology of the knot complement. Unlike the case of the Jones polynomial, which is easily computable for knots with 50 crossings, the $A$-polynomial is harder to compute and already unknown for some knots with 12 crossings.
For each $α$ > 2 there is an infinite binary word with critical exponent $α$
Published
• View Publication
• BIB
For each $α> 2$ there is a binary word with critical exponent $α$.
Lower bound theorem for normal pseudomanifolds
Published in Expo. Math. 26 (2008), 327 - 351
• View Publication
• BIB
In this paper we present a self-contained combinatorial proof of the lower bound theorem for normal pseudomanifolds, including a treatment of the cases of equality in this theorem. We also discuss McMullen and Walkup's generalised lower bound conjecture for triangulated spheres in the context of the lower bound theorem. Finally, we pose a new lower bound conjecture for non-simply connected triangulated manifolds.
Connectedness in graph limits
We define direct sums and a corresponding notion of connectedness for graph limits. Every graph limit has a unique decomposition as a direct sum of connected components. As is well-known, graph limits may be represented by symmetric functions on a probability space; there are natural definitions of direct sums and connectedness for such functions, and there is a perfect correspondence with the corresponding properties of the graph limit. Similarly, every graph limit determines an infinite random graph, which is a.s. connected if and only if the graph limit is connected. There are also characterizations in terms of the asymptotic size of the largest component in the corresponding finite random graphs, and of minimal cuts in sequences of graphs converging to a given limit.
On incidence algebras description of cobweb posets
The explicite formulas for Mobius function and some other important elements of the incidence algebra of an arbitrary cobweb poset are delivered. For that to do one uses Kwasniewski's construction of his cobweb posets . The digraph representation of these cobweb posets constitutes a newly discovered class of orderable DAG's named here down KoDAGs with a kind of universality now being investigated. Namely cobweb posets' and thus KoDAGs's defining di-bicliques are links of any complete relations' chains.
On the Kuratowski graph planarity criterion
Published in Mat. Prosveschenie, 9 (2005), 116-128, and 11 (2007), 159--160
• Search Publication
This paper is purely expositional. The statement of the Kuratowski graph planarity criterion is simple and well-known. However, its classical proof is not easy. In this paper we present the Makarychev proof (with further simplifications by Prasolov, Telishev, Zaslavski and the author) which is possibly the simplest. In the Rusian version before the proof we present all the necessary definitions, and afterwards we state some close results on graphs and more general spaces. The paper is accessible for students familiar with the notion of a graph, and could be an interesting easy reading for mature mathematicians.
Searching for Strange Hypergeometric Identities By Sheer Brute Force
We describe a systematic search for all strange hypergeometric identities up to a certain complexity with sheer brute force that lead us to the discovery of two new infinite families of closed-form evaluations.
A homotopical algebra of graphs related to zeta series
Published
• View Publication
• BIB
The purpose of this paper is to develop a homotopical algebra for graphs, relevant to zeta series and spectra of finite graphs. More precisely, we define a Quillen model structure in a category of graphs (directed and possibly infinite, with loops and multiple arcs allowed). The weak equivalences for this model structure are the Acyclics (graph morphisms which preserve cycles). The cofibrations and fibrations for the model are determined from the class of Whiskerings (graph morphisms produced by grafting trees). Our model structure seems to fit well with the importance of acyclic directed graphs in many applications.
In addition to the weak factorization systems which form this model structure, we also describe two Freyd-Kelly factorization systems based on Folding, Injecting, and Covering graph morphisms.
Rich, Sturmian, and trapezoidal words
Published in Theoretical Computer Science 407 (2008) 569--573
• View Publication
• BIB
In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced in arXiv:0801.1656 by the second and third authors together with J. Justin and S. Widmer, constitute a new class of finite and infinite words characterized by having the maximal number of palindromic factors. Every finite Sturmian word is rich, but not conversely. Trapezoidal words were first introduced by the first author in studying the behavior of the subword complexity of finite Sturmian words. Unfortunately this property does not characterize finite Sturmian words. In this note we show that the only trapezoidal palindromes are Sturmian. More generally we show that Sturmian palindromes can be characterized either in terms of their subword complexity (the trapezoidal property) or in terms of their palindromic complexity. We also obtain a similar characterization of rich palindromes in terms of a relation between palindromic complexity and subword complexity.
Directive words of episturmian words: equivalences and normalization
Published in RAIRO - Theoretical Informatics and Applications 43 (2009) 299-319
• View Publication
• BIB
Episturmian morphisms constitute a powerful tool to study episturmian words. Indeed, any episturmian word can be infinitely decomposed over the set of pure episturmian morphisms. Thus, an episturmian word can be defined by one of its morphic decompositions or, equivalently, by a certain directive word. Here we characterize pairs of words directing a common episturmian word. We also propose a way to uniquely define any episturmian word through a normalization of its directive words. As a consequence of these results, we characterize episturmian words having a unique directive word.