Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Lobsters with an almost perfect matching are graceful
Let $T$ be a lobster with a matching that covers all but one vertex. We show that in this case, $T$ is graceful.
Lines in higgledy-piggledy position
Published in Electronic Journal of Combinatorics Volume 21, Issue 2 (2014) Paper #P2.56
• View Publication
• BIB
We examine sets of lines in PG(d,F) meeting each hyperplane in a generator set of points. We prove that such a set has to contain at least 1.5d lines if the field F has more than 1.5d elements, and at least 2d-1 lines if the field F is algebraically closed. We show that suitable 2d-1 lines constitute such a set (if |F| > or = 2d-1), proving that the lower bound is tight over algebraically closed fields. At last, we will see that the strong (s,A) subspace designs constructed by Guruswami and Kopparty have better (smaller) parameter A than one would think at first sight.
On properties of Karlsson Hadamards and sets of Mutually Unbiased Bases in dimension six
Published in Linear Algebra and Its Applications (2015), pp. 296-306
• View Publication
• BIB
The complete classification of all 6x6 complex Hadamard matrices is an open problem. The 3-parameter Karlsson family encapsulates all Hadamards that have been parametrised explicitly. We prove that such matrices satisfy a non-trivial constraint conjectured to hold for (almost) all 6x6 Hadamard matrices. Our result imposes additional conditions in the linear programming approach to the mutually unbiased bases problem recently proposed by Matolcsi et al. Unfortunately running the linear programs we were unable to conclude that a complete set of mutually unbiased bases cannot be constructed from Karlsson Hadamards alone.
A scaling limit for the degree distribution in sublinear preferential attachment schemes
Published
• View Publication
• BIB
We consider a general class of preferential attachment schemes evolving by a reinforcement rule with respect to certain sublinear weights. In these schemes, which grow a random network, the sequence of degree distributions is an object of interest which sheds light on the evolving structures. In this article, we use a fluid limit approach to prove a functional law of large numbers for the degree structure in this class, starting from a variety of initial conditions. The method appears robust and applies in particular to `non-tree' evolutions where cycles may develop in the network. A main part of the argument is to analyze an infinite system of coupled ODEs, corresponding to a rate formulation of the law of large numbers limit, in terms of $C_0$-semigroup/dynamical systems methods. These results also resolve a question in Chung, Handjani and Jungreis (2003).
A Combinatorial proof of an Infinite version of the Hales-Jewett theorem
Published in Journal of Combinatorics Volume 4, Number 2 (2013)
• View Publication
• BIB
We provide a combinatorial proof of an infinite extension of the Hales--Jewett theorem due to T. Carlson and independently due to H. Furstenberg and Y. Katznelson
Universality of intervals of line graph order
Published
• View Publication
• BIB
We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line graphs of graphs with maximal degree $d$ ordered by the existence of a homomorphism.
On path-cycle decompositions of triangle-free graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (October 26, 2017) dmtcs:659
• View Publication
• BIB
In this work, we study conditions for the existence of length-constrained path-cycle decompositions, that is, partitions of the edge set of a graph into paths and cycles of a given minimum length. Our main contribution is the characterization of the class of all triangle-free graphs with odd distance at least $3$ that admit a path-cycle decomposition with elements of length at least $4$. As a consequence, it follows that Gallai's conjecture on path decomposition holds in a broad class of sparse graphs.
Multivariate Juggling Probabilities
Published in Electron. J. Probab. 20 (2015), no. 5, 1-29
• View Publication
• BIB
We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one case can be explicitly written as a homogeneous symmetric polynomial. We also refine and generalize enriched Markov chains on set partitions. Lastly, we prove that in one case, the stationary distribution is attained in bounded time.
Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs
Published
• View Publication
• BIB
A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers in which this locally bijective homomorphism is prescribed by an action of a subgroup of ${\rm Aut}(G)$. Regular covers have many applications in constructions and studies of big objects all over mathematics and computer science.
We study computational aspects of regular covers that have not been addressed before. The decision problem RegularCover asks for two given graphs $G$ and $H$ whether $G$ regularly covers $H$. When $|H|=1$, this problem becomes Cayley graph recognition for which the complexity is still unresolved. Another special case arises for $|G| = |H|$ when it becomes the graph isomorphism problem. Therefore, we restrict ourselves to graph classes with polynomially solvable graph isomorphism.
Inspired by Negami, we apply the structural results used by Babai in the 1970's to study automorphism groups of graphs. Our main result is the following FPT meta-algorithm: Let $\cal C$ be a class of graphs such that the structure of automorphism groups of 3-connected graphs in $\cal C$ is simple. Then we can solve RegularCover for $\cal C$-inputs $G$ in time $O^*(2^{e(H)/2})$ where $e(H)$ denotes the number of the edges of $H$. As one example of $\cal C$, this meta-algorithm applies to planar graphs. In comparison, testing general graph covers is known to be NP-complete for planar inputs $G$ even for small fixed graphs $H$ such as $K_4$ or $K_5$. Most of our results also apply to general graphs, in particular the complete structural understanding of regular covers for 2-cuts.
Cutting convex polytopes by hyperplanes
Published
• View Publication
• BIB
Cutting a polytope is a very natural way to produce new classes of interesting polytopes. Moreover, it has been very enlightening to explore which algebraic and combinatorial properties of the orignial polytope are hereditary to its subpolytopes obtained by a cut. In this work, we put our attention to all the seperating hyperplanes for some given polytope (integral and convex) and study the existence and classification of such hyperplanes.
We prove the exitence of seperating hyperplanes for the order and chain polytopes for any finite posets that are not a single chain; prove there are no such hyperplanes for any Birkhoff polytopes. Moreover, we give a complete seperating hyperplane classification for the unit cube and its subpolytopes obtained by one cut, together with some partial classification results for order and chain polytopes.
The coefficients of the period polynomials
A general description of the Viète coefficients of the gaussian period polynomials is given, in terms of certain symmetric representations of the subgroups and the corresponding quotient groups of the multiplicative group \mathbf{F}_{p}^{*} of a finite prime field of characteristics p, an odd prime number. The known values of these coefficients are recovered by this technique and further results of general nature are presented.
A New Approach to Enumerating Statistics Modulo $n$
We find a new approach to computing the remainder of a polynomial modulo $x^n-1$; such a computation is called modular enumeration. Given a polynomial with coefficients from a commutative $\mathbb{Q}$-algebra, our first main result constructs the remainder simply from the coefficients of residues of the polynomial modulo $Φ_d(x)$ for each $d\mid n$. Since such residues can often be found to have nice values, this simplifies a number of modular enumeration problems; indeed in some cases, such residues are already known while the related modular enumeration problem has remained unsolved. We list six such cases which our technique makes easy to solve. Our second main result is a formula for the unique polynomial $a$ such that $a \equiv f \mod Φ_n(x)$ and $a\equiv 0 \mod x^d-1$ for each proper divisor $d$ of $n$.
We find a formula for remainders of $q$-multinomial coefficients and for remainders of $q$-Catalan numbers modulo $q^n-1$, reducing each problem to a finite number of cases for any fixed $n$. In the prior case, we solve an open problem posed by Hartke and Radcliffe. In considering $q$-Catalan numbers modulo $q^n-1$, we discover a cyclic group operation on certain lattice paths which behaves predictably with regard to major index. We also make progress on a problem in modular enumeration on subset sums posed by Kitchloo and Pachter.
Two Examples of Unbalanced Wilf-Equivalence
Published
• View Publication
• BIB
We prove that the set of patterns {1324,3416725} is Wilf-equivalent to the pattern 1234 and that the set of patterns {2143,3142,246135} is Wilf-equivalent to the set of patterns {2413,3142}. These are the first known unbalanced Wilf-equivalences for classical patterns between finite sets of patterns.
Degree distributions for a class of Circulant graphs
We characterize the equivalence and the weak equivalence of Cayley graphs for a finite group $\C{A}$. Using these characterizations, we find degree distribution polynomials for weak equivalence of some graphs including 1) circulant graphs of prime power order, 2) circulant graphs of order $4p$, 3) circulant graphs of square free order and 4) Cayley graphs of order $p$ or $2p$. As an application, we find an enumeration formula for the number of weak equivalence classes of circulant graphs of prime power order, order $4p$ and square free order and Cayley graphs of order $p$ or $2p$.
Bouquets, vertex covers and edge ideals
Published in J. Algebra Appl. 16 (2017), no. 5, 1750084, 7 pp
• View Publication
• BIB
We give a new combinatorial characterization of the big height of a squarefree monomial ideal leading to a new bound for the projective dimension of a monomial ideal.
Buchstaber numbers and classical invariants of simplicial complexes
Published in Buchstaber invariant, minimal non-simplices and related topics, Osaka J. Math. 53:2 (2016), 377-395
• Search Publication
Buchstaber invariant is a numerical characteristic of a simplicial complex, arising from torus actions on moment-angle complexes. In the paper we study the relation between Buchstaber invariants and classical invariants of simplicial complexes such as bigraded Betti numbers and chromatic invariants. The following two statements are proved. (1) There exists a simplicial complex U with different real and ordinary Buchstaber invariants. (2) There exist two simplicial complexes with equal bigraded Betti numbers and chromatic numbers, but different Buchstaber invariants. To prove the first theorem we define Buchstaber number as a generalized chromatic invariant. This approach allows to guess the required example. The task then reduces to a finite enumeration of possibilities which was done using GAP computational system. To prove the second statement we use properties of Taylor resolutions of face rings.
Proof of Schur's conjecture in $\mathbb R^d$
Published
• View Publication
• BIB
In this paper we prove Schur's conjecture in $\mathbb R^d$, which states that any diameter graph $G$ in the Euclidean space $\mathbb R^d$ on $n$ vertices may have at most $n$ cliques of size $d$. We obtain an analogous statement for diameter graphs with unit edge length on a sphere $S^d_r$ of radius $r>1/\sqrt 2$. The proof rests on the following statement, conjectured by F. Morić and J. Pach: given two unit regular simplices $Δ_1,Δ_2$ on $d$ vertices in $\mathbb R^d$, either they share $d-2$ vertices, or there are vertices $v_1\in Δ_1,v_2\in Δ_2$ such that $\|v_1-v_2\|>1$. The same holds for unit simplices on a $d$-dimensional sphere of radius greater than $1/\sqrt 2$.
Connectivity of sparse Bluetooth networks
Published
• View Publication
• BIB
Consider a random geometric graph defined on $n$ vertices uniformly distributed in the $d$-dimensional unit torus. Two vertices are connected if their distance is less than a "visibility radius" $r_n$. We consider {\sl Bluetooth networks} that are locally sparsified random geometric graphs. Each vertex selects $c$ of its neighbors in the random geometric graph at random and connects only to the selected points. We show that if the visibility radius is at least of the order of $n^{-(1-δ)/d}$ for some $δ> 0$, then a constant value of $c$ is sufficient for the graph to be connected, with high probability. It suffices to take $c \ge \sqrt{(1+ε)/δ} + K$ for any positive $ε$ where $K$ is a constant depending on $d$ only. On the other hand, with $c\le \sqrt{(1-ε)/δ}$, the graph is disconnected, with high probability.
On the Spectrum of Wenger Graphs
Let $q=p^e$, where $p$ is a prime and $e\geq 1$ is an integer. For $m\geq 1$, let $P$ and $L$ be two copies of the $(m+1)$-dimensional vector spaces over the finite field $\mathbb{F}_q$. Consider the bipartite graph $W_m(q)$ with partite sets $P$ and $L$ defined as follows: a point $(p)=(p_1,p_2,\ldots,p_{m+1})\in P$ is adjacent to a line $[l]=[l_1,l_2,\ldots,l_{m+1}]\in L$ if and only if the following $m$ equalities hold: $l_{i+1} + p_{i+1}=l_{i}p_1$ for $i=1,\ldots, m$. We call the graphs $W_m(q)$ Wenger graphs. In this paper, we determine all distinct eigenvalues of the adjacency matrix of $W_m(q)$ and their multiplicities. We also survey results on Wenger graphs.
Block patterns in Stirling permutations
Published
• View Publication
• BIB
We introduce and study a new notion of patterns in Stirling and $k$-Stirling permutations, which we call block patterns. We prove a general result which allows us to compute generating functions for the occurrences of various block patterns in terms of generating functions for the occurrences of patterns in permutations. This result yields a number of applications involving, among other things, Wilf equivalence of block patterns and a new interpretation of Bessel polynomials. We also show how to interpret our results for a certain class of labeled trees, which are in bijection with Stirling permutations.