Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Survey on fusible numbers
We point out that the recursive formula that appears in Erickson's presentation "Fusible Numbers" is incorrect, and pose an alternate conjecture about the structure of fusible numbers. Although we are unable to solve the conjecture, we succeed in establishing some basic properties of fusible numbers. We suggest some possible approaches to the conjecture, and list further problems in the final chapter.
On $Q$-polynomial association schemes of small class
Published
• View Publication
• BIB
We show an inequality involving the third largest or second smallest dual eigenvalues of $Q$-polynomial association schemes of class at least three. Also we characterize dual-tight $Q$-polynomial association schemes of class three. Our method is based on tridiagonal matrices and can be applied to distance-regular graphs as well.
Misère-play Hackenbush Sprigs
Published
• View Publication
• BIB
A Hackenbush Sprig is a Hackenbush String with the ground edge colored green and the remaining edges either red or blue. We show that in canonical form a Sprig is a star-based number (the ordinal sum of star and a dyadic rational) in misère-play, as well as in normal-play. We find the outcome of a disjunctive sum of Sprigs in misère-play and show that it is the same as the outcome of that sum plus star in normal-play. Along the way it is shown that the sum of a Sprig and its negative is equivalent to 0 in the universe of misère-play dicotic games, answering a question of Allen.
Unbalanced subtrees in binary rooted ordered and un-ordered trees
Binary rooted trees, both in the ordered and in the un-ordered case, are well studied structures in the field of combinatorics. The aim of this work is to study particular patterns in these classes of trees. We consider completely unbalanced subtrees, where unbalancing is measured according to the so-called Colless's index. The size of the biggest unbalanced subtree becomes then a new parameter with respect to which we find several enumerations.
A characterization of skew Hadamard matrices and doubly regular tournaments
Published
• View Publication
• BIB
We give a new characterization of skew Hadamard matrices of size $n$ in terms of the data of the spectra of tournaments of size $n-2$.
Which finitely generated Abelian groups admit isomorphic Cayley graphs?
Published
• View Publication
• BIB
We show that Cayley graphs of finitely generated Abelian groups are rather rigid. As a consequence we obtain that two finitely generated Abelian groups admit isomorphic Cayley graphs if and only if they have the same rank and their torsion parts have the same cardinality. The proof uses only elementary arguments and is formulated in a geometric language.
Convex Equipartitions via Equivariant Obstruction Theory
We describe a regular cell complex model for the configuration space F(\R^d,n). Based on this, we use Equivariant Obstruction Theory to prove the prime power case of the conjecture by Nandakumar and Ramana Rao that every polygon can be partitioned into n convex parts of equal area and perimeter.
More on the O(n) model on random maps via nested loops: loops with bending energy
Published in J. Phys. A: Math. Theor. 45 (2012) 275206
• View Publication
• BIB
We continue our investigation of the nested loop approach to the O(n) model on random maps, by extending it to the case where loops may visit faces of arbitrary degree. This allows to express the partition function of the O(n) loop model as a specialization of the multivariate generating function of maps with controlled face degrees, where the face weights are determined by a fixed point condition. We deduce a functional equation for the resolvent of the model, involving some ring generating function describing the immediate vicinity of the loops. When the ring generating function has a single pole, the model is amenable to a full solution. Physically, such situation is realized upon considering loops visiting triangles only and further weighting these loops by some local bending energy. Our model interpolates between the two previously solved cases of triangulations without bending energy and quadrangulations with rigid loops. We analyze the phase diagram of our model in details and derive in particular the location of its non-generic critical points, which are in the universality classes of the dense and dilute O(n) model coupled to 2D quantum gravity. Similar techniques are also used to solve a twisting loop model on quadrangulations where loops are forced to make turns within each visited square. Along the way, we revisit the problem of maps with controlled, possibly unbounded, face degrees and give combinatorial derivations of the one-cut lemma and of the functional equation for the resolvent.
Knight's Tours in Higher Dimensions
In this paper we are concerned with knight's tours on high-dimensional boards. Our main aim is to show that on the $d$-dimensional board $[n]^d$, with $n$ even, there is always a knight's tour provided that $n$ is sufficiently large. In fact, we give an exact classification of the grids $[n_1] \times ... \times [n_d]$ in which there is a knight's tour. This answers questions of DeMaio, DeMaio and Mathew, and Watkins.
Toric cubes are closed balls
We prove that toric cubes, which are images of $[0,1]^d$ under monomial maps, are the closures of graphs of monotone maps, and in particular semi-algebraically homeomorphic to closed balls.
On generating series of finitely presented operads
Published in Journal of Algebra (2015), pp. 377-429
• View Publication
• BIB
Given an operad P with a finite Groebner basis of relations, we study the generating functions for the dimensions of its graded components P(n). Under moderate assumptions on the relations we prove that the exponential generating function for the sequence {dim P(n)} is differential algebraic, and in fact algebraic if P is a symmetrization of a non-symmetric operad. If, in addition, the growth of the dimensions of P(n) is bounded by an exponent of n (or a polynomial of n, in the non-symmetric case) then, moreover, the ordinary generating function for the above sequence {dim P(n)} is rational. We give a number of examples of calculations and discuss conjectures about the above generating functions for more general classes of operads.
A refinement of the Cameron-Erdős Conjecture
Published
• View Publication
• BIB
In this paper we study sum-free subsets of the set $\{1,...,n\}$, that is, subsets of the first $n$ positive integers which contain no solution to the equation $x + y = z$. Cameron and Erdős conjectured in 1990 that the number of such sets is $O(2^{n/2})$. This conjecture was confirmed by Green and, independently, by Sapozhenko. Here we prove a refined version of their theorem, by showing that the number of sum-free subsets of $[n]$ of size $m$ is $2^{O(n/m)} {\lceil n/2 \rceil \choose m}$, for every $1 \le m \le \lceil n/2 \rceil$. For $m \ge \sqrt{n}$, this result is sharp up to the constant implicit in the $O(\cdot)$. Our proof uses a general bound on the number of independent sets of size $m$ in 3-uniform hypergraphs, proved recently by the authors, and new bounds on the number of integer partitions with small sumset.
A one-parameter refinement of the Razumov-Stroganov correspondence
Published
• View Publication
• BIB
We introduce and prove a one-parameter refinement of the Razumov-Stroganov correspondence. This is achieved for fully-packed loop configurations (FPL) on domains which generalize the square domain, and which are endowed with the gyration operation. We consider one given side of the domain, and FPLs such that the only straight-line tile on this side is black. We show that the enumeration vector associated to such FPLs, weighted according to the position of the straight line and refined according to the link pattern for the black boundary points, is the ground state of the scattering matrix, an integrable one-parameter deformation of the O(1) Dense Loop Model Hamiltonian. We show how the original Razumov-Stroganov correspondence, and a conjecture formulated by Di Francesco in 2004, follow from our results.
The closed knight tour problem in higher dimensions
The problem of existence of closed knight tours for rectangular chessboards was solved by Schwenk in 1991. Last year, in 2011, DeMaio and Mathew provide an extension of this result for 3-dimensional rectangular boards. In this article, we give the solution for $n$-dimensional rectangular boards, for $n\geq 4$.
How to write a permutation as a product of involutions (and why you might care)
Published
• View Publication
• BIB
It is well-known that any permutation can be written as a product of two involutions. We provide an explicit formula for the number of ways to do so, depending only on the cycle type of the permutation.
In many cases, these numbers are sums of absolute values of irreducible characters of the symmetric group evaluated at the same permutation, although apart from the case where all cycles are the same size, we have no good explanation for why this should be so.
Nondeterministic graph property testing
Published in Combinatorics, Probability and Computing, volume 22 (2013), issue 05, pp. 749-762
• View Publication
• BIB
A property of finite graphs is called nondeterministically testable if it has a "certificate" such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that consist of one or more unary and/or binary relations on the nodes, in the case of dense graphs. Using the theory of graph limits, we prove that nondeterministically testable properties are also deterministically testable.
Vectorial solutions to list multicoloring problems on graphs
Published in Advances and Applications in Discrete Mathematics Volume 9, Numéro 2 (2012) pp 65 --81
• Search Publication
For a graph $G$ with a given list assignment $L$ on the vertices, we give an algebraical description of the set of all weights $w$ such that $G$ is $(L,w)$-colorable, called permissible weights. Moreover, for a graph $G$ with a given list $L$ and a given permissible weight $w$, we describe the set of all $(L,w)$-colorings of $G$. By the way, we solve the {\sl channel assignment problem}. Furthermore, we describe the set of solutions to the {\sl on call problem}: when $w$ is not a permissible weight, we find all the nearest permissible weights $w'$. Finally, we give a solution to the non-recoloring problem keeping a given subcoloring.
On building 4-critical plane and projective plane multiwheels from odd wheels
We build unbounded classes of plane and projective plane multiwheels that are 4-critical that are received summing odd wheels as edge sums modulo two. These classes can be considered as ascending from single common graph that can be received as edge sum modulo two of the octahedron graph O and the minimal wheel W3. All graphs of these classes belong to 2n-2-edges-class of graphs, among which are those that quadrangulate projective plane, i.e., graphs from Grötzsch class, received applying Mycielski's Construction to odd cycle.
Edge rings satisfying Serre's condition R_1
Published in Proc. Amer. Math. Soc., Vol. 142 (2014) no. 7, 2537-2541
• View Publication
• BIB
A combinatorial criterion for the edge ring of a finite connected graph to satisfy Serre's condition R_1 is studied.
Intersecting faces of a simplicial complex via algebraic shifting
Published
• View Publication
• BIB
A family $\mathcal{A}$ of sets is {\it $t$-intersecting} if the cardinality of the intersection of every pair of sets in $\mathcal{A}$ is at least $t$, and is an {\it $r$-family} if every set in $\mathcal{A}$ has cardinality $r$. A well-known theorem of Erdős, Ko, and Rado bounds the cardinality of a $t$-intersecting $r$-family of subsets of an $n$-element set, or equivalently of $(r-1)$-dimensional faces of a simplex with $n$ vertices. As a generalization of the Erdős-Ko-Rado theorem, Borg presented a conjecture concerning the size of a $t$-intersecting $r$-family of faces of an arbitrary simplicial complex. He proved his conjecture for shifted complexes. In this paper we give a new proof for this result based on work of Woodroofe. Using algebraic shifting we verify Borg's conjecture in the case of sequentially Cohen-Macaulay $i$-near-cones for $t=i$.