Showing 20 papers (Total: 83400 papers, 48159 authors in database)
Markov Bases for Typical Block Effect Models of Two-way Contingency Tables
Published in Journal of Multivariate Analysis 112 (2012) 219--229
• View Publication
• BIB
Markov basis for statistical model of contingency tables gives a useful tool for performing the conditional test of the model via Markov chain Monte Carlo method. In this paper we derive explicit forms of Markov bases for change point models and block diagonal effect models, which are typical block-wise effect models of two-way contingency tables, and perform conditional tests with some real data sets.
Appendix for almost-rainbow edge-colorings of some small subgraphs
This appendix for our article, "Almost-rainbow edge-colorings of some small subgraphs", contains the full proof of Theorem 4.1.
Significance Theory
We formalize the general principle of significance with respect to binary relations which is a universal tool for description and analysis of various situations in and apart from mathematics. We derive the basic properties and focus on a special family of relations induced by linear orders. We show several ways of mathematical applications, propose methods for calculating the required set and sketch possible use in other sciences.
The down operator and expansions of near rectangular k-Schur functions
Published
• View Publication
• BIB
We prove that the Lam-Shimozono "down operator" on the affine Weyl group induces a derivation of the affine Fomin-Stanley subalgebra of the affine nilCoxeter algebra. We use this to verify a conjecture of Berg, Bergeron, Pon and Zabrocki describing the expansion of k-Schur functions of "near rectangles" in the affine nilCoxeter algebra. Consequently, we obtain a combinatorial interpretation of the corresponding k-Littlewood--Richardson coefficients.
Complexity and Algorithms for Euler Characteristic of Simplicial Complexes
Published
• View Publication
• BIB
We consider the problem of computing the Euler characteristic of an abstract simplicial complex given by its vertices and facets. We show that this problem is #P-complete and present two new practical algorithms for computing Euler characteristic. The two new algorithms are derived using combinatorial commutative algebra and we also give a second description of them that requires no algebra. We present experiments showing that the two new algorithms can be implemented to be faster than previous Euler characteristic implementations by a large margin.
Combinatorics of $γ$-structures
In this paper we study canonical $γ$-structures, a class of RNA pseudoknot structures that plays a key role in the context of polynomial time folding of RNA pseudoknot structures. A $γ$-structure is composed by specific building blocks, that have topological genus less than or equal to $γ$, where composition means concatenation and nesting of such blocks. Our main result is the derivation of the generating function of $γ$-structures via symbolic enumeration using so called irreducible shadows. We furthermore recursively compute the generating polynomials of irreducible shadows of genus $\le γ$. $γ$-structures are constructed via $γ$-matchings. For $1\le γ\le 10$, we compute Puiseux-expansions at the unique, dominant singularities, allowing us to derive simple asymptotic formulas for the number of $γ$-structures.
Maximal determinants and saturated D-optimal designs of orders 19 and 37
A saturated D-optimal design is a {+1,-1} square matrix of given order with maximal determinant. We search for saturated D-optimal designs of orders 19 and 37, and find that known matrices due to Smith, Cohn, Orrick and Solomon are optimal. For order 19 we find all inequivalent saturated D-optimal designs with maximal determinant, 2^30 x 7^2 x 17, and confirm that the three known designs comprise a complete set. For order 37 we prove that the maximal determinant is 2^39 x 3^36, and find a sample of inequivalent saturated D-optimal designs. Our method is an extension of that used by Orrick to resolve the previously smallest unknown order of 15; and by Chadjipantelis, Kounias and Moyssiadis to resolve orders 17 and 21. The method is a two-step computation which first searches for candidate Gram matrices and then attempts to decompose them. Using a similar method, we also find the complete spectrum of determinant values for {+1,-1} matrices of order 13.
A nilpotent Freiman dimension lemma
Published
• View Publication
• BIB
We prove that a K-approximate subgroup of an arbitrary torsion-free nilpotent group can be covered by a bounded number of cosets of a nilpotent subgroup of bounded rank, where the bounds are explicit and depend only on K. The result can be seen as a nilpotent analogue to Freiman's dimension lemma.
Feynman Graph Integrals and Almost Modular Forms
Published
• View Publication
• BIB
We introduce a type of graph integrals on elliptic curves from the heat kernel. We show that such graph integrals have modular properties under the modular group $SL(2, \Z)$, and prove the polynomial nature of the anti-holomorphic dependence.
On the number of congruence classes of paths
Published
• View Publication
• BIB
Let $P_n$ denote the undirected path of length $n-1$. The cardinality of the set of congruence classes induced by the graph homomorphisms from $P_n$ onto $P_k$ is determined. This settles an open problem of
Michels and Knauer (Disc. Math., 309\ (2009)\ 5352-5359). Our result is based on a new proven formula of the number of homomorphisms between paths.
Complexity of Interlocking Polyominoes
Polyominoes are a subset of polygons which can be constructed from integer-length squares fused at their edges. A system of polygons P is interlocked if no subset of the polygons in P can be removed arbitrarily far away from the rest. It is already known that polyominoes with four or fewer squares cannot interlock. It is also known that determining the interlockedness of polyominoes with an arbitrary number of squares is PSPACE hard. Here, we prove that a system of polyominoes with five or fewer squares cannot interlock, and that determining interlockedness of a system of polyominoes including hexominoes (polyominoes with six squares) or larger polyominoes is PSPACE hard.
Path Model for Representations of Generalized Kac--Moody Algebras
Published
• View Publication
• BIB
We show that Joseph-Lamprou's path model for representations of generalized Kac-Moody algebras can be embedded into Littelmann's path model for certain Kac-Moody algebras. Using this embedding, for Joseph-Lamprou's path crystals, we give a decomposition rule for tensor product and a branching rule for restriction to Levi subalgebras. Also, we obtain a characterization of standard paths in terms of a certain monoid, which can be thought of as a generalization of a Coxeter group.
An Approximate Inverse Riesz-Sobolev Inequality
The Riesz-Sobolev inequality relates the convolution of nonnegative functions on Euclidean space to the convolution of their symmetric nonincreasing rearrangements. We show that for dimension one, for indicator functions of sets, if the inequality is sufficiently close to an equality then the sets in question must nearly coincide with intervals.
Sequentially Cohen--Macaulayness of bigraded modules
Published
• View Publication
• BIB
Let $K$ be a field, $S=K[x_1,\ldots,x_m, y_1,\ldots,y_n]$ be a standard bigraded polynomial ring and $M$ a finitely generated bigraded $S$-module. In this paper we study sequentially Cohen--Macaulayness of $M$ with respect to $Q=(y_1,\ldots,y_n)$. We characterize the sequentially Cohen--Macaulayness of $L\tensor_KN$ with respect to $Q$ as an $S$-module when $L$ and $N$ are non-zero finitely generated graded modules over $K[x_1, \dots, x_m]$ and $K[y_1, \dots, y_n]$, respectively. All hypersurface rings that are sequentially Cohen--Macaulay with respect to $Q$ are classified.
Ideals generated by diagonal 2-minors
Published
• View Publication
• BIB
With a simple graph $G$ on $[n]$, we associate a binomial ideal $P_G$ generated by diagonal minors of an $n \times n$ matrix $X=(x_{ij})$ of variables. We show that for any graph $G$, $P_G$ is a prime complete intersection ideal and determine the divisor class group of $K[X]/ P_G$. By using these ideals, one may find a normal domain with free divisor class group of any given rank.
Two short proofs of the bounded case of S.B. Rao's degree sequence conjecture
Published in Discrete Mathematics Volume 313, Issue 13, 6 July 2013, Pages 1500-1501
• View Publication
• BIB
S. B. Rao conjectured that graphic sequences are well-quasi-ordered under an inclusion based on induced subgraphs. This conjecture has now been settled completely by M. Chudnovsky and P. Seymour. One part of the proof proves the result for the bounded case, a result proved independently by C. J. Altomare. We give two short proofs of the bounded case of S. B. Rao's conjecture. Both the proofs use the fact that if the number of entries in an integer sequence (with even sum) is much larger than its highest term, then it is necessarily graphic.
Performance of the Eschenauer-Gligor key distribution scheme under an ON/OFF channel
Published in IEEE Transactions on Information Theory, Volume: 58, Issue: 6 Pages: 3821-3835, June 2012
• View Publication
• BIB
We investigate the secure connectivity of wireless sensor networks under the random key distribution scheme of Eschenauer and Gligor. Unlike recent work which was carried out under the assumption of full visibility, here we assume a (simplified) communication model where unreliable wireless links are represented as on/off channels. We present conditions on how to scale the model parameters so that the network i) has no secure node which is isolated and ii) is securely connected, both with high probability when the number of sensor nodes becomes large. The results are given in the form of full zero-one laws, and constitute the first complete analysis of the EG scheme under non-full visibility. Through simulations these zero-one laws are shown to be valid also under a more realistic communication model, i.e., the disk model. The relations to the Gupta and Kumar's conjecture on the connectivity of geometric random graphs with randomly deleted edges are also discussed.
Line-transitive point-imprimitive linear spaces with Fang-Li parameter gcd(k,r) at most 10
Published
• View Publication
• BIB
This paper is a further contribution to the classification of line-transitive finite linear spaces. We prove that if S is a non-trivial finite linear space with the Fang-Li parameter gcd(k,r) is 9 or 10, the automorphism group G of S is line-transitive and point-imprimitive, then S is the Desarguesian projective plane PG(2,9).
Multi-way expansion constants and partitions of a graph
In this paper, we consider a relation between $k$-way expansion constant of a finite graph and the expansion constants of subgraphs in a $k$-partition of the graph. Using this relation, we show that a sequence of finite graphs which have uniformly bounded $k+1$-way expansion constants and uniformly bounded degrees can be divided into $k$ or less sequences of expanders. Furthermore, we prove that such sequence of finite graphs is not coarsely embeddable into any Hilbert space.
Contractions and expansion
Published
• View Publication
• BIB
Let A be a finite set of reals and let K >= 1 be a real number. Suppose that for each a in A we are given an injective map f_a : A -> R which fixes a and contracts other points towards it in the sense that |a - f_a(x)| <= |a - x|/K for all x in A, and such that f_a(x) always lies between a and x. Then the union of the f_a(A) has cardinality >= K|A|/10 - O_K(1). An immediate consequence of this is the estimate |A + K.A| >= K|A|/10 - O_K(1), which is a slightly weakened version of a result of Bukh.