Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Additive decomposability of functions over abelian groups
Published
• View Publication
• BIB
Abelian groups are classified by the existence of certain additive decompositions of group-valued functions of several variables with arity gap 2.
Eulerian polynomials as moments, via exponential Riordan arrays
Using the theory of exponential Riordan arrays and orthogonal polynomials, we demonstrate that the "descending power" Eulerian polynomials, and their once shifted sequence, are moment sequences for simple families of orthogonal polynomials, which we characterize in terms of their three-term recurrence. We obtain the generating functions of the polynomial sequences in terms of continued fractions, and we also calculate their Hankel transforms.
Combinatorial polynomials as moments, Hankel transforms and exponential Riordan arrays
In the case of two combinatorial polynomials, we show that they can exhibited as moments of paramaterized families of orthogonal polynomials, and hence derive their Hankel transforms. Exponential Riordan arrays are the main vehicles used for this.
Collinearities in Kinetic Point Sets
Let $P$ be a set of $n$ points in the plane, each point moving along a given trajectory. A {\em $k$-collinearity} is a pair $(L,t)$ of a line $L$ and a time $t$ such that $L$ contains at least $k$ points at time $t$, the points along $L$ do not all coincide, and not all of them are collinear at all times. We show that, if the points move with constant velocity, then the number of 3-collinearities is at most $2\binom{n}{3}$, and this bound is tight. There are $n$ points having $Ω(n^3/k^4 + n^2/k^2)$ distinct $k$-collinearities. Thus, the number of $k$-collinearities among $n$ points, for constant $k$, is $O(n^3)$, and this bound is asymptotically tight. In addition, there are $n$ points, moving in pairwise distinct directions with different speeds, such that no three points are ever collinear.
Generic rectangulations
Published
• View Publication
• BIB
A rectangulation is a tiling of a rectangle by a finite number of rectangles. The rectangulation is called generic if no four of its rectangles share a single corner. We initiate the enumeration of generic rectangulations up to combinatorial equivalence by establishing an explicit bijection between generic rectangulations and a set of permutations defined by a pattern-avoidance condition analogous to the definition of the twisted Baxter permutations.
On the Mobius function of a lower Eulerian Cohen-Macaulay poset
Published
• View Publication
• BIB
A certain inequality is shown to hold for the values of the Mobius function of the poset obtained by attaching a maximum element to a lower Eulerian Cohen-Macaulay poset. In two important special cases, this inequality provides partial results supporting Stanley's nonnegativity conjecture for the toric h-vector of a lower Eulerian Cohen-Macaulay meet-semilattice and Adin's nonnegativity conjecture for the cubical h-vector of a Cohen-Macaulay cubical complex.
Combinatorial minors for matrix functions and their applications
As well known, permanent of a square (0,1)-matrix $A$ of order $n$ enumerates the permutations $β$ of $1,2,...,n$ with the incidence matrices $B\leq A.$ To obtain enumerative information on even and odd permutations with condition $B\leq A,$ we should calculate two-fold vector $(a_1,a_2)$ with $a_1+a_2 =per A.$ More general, the introduced $ω$-permanent, where $ω=e^{2πi/m},$ we calculate as $m$-fold vector. For these and other matrix functions we generalize the Laplace theorem of their expansion over elements of the first row, using the defined so-called "combinatorial minors". In particular, in this way, we calculate the cycle index of permutations with condition $B\leq A.$
On (almost) extreme components in Kronecker products of characters of the symmetric groups
Published in Journal of Algebra 410 (2014) 460-500
• View Publication
• BIB
Using a recursion formula due to Dvir, we obtain information on maximal and almost maximal components in Kronecker products of characters of the symmetric groups. This is applied to confirm a conjecture made by Bessenrodt and Kleshchev in 1999, which classifies all such Kronecker products with only three or four components.
Arithmetic matroids, Tutte polynomial, and toric arrangements
We introduce the notion of an arithmetic matroid, whose main example is given by a list of elements of a finitely generated abelian group. In particular we study the representability of its dual, providing an extension of the Gale duality to this setting. Guided by the geometry of generalized toric arrangements, we provide a combinatorial interpretation of the associated arithmetic Tutte polynomial, which can be seen as a generalization of Crapo's formula for the classical Tutte polynomial.
Rigid components in fixed-lattice and cone frameworks
We study the fundamental algorithmic rigidity problems for generic frameworks periodic with respect to a fixed lattice or a finite-order rotation in the plane. For fixed-lattice frameworks we give an $O(n^2)$ algorithm for deciding generic rigidity and an O(n^3) algorithm for computing rigid components. If the order of rotation is part of the input, we give an O(n^4) algorithm for deciding rigidity; in the case where the rotation's order is 3, a more specialized algorithm solves all the fundamental algorithmic rigidity problems in O(n^2) time.
On the derivative cones of polyhedral cones
Published
• View Publication
• BIB
Hyperbolic polynomials elegantly encode a rich class of convex cones that includes polyhedral and spectrahedral cones. Hyperbolic polynomials are closed under taking polars and the corresponding cones, the derivative cones, yield relaxations for the associated optimization problem and exhibit interesting facial properties. While it is unknown if every hyperbolicity cone is a section of the positive semidefinite cone, it is natural to ask whether spectrahedral cones are closed under taking polars. In this note we give an affirmative answer for polyhedral cones by exhibiting an explicit spectrahedral representation for the first derivative cone. We also proof that higher polars do not have an determinantal representation which shows that the problem for general spectrahedral cones is considerably more difficult.
Counting Irreducible Double Occurrence Words
Published in Congr. Numer. 207 (2011), 181-196
• Search Publication
A double occurrence word $w$ over a finite alphabet $Σ$ is a word in which each alphabet letter appears exactly twice. Such words arise naturally in the study of topology, graph theory, and combinatorics. Recently, double occurrence words have been used for studying DNA recombination events. We develop formulas for counting and enumerating several elementary classes of double occurrence words such as palindromic, irreducible, and strongly-irreducible words.
Twisted strong Macdonald theorems and adjoint orbits
Published
• View Publication
• BIB
The strong Macdonald theorems state that, for $L$ reductive and $s$ an odd variable, the cohomology algebras $H^*(L[z]/z^N)$ and $H^*(L[z,s])$ are freely generated, and describe the cohomological, $s$-, and $z$-degrees of the generators. The resulting identity for the $z$-weighted Euler characteristic is equivalent to Macdonald's constant term identity for a finite root system. We calculate $H^*(\mathfrak{p} / z^N \mathfrak{p})$ and $H^*(\mathfrak{p}[s])$ for $\mathfrak{p}$ a standard parahoric in a twisted loop algebra, giving strong Macdonald theorems that take into account both a parabolic component and a possible diagram automorphism twist. In particular we show that $H^*(\mathfrak{p} / z^N \mathfrak{p})$ contains a parabolic subalgebra of the coinvariant algebra of the fixed-point subgroup of the Weyl group of $L$, and thus is no longer free. We also prove a strong Macdonald theorem for $H^*(\mathfrak{b}; S^* \mathfrak{n}^*)$ and $H^*(\mathfrak{b} / z^N \mathfrak{n})$ when $\mathfrak{b}$ and $\mathfrak{n}$ are Iwahori and nilpotent subalgebras respectively of a twisted loop algebra. For each strong Macdonald theorem proved, taking $z$-weighted Euler characteristics gives an identity equivalent to Macdonald's constant term identity for the corresponding affine root system. As part of the proof, we study the regular adjoint orbits for the adjoint action of the twisted arc group associated to $L$, proving an analogue of the Kostant slice theorem.
Simple signed Steiner triple systems
Published
• View Publication
• BIB
Let $X$ be a $v$-set, $\B$ a set of 3-subsets (triples) of $X$, and $\B^+\cup\B^-$ a partition of $\B$ with $|\B^-|=s$. The pair $(X,\B)$ is called a simple signed Steiner triple system, denoted by ST$(v,s)$, if the number of occurrences of every 2-subset of $X$ in triples $B\in\B^+$ is one more than the number of occurrences in triples $B\in\B^-$. In this paper we prove that $\st(v,s)$ exists if and only if $v\equiv1,3\pmod6$, $v\ne7$, and $s\in\{0,1,...,s_v-6,s_v-4,s_v\}$, where $s_v=v(v-1)(v-3)/12$ and for $v=7$, $s\in\{0,2,3,5,6,8,14\}$.
The b-Chromatic Number of Regular Graphs via The Edge Connectivity
Published
• View Publication
• BIB
\noindent The b-chromatic number of a graph $G$, denoted by $φ(G)$, is the largest integer $k$ that $G$ admits a proper coloring by $k$ colors, such that each color class has a vertex that is adjacent to at least one vertex in each of the other color classes. El Sahili and Kouider [About b-colorings of regular graphs, Res. Rep. 1432, LRI, Univ. Orsay, France, 2006] asked whether it is true that every $d$-regular graph $G$ of girth at least 5 satisfies $φ(G)=d+1$. Blidia, Maffray, and Zemir [On b-colorings in regular graphs, Discrete Appl. Math. 157 (2009), 1787-1793] showed that the Petersen graph provides a negative answer to this question, and then conjectured that the Petersen graph is the only exception. In this paper, we investigate a strengthened form of the question.
The edge connectivity of a graph $G$, denoted by $λ(G)$, is the minimum cardinality of a subset $U$ of $E(G)$ such that $G\setminus U$ is either disconnected or a graph with only one vertex. A $d$-regular graph $G$ is called super-edge-connected if every minimum edge-cut is the set of all edges incident with a vertex in $G$, i.e., $λ(G)=d$ and every minimum edge-cut of $G$ isolates a vertex. We show that if $G$ is a $d$-regular graph that contains no 4-cycle, then $φ(G)=d+1$ whenever $G$ is not super-edge-connected.
A Note on the Entropy/Influence Conjecture
Published
• View Publication
• BIB
The entropy/influence conjecture, raised by Friedgut and Kalai in 1996, seeks to relate two different measures of concentration of the Fourier coefficients of a Boolean function. Roughly saying, it claims that if the Fourier spectrum is "smeared out", then the Fourier coefficients are concentrated on "high" levels. In this note we generalize the conjecture to biased product measures on the discrete cube, and prove a variant of the conjecture for functions with an extremely low Fourier weight on the "high" levels.
A construction of pooling designs with surprisingly high degree of error correction
Published
• View Publication
• BIB
It is well-known that many famous pooling designs are constructed from mathematical structures by the "containment matrix" method. In this paper, we propose another method and obtain a family of pooling designs with surprisingly high degree of error correction based on a finite set. Given the numbers of items and pools, the error-tolerant property of our designs is much better than that of Macula's designs when the size of the set is large enough.
Pooling designs with surprisingly high degree of error correction in a finite vector space
Published
• View Publication
• BIB
Pooling designs are standard experimental tools in many biotechnical applications. It is well-known that all famous pooling designs are constructed from mathematical structures by the "containment matrix" method. In particular, Macula's designs (resp. Ngo and Du's designs) are constructed by the containment relation of subsets (resp. subspaces) in a finite set (resp. vector space). Recently, we generalized Macula's designs and obtained a family of pooling designs with more high degree of error correction by subsets in a finite set. In this paper, as a generalization of Ngo and Du's designs, we study the corresponding problems in a finite vector space and obtain a family of pooling designs with surprisingly high degree of error correction. Our designs and Ngo and Du's designs have the same number of items and pools, respectively, but the error-tolerant property is much better than that of Ngo and Du's designs, which was given by D'yachkov et al. \cite{DF}, when the dimension of the space is large enough.
The chromatic spectrum of 3-uniform bi-hypergraphs
Published
• View Publication
• BIB
Let $S=\{n_1,n_2,...,n_t\}$ be a finite set of positive integers with $\min(S)\geq 3$ and $t\geq 2$. For any positive integers $s_1,s_2,...,s_t$, we construct a family of 3-uniform bi-hypergraphs ${\cal H}$ with the feasible set $S$ and $r_{n_i}=s_i, i=1,2,...,t$, where each $r_{n_i}$ is the $n_i$th component of the chromatic spectrum of ${\cal H}$. As a result, we solve one open problem for 3-uniform bi-hypergraphs proposed by Bujtás and Tuza in 2008. Moreover, we find a family of sub-hypergraphs with the same feasible set and the same chromatic spectrum as it's own. In particular, we obtain a small upper bound on the minimum number of vertices in 3-uniform bi-hypergraphs with any given feasible set.
The eigenvalues of $q$-Kneser graphs
Published
• View Publication
• BIB
In this note, we prove some combinatorial identities and obtain a simple form of the eigenvalues of $q$-Kneser graphs.