Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Orthogonal surfaces
Published
• View Publication
• BIB
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthogonal surfaces in one or two dimensions are rather trivial already the three dimensional case has a rich structure with connections to Schnyder woods, planar graphs and 3-polytopes.
Our objective is to detect more of the structure of orthogonal surfaces in four and higher dimensions. In particular we are driven by the question which non-generic orthogonal surfaces have a polytopal structure.
We study characteristic points and the cp-orders of orthogonal surfaces, i.e., the dominance orders on the characteristic points. In the generic case these orders are (almost) face lattices of polytopes. Examples show that in general cp-orders can lack key properties of face lattices. We investigate extra requirements which may help to have cp-orders which are face lattices.
Finally, we turn the focus and ask for the realizability of polytopes on orthogonal surfaces. There are criteria which prevent large classes of simplicial polytopes from being realizable. On the other hand we identify some families of polytopes which can be realized on orthogonal surfaces.
Exact conditions for countable inclusion-exclusion identity and extensions
We give simple necessary and sufficient conditions for the inclusion-exclusion identity to hold for an infinite countable number of sets. In terms of a random variable, whose range are nonnegative integers, this condition is equivalent to the convergence to zero of binomial moments. Some standard extensions of the countable inclusion-exclusion identity are also given.
A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma
Published
• View Publication
• BIB
We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of Nagle-Schacht-Rödl-Skokan and Gowers, which does not require the hypergraph regularity lemma and requires significantly less computation. This in turn gives new proofs of several corollaries of the hypergraph removal lemma, such as Szemerédi's theorem on arithmetic progressions.
Noncommutative Bessel symmetric functions
Published in Canadian Mathematical Bulletin 51 (2008), no. 3, 424--438
• View Publication
• BIB
The consideration of tensor products of 0-Hecke algebra modules leads to natural analogs of the Bessel J-functions in the algebra of noncommutative symmetric functions. This provides a simple explanation of various combinatorial properties of Bessel functions.
The Automorphism Group of a Finite p-Group is Almost Always a p-Group
Published in Journal of Algebra 312(2007) 294-329
• View Publication
• BIB
Many common finite p-groups admit automorphisms of order coprime to p, and when p is odd, it is reasonably difficult to find finite p-groups whose automorphism group is a p-group. Yet the goal of this paper is to prove that the automorphism group of a finite p-group is almost always a p-group. The asymptotics in our theorem involve fixing any two of the following parameters and letting the third go to infinity: the lower p-length, the number of generators, and p. The proof of this theorem depends on a variety of topics: counting subgroups of a p-group; analyzing the lower p-series of a free group via its connection with the free Lie algebra; counting submodules of a module via Hall polynomials; and using numerical estimates on Gaussian coefficients.
Infinite primitive directed graphs
Published in Journal of Algebraic Combinatorics 31 (2010) 131-141
• View Publication
• BIB
A group $G$ of permutations of a set $Ω$ is {\em primitive} if it acts transitively on $Ω$, and the only $G$-invariant equivalence relations on $Ω$ are the trivial and universal relations. A graph $Γ$ is {\em primitive} if its automorphism group acts primitively on its vertex set.
A graph $Γ$ has {\em connectivity one} if it is connected and there exists a vertex $α$ of $Γ$, such that the induced graph $Γ\setminus \{α\}$ is not connected. If $Γ$ has connectivity one, a {\em block} of $Γ$ is a connected subgraph that is maximal subject to the condition that it does not have connectivity one.
The primitive undirected graphs with connectivity one have been fully classified by Jung and Watkins: the blocks of such graphs are primitive, pairwise-isomorphic and have at least three vertices. When one considers the general case of a directed primitive graph with connectivity one, however, this result no longer holds. In this paper we investigate the structure of these directed graphs, and obtain a complete characterisation.
Measure Theory on Graphs
In this paper, we defined three kinds of measures depending on the given finite directed graphs. For the given finite directed graph, we can construct the free semigroupoid, the diagram set and the reduced diagram set, as algebraic structures determined by the admissibility on the graph. The power sets of such structures are sigma algebras of them, respectively. On them, we can define a measure. The pain purpose of this paper is to introduce those three measures and observe some properties of them. Moreover, we consider Measure Theory on them
Bounds on graph eigenvalues I
Published
• View Publication
• BIB
We improve recent results relating graph eigenvalues to other graph parameters like girth, domination number, and minimum degree.
Spectral Radius and maximum degree of connected graphs
We give an upper bound on the maximal eigenvalue of the adjacency matrix of a connected graph in terms of its maximum degree, diameter and order. This bound is best possible up to a constant factor and improves prevoius results of Stevanovic, Zhang, and Alon and Sudakov.
On the Number of Pseudo-Triangulations of Certain Point Sets
Published in J. Combin. Theory Ser. A, 115 (2008) 254-278.
• View Publication
• BIB
We pose a monotonicity conjecture on the number of pseudo-triangulations of any planar point set, and check it on two prominent families of point sets, namely the so-called double circle and double chain. The latter has asymptotically $12^n n^{Θ(1)}$ pointed pseudo-triangulations, which lies significantly above the maximum number of triangulations in a planar point set known so far.
Graph and Union of Graphs Compositions
Knopfmacher et all [1] was introduced the graph compositions` notion. In this note we add to these a new construction of tree-like graphs where nodes are graphs themselves. The first examples of these tree-like compositions, a corresponding theorem and resulting conclusions are provided.
A polynomial generalization of the power-compositions determinant
Published
• View Publication
• BIB
Let $C(n,p)$ be the set of $p$-compositions of an integer $n$, i.e., the set of $p$-tuples $\bmα=(α_1,...,α_p)$ of nonnegative integers such that $α_1+...+α_p=n$, and $\mathbf{x}=(x_1,...,x_p)$ a vector of indeterminates. For $\bmα$ and ${\bmβ}$ two $p$-compositions of $n$, define $(\mathbf{x}+\bmα)^{\bmβ} = (x_1+α_1)^{β_1}... x_p+α_p)^{β_p}$. In this paper we prove an explicit formula for the determinant $\det_{\bmα,{\bmβ}\in C(n,p)}((\mathbf{x}+\bmα)^{\bmβ})$. In the case $x_1=...=x_p$ the formula gives a proof of a conjecture by C.~Krattenthaler.
Quantum automorphism groups of vertex-transitive graphs of order $\leq 11$
Published in J. Algebraic Combin. 26 (2007), 83-105
• View Publication
• BIB
We study quantum automorphism groups of vertex-transitive graphs having less than 11 vertices. With one possible exception, these can be obtained from cyclic groups ${\mathbb Z}_n$, symmetric groups $S_n$ and quantum symmetric groups $\mathcal Q_n$, by using various product operations. The exceptional case is that of the Petersen graph, and we present some questions about it.
Empty Rectangles and Graph Dimension
We consider rectangle graphs whose edges are defined by pairs of points in diagonally opposite corners of empty axis-aligned rectangles. The maximum number of edges of such a graph on $n$ points is shown to be 1/4 n^2 +n -2. This number also has other interpretations:
* It is the maximum number of edges of a graph of dimension $\bbetween{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,\ol{π_1},\ol{π_2}$.
* It is the number of 1-faces in a special Scarf complex.
The last of these interpretations allows to deduce the maximum number of empty axis-aligned rectangles spanned by 4-element subsets of a set of $n$ points. Moreover, it follows that the extremal point sets for the two problems coincide.
We investigate the maximum number of of edges of a graph of dimension $\between{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,π_3,\ol{π_3}$. This maximum is shown to be $1/4 n^2 + O(n)$.
Box graphs are defined as the 3-dimensional analog of rectangle graphs. The maximum number of edges of such a graph on $n$ points is shown to be $7/16 n^2 + o(n^2)$.
Higher spin vertex models with domain wall boundary conditions
Published in J.Stat.Mech.0603:P03012,2006
• View Publication
• BIB
We derive determinant expressions for the partition functions of spin-k/2 vertex models on a finite square lattice with domain wall boundary conditions.
On polynomial digraphs
Published in Discrete Math. (2006), 306/4, p 401-412
• View Publication
• BIB
Let $Φ(x,y)$ be a bivariate polynomial with complex coefficients. The zeroes of $Φ(x,y)$ are given a combinatorial structure by considering them as arcs of a directed graph $G(Φ)$. This paper studies some relationship between the polynomial $Φ(x,y)$ and the structure of $G(Φ)$.
The characteristic ideal of a finite, connected, regular graph
Published in Proc. ISSAC-2004, ACM, 50-57
• Search Publication
Let $Φ(x,y)\in\mathbb{C}[x,y]$ be a symmetric polynomial of partial degree $d$. The graph $G(Φ)$ is defined by taking $\mathbb{C}$ as set of vertices and the points of $\mathbb{V}(Φ(x,y))$ as edges. We study the following problem: given a finite, connected, $d$-regular graph $H$, find the polynomials $Φ(x,y)$ such that $G(Φ)$ has some connected component isomorphic to $H$ and, in this case, if $G(Φ)$ has (almost) all components isomorphic to $H$. The problem is solved by associating to $H$ a characteristic ideal which offers a new perspective to the conjecture formulated in a previous paper, and allows to reduce its scope. In the second part, we determine the characteristic ideal for cycles of lengths $\le 5$ and for complete graphs of order $\le 6$. This results provide new evidence for the conjecture.
Intersections of Leray complexes and regularity of monomial ideals
Published
• View Publication
• BIB
For a simplicial complex X and a field K, let h_i(X)=\dim \tilde{H}_i(X;K). It is shown that if X,Y are complexes on the same vertex set, then for all k h_{k-1}(X\cap Y) \leq \sum_{σ\in Y} \sum_{i+j=k} h_{i-1}(X[σ])\cdot h_{j-1}(\lk(Y,σ)) . A simplicial complex X is d-Leray over K, if h_i(Y)=0 for all induced subcomplexes Y \subset X and i \geq d. Let L_K(X) denote the minimal d such that X is d-Leray over K. The above theorem implies that if X,Y are simplicial complexes on the same vertex set then L_K(X \cap Y) \leq L_K(X) +L_K(Y). Reformulating this inequality in commutative algebra terms, we obtain the following result conjectured by Terai: If I,J are square-free monomial ideals in S=K[x_1,...,x_n], then reg(I+J) \leq reg(I)+reg(J)-1 where reg(I) denotes the Castelnuovo-Mumford regularity of I.
Geometric bistellar flips. The setting, the context and a construction
Published in In "Proceedings of the International Congress of Mathematicians, 2006" (M. Sanz-Sole, J. Soria, J. L. Varona, J. Verdera, eds.), Eur. Math. Soc., 2006, Vol III, pp. 931-962
• Search Publication
We give a self-contained introduction to the theory of secondary polytopes and geometric bistellar flips in triangulations of polytopes and point sets, as well as a review of some of the known results and connections to algebraic geometry, topological combinatorics, and other areas.
As a new result, we announce the construction of a point set in general position with a disconnected space of triangulations. This shows, for the first time, that the poset of strict polyhedral subdivisions of a point set is not always connected.
The Ehrhart Function for Symbols
Published in Surveys in Differential Geometry X, 31-41 (2006)
• View Publication
• BIB
We derive an Ehrhart function for symbols from the Euler-MacLaurin formula with remainder.