Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Poset structures on (m + 2)-angulations and polynomial bases of the quotient by G^m -quasisymmetric functions
For integers m, n $\ge$ 1, we describe a bijection sending dissections of the (mn + 2)-regular polygon into (m + 2)-sided polygons to a new basis of the quotient of the polynomial algebra in mn variables by an ideal generated by some kind of higher quasi-symmetric functions. We show that divisibility of the basis elements corresponds to a new partial order on dissections, which is studied in some detail.
Littlewood-Richardson coefficients for Grothendieck polynomials from integrability
Published
• View Publication
• BIB
We study the Littlewood-Richardson coefficients of double Grothendieck polynomials indexed by Grassmannian permutations. Geometrically, these are the structure constants of the equivariant $K$-theory ring of Grassmannians. Representing the double Grothendieck polynomials as partition functions of an integrable vertex model, we use its Yang-Baxter equation to derive a series of product rules for the former polynomials and their duals. The Littlewood-Richardson coefficients that arise can all be expressed in terms of puzzles without gashes, which generalize previous puzzles obtained by Knutson-Tao and Vakil.
Plane-filling curves on all uniform grids
We describe a search for plane-filling curves traversing all edges of a grid once. The curves are given by Lindenmayer systems with only one non-constant letter. All such curves for small orders on three grids have been found. For all uniform grids we show how curves traversing all points once can be obtained from the curves found. Curves traversing all edges once are described for the four uniform grids where they exist.
Generalized Hypergeometric Ensembles: Statistical Hypothesis Testing in Complex Networks
Statistical ensembles of networks, i.e., probability spaces of all networks that are consistent with given aggregate statistics, have become instrumental in the analysis of complex networks. Their numerical and analytical study provides the foundation for the inference of topological patterns, the definition of network-analytic measures, as well as for model selection and statistical hypothesis testing. Contributing to the foundation of these data analysis techniques, in this Letter we introduce generalized hypergeometric ensembles, a broad class of analytically tractable statistical ensembles of finite, directed and weighted networks. This framework can be interpreted as a generalization of the classical configuration model, which is commonly used to randomly generate networks with a given degree sequence or distribution. Our generalization rests on the introduction of dyadic link propensities, which capture the degree-corrected tendencies of pairs of nodes to form edges between each other. Studying empirical and synthetic data, we show that our approach provides broad perspectives for model selection and statistical hypothesis testing in data on complex networks.
Contents of partitions and the combinatorics of permutation factorizations in genus 0
Published
• View Publication
• BIB
The central object of study is a formal power series that we call the content series, a symmetric function involving an arbitrary underlying formal power series $f$ in the contents of the cells in a partition. In previous work we have shown that the content series satisfies the KP equations. The main result of this paper is a new partial differential equation for which the content series is the unique solution, subject to a simple initial condition. This equation is expressed in terms of families of operators that we call $\mathcal{U}$ and $\mathcal{D}$ operators, whose action on the Schur symmetric function $s_λ$ can be simply expressed in terms of powers of the contents of the cells in $λ$. Among our results, we construct the ${\mathcal{U}}$ and ${\mathcal{D}}$ operators explicitly as partial differential operators in the underlying power sum symmetric functions. We also give a combinatorial interpretation for the content series in terms of the Jucys-Murphy elements in the group algebra of the symmetric group. This leads to an interpretation for the content series as a generating series for branched covers of the sphere by a Riemann surface of arbitrary genus $g$. As particular cases, by suitable choice of the underlying series $f$, the content series specializes to the generating series for three known classes of branched covers: Hurwitz numbers, monotone Hurwitz numbers, and $m$-hypermap numbers. We apply our pde to give new proofs of the explicit formulas for these three classes of number in genus $0$. In the case of the $m$-hypermap numbers of Bousquet-Mélou and Schaeffer, this is the first algebraic proof of this result.
Extremal Triangular Chain Graphs for Bond Incident Degree (BID) Indices
Published in Ars Combinatoria 141 (2018) 213-227
• Search Publication
A general expression for calculating the bond incident degree (BID) indices of certain triangular chain graphs is derived. The extremal triangular chain graphs with respect to several well known BID indices are also characterized over a particular collection of triangular chain graphs.
Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs
Published
• View Publication
• BIB
We consider, for complete bipartite graphs, the convex hulls of characteristic vectors of all matchings, extended by a binary entry indicating whether the matching contains two specific edges. These polytopes are associated to the quadratic matching problems with a single linearized quadratic term. We provide a complete irredundant inequality description, which settles a conjecture by Klein (Ph.D. thesis, TU Dortmund, 2015). In addition, we also derive facetness and separation results for the polytopes. The completeness proof is based on a geometric relationship to a matching polytope of a nonbipartite graph. Using standard techniques, we finally extend the result to capacitated b-matchings.
On a square-ice analogue of plane partitions
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 6 (2019), 123-154
• View Publication
• BIB
We study a one-parameter family ($\ell=1,2,3,\ldots$) of configurations that are square-ice analogues of plane partitions. Using an algorithm due to Bratley and McKay, we carry out exact enumerations in order to study their asymptotic behaviour and establish, via Monte Carlo simulations as well as explicit bounds, that the asymptotic behaviour is similar to that of plane partitions. We finally carry out a series analysis and provide independent estimates for the asymptotic behaviour.
Long cycles have the edge-Erdős-Pósa property
Published
• View Publication
• BIB
We prove that the set of long cycles has the edge-Erdős-Pósa property: for every fixed integer $\ell\ge 3$ and every $k\in\mathbb{N}$, every graph $G$ either contains $k$ edge-disjoint cycles of length at least $\ell$ (long cycles) or an edge set $X$ of size $O(k^2\log k + \ell k)$ such that $G-X$ does not contain any long cycle. This answers a question of Birmelé, Bondy, and Reed (Combinatorica 27 (2007), 135--145).
On total domination in the Cartesian product of graphs
Ho proved in [A note on the total domination number, Util.Math. 77 (2008) 97--100] that the total domination number of the Cartesian product of any two graphs with no isolated vertices is at least one half of the product of their total domination numbers. We extend a result of Lu and Hou from [Total domination in the Cartesian product of a graph and $K_2$ or $C_n$, Util. Math. 83 (2010) 313--322] by characterizing the pairs of graphs $G$ and $H$ for which $γ_t(G\Box H)=\frac{1}{2}γ_t(G) γ_t(H)\,$, whenever $γ_t(H)=2$. In addition, we present an infinite family of graphs $G_n$ with $γ_t(G_n)=2n$, which asymptotically approximate the equality in $γ_t(G_n\Box G_n)\ge \frac{1}{2}γ_t(G_n)^2$.
Novel Performance Analysis of Network Coded Communications in Single-Relay Networks
Published
• View Publication
• BIB
In this paper, we analyze the performance of a single-relay network in which the reliability is provided by means of Random Linear Network Coding (RLNC). We consider a scenario when both source and relay nodes can encode packets. Unlike the traditional approach to relay networks, we introduce a passive relay mode, in which the relay node simply retransmits collected packets in case it cannot decode them. In contrast with the previous studies, we derive a novel theoretical framework for the performance characterization of the considered relay network. We extend our analysis to a more general scenario, in which coding coefficients are generated from non-binary fields. The theoretical results are verified using simulation, for both binary and non-binary fields. It is also shown that the passive relay mode significantly improves the performance compared with the active-only case, offering an up to two-fold gain in terms of the decoding probability. The proposed framework can be used as a building block for the analysis of more complex network topologies.
On the relation between hyperrings and fuzzy rings
Published
• View Publication
• BIB
We construct a full embedding of the category of hyperfields into Dress's category of fuzzy rings and explicitly characterize the essential image --- it fails to be essentially surjective in a very minor way. This embedding provides an identification of Baker's theory of matroids over hyperfields with Dress's theory of matroids over fuzzy rings (provided one restricts to those fuzzy rings in the essential image). The embedding functor extends from hyperfields to hyperrings, and we study this extension in detail. We also analyze the relation between hyperfields and Baker's partial demifields.
Rigid cylindrical frameworks with two coincident points
Published
• View Publication
• BIB
We develop a rigidity theory for frameworks in $\mathbb{R}^3$ which have two coincident points but are otherwise generic and only infinitesimal motions which are tangential to a family of cylinders induced by the realisation are considered. We then apply our results to show that vertex splitting, under the additional assumption that the new edge is redundant, preserves the property of being generically globally rigid on families of concentric cylinders.
Recovering the topology of surfaces from cluster algebras
Published
• View Publication
• BIB
We present an effective method for recovering the topology of a bordered oriented surface with marked points from its cluster algebra. The information is extracted from the maximal triangulations of the surface, those that have exchange quivers with maximal number of arrows in the mutation class. The method gives new proofs of the automorphism and isomorphism problems for the surface cluster algebras, as well as the uniqueness of the Fomin-Shapiro-Thurston block decompositions of the exchange quivers of the surface cluster algebras. The previous proofs of these results followed a different approach based on Gu's direct proof of the last result. The method also explains the exceptions to these results due to pathological problems with the maximal triangulations of several surfaces.
Decomposing 8-regular graphs into paths of length 4
Published
• View Publication
• BIB
A $T$-decomposition of a graph $G$ is a set of edge-disjoint copies of $T$ in $G$ that cover the edge set of $G$. Graham and Häggkvist (1989) conjectured that any $2\ell$-regular graph $G$ admits a $T$-decomposition if $T$ is a tree with $\ell$ edges. Kouider and Lonc (1999) conjectured that, in the special case where $T$ is the path with $\ell$ edges, $G$ admits a $T$-decomposition $\mathcal{D}$ where every vertex of $G$ is the end-vertex of exactly two paths of $\mathcal{D}$, and proved that this statement holds when $G$ has girth at least $(\ell+3)/2$. In this paper we verify Kouider and Lonc's Conjecture for paths of length $4$.
Discrete Balayage and Boundary Sandpile
Published
• View Publication
• BIB
We introduce a new lattice growth model, which we call boundary sandpile. The model amounts to potential-theoretic redistribution of a given initial mass on $\mathbb{Z}^d$ ($d\geq 2$) onto the boundary of an (a priori) unknown domain. The latter evolves through sandpile dynamics, and has the property that the mass on the boundary is forced to stay below a prescribed threshold. Since finding the domain is part of the problem, the redistribution process is a discrete model of a free boundary problem, whose continuum limit is yet to be understood.
We prove general results concerning our model. These include canonical representation of the model in terms of the smallest super-solution among a certain class of functions, uniform Lipschitz regularity of the scaled odometer function, and hence the convergence of a subsequence of the odometer and the visited sites, discrete symmetry properties, as well as directional monotonicity of the odometer function. The latter (in part) implies the Lipschitz regularity of the free boundary of the sandpile.
As a direct application of some of the methods developed in this paper, combined with earlier results on classical Abelian sandpile, we show that the boundary of the scaling limit of Abelian sandpile is locally a Lipschitz graph.
Computation of numerical semigroups by means of seeds
Published
• View Publication
• BIB
For the elements of a numerical semigroup which are larger than the Frobenius number, we introduce the definition of, seed, by broadening the notion of generator. This new concept allows us to explore the semigroup tree in an alternative efficient way, since the seeds of each descendant can be easily obtained from the seeds of its parent. The paper is devoted to presenting the results which are related to this approach, leading to a new algorithm for computing and counting the semigroups of a given genus.
Deleting digits
Published in The Mathematical Gazette 101 (2017), 60-68
• View Publication
• BIB
In 2000, J. Shallit introduced a special partial ordering of a subset of positive integers and proposed the problem of finding the set of minimal elements with respect to this ordering. Shallit himself solved this problem for the set of primes and also for the set of composite numbers. In this recreational mathematics note, we compute the minimal sets of a few other arithmetically interesting sets and discuss questions on size and shape of minimal sets in general.
Desarguesian spreads and field reduction for elements of the semilinear group
Published
• View Publication
• BIB
The goal of this note is to create a sound framework for the interplay between field reduction for finite projective spaces, the general semilinear groups acting on the defining vector spaces and the projective semilinear groups. This approach makes it possible to reprove a result of Dye on the stabiliser in PGL of a Desarguesian spread in a more elementary way, and extend it to PΓL(n, q). Moreover a result of Drudge [5] relating Singer cycles with Desarguesian spreads, as well as a result on subspreads (by Sheekey, Rottey and Van de Voorde [19]) are reproven in a similar elementary way. Finally, we try to use this approach to shed a light on Condition (A) of Csajbok and Zanella, introduced in the study of linear sets [4].
The bundle Laplacian on discrete tori
Published
• View Publication
• BIB
We prove an asymptotic formula for the determinant of the bundle Laplacian on discrete $d$-dimensional tori as the number of vertices tends to infinity. This determinant has a combinatorial interpretation in terms of cycle-rooted spanning forests. We also establish a relation (in the limit) between the spectral zeta function of a line bundle over a discrete torus, the spectral zeta function of the infinite graph $\mathbb{Z}^d$ and the Epstein-Hurwitz zeta function. The latter can be viewed as the spectral zeta function of the twisted continuous torus which is the limit of the sequence of discrete tori.