Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Small Designs for Path Connected Spaces and Path Connected Homogeneous Spaces
Published
• View Publication
• BIB
We prove the existence of designs of small size in a number of contexts. In particular our techniques can be applied to prove the existence of $n$-designs on $S^{d}$ of size $O_d(n^{d}\log(n)^{d-1})$.
Diameters of Graphs with Spectral Radius at most $3/2\sqrt{2}$
The spectral radius $ρ(G)$ of a graph $G$ is the largest eigenvalue of its adjacency matrix. Woo and Neumaier discovered that a connected graph $G$ with $ρ(G)\leq 3/2{\sqrt{2}}$ is either a dagger, an open quipu, or a closed quipu. The reverse statement is not true. Many open quipus and closed quipus have spectral radius greater than $3/2{\sqrt{2}}$. In this paper we proved the following results. For any open quipu $G$ on $n$ vertices ($n\geq 6$) with spectral radius less than $3/2{\sqrt{2}}$, its diameter $D(G)$ satisfies $D(G)\geq (2n-4)/3$. This bound is tight. For any closed quipu $G$ on $n$ vertices ($n\geq 13$) with spectral radius less than $3/2{\sqrt{2}}$, its diameter $D(G)$ satisfies $\frac{n}{3}< D(G)\leq \frac{2n-2}{3}$. The upper bound is tight while the lower bound is asymptotically tight.
Let $G^{min}_{n,D}$ be a graph with minimal spectral radius among all connected graphs on $n$ vertices with diameter $D$. We applied the results and found $G^{min}_{n,D}$ for some range of $D$. For $n\geq 13$ and $D\in [\frac{n}{2}, \frac{2n-7}{3}]$, we proved that $G^{min}_{n,D}$ is the graph obtained by attaching two paths of length $D-\lfloor\frac{n}{2}\rfloor$ and $D-\lceil\frac{n}{2}\rceil$ to a pair of antipodal vertices of the even cycle $C_{2(n-D)}$. Thus we settled a conjecture of Cioab-van Dam-Koolen-Lee, who previously proved a special case $D=\frac{n+e}{2}$ for $e=1,2,3,4$.
Bijections and symmetries for the factorizations of the long cycle
Published
• View Publication
• BIB
We study the factorizations of the permutation $(1,2,...,n)$ into $k$ factors of given cycle types. Using representation theory, Jackson obtained for each $k$ an elegant formula for counting these factorizations according to the number of cycles of each factor. In the cases $k=2,3$ Schaeffer and Vassilieva gave a combinatorial proof of Jackson's formula, and Morales and Vassilieva obtained more refined formulas exhibiting a surprising symmetry property. These counting results are indicative of a rich combinatorial theory which has remained elusive to this point, and it is the goal of this article to establish a series of bijections which unveil some of the combinatorial properties of the factorizations of $(1,2,...,n)$ into $k$ factors for all $k$. We thereby obtain refinements of Jackson's formulas which extend the cases $k=2,3$ treated by Morales and Vassilieva. Our bijections are described in terms of "constellations", which are graphs embedded in surfaces encoding the transitive factorizations of permutations.
Lefschetz properties and the Veronese construction
Published
• View Publication
• BIB
In this paper, we investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large $r$, the $r$\textsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded $K$-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new results on $h$- and $g$-polynomials of Veronese subalgebras.
Minimality of toric arrangements
We prove that the complement of a toric arrangement has the homotopy type of a minimal CW complex. As a corollary we obtain that the integer cohomology of these spaces is torsion free. We use Discrete Morse Theory, providing a sequence of cellular collapses that leads to a minimal complex.
Separating hyperplanes of edge polytopes
Published
• View Publication
• BIB
Let $G$ be a finite connected simple graph with $d$ vertices and let $\Pc_G \subset \RR^d$ be the edge polytope of $G$. We call $\Pc_G$ \emph{decomposable} if $\Pc_G$ decomposes into integral polytopes $\Pc_{G^+}$ and $\Pc_{G^-}$ via a hyperplane. In this paper, we explore various aspects of decomposition of $\Pc_G$: we give an algorithm deciding the decomposability of $\Pc_G$, we prove that $\Pc_G$ is normal if and only if both $\Pc_{G^+}$ and $\Pc_{G^-}$ are normal, and we also study how a condition on the toric ideal of $\Pc_G$ (namely, the ideal being generated by quadratic binomials) behaves under decomposition.
Random generation of combinatorial structures: Boltzmann samplers and beyond
Published
• View Publication
• BIB
The Boltzmann model for the random generation of "decomposable" combinatorial structures is a set of techniques that allows for efficient random sampling algorithms for a large class of families of discrete objects. The usual requirement of sampling uniformly from the set of objects of a given size is somehow relaxed, though uniformity among objects of each size is still ensured. Generating functions, rather than the enumeration sequences they are based on, are the crucial ingredient. We give a brief description of the general theory, as well as a number of newer developments.
On prisms, Möbius ladders and the cycle space of dense graphs
Published in European Journal of Combinatorics 36 (2014), 503-520
• View Publication
• BIB
For a graph X, let f_0(X) denote its number of vertices, d(X) its minimum degree and Z_1(X;Z/2) its cycle space in the standard graph-theoretical sense (i.e. 1-dimensional cycle group in the sense of simplicial homology theory with Z/2-coefficients). Call a graph Hamilton-generated if and only if the set of all Hamilton circuits is a Z/2-generating system for Z_1(X;Z/2). The main purpose of this paper is to prove the following: for every s > 0 there exists n_0 such that for every graph X with f_0(X) >= n_0 vertices, (1) if d(X) >= (1/2 + s) f_0(X) and f_0(X) is odd, then X is Hamilton-generated, (2) if d(X) >= (1/2 + s) f_0(X) and f_0(X) is even, then the set of all Hamilton circuits of X generates a codimension-one subspace of Z_1(X;Z/2), and the set of all circuits of X having length either f_0(X)-1 or f_0(X) generates all of Z_1(X;Z/2), (3) if d(X) >= (1/4 + s) f_0(X) and X is square bipartite, then X is Hamilton-generated. All these degree-conditions are essentially best-possible. The implications in (1) and (2) give an asymptotic affirmative answer to a special case of an open conjecture which according to [European J. Combin. 4 (1983), no. 3, p. 246] originates with A. Bondy.
Riemann-Roch theory for weighted graphs and tropical curves
Published
• View Publication
• BIB
We define a divisor theory for graphs and tropical curves endowed with a weight function on the vertices; we prove that the Riemann-Roch theorem holds in both cases. We extend Baker's Specialization Lemma to weighted graphs.
Edge growth in graph squares
Published
• View Publication
• BIB
We resolve a conjecture of Hegarty regarding the number of edges in the square of a regular graph. If $G$ is a connected $d$-regular graph with $n$ vertices, the graph square of $G$ is not complete, and $G$ is not a member of two narrow families of graphs, then the square of $G$ has at least $(2-o_d(1))n$ more edges than $G$.
Filter-regular sequences, almost complete intersections and Stanley's conjecture
Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$ generated by monomials $u_1,u_2,..., u_t$. We show that $S/I$ is pretty clean if either: 1) $u_1,u_2,..., u_t$ is a filter-regular sequence, 2) $u_1,u_2,..., u_t$ is a $d$-sequence; or 3) $I$ is almost complete intersection. In particular, in each of these cases, $S/I$ is sequentially Cohen-Macaulay and both Stanley's and $h$-regularity conjectures, on Stanley decompositions, hold for $S/I$. Also, we prove that if $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.
A reduced set of moves on one-vertex ribbon graphs coming from links
Published in Proc. Amer. Math. Soc. 142 (2014), 737-752
• View Publication
• BIB
Every link in R^3 can be represented by a one-vertex ribbon graph. We prove a Markov type theorem on this subset of link diagrams.
Macdonald polynomials in superspace: conjectural definition and positivity conjectures
Published in Letters in Mathematical Physics 101 (2012) 27-47
• View Publication
• BIB
We introduce a conjectural construction for an extension to superspace of the Macdonald polynomials. The construction, which depends on certain orthogonality and triangularity relations, is tested for high degrees. We conjecture a simple form for the norm of the Macdonald polynomials in superspace, and a rather non-trivial expression for their evaluation. We study the limiting cases q=0 and q=\infty, which lead to two families of Hall-Littlewood polynomials in superspace. We also find that the Macdonald polynomials in superspace evaluated at q=t=0 or q=t=\infty seem to generalize naturally the Schur functions. In particular, their expansion coefficients in the corresponding Hall-Littlewood bases appear to be polynomials in t with nonnegative integer coefficients. More strikingly, we formulate a generalization of the Macdonald positivity conjecture to superspace: the expansion coefficients of the Macdonald superpolynomials expanded into a modified version of the Schur superpolynomial basis (the q=t=0 family) are polynomials in q and t with nonnegative integer coefficients.
Combinatorics of locally optimal RNA secondary structures
Published
• View Publication
• BIB
It is a classical result of Stein and Waterman that the asymptotic number of RNA secondary structures is $1.104366 \cdot n^{-3/2} \cdot 2.618034^n$. Motivated by the kinetics of RNA secondary structure formation, we are interested in determining the asymptotic number of secondary structures that are locally optimal, with respect to a particular energy model. In the Nussinov energy model, where each base pair contributes -1 towards the energy of the structure, locally optimal structures are exactly the saturated structures, for which we have previously shown that asymptotically, there are $1.07427\cdot n^{-3/2} \cdot 2.35467^n$ many saturated structures for a sequence of length $n$. In this paper, we consider the base stacking energy model, a mild variant of the Nussinov model, where each stacked base pair contributes -1 toward the energy of the structure. Locally optimal structures with respect to the base stacking energy model are exactly those secondary structures, whose stems cannot be extended. Such structures were first considered by Evers and Giegerich, who described a dynamic programming algorithm to enumerate all locally optimal structures. In this paper, we apply methods from enumerative combinatorics to compute the asymptotic number of such structures. Additionally, we consider analogous combinatorial problems for secondary structures with annotated single-stranded, stacking nucleotides (dangles).
Finding D-optimal designs by randomised decomposition and switching
Published in Australasian Journal of Combinatorics 55 (2013), 15-30. Erratum http://maths-people.anu.edu.au/~brent/pub/pub245_errata.html
• Search Publication
The Hadamard maximal determinant (maxdet) problem is to find the maximum determinant D(n) of a square {+1, -1} matrix of given order n. Such a matrix with maximum determinant is called a saturated D-optimal design. We consider some cases where n > 2 is not divisible by 4, so the Hadamard bound is not attainable, but bounds due to Barba or Ehlich and Wojtas may be attainable. If R is a matrix with maximal (or conjectured maximal) determinant, then G = RR^T is the corresponding Gram matrix. For the cases that we consider, maximal or conjectured maximal Gram matrices are known. We show how to generate many Hadamard equivalence classes of solutions from a given Gram matrix G, using a randomised decomposition algorithm and row/column switching. In particular, we consider orders 26, 27 and 33, and obtain new saturated D-optimal designs (for order 26) and new conjectured saturated D-optimal designs (for orders 27 and 33).
Protometrics
Published in European Journal of Combinatorics. Available online 26 February 2018
• View Publication
• BIB
We introduce the concept of protometric and present some properties of protometrics.
On $\mathbb{Z}_t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrices
A characterization of $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrices is described, depending on the notions of {\em distributions}, {\em ingredients} and {\em recipes}. In particular, these notions lead to the establishment of some bounds on the number and distribution of 2-coboundaries over $\mathbb{Z}_t \times \mathbb{Z} _2^2$ to use and the way in which they have to be combined in order to obtain a $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrix. Exhaustive searches have been performed, so that the table in p. 132 in [4] is corrected and completed. Furthermore, we identify four different operations on the set of coboundaries defining $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic matrices, which preserve orthogonality. We split the set of Hadamard matrices into disjoint orbits, define representatives for them and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way, in terms of {\em diagrams}. Let ${\cal H}$ be the set of cocyclic Hadamard matrices over $\mathbb{Z}_t \times \mathbb{Z}_2^2$ having a symmetric diagram. We also prove that the set of Williamson type matrices is a subset of ${\cal H}$ of size $\frac{|{\cal H}|}{t}$.
Some new operations on Zt x Z2,2-cocyclic Hadamard matrices
Following the ideas of [AGG11] about Zt x Z2,2-cocyclic Hadamard matrices, we introduce the notion of diagram, which visually represents any set of coboundaries. Diagrams are a very useful tool for the description and the study of paths and intersections, as described in [AGG11]. Then, we will study four different operations on Zt x Z2,2-cocyclic matrices. These operations will be defined on the set of coboundaries defining the matrix, preserve the Hadamard character of the cocyclic matrices, and allow us to obtain new Hadamard matrices from old ones. We split the set of Hadamard matrices into disjoint orbits, define representatives for them and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way.
Markov Bases for Typical Block Effect Models of Two-way Contingency Tables
Published in Journal of Multivariate Analysis 112 (2012) 219--229
• View Publication
• BIB
Markov basis for statistical model of contingency tables gives a useful tool for performing the conditional test of the model via Markov chain Monte Carlo method. In this paper we derive explicit forms of Markov bases for change point models and block diagonal effect models, which are typical block-wise effect models of two-way contingency tables, and perform conditional tests with some real data sets.
Appendix for almost-rainbow edge-colorings of some small subgraphs
This appendix for our article, "Almost-rainbow edge-colorings of some small subgraphs", contains the full proof of Theorem 4.1.