Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Constructive decomposition of functions of two variables using functions of one variable
Given a compact set K in the plane, which contains no triple of points forming a vertical and a horizontal segment, and a continuous real-valued map f on K, we give a construction of real-valued continuous maps of one variable g,h such that f(x,y)=g(x)+h(y) for all points (x,y) from K. This provides a constructive proof of a part of Sternfeld's theorem on basic embeddings in the plane. In the proof we construct a sequence of finite graphs, which provide an arbitrarily good approximation of the set K.
A conjecture of Stanley on alternating permutations
Published
• View Publication
• BIB
We give two simple proofs of a conjecture of Richard Stanley concerning the equidistribution of derangements and alternating permutations with the maximal number of fixed points.
The polynomial algorithm for optimal spanning hyperforest problem
This paper is devoted to one theory of hypergraph connectivity and presents the proof of the polynomial algorithm for finding an optimal spanning hyperforest(hypertree) for any given weighed q-uniform hypergraph.
Algebraic curves and Maximal arcs
Published in Journal of Algebraic Combinatorics 28: 531-544 (2008)
• View Publication
• BIB
A lower bound on the minimum degree of the plane algebraic curves containing every point in a large point-set $K$ of the Desarguesian plane $PG(2,q)$ is obtained. The case where $K$ is a maximal $(k,n)$-arc is considered to greater extent.
Polynomials that Sign Represent Parity and Descartes' Rule of Signs
Published in Comput. Complexity, 17 (2008) 377-406
• View Publication
• BIB
A real polynomial $P(X_1,..., X_n)$ sign represents $f: A^n \to \{0,1\}$ if for every $(a_1, ..., a_n) \in A^n$, the sign of $P(a_1,...,a_n)$ equals $(-1)^{f(a_1,...,a_n)}$. Such sign representations are well-studied in computer science and have applications to computational complexity and computational learning theory. In this work, we present a systematic study of tradeoffs between degree and sparsity of sign representations through the lens of the parity function. We attempt to prove bounds that hold for any choice of set $A$. We show that sign representing parity over $\{0,...,m-1\}^n$ with the degree in each variable at most $m-1$ requires sparsity at least $m^n$. We show that a tradeoff exists between sparsity and degree, by exhibiting a sign representation that has higher degree but lower sparsity. We show a lower bound of $n(m -2) + 1$ on the sparsity of polynomials of any degree representing parity over $\{0,..., m-1\}^n$. We prove exact bounds on the sparsity of such polynomials for any two element subset $A$. The main tool used is Descartes' Rule of Signs, a classical result in algebra, relating the sparsity of a polynomial to its number of real roots. As an application, we use bounds on sparsity to derive circuit lower bounds for depth-two AND-OR-NOT circuits with a Threshold Gate at the top. We use this to give a simple proof that such circuits need size $1.5^n$ to compute parity, which improves the previous bound of ${4/3}^{n/2}$ due to Goldmann (1997). We show a tight lower bound of $2^n$ for the inner product function over $\{0,1\}^n \times \{0, 1\}^n$.
Convex hulls of polyominoes
In this article we prove a conjecture of Bezdek, Brass, and Harborth concerning the maximum volume of the convex hull of any facet-to-facet connected system of n unit hypercubes in the d-dimensional Euclidean space. For d=2 we enumerate the extremal polyominoes and determine the set of possible areas of the convex hull for each n.
On Sequentially Cohen-Macaulay Complexes and Posets
The classes of sequentially Cohen-Macaulay and sequentially homotopy Cohen-Macaulay complexes and posets are studied. First, some different versions of the definitions are discussed and the homotopy type is determined. Second, it is shown how various constructions, such as join, product and rank-selection preserve these properties. Third, a characterization of sequential Cohen-Macaulayness for posets is given. Finally, in an appendix we outline connections with ring-theory and survey some uses of sequential Cohen-Macaulayness in commutative algebra.
Random and exhaustive generation of permutations and cycles
Published in Annals of Combinatorics 12 (2009), 509-520
• View Publication
• BIB
In 1986 S. Sattolo introduced a simple algorithm for uniform random generation of cyclic permutations on a fixed number of symbols. This algorithm is very similar to the standard method for generating a random permutation, but is less well known.
We consider both methods in a unified way, and discuss their relation with exhaustive generation methods. We analyse several random variables associated with the algorithms and find their grand probability generating functions, which gives easy access to moments and limit laws.
Chromatic number and spectral radius
Published
• View Publication
• BIB
Let G be a graph, H be its chromatic number, L be the largest eigenvalue of its Laplacian, and M be the largest eigenvalue of its adjacency matrix. Then, complementing a well-known result of Hoffman, we show that L>=(H/(H-1))M
Topological obstructions for vertex numbers of Minkowski sums
Published in J. Combin. Theory Ser. A 116 (2009), no. 1, 168-179
• View Publication
• BIB
We show that for polytopes P_1, P_2, ..., P_r \subset \R^d, each having n_i \ge d+1 vertices, the Minkowski sum P_1 + P_2 + ... + P_r cannot achieve the maximum of \prod_i n_i vertices if r \ge d. This complements a recent result of Fukuda & Weibel (2006), who show that this is possible for up to d-1 summands. The result is obtained by combining methods from discrete geometry (Gale transforms) and topological combinatorics (van Kampen--type obstructions) as developed in Rörig, Sanyal, and Ziegler (2007).
The spectral radius and the maximum degree of irregular graphs
Let $G$ be an irregular graph on $n$ vertices with maximum degree $Δ$ and diameter $D$. We show that Δ-λ_1>\frac{1}{nD} where $λ_1$ is the largest eigenvalue of the adjacency matrix of $G$. We also study the effect of adding or removing few edges on the spectral radius of a regular graph.
An operator formula for the number of halved monotone triangles with prescribed bottom row
Published
• View Publication
• BIB
Monotone triangles are certain triangular arrays of integers, which correspond to $n \times n$ alternating sign matrices when prescribing $(1,2,...,n)$ as bottom row of the monotone triangle. In this article we define halved monotone triangles, a specialization of which correspond to vertically symmetric alternating sign matrices. We derive an operator formula for the number of halved monotone triangles with prescribed bottom row which is analogous to our operator formula for the number of ordinary monotone triangle.
Production matrices and Riordan arrays
Published
• View Publication
• BIB
We translate the concept of succession rule and the ECO method into matrix notation, introducing the concept of a production matrix. This allows us to combine our method with other enumeration techniques using matrices, such as the method of Riordan matrices. Finally we treat the case of rational production matrices, i.e. those leading to rational generating functions.
The Riff-Shuffle Distribution is Unimodal
We show that the probability mass function of the riff-shuffle distribution, also known as the minimum negative binomial distribution, is unimodal, but in general not log-concave.
On isomorphism of simplicial complexes and their related algebras
Published in Bulletin of the Iranian Math. Soc., 38 (2009) no. 2, 41--48
• Search Publication
In this paper, we provide a simple proof for the fact that two simplicial complexes are isomorphic if and only if their associated Stanley-Reisner rings, or their associated facet rings are isomorphic as $K$-algebras. As a consequence, we show that two graphs are isomorphic if and only if their associated edge rings are isomorphic as $K$-algebras. Based on an explicit $K$-algebra isomorphism of two Stanley-Reisner rings, or facet rings or edge rings, we present a fast algorithm to find explicitly the isomorphism of the associated simplicial complexes, or graphs.
Rigidity and volume preserving deformation on degenerate simplices
Published
• View Publication
• BIB
Given a degenerate $(n+1)$-simplex in a $d$-dimensional space $M^d$ (Euclidean, spherical or hyperbolic space, and $d\geq n$), for each $k$, $1\leq k\leq n$, Radon's theorem induces a partition of the set of $k$-faces into two subsets. We prove that if the vertices of the simplex vary smoothly in $M^d$ for $d=n$, and the volumes of $k$-faces in one subset are constrained only to decrease while in the other subset only to increase, then any sufficiently small motion must preserve the volumes of all $k$-faces; and this property still holds in $M^d$ for $d\geq n+1$ if an invariant $c_{k-1}(α^{k-1})$ of the degenerate simplex has the desired sign. This answers a question posed by the author, and the proof relies on an invariant $c_k(ω)$ we discovered for any $k$-stress $ω$ on a cell complex in $M^d$. We introduce a characteristic polynomial of the degenerate simplex by defining $f(x)=\sum_{i=0}^{n+1}(-1)^{i}c_i(α^i)x^{n+1-i}$, and prove that the roots of $f(x)$ are real for the Euclidean case. Some evidence suggests the same conjecture for the hyperbolic case.
Matroid complexity and non-succinct descriptions
Published
• View Publication
• BIB
We investigate an approach to matroid complexity that involves describing a matroid via a list of independent sets, bases, circuits, or some other family of subsets of the ground set. The computational complexity of algorithmic problems under this scheme appears to be highly dependent on the choice of input-type. We define an order on the various methods of description, and we show how this order acts upon ten types of input. We also show that under this approach several natural algorithmic problems for matroids are complete in classes thought not to be equal to P.
Shifted Schur process and asymptotics of large random strict plane partitions
Published in Int. Math. Res. Notices (2007), Vol 2007, article ID rnm043, 53 pages
• View Publication
• BIB
In this paper we define the shifted Schur process as a measure on sequences of strict partitions. This process is a generalization of the shifted Schur measure introduced in [TW] and [Mat] and is a shifted version of the Schur process introduced in [OR]. We prove that the shifted Schur process defines a Pfaffian point process. We further apply this fact to compute the bulk scaling limit of the correlation functions for a measure on strict plane partitions which is an analog of the uniform measure on ordinary plane partitions. As a byproduct, we obtain a shifted analog of the famous MacMahon's formula.
The ultrafilter: A peerless tool
Published in Tatra Mt. Math. Publ. Density Concepts, 31 (2005) 131--176
• Search Publication
This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as {arXiv:math/0702587v1} [math.HO] 20 Feb 2007. This paper was meant for a series of talks at the Bratislava Workshop on the density concept, May 2004. A number of the very many facets of ultrafilters are reviewed (some of them, a bit cursorily, as is to be expected in a short space, and time) including Condorcet's Paradox, ultraproducts and the theory of infinitesimals (non-standard analysis), Banach generalized limits in sequence spaces, Choquet's limits for families of closed sets in general topology and intrinsic geometry, representations of topologies as binary relations among ultrafilters, additive bases in number theory.
Convex Rank Tests and Semigraphoids
Published
• View Publication
• BIB
Convex rank tests are partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. Each class consists of the linear extensions of a partially ordered set specified by data. Our methods refine existing rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for exploratory analysis of ordinal data. We establish a bijection between convex rank tests and probabilistic conditional independence structures known as semigraphoids. The subclass of submodular rank tests is derived from faces of the cone of submodular functions, or from Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Of particular interest are graphical tests, which correspond to both graphical models and to graph associahedra.