Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Congruences for the $k$ dots bracelet partition functions
Published
• View Publication
• BIB
By finding the congruent relations between the generating function of the 5 dots bracelet partitions and that of the 5-regular partitions, we get some new congruences modulo 2 for the 5 dots bracelet partition function. Moreover, for a given prime $p$, we study the arithmetic properties modulo $p$ of the $k$ dots bracelet partitions.
Exponential prefixed polynomial equations
Published in ASL European Summer Meeting - Logic Colloquium 2013. Abstract published in: Bulletin of Symbolic Logic, 20(2): 252, June 2014
• Search Publication
A prefixed polynomial equation is an equation of the form $P(t_1,\ldots,t_n) = 0$, where $P$ is a polynomial whose variables $t_1,\ldots,t_n$ range over the natural numbers, preceded by quantifiers over some, or all, of its variables. Here, we consider exponential prefixed polynomial equations (EPPEs), where variables can also occur as exponents. We obtain a relatively concise EPPE equivalent to the combinatorial principle of the Paris-Harrington theorem for pairs (which is independent of primitive recursive arithmetic), as well as an EPPE equivalent to Goodstein's theorem (which is independent of Peano arithmetic). Some new devices are used in addition to known methods for the elimination of bounded universal quantifiers for Diophantine predicates.
Regular graphs of odd degree are antimagic
Published in Journal of Graph Theory. Vol. 80(1), September 2015, pp. 28-33
• View Publication
• BIB
An antimagic labeling of a graph $G$ with $m$ edges is a bijection from $E(G)$ to $\{1,2,\ldots,m\}$ such that for all vertices $u$ and $v$, the sum of labels on edges incident to $u$ differs from that for edges incident to $v$. Hartsfield and Ringel conjectured that every connected graph other than the single edge $K_2$ has an antimagic labeling. We prove this conjecture for regular graphs of odd degree.
Maximum Edge-Disjoint Paths in $k$-sums of Graphs
Published
• View Publication
• BIB
We consider the approximability of the maximum edge-disjoint paths problem (MEDP) in undirected graphs, and in particular, the integrality gap of the natural multicommodity flow based relaxation for it. The integrality gap is known to be $Ω(\sqrt{n})$ even for planar graphs due to a simple topological obstruction and a major focus, following earlier work, has been understanding the gap if some constant congestion is allowed.
In this context, it is natural to ask for which classes of graphs does a constant-factor constant-congestion property hold. It is easy to deduce that for given constant bounds on the approximation and congestion, the class of "nice" graphs is nor-closed. Is the converse true? Does every proper minor-closed family of graphs exhibit a constant factor, constant congestion bound relative to the LP relaxation? We conjecture that the answer is yes.
One stumbling block has been that such bounds were not known for bounded treewidth graphs (or even treewidth 3). In this paper we give a polytime algorithm which takes a fractional routing solution in a graph of bounded treewidth and is able to integrally route a constant fraction of the LP solution's value. Note that we do not incur any edge congestion. Previously this was not known even for series parallel graphs which have treewidth 2. The algorithm is based on a more general argument that applies to $k$-sums of graphs in some graph family, as long as the graph family has a constant factor, constant congestion bound. We then use this to show that such bounds hold for the class of $k$-sums of bounded genus graphs.
The automorphism group of a self-dual [72,36,16] code does not contain S_3, A_4, or D_8
Published
• View Publication
• BIB
A computer calculation with Magma shows that there is no extremal self-dual binary code C of length 72, whose automorphism group contains the symmetric group of degree 3, the alternating group of degree 4 or the dihedral group of order 8. Combining this with the known results in the literature one obtains that Aut(C) has order at most 5 or isomorphic to the elementary abelian group of order 8.
The automorphism group of the doubly-even [72,36,16] code can only be of order 1, 3 or 5
We prove that a putative $[72,36,16]$ code is not the image of linear code over $\ZZ_4$, $\FF_2 + u \FF_2$ or $\FF_2+v\FF_2$, thus proving that the extremal doubly even $[72,36,16]$-binary code cannot have an automorphism group containing a fixed point-free involution. Combining this with the previously proved result by Bouyuklieva that such a code cannot have an automorphism group containing an involution with fixed points, we conclude that the automorphism group of the $[72,36,16]$-code cannot be of even order, leaving 3 and 5 as the only possibilities.
A characterization of graphs with 3-coverings and the evaluation of the 3-covering energy of star graphs with m rays of length 2
The smallest set Q of vertices of a graph G, such that every path on 3 vertices, has at least one vertex in Q, is a minimum 3-covering of G. By attaching loops of weight 1 to the vertices of G we can find the eigenvalues associated with G, and hence the minimum 3-covering energy of G. In this paper we characterize graphs with 3-coverings in terms of non-Q-covered edges, and we determine the minimum 3-covering energy of a star graph with m rays each of length 2.
On the sign representations for the complex reflection groups $G(r,p,n)$
Published in Beitrage zur Algebra und Geometrie, 57, Issue 4 (2016): 851--858
• View Publication
• BIB
We present a formula for the values of the sign representations of the complex reflection groups $G(r,p,n)$ in terms of its image under a generalized Robinson-Schensted map.
Turán Numbers for Forests of Paths in Hypergraphs
Published
• View Publication
• BIB
The Turán number of an r-uniform hypergraph H is the maximum number of edges in any r-graph on n vertices which does not contain H as a subgraph. Let P_l^(r) denote the family of r-uniform loose paths on l edges, F(k,l) denote the family of hypergraphs consisting of k disjoint paths from P_l^(r), and P'_l^(r) denote an r-uniform linear path on l edges. We determine precisely ex_r(n;F(k,l)) and ex_r(n;k*P'_l^(r)), as well as the Turán numbers for forests of paths of differing lengths (whether these paths are loose or linear) when n is appropriately large dependent on k,l,r, for r>=3. Our results build on recent results of Füredi, Jiang, and Seiver who determined the extremal numbers for individual paths, and provide more hypergraphs whose Turan numbers are exactly determined.
Arc-transitive graphs of valency 8 have a semiregular automorphism
Published
• View Publication
• BIB
One version of the polycirculant conjecture states that every vertex-transitive graph has a semiregular automorphism. We give a proof of the conjecture in the arc-transitive case for graphs of valency 8, which was the smallest open case.
A short note on a short remark of Graham and Lovász
Published
• View Publication
• BIB
Let D be the distance matrix of a connected graph G and let nn(G), np(G) be the number of strictly negative and positive eigenvalues of D respectively. It was remarked in [1] that it is not known whether there is a graph for which np(G) > nn (G). In this note we show that there exists an infinite number of graphs satisfying the stated inequality, namely the conference graphs of order> 9. A large representative of this class being the Paley graphs.The result is obtained by derving the eigenvalues of the distance matrix of a strongly-regular graph.
Using Edge-induced and Vertex-induced Subhypergraph Polynomials
Published
• View Publication
• BIB
For a hypergraph $\mathcal H$, we consider the edge-induced and vertex-induced subhypergraph polynomials and study their relation. We use this relation to prove that both polynomials are reconstructible, and to prove a theorem relating the Hilbert series of the Stanley-Reisner ring of the independent complex of $\mathcal H$ and the edge-induced subhypergraph polynomial. We also consider reconstruction of some algebraic invariants of $\mathcal H$.
Constructing Even Order Magic Squares By Consecutive Numbering
The aim of this note is to introduce fastest new general methods for the construction of double and single even order magic squares. As in [5], the method for double even order magic squares is fairly straight-forward but some adjustments are necessary for the single even order magic squares.
On statistics of permutations chosen from the Ewens distribution
We explore the asymptotic distributions of sequences of integer-valued additive functions defined on the symmetric group endowed with the Ewens probability measure as the order of the group increases.
Applying the method of factorial moments, we establish necessary and sufficient conditions for the weak convergence of distributions to discrete laws.
More attention is paid to the Poisson limit distribution. The particular case of the number-of-cycles with restricted lengths function is analyzed in more detail. The results can be applied to statistics defined on random permutation matrices.
The Mimimum 3-Covering Energy of Complete Graphs
In this paper we introduce a different kind of graph energy, the minimum 3-covering energy of a graph, and determine the minimum 3-covering energy of complete graphs.
Strong edge coloring of planar graphs
Published
• View Publication
• BIB
A strong edge coloring of a graph is a proper edge coloring where the edges at distance at most two receive distinct colors. It is known that every planar graph with maximum degree D has a strong edge coloring with at most 4D + 4 colors. We show that 3D + 6 colors suffice if the graph has girth 6, and 3D colors suffice if the girth is at least 7. Moreover, we show that cubic planar graphs with girth at least 6 can be strongly edge colored with at most 9 colors.
Improved bound on facial parity edge coloring
Published
• View Publication
• BIB
A facial parity edge coloring of a 2-edge connected plane graph is an edge coloring where no two consecutive edges of a facial walk of any face receive the same color. Additionally, for every face f and every color c either no edge or an odd number of edges incident to f are colored by c. Czap, Jendrol', Kardoš and Sotak showed that every 2-edge connected plane graph admits a facial parity edge coloring with at most 20 colors. We improve this bound to 16 colors.
Densities, submeasures and partitions of groups
Published in Algebra Discr. Math. 17:2 (2014), 193-221
• Search Publication
In 1995 in Kourovka notebook the second author asked the following problem: it is true that for each partition $G=A_1\cup\dots\cup A_n$ of a group $G$ there is a cell $A_i$ of the partition such that $G=FA_iA_i^{-1}$ for some set $F\subset G$ of cardinality $|F|\le n$? In this paper we survey several partial solutions of this problem, in particular those involving certain canonical invariant densities and submeasures on groups.
Geometric achromatic and pseudoachromatic indices
Published in Graphs and Combinatorics-2016
• View Publication
• BIB
The pseudoachromatic index of a graph is the maximum number of colors that can be assigned to its edges, such that each pair of different colors is incident to a common vertex. If for each vertex its incident edges have different color, then this maximum is known as achromatic index. Both indices have been widely studied. A geometric graph is a graph drawn in the plane such that its vertices are points in general position, and its edges are straight-line segments. In this paper we extend the notion of pseudoachromatic and achromatic indices for geometric graphs, and present results for complete geometric graphs. In particular, we show that for $n$ points in convex position the achromatic index and the pseudoachromatic index of the complete geometric graph are $\lfloor \tfrac{n^2+n}{4} \rfloor$.
Measurable events indexed by words
Published in Journal of Combinatorial Theory, Series A 127 (2014), 176-223
• View Publication
• BIB
For every integer $k\geq 2$ let $[k]^{<\mathbb{N}}$ be the set of all words over $k$, that is, all finite sequences having values in $[k]:=\{1,...,k\}$. A Carlson-Simpson tree of $[k]^{<\mathbb{N}}$ of dimension $m\geq 1$ is a subset of $[k]^{<\mathbb{N}}$ of the form \[ \{w\}\cup \big\{w^{\smallfrown}w_0(a_0)^{\smallfrown}...^{\smallfrown}w_{n}(a_n): n\in \{0,...,m-1\} \text{ and } a_0,...,a_n\in [k]\big\} \] where $w$ is a word over $k$ and $(w_n)_{n=0}^{m-1}$ is a finite sequence of left variable words over $k$. We study the behavior of a family of measurable events in a probability space indexed by the elements of a Carlson-Simpson tree of sufficiently large dimension. Specifically we show the following.
For every integer $k\geq 2$, every $0<\varepsilon\leq 1$ and every integer $n\geq 1$ there exists a strictly positive constant $θ(k,\varepsilon,n)$ with the following property. If $m$ is a given positive integer, then there exists an integer $\mathrm{Cor}(k,\varepsilon,m)$ such that for every Carlson--Simpson tree $T$ of $[k]^{<\mathbb{N}}$ of dimension at least $\mathrm{Cor}(k,\varepsilon,m)$ and every family $\{A_t:t\in T\}$ of measurable events in a probability space $(Ω,Σ,μ)$ satisfying $μ(A_t)\geq \varepsilon$ for every $t\in T$, there exists a Carlson--Simpson tree $S$ of dimension $m$ with $S\subseteq T$ and such that for every nonempty $F\subseteq S$ we have \[μ\Big(\bigcap_{t\in F} A_t\Big) \geq θ(k,\varepsilon,|F|). \] The proof is based, among others, on the density version of the Carlson--Simpson Theorem established recently by the authors, as well as, on a partition result -- of independent interest -- closely related to the work of T. J. Carlson, and H. Furstenberg and Y. Katznelson. The argument is effective and yields explicit lower bounds for the constants $θ(k,\varepsilon,n)$.