Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Generating stable modular graphs
Published in Journal of Symbolic Computation 46 (2011), pp. 1087-1097
• View Publication
• BIB
We present the program Boundary, whose source files are available at http://people.sissa.it/~maggiolo/boundary/. Given two natural numbers g and n satisfying 2g+n-2>0, the program generates all genus g stable graphs with n unordered marked points. Each such graph determines the topological type of a nodal stable curve of arithmetic genus g with n unordered marked points. Our motivation comes from the fact that the boundary of the moduli space of stable genus g, n-pointed curves can be stratified by taking loci of curves of a fixed topological type.
The incidence Hopf algebra of graphs
Published
• View Publication
• BIB
The graph algebra is a commutative, cocommutative, graded, connected incidence Hopf algebra, whose basis elements correspond to finite simple graphs and whose Hopf product and coproduct admit simple combinatorial descriptions. We give a new formula for the antipode in the graph algebra in terms of acyclic orientations; our formula contains many fewer terms than Takeuchi's and Schmitt's more general formulas for the antipode in an incidence Hopf algebra. Applications include several formulas (some old and some new) for evaluations of the Tutte polynomial.
Input Parameters Optimization in Swarm DS-CDMA Multiuser Detectors
In this paper, the uplink direct sequence code division multiple access (DS-CDMA) multiuser detection problem (MuD) is studied into heuristic perspective, named particle swarm optimization (PSO). Regarding different system improvements for future technologies, such as high-order modulation and diversity exploitation, a complete parameter optimization procedure for the PSO applied to MuD problem is provided, which represents the major contribution of this paper. Furthermore, the performance of the PSO-MuD is briefly analyzed via Monte-Carlo simulations. Simulation results show that, after convergence, the performance reached by the PSO-MuD is much better than the conventional detector, and somewhat close to the single user bound (SuB). Rayleigh flat channel is initially considered, but the results are further extend to diversity (time and spatial) channels.
From Cycle Rooted Spanning Forests to the Critical Ising Model: an Explicit Construction
Published in Comm. Math. Phys. 319 (2013), no 1, 69-110
• View Publication
• BIB
Fisher established an explicit correspondence between the 2-dimensional Ising model defined on a graph $G$ and the dimer model defined on a decorated version $\GD$ of this graph \cite{Fisher}. In this paper we explicitly relate the dimer model associated to the critical Ising model and critical cycle rooted spanning forests (CRSFs). This relation is established through characteristic polynomials, whose definition only depends on the respective fundamental domains, and which encode the combinatorics of the model. We first show a matrix-tree type theorem establishing that the dimer characteristic polynomial counts CRSFs of the decorated fundamental domain $\GD_1$. Our main result consists in explicitly constructing CRSFs of $\GD_1$ counted by the dimer characteristic polynomial, from CRSFs of $G_1$ where edges are assigned Kenyon's critical weight function \cite{Kenyon3}; thus proving a relation on the level of configurations between two well known 2-dimensional critical models.
Congruences concerning Legendre polynomials III
Published
• View Publication
• BIB
Let $p>3$ be a prime, and let $R_p$ be the set of rational numbers whose denominator is coprime to $p$. Let $\{P_n(x)\}$ be the Legendre polynomials. In this paper we mainly show that for $m,n,t\in R_p$ with $m\not\e 0\pmod p$, $$\align &P_{[\frac p6]}(t) \e -\Big(\frac 3p\Big)\sum_{x=0}^{p-1}\Big(\frac{x^3-3x+2t}p\Big)\pmod p, &\Big(\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big)\Big)^2\equiv \Big(\frac{-3m}p\Big) \sum_{k=0}^{[p/6]}\binom{2k}k\binom{3k}k\binom{6k}{3k} \Big(\frac{4m^3+27n^2}{12^3\cdot 4m^3}\Big)^k\pmod p,$$ where $(\frac ap)$ is the Legendre symbol and $[x]$ is the greatest integer function. As an application we solve some conjectures of Z.W. Sun and the author concerning $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k\binom{6k}{3k}/m^k\pmod {p^2}$, where $m$ is an integer not divisible by $p$.
On triply even binary codes
Published in J. London Math. Soc. (2) 86 (2012) 1-16
• View Publication
• BIB
A triply even code is a binary linear code in which the weight of every codeword is divisible by 8. We show how two doubly even codes of lengths m_1 and m_2 can be combined to make a triply even code of length m_1+m_2, and then prove that every maximal triply even code of length 48 can be obtained by combining two doubly even codes of length 24 in a certain way. Using this result, we show that there are exactly 10 maximal triply even codes of length 48 up to equivalence.
The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree
Published
• View Publication
• BIB
It is known that every planar graph has a planar embedding where edges are represented by non-crossing straight-line segments. We study the planar slope number, i.e., the minimum number of distinct edge-slopes in such a drawing of a planar graph with maximum degree $Δ$. We show that the planar slope number of every planar partial 3-tree and also every plane partial 3-tree is at most $O(Δ^5)$. In particular, we answer the question of Dujmović et al. [Computational Geometry 38 (3), pp. 194--212 (2007)] whether there is a function $f$ such that plane maximal outerplanar graphs can be drawn using at most $f(Δ)$ slopes.
Minimum K_2,3-saturated Graphs
Published in J. Graph Theory 76 (2014) no. 4, 309--322
• View Publication
• BIB
A graph is K_{2,3}-saturated if it has no subgraph isomorphic to K_{2,3}, but does contain a K_{2,3} after the addition of any new edge. We prove that the minimum number of edges in a K_{2,3}-saturated graph on n >= 5 vertices is sat(n, K_{2,3}) = 2n - 3.
Reconstruction of complete interval tournaments. II
Published in Acta Univ. Sapientiae, Mathematica, 2 (2010), 47--71
• Search Publication
Let $a, \ b \ (b \geq a)$ and $n \ (n \geq 2)$ be nonnegative integers and let $\mathcal{T}(a,b,n)$ be the set of such generalised tournaments, in which every pair of distinct players is connected at most with $b$, and at least with $a$ arcs. In \cite{Ivanyi2009} we gave a necessary and sufficient condition to decide whether a given sequence of nonnegative integers $D = (d_1, d_2,..., d_n)$ can be realized as the out-degree sequence of a $T \in \mathcal{T}(a,b,n)$. Extending the results of \cite{Ivanyi2009} we show that for any sequence of nonnegative integers $D$ there exist $f$ and $g$ such that some element $T \in \mathcal{T}(g,f,n)$ has $D$ as its out-degree sequence, and for any $(a,b,n)$-tournament $T'$ with the same out-degree sequence $D$ hold $a\leq g$ and $b\geq f$. We propose a $Θ(n)$ algorithm to determine $f$ and $g$ and an $O(d_n n^2)$ algorithm to construct a corresponding tournament $T$.
A Giambelli formula for the $S^1$-equivariant cohomology of type A Peterson varieties
Published
• View Publication
• BIB
The main result of this note is a Giambelli formula for the Peterson Schubert classes in the $S^1$-equivariant cohomology ring of a type $A$ Peterson variety. Our results depend on the Monk formula for the equivariant structure constants for the Peterson Schubert classes derived by Harada and Tymoczko. In addition, we give proofs of two facts observed by H. Naruse: firstly, that some constants which appear in the multiplicative structure of the $S^1$-equivariant cohomology of Peterson varieties are Stirling numbers of the second kind, and secondly, that the Peterson Schubert classes satisfy a stability property in a sense analogous to the stability of the classical equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety.
Poset pinball, the dimension pair algorithm, and type A regular nilpotent Hessenberg varieties
Published
• View Publication
• BIB
In this manuscript we develop the theory of poset pinball, a combinatorial game recently introduced by Harada and Tymoczko for the study of the equivariant cohomology rings of GKM-compatible subspaces of GKM spaces. Harada and Tymoczko also prove that in certain circumstances, a successful outcome of Betti poset pinball yields a module basis for the equivariant cohomology ring of the GKM-compatible subspace. Our main contributions are twofold. First we construct an algorithm (which we call the dimension pair algorithm) which yields the result of a successful outcome of Betti poset pinball for any type $A$ regular nilpotent Hessenberg and any type $A$ nilpotent Springer variety, considered as GKM-compatible subspaces of the flag variety $\Flags(\C^n)$. The definition of the algorithm is motivated by a correspondence between Hessenberg affine cells and certain Schubert polynomials which we learned from Erik Insko. Second, in the special case of the type $A$ regular nilpotent Hessenberg varieties specified by the Hessenberg function $h(1)=h(2)=3$ and $h(i) = i+1$ for $3 \leq i \leq n-1$ and $h(n)=n$, we prove that the pinball result coming from the dimension pair algorithm is poset-upper-triangular; by results of Harada and Tymoczko this implies the corresponding equivariant cohomology classes form a $H^*_{S^1}(\pt)$-module basis for the $S^1$-equivariant cohomology ring of the Hessenberg variety.
The number of convex pentagons and hexagons in an $n$-triangular net
Published in Shuxue Tongbao (or Bulletin des Sciences Mathematics in Chinese), 49 (2010), no. 10, 43-45
• Search Publication
In this paper, we obtain the counting formulaes of convex pentagons and convex hexagons, respectively, in an $n$-triangular net by solving the corresponding recursive formulaes.
Improved Approximation for the Directed Spanner Problem
Published
• View Publication
• BIB
We prove that the size of the sparsest directed k-spanner of a graph can be approximated in polynomial time to within a factor of $\tilde{O}(\sqrt{n})$, for all k >= 3. This improves the $\tilde{O}(n^{2/3})$-approximation recently shown by Dinitz and Krauthgamer.
Rigidity of the topological dual of spaces of formal series with respect to product topologies
Published
• View Publication
• BIB
Even in spaces of formal power series is required a topology in order to legitimate some operations, in particular to compute infinite summations. Many topologies can be exploited for different purposes. Combinatorists and algebraists may think to usual order topologies, or the product topology induced by a discrete coefficient field, or some inverse limit topologies. Analysists will take into account the valued field structure of real or complex numbers. As the main result of this paper we prove that the topological dual spaces of formal power series, relative to the class of product topologies with respect to Hausdorff field topologies on the coefficient field, are all the same, namely the space of polynomials. As a consequence, this kind of rigidity forces linear maps, continuous for any (and then for all) of those topologies, to be defined by very particular infinite matrices similar to row-finite matrices.
The spectrum of random lifts
For a fixed d-regular graph H, a random n-lift is obtained by replacing each vertex v of H by a "fibre" containing n vertices, then placing a uniformly random matching between fibres corresponding to adjacent vertices of H. We show that with extremely high probability, all eigenvalues of the lift that are not eigenvalues of H, have order O(sqrt(d)). In particular, if H is Ramanujan then its n-lift is with high probability nearly Ramanujan. We also show that any exceptionally large eigenvalues of the n-lift that are not eigenvalues of H, are overwhelmingly likely to have been caused by a dense subgraph of size O(|E(H)|).
Upper bounds for the bondage number of graphs on topological surfaces
Published in Discrete Math. 313 (2013), no. 11, pp. 1132-1137
• View Publication
• BIB
The bondage number b(G) of a graph G is the smallest number of edges of G whose removal from G results in a graph having the domination number larger than that of G. We show that, for a graph G having the maximum vertex degree $Δ(G)$ and embeddable on an orientable surface of genus h and a non-orientable surface of genus k, $b(G)\le \min\{Δ(G)+h+2, Δ(G)+k+1\}$. This generalizes known upper bounds for planar and toroidal graphs.
Hemisystems of small flock generalized quadrangles
Published
• View Publication
• BIB
In this paper, we describe a complete computer classification of the hemisystems in the two known flock generalized quadrangles of order $(5^2,5)$ and give numerous further examples of hemisystems in all the known flock generalized quadrangles of order $(s^2,s)$ for $s \le 11$. By analysing the computational data, we identify two possible new infinite families of hemisystems in the classical generalized quadrangle $H(3,q^2)$.
Lyashko-Looijenga morphisms and submaximal factorisations of a Coxeter element
Published in Journal of Algebraic Combinatorics 36, Issue 4 (2012), pp. 649-673
• View Publication
• BIB
When W is a finite reflection group, the noncrossing partition lattice NCP_W of type W is a rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. A formula (for which the only known proofs are case-by-case) expresses the number of multichains of a given length in NCP_W as a generalised Fuss-Catalan number, depending on the invariant degrees of W. We describe how to understand some specifications of this formula in a case-free way, using an interpretation of the chains of NCP_W as fibers of a Lyashko-Looijenga covering (LL), constructed from the geometry of the discriminant hypersurface of W. We study algebraically the map LL, describing the factorisations of its discriminant and its Jacobian. As byproducts, we generalise a formula stated by K. Saito for real reflection groups, and we deduce new enumeration formulas for certain factorisations of a Coxeter element of W.
Chromatic polynomials of complementary (n,k)-clique pairs
We introduce a class of pairs of graphs consisting of two cliques joined by an arbitrary number of edges. The members of a pair have the property that the clique-bridging edge-set of one graph is the complement of that of the other. We prove a precise relation between the chromatic polynomials of the graphs in such a pair, showing that they have the same splitting field, and that the number of acyclic orientations of each graph is determined by the number of proper vertex-colourings of the other.
Generalized compositions with a fixed number of parts
We investigate compositions of a positive integer with a fixed number of parts, when there are several types of each natural number. These compositions produce new relationships among binomial coefficients, Catalan numbers, and numbers of the Catalan triangle.