Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Cluster algebras of finite type and positive symmetrizable matrices
Published in J. London Math. Soc. (2) 73 (2006), no. 3, 545--564
• View Publication
• BIB
The paper is motivated by an analogy between cluster algebras and Kac-Moody algebras: both theories share the same classification of finite type objects by familiar Cartan-Killing types. However the underlying combinatorics beyond the two classifications is different: roughly speaking, Kac-Moody algebras are associated with (symmetrizable) Cartan matrices, while cluster algebras correspond to skew-symmetrizable matrices. We study an interplay between the two classes of matrices, in particular, establishing a new criterion for deciding whether a given skew-symmetrizable matrix gives rise to a cluster algebra of finite type.
Direct construction of code loops
Published
• View Publication
• BIB
Code loops were introduced by R. L. Griess. R.L. Griess and T. Hsu gave methods to construct the corresponding code loop from any given doubly even binary code; both these methods used some kind of induction. In this paper, we present a global construction of the loop, where we apply the correspondance between the concepts of Moufang loops and groups with triality.
Automorphism groups of circulant graphs -- a survey
Published
• View Publication
• BIB
A circulant (di)graph is a (di)graph on n vertices that admits a cyclic automorphism of order n. This paper provides a survey of the work that has been done on finding the automorphism groups of circulant (di)graphs, including the generalisation in which the edges of the (di)graph have been assigned colours that are invariant under the aforementioned cyclic automorphism.
Peg Jumping for Fun and Profit
We consider the problem of determining the minimum number of moves needed to solve a certain one-dimensional peg puzzle. Let N be a positive integer. The puzzle apparatus consists of a block with a single row of 2N+1 equally spaced holes which, apart from the central hole, are occupied by an equal number N of red and blue pegs. The object of the puzzle is to exchange the colors of the pegs by a succession of allowable moves. Allowable moves are of two types: a peg can be shifted from the hole it occupies into the empty hole adjacent to it, or a peg can jump over an adjacent peg into the empty hole. We exhibit a sequence of N^2+2N moves that solves the puzzle, and prove that no solution can employ fewer moves.
Alpha-Pfaffian, pfaffian point process and shifted Schur measure
Published in Linear Algebra and its Applications 403 (2005) 369--398
• View Publication
• BIB
For any complex number $α$ and any even-size skew-symmetric matrix $B$, we define a generalization $\pfaα(B)$ of the pfaffian $\pf(B)$ which we call the $α$-pfaffian. The $α$-pfaffian is a pfaffian analogue of the $α$-determinant. It gives the pfaffian at $α=-1$. We give some formulas for $α$-pfaffians and study the positivity. Further we define point processes determined by the $α$-pfaffian. Also we provide a linear algebraic proof of the explicit pfaffian expression for the correlation function of the shifted Schur measure.
Generalizations of Cauchy's Determinant and Schur's Pfaffian
Published in Adv. in Appl. Math. 36 (2006) 251 - 287
• View Publication
• BIB
We present several generalizations of Cauchy's determinant and Schur's Pfaffian by considering matrices whose entries involve some generalized Vandermonde determinants. Special cases of our formulae include previuos formulae due to S.Okada and T. Sundquist. As an application, we give a relation for the Littlewood--Richardson coefficients involving a rectangular partition.
Groups and Combinatorial Number Theory
In this talk we introduce several topics in combinatorial number theory which are related to groups; the topics include combinatorial aspects of covers of groups by cosets, and also restricted sumsets and zero-sum problems on abelian groups. A survey of known results and open problems on the topics is given in a popular way.
Coverings of abelian groups and vector spaces
Published
• View Publication
• BIB
We study the question how many subgroups, cosets or subspaces are needed to cover a finite Abelian group or a vector space if we have some natural restrictions on the structure of the covering system. For example we determine, how many cosets we need, if we want to cover all but one element of an Abelian group. This result is a group theoretical extension of the theorem of Brouwer, Jamison and Schrijver about the blocking number of an affine space. We show that these covering problems are closely related to combinatorial problems, including the so called additive basis conjecture, the three-flow conjecture, and a conjecture of Alon, Jaeger and Tarsi about nowhere zero vectors.
Generating functions for generating trees
Published in Discrete Mathematics 246 (1-3) (2002) 29-55
• View Publication
• BIB
Certain families of combinatorial objects admit recursive descriptions in terms of generating trees: each node of the tree corresponds to an object, and the branch leading to the node encodes the choices made in the construction of the object. Generating trees lead to a fast computation of enumeration sequences (sometimes, to explicit formulae as well) and provide efficient random generation algorithms. We investigate the links between the structural properties of the rewriting rules defining such trees and the rationality, algebraicity, or transcendence of the corresponding generating function.
Matroid polytopes, nested sets and Bergman fans
The tropical variety defined by linear equations with constant coefficients is the Bergman fan of the corresponding matroid. Building on a self-contained introduction to matroid polytopes, we present a geometric construction of the Bergman fan, and we discuss its relationship with the simplicial complex of nested sets in the lattice of flats. The Bergman complex is triangulated by the nested set complex, and the two complexes coincide if and only if every connected flat remains connected after contracting along any subflat. This sharpens a result of Ardila-Klivans who showed that the Bergman complex is triangulated by the order complex of the lattice of flats. The nested sets specify the De Concini-Procesi compactification of the complement of a hyperplane arrangement, while the Bergman fan specifies the tropical compactification. These two compactifications are almost equal, and we highlight the subtle differences.
Associativity in multary quasigroups: The way of biased expansions
Published in Aequationes Mathematicae, 83 (2012), no. 1, 1--66. MR 2885498. Zbl 1235.05059
• View Publication
• BIB
A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include all biased expansions of complete graphs (assuming order at least four), which correspond to Dowling's lattices of a group and encode an iterated group operation. A biased expansion of a circle with chords encodes a multary (polyadic, n-ary) quasigroup, the chords corresponding to factorizations, i.e., associative structure. We show that any biased expansion of a 3-connected graph (of order at least four) is a group expansion, and that all 2-connected biased expansions are constructed by expanded edge amalgamation from group expansions and irreducible multary quasigroups. If a 2-connected biased expansion covers every base edge at most three times, or if every four-node minor is a group expansion, then the whole biased expansion is a group expansion. In particular, if a multary quasigroup has a factorization graph that is 3-connected, if it has order 3, or if every residual ternary quasigroup is an iterated group isotope, it is isotopic to an iterated group. We mention applications to generalizing Dowling geometries and to transversal designs of high strength.
A generalized small model property for languages which force the infinity
This paper deals with formulas of set theory which force the infinity. For such formulas, we provide a technique to infer satisfiability from a finite assignment.
Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate
Published
• View Publication
• BIB
In this paper we solve the satisfiability problem of an extended fragment of set computable theory which "forces the infinity" by a fruitful use of the witness small model property and the theory of formative processes.
Very well-covered graphs with log-concave independence polynomials
If for any $k$ the $k$-th coefficient of a polynomial $I(G;x)$ is equal to the number of stable sets of cardinality $k$ in the graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). Alavi, Malde, Schwenk and Erdos (1987) conjectured that $I(G;x)$ is unimodal, whenever $G$ is a forest, while Brown, Dilcher and Nowakowski (2000) conjectured that $I(G;x)$ is unimodal for any well-covered graph G. Michael and Traves (2003) showed that the assertion is false for well-covered graphs with $a(G)$ > 3 ($a(G)$ is the size of a maximum stable set of the graph $G$), while for very well-covered graphs the conjecture is still open. In this paper we give support to both conjectures by demonstrating that if $a(G)$ < 4, or $G$ belongs to ${K_{1,n}, P_{n}: n > 0}$, then $I(G*;x)$ is log-concave, and, hence, unimodal (where $G*$ is the very well-covered graph obtained from $G$ by appending a single pendant edge to each vertex).
Faces and bases: Boolean intervals
We consider redundant analogues of the f- and h-vectors of simplicial complexes and present bases of R^{m+1} related to these ``long'' f- and h-vectors describing the face systems from 2^{1,...,m}; we list the corresponding change of basis matrices. The representations of the long f- and h-vectors of a face system with respect to various bases are expressed based on partitions of the system into Boolean intervals.
Faces and bases: Dehn-Sommerville type relations
We review several linear algebraic aspects of the Dehn-Sommerville relations and relate redundant analogues of the f- and h-vectors describing the subsets of a simplex 2^{1,...,m} that satisfy Dehn-Sommerville type relations to integer points contained in some rational polytopes.
Expected number of inversions after a sequence of random adjacent transpositions
Published in Springer Lecture Notes special volume for FPSAC 2000, pages 677-685
• Search Publication
In the evolution of a genome, the gene sequence is sometimes rearranged, for example by transposition of two adjacent gene blocks. In biocombinatorics, one tries to reconstruct these rearrangement incidents from the resulting permutation. It seems that the algorithms used are too effective and find a shorter path than the real one. For the simplified case of adjacent transpositions, we give expressions for the expected number of inversions after t random moves. This average can be much smaller than t, a fact that has largely been neglected so far.
Exact expectations for random graphs and assignments
Published in Combinatorics, Probability and Computing 12, 2003, pages 401-412
• View Publication
• BIB
For a random graph on n vertices where the edges appear with individual rates, we give exact formulas for the expected time at which the number of components has gone down to k and the expected length of the corresponding minimal spanning forest.
For a random bipartite graph we give a formula for the expected time at which a k-assignment appears. This result has bearing upon the random assignment problem.
Note on the lamp lighting problem
Published in Advances of Applied Mathematics 27, 2001, pages 357-366
• Search Publication
We answer some questions concerning the so called sigma-game of Sutner. It is played on a graph where each vertex has a lamp, the light of which is toggled by pressing any vertex with an edge directed to the lamp.
For example, we show that every configuration of lamps can be lit if and only if the number of complete matchings in the graph is odd. In the special case of an orthogonal grid one gets a criterion for whether the number of monomer-dimer tilings of an m times n grid is odd or even.
Computing the period of an Ehrhart quasi-polynomial
Published in Electronic Journal of Combinatorics 12 (2005), #R34
• View Publication
• BIB
If P is a rational polytope in R^d, then $i_P(t):=#(tP\cap Z^d)$ is a quasi-polynomial in t, called the Ehrhart quasi-polynomial of P. A period of i_P(t) is D(P), the smallest positive integer D such that D*P has integral vertices. Often, D(P) is the minimum period of i_P(t), but, in several interesting examples, the minimum period is smaller. We prove that, for fixed d, there is a polynomial time algorithm which, given a rational polytope P in R^d and an integer n, decides whether n is a period of i_P(t). In particular, there is a polynomial time algorithm to decide whether i_P(t) is a polynomial. We conjecture that, for fixed d, there is a polynomial time algorithm to compute the minimum period of i_P(t). The tools we use are rational generating functions.