Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On Stanley's Inequalities for Character Multiplicities
Published
• View Publication
• BIB
Let G be a group of automorphisms of a ranked poset Q and let N_{k} denote the number of orbits on the elements of rank k in Q. What can be said about the N_{k} for standard posets, such as finite projective spaces or the Boolean lattice? We discuss the connection of this question to the representation theory of the group, and in particular to the inequalities of Livingstone-Wagner and Stanley. We show that these are special cases of more general inequalities which depend on the prime divisors of the group order. The new inequalities often yield stronger bounds depending on the order of the group.
Error Graphs and the Reconstruction of Elements in Groups
Published
• View Publication
• BIB
Packing and covering problems for metric spaces, and graphs in particular, are of essential interest in combinatorics and coding theory. They are formulated in terms of metric balls of vertices. We consider a new problem in graph theory which is also based on the consideration of metric balls of vertices, but which is distinct from the traditional packing and covering problems. This problem is motivated by applications in information transmission when redundancy of messages is not sufficient for their exact reconstruction, and applications in computational biology when one wishes to restore an evolutionary process. It can be defined as the reconstruction, or identification, of an unknown vertex in a given graph from a minimal number of vertices (erroneous or distorted patterns) in a metric ball of a given radius r around the unknown vertex. For this problem it is required to find minimum restrictions for such a reconstruction to be possible and also to find efficient reconstruction algorithms under such minimal restrictions.
In this paper we define error graphs and investigate their basic properties. A particular class of error graphs occurs when the vertices of the graph are the elements of a group, and when the path metric is determined by a suitable set of group elements. These are the undirected Cayley graphs. Of particular interest is the transposition Cayley graph on the symmetric group which occurs in connection with the analysis of transpositional mutations in molecular biology. We obtain a complete solution of the above problems for the transposition Cayley graph on the symmetric group.
A cactus theorem for end cuts
Published
• View Publication
• BIB
Dinits-Karzanov-Lomonosov showed that it is possible to encode all minimal edge cuts of a graph by a tree-like structure called a cactus. We show here that minimal edge cuts separating ends of the graph rather than vertices can be `encoded' also by a cactus. We apply our methods to finite graphs as well and we show that several types of cuts can be encoded by cacti.
A Universal 4D Model for Double-Efficient Lossless Data Compressions
This article discusses the theory, model, implementation and performance of a combinatorial fuzzy-binary and-or (FBAR) algorithm for lossless data compression (LDC) and decompression (LDD) on 8-bit characters. A combinatorial pairwise flags is utilized as new zero/nonzero, impure/pure bit-pair operators, where their combination forms a 4D hypercube to compress a sequence of bytes. The compressed sequence is stored in a grid file of constant size. Decompression is by using a fixed size translation table (TT) to access the grid file during I/O data conversions. Compared to other LDC algorithms, double-efficient (DE) entropies denoting 50% compressions with reasonable bitrates were observed. Double-extending the usage of the TT component in code, exhibits a Universal Predictability via its negative growth of entropy for LDCs > 87.5% compression, quite significant for scaling databases and network communications. This algorithm is novel in encryption, binary, fuzzy and information-theoretic methods such as probability. Therefore, information theorists, computer scientists and engineers may find the algorithm useful for its logic and applications.
Rademacher's infinite partial fraction conjecture is (almost certainly) false
Published in Journal of Difference Equations and Applications 19 (2013) 680--689
• View Publication
• BIB
In his book \emph{Topics in Analytic Number Theory}, Hans Rademacher conjectured that the limits of certain sequences of coefficients that arise in the ordinary partial fraction decomposition of the generating function for partitions of integers into at most $N$ parts exist and equal particular values that he specified. Despite being open for nearly four decades, little progress has been made toward proving or disproving the conjecture, perhaps in part due to the difficulty in actually computing the coefficients in question.
In this paper, we provide a fast algorithm for calculating the Rademacher coefficients, a large amount of data, direct formulas for certain collections of Rademacher coefficients, and overwhelming evidence against the truth of the conjecture. While the limits of the sequences of Rademacher coefficients do not exist (the sequences oscillate and attain arbitrarily large positive and negative values), the sequences do get very close to Rademacher's conjectured limits for certain (predictable) indices in the sequences.
Determinant and inverse of join matrices on two sets
Published
• View Publication
• BIB
Let $(P,\preceq)$ be a lattice and $f$ a complex-valued function on $P$. We define meet and join matrices on two arbitrary subsets $X$ and $Y$ of $P$ by $(X,Y)_f=(f(x_i\wedge y_j))$ and $[X,Y]_f=(f(x_i\vee x_j))$ respectively. Here we present expressions for the determinant and the inverse of $[X,Y]_f$. Our main goal is to cover the case when $f$ is not semimultiplicative since the formulas presented earlier for $[X,Y]_f$ cannot be applied in this situation. In cases when $f$ is semimultiplicative we obtain several new and known formulas for the determinant and inverse of $(X,Y)_f$ and the usual meet and join matrices $(S)_f$ and $[S]_f$. We also apply these formulas to LCM, MAX, GCD and MIN matrices, which are special cases of join and meet matrices.
Some properties of row-adjusted meet and join matrices
Published
• View Publication
• BIB
Let $(P,\preceq)$ be a lattice, $S$ a finite subset of $P$ and $f_1,f_2,...,f_n$ complex-valued functions on $P$. We define row-adjusted meet and join matrices on $S$ by $(S)_{f_1,...,f_n}=(f_i(x_i\wedge x_j))$ and $[S]_{f_1,...,f_n}=(f_i(x_i\vee x_j))$. In this paper we determine the structure of the matrix $(S)_{f_1,...,f_n}$ in general case and in the case when the set $S$ is meet closed we give bounds for $\text{rank} (S)_{f_1,...,f_n}$ and present expressions for $\det (S)_{f_1,...,f_n}$ and $(S)_{f_1,...,f_n}^{-1}$. The same is carried out dually for row-adjusted join matrix of a join closed set $S$.
A spectral equivalent condition of the $P$-polynomial property for association schemes
Published
• View Publication
• BIB
We give an equivalent condition of the $P$-polynomial property of symmetric association schemes.
On 2-switches and isomorphism classes
Published in Discrete Mathematics 312 (2012) 2217-2222
• View Publication
• BIB
A 2-switch is an edge addition/deletion operation that changes adjacencies in the graph while preserving the degree of each vertex. A well known result states that graphs with the same degree sequence may be changed into each other via sequences of 2-switches. We show that if a 2-switch changes the isomorphism class of a graph, then it must take place in one of four configurations. We also present a sufficient condition for a 2-switch to change the isomorphism class of a graph. As consequences, we give a new characterization of matrogenic graphs and determine the largest hereditary graph family whose members are all the unique realizations (up to isomorphism) of their respective degree sequences.
The coloring complex and cyclic coloring complex of a complete k-uniform hypergraph
Published in J. Combin. Theory Ser. A, 119 (2012), no. 5, 1095-1109
• View Publication
• BIB
In this paper, we study the homology of the coloring complex and the cyclic coloring complex of a complete $k$-uniform hypergraph. We show that the coloring complex of a complete $k$-uniform hypergraph is shellable, and we determine the rank of its unique nontrivial homology group in terms of its chromatic polynomial. We also show that the dimension of the $(n-k-1)^{st}$ homology group of the cyclic coloring complex of a complete $k$-uniform hypergraph is given by a binomial coefficient. Further, we discuss a complex whose $r$-faces consist of all ordered set partitions $[B_1, \hdots, B_{r+2}]$ where none of the $B_i$ contain a hyperedge of the complete $k$-uniform hypergraph $H$ and where $1 \in B_1$. It is shown that the dimensions of the homology groups of this complex are given by binomial coefficients. As a consequence, this result gives the dimensions of the multilinear parts of the cyclic homology groups of $\C[x_1, \hdots, x_n]/ \{x_{i_1} \hdots x_{i_k} \mid i_{1} \hdots i_{k}$ is a hyperedge of $H \}$.
The structure of approximate groups
Published
• View Publication
• BIB
Let K >= 1 be a parameter. A K-approximate group is a finite set A in a (local) group which contains the identity, is symmetric, and such that A^2 is covered by K left translates of A.
The main result of this paper is a qualitative description of approximate groups as being essentially finite-by-nilpotent, answering a conjecture of H. Helfgott and E. Lindenstrauss. This may be viewed as a generalisation of the Freiman-Ruzsa theorem on sets of small doubling in the integers to arbitrary groups.
We begin by establishing a correspondence principle between approximate groups and locally compact (local) groups that allows us to recover many results recently established in a fundamental paper of Hrushovski. In particular we establish that approximate groups can be approximately modeled by Lie groups.
To prove our main theorem we apply some additional arguments essentially due to Gleason. These arose in the solution of Hilbert's fifth problem in the 1950s.
Applications of our main theorem include a finitary refinement of Gromov's theorem, as well as a generalized Margulis lemma conjectured by Gromov and a result on the virtual nilpotence of the fundamental group of Ricci almost nonnegatively curved manifolds.
On a problem of Sierpinski
Published in Acta Arith. 156 (2012), 373-382
• View Publication
• BIB
Let $s\ge 2$ be an integer. Denote by $μ_s$ the least integer so that every integer $\ell >μ_s$ is the sum of exactly $s$ integers $>1 $ which are pairwise relatively prime. In 1964, Sierpiński asked a determination of $μ_s$. Let $p_1=2$, $p_2=3, ...$ be the sequence of consecutive primes and let $μ_s = p_2+p_3+...+p_{s+1}+c_s$. P. Erd\H os proved that there exists an absolute constant $C$ with $-2\le c_s\le C$. In this paper, we determine $μ_s$ for all $s\ge 2$. As a corollary, we show that $-2\le c_s\le 1100$ and the set of integers $s$ with $μ_s= p_2+p_3+... +p_{s+1}+1100$ has the asymptotic density 1.
An improved incidence bound over fields of prime order
Published
• View Publication
• BIB
Let P be a set of points and $L$ a set of lines in (F_p)^2, with |P|,|L|\leq N and N<p. We show that P and L generate no more than C N^(3/2 - 1/806 + o(1)) incidences for some absolute constant C. This improves by an order of magnitude on the previously best-known bound of C N^(3/2 - 1/10678).
A proof for the decidability of HD0L ultimate periodicity
We give a proof for the decidability of the HD0L ultimate periodicity problem.
Algèbres de greffes
Published
• View Publication
• BIB
In order to study some sets of probabilities, called induced averages by J. Ecalle, F. Menous introduces two grafting operators $ B^{+} $ and $ B^{-} $. With these two operators, we construct Hopf algebras of rooted and ordered trees $ \mathcal{B}^{i} $, $ i \in \mathbb{N}^{\ast} $, $ \mathcal{B}^{\infty} $ and $ \mathcal{B} $ satisfying the inclusion relations $ \mathcal{B}^{1} \subseteq \hdots \mathcal{B}^{i} \subseteq \mathcal{B}^{i+1} \subseteq \hdots \subseteq \mathcal{B}^{\infty} \subseteq \mathcal{B} $. We endow $ \mathcal{B} $ with a structure of duplicial dendriform bialgebra and we deduce that $ \mathcal{B} $ is cofree and self-dual. Finally, we introduce the notion of bigraft algebra and we prove that $ \mathcal{B} $ is generated as bigraft algebra by the element $ \tdun{1} $.
Ball and Spindle Convexity with respect to a Convex Body
Published
• View Publication
• BIB
Let $C\subset {\mathbb R}^n$ be a convex body. We introduce two notions of convexity associated to C. A set $K$ is $C$-ball convex if it is the intersection of translates of $C$, or it is either $\emptyset$, or ${\mathbb R}^n$. The $C$-ball convex hull of two points is called a $C$-spindle. $K$ is $C$-spindle convex if it contains the $C$-spindle of any pair of its points. We investigate how some fundamental properties of conventional convex sets can be adapted to $C$-spindle convex and $C$-ball convex sets. We study separation properties and Carathéodory numbers of these two convexity structures. We investigate the basic properties of arc-distance, a quantity defined by a centrally symmetric planar disc $C$, which is the length of an arc of a translate of $C$, measured in the $C$-norm, that connects two points. Then we characterize those $n$-dimensional convex bodies $C$ for which every $C$-ball convex set is the $C$-ball convex hull of finitely many points. Finally, we obtain a stability result concerning covering numbers of some $C$-ball convex sets, and diametrically maximal sets in $n$-dimensional Minkowski spaces.
Improved lower bounds for the 2-page crossing numbers of K_{m,n} and K_n via semidefinite programming
Published in SIAM J. Optim. 22-2 (2012), pp. 581-595
• View Publication
• BIB
It has been long conjectured that the crossing numbers of the complete bipartite graph K_{m,n} and of the complete graph K_n equal Z(m,n) (the value conjectured by Zarankiewicz, who came up with a drawing reaching this value) and Z(n) :=Z(n,n-2)/4, respectively.
In a 2-page drawing of a graph, the vertices are drawn on a straight line (the spine), and each edge is contained in one of the half-planes of the spine. The 2-page crossing number v_2(G) of a graph G is the minimum number of crossings in a 2-page drawing of G. Somewhat surprisingly, there are 2-page drawings of K_{m,n} (respectively, K_n) with exactly Z(m, n) (respectively, Z(n)) crossings, thus yielding the conjectures (I) v_2(Km,n) =Z(m,n), and (II) v_2(Kn) = Z(n).
It is known that (I) holds for min{m, n} <=6, and that (II) holds for n<=14. In this paper we prove that (I) holds asymptotically (that is, lim_n v_2 (K_{m,n})/Z (m, n) = 1) for m=7 and 8.
We also prove (II) for 15<=n<=18 and n=20,24, and establish the asymptotic estimate lim_n v_2(K_n)/Z(n) >= 0.9253.
The previous best-known lower bound involved the constant 0.8594.
The sum of digits of polynomial values in arithmetic progressions
Published
• View Publication
• BIB
Let $q, m\geq 2$ be integers with $(m,q-1)=1$. Denote by $s_q(n)$ the sum of digits of $n$ in the $q$-ary digital expansion. Further let $p(x)\in mathbb{Z}[x]$ be a polynomial of degree $h\geq 3$ with $p(\mathbb{N})\subset \mathbb{N}$. We show that there exist $C=C(q,m,p)>0$ and $N_0=N_0(q,m,p)\geq 1$, such that for all $g\in\mathbb{Z}$ and all $N\geq N_0$, $$#\{0\leq n< N: \quad s_q(p(n))\equiv g \bmod m\}\geq C N^{4/(3h+1)}.$$ This is an improvement over the general lower bound given by Dartyge and Tenenbaum (2006), which is $C N^{2/h!}$.
Strings from Feynman Graph counting : without large N
Published
• View Publication
• BIB
A well-known connection between n strings winding around a circle and permutations of n objects plays a fundamental role in the string theory of large N two dimensional Yang Mills theory and elsewhere in topological and physical string theories. Basic questions in the enumeration of Feynman graphs can be expressed elegantly in terms of permutation groups. We show that these permutation techniques for Feynman graph enumeration, along with the Burnside counting lemma, lead to equalities between counting problems of Feynman graphs in scalar field theories and Quantum Electrodynamics with the counting of amplitudes in a string theory with torus or cylinder target space. This string theory arises in the large N expansion of two dimensional Yang Mills and is closely related to lattice gauge theory with S_n gauge group. We collect and extend results on generating functions for Feynman graph counting, which connect directly with the string picture. We propose that the connection between string combinatorics and permutations has implications for QFT-string dualities, beyond the framework of large N gauge theory.
Minimal obstructions for 1-immersions and hardness of 1-planarity testing
Published
• View Publication
• BIB
A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by no more than one other edge (and any pair of crossing edges cross only once). A non-1-planar graph $G$ is minimal if the graph $G-e$ is 1-planar for every edge $e$ of $G$. We construct two infinite families of minimal non-1-planar graphs and show that for every integer $n > 62$, there are at least $2^{(n-54)/4}$ nonisomorphic minimal non-1-planar graphs of order $n$. It is also proved that testing 1-planarity is NP-complete.