Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Amalgamation and Symmetry: From Local to Global Consistency in The Finite
We present a generic construction of finite realisations of amalgamation patterns. An amalgamation pattern is specified by a finite collection of finite template structures together with a collection of partial isomorphisms between them. A realisation is a globally consistent solution to the locally consistent specification of this amalgamation problem: this is a single structure equipped with an atlas of distinguished substructures associated with the template structures, their overlaps realising precisely the identifications induced by the given partial isomorphisms. Our construction is based on natural reduced products with suitable groupoids. The resulting realisations are generic in the sense that they can be made to preserve all symmetries of the specification. They can also be made to be universal w.r.t.\ to local homomorphisms up to any specified size. As key applications of the main construction we discuss finite hypergraph coverings of specified levels of acyclicity and a new route to the lifting of local symmetries to global automorphisms in finite structures.
Improved bounds for Rota's Basis Conjecture
Published
• View Publication
• BIB
We prove that, if $B_1, \dots, B_n$ are disjoint bases of a rank-$n$ matroid, then there are at least $\lfloor{\frac{n}{6 \lceil{\log n}\rceil}}\rfloor$ disjoint transversals of $(B_1, \dots, B_n)$ that are also bases.
Simultaneous core multipartitions
Published
• View Publication
• BIB
We initiate the study of simultaneous core multipartitions, generalising simultaneous core partitions, which have been studied extensively in the recent literature. Given a multipartition datum (s|c), which consists of a non-negative integer s and an l-tuple c of integers, we introduce the notion of an (s|c)-core multipartition. Given an arbitrary set of multicore data, we give necessary and sufficient conditions for the corresponding set of simultaneous core multipartitions to be finite. We then study the special case of simultaneous core bipartitions, giving exact enumerative results in some special subcases.
Towards a function field version of Freiman's Theorem
Published
• View Publication
• BIB
We discuss a multiplicative counterpart of Freiman's $3k-4$ theorem in the context of a function field $F$ over an algebraically closed field $K$. Such a theorem would give a precise description of subspaces $S$, such that the space $S^2$ spanned by products of elements of $S$ satisfies $\dim S^2 \leq 3 \dim S-4$. We make a step in this direction by giving a complete characterisation of spaces $S$ such that $\dim S^2 = 2 \dim S$. We show that, up to multiplication by a constant field element, such a space $S$ is included in a function field of genus $0$ or $1$. In particular if the genus is $1$ then this space is a Riemann-Roch space.
Complete graphs: the space of simplicial cones, and their path tree representation
Let $G$ be a complete graph with $n+1$ vertices. In a recent paper of the authors, it is shown that the path trees of the graph play a special role in the structure of the truncated powers and partition functions that are associated with the graph. Motivated by the above, we take here a closer look at the geometry of the simplicial cones associated with the graph, and the role played by those simplicial cones that are generated by path trees. It is shown that the latter form a basis for the linear space spanned by the former, and that the representation of a general simplicial cone by path tree cones can be deduced by examining partial orders induced by rooted trees. While the problem itself is geometrical and its solution is combinatorial, the proofs rest with multivariate spline theory.
Parking cars of different sizes
Published in American Mathematical Monthly, vol 123, no. 10, December 2016, pp. 1045--1048
• View Publication
• BIB
We extend the notion of parking functions to parking sequences, which include cars of different sizes, and prove a product formula for the number of such sequences.
Erdős-Ginzburg-Ziv constants by avoiding three-term arithmetic progressions
Published
• View Publication
• BIB
For a finite abelian group $G$, the Erdős-Ginzburg-Ziv constant $\mathfrak{s}(G)$ is the smallest $s$ such that every sequence of $s$ (not necessarily distinct) elements of $G$ has a zero-sum subsequence of length $\operatorname{exp}(G)$. For a prime $p$, let $r(\mathbb{F}_p^n)$ denote the size of the largest subset of $\mathbb{F}_p^n$ without a three-term arithmetic progression. Although similar methods have been used to study $\mathfrak{s}(G)$ and $r(\mathbb{F}_p^n)$, no direct connection between these quantities has previously been established. We give an upper bound for $\mathfrak{s}(G)$ in terms of $r(\mathbb{F}_p^n)$ for the prime divisors $p$ of $\operatorname{exp}(G)$. For the special case $G=\mathbb{F}_p^n$, we prove $\mathfrak{s}(\mathbb{F}_p^n)\leq 2p\cdot r(\mathbb{F}_p^n)$. Using the upper bounds for $r(\mathbb{F}_p^n)$ of Ellenberg and Gijswijt, this result improves the previously best known upper bounds for $\mathfrak{s}(\mathbb{F}_p^n)$ given by Naslund.
Hook length property of $d$-complete posets via $q$-integrals
Published
• View Publication
• BIB
The hook length formula for $d$-complete posets states that the $P$-partition generating function for them is given by a product in terms of hook lengths. We give a new proof of the hook length formula using $q$-integrals. The proof is done by a case-by-case analysis consisting of two steps. First, we express the $P$-partition generating function for each case as a $q$-integral and then we evaluate the $q$-integrals. Several $q$-integrals are evaluated using partial fraction expansion identities and others are verified by computer.
Graph theory general position problem
Published
• View Publication
• BIB
The classical no-three-in-line problem is to find the maximum number of points that can be placed in the $n \times n$ grid so that no three points lie on a line. Given a set $S$ of points in an Euclidean plane, the General Position Subset Selection Problem is to find a maximum subset $S'$ of $S$ such that no three points of $S'$ are collinear. Motivated by these problems, the following graph theory variation is introduced: Given a graph $G$, determine a largest set $S$ of vertices of $G$ such that no three vertices of $S$ lie on a common geodesic. Such a set is a gp-set of $G$ and its size is the gp-number ${\rm gp}(G)$ of $G$. Upper bounds on ${\rm gp}(G)$ in terms of different isometric covers are given and used to determine the gp-number of several classes of graphs. Connections between general position sets and packings are investigated and used to give lower bounds on the gp-number. It is also proved that the general position problem is NP-complete.
Cycle Decompositions and Constructive Characterizations
Published
• View Publication
• BIB
Decomposing an Eulerian graph into a minimum respectively maximum number of edge disjoint cycles is an NP-complete problem. We prove that an Eulerian graph decomposes into a unique number of cycles if and only if it does not contain two edge disjoint cycles sharing three or more vertices. To this end, we discuss the interplay of three binary graph operators leading to novel constructive characterizations of two subclasses of Eulerian graphs. This enables us to present a polynomial-time algorithm which decides whether the number of cycles in a cycle decomposition of a given Eulerian graph is unique.
Algorithmic Networks: central time to trigger expected emergent open-endedness
Published in Theoretical Computer Science (ISSN 0304-3975), 2019
• View Publication
• BIB
This article investigates emergence and complexity in complex systems that can share information on a network. To this end, we use a theoretical approach from information theory, computability theory, and complex networks. One key studied question is how much emergent complexity (or information) arises when a population of computable systems is networked compared with when this population is isolated. First, we define a general model for networked theoretical machines, which we call algorithmic networks. Then, we narrow our scope to investigate algorithmic networks that optimize the average fitnesses of nodes in a scenario in which each node imitates the fittest neighbor and the randomly generated population is networked by a time-varying graph. We show that there are graph-topological conditions that cause these algorithmic networks to have the property of expected emergent open-endedness for large enough populations. In other words, the expected emergent algorithmic complexity of a node tends to infinity as the population size tends to infinity. Given a dynamic network, we show that these conditions imply the existence of a central time to trigger expected emergent open-endedness. Moreover, we show that networks with small diameter compared to the network size meet these conditions. We also discuss future research based on how our results are related to some problems in network science, information theory, computability theory, distributed computing, game theory, evolutionary biology, and synergy in complex systems.
Colored Point-set Embeddings of Acyclic Graphs
Published
• View Publication
• BIB
We show that any planar drawing of a forest of three stars whose vertices are constrained to be at fixed vertex locations may require $Ω(n^\frac{2}{3})$ edges each having $Ω(n^\frac{1}{3})$ bends in the worst case. The lower bound holds even when the function that maps vertices to points is not a bijection but it is defined by a 3-coloring. In contrast, a constant number of bends per edge can be obtained for 3-colored paths and for 3-colored caterpillars whose leaves all have the same color. Such results answer to a long standing open problem.
Optimal pebbling and rubbling of graphs with given diameter
A pebbling move on a graph removes two pebbles from a vertex and adds one pebble to an adjacent vertex. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The optimal pebbling number $π_{opt}$ is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. A rubbling move is similar to a pebbling move, but it can remove the two pebbles from two different vertex. The optimal rubbling number $ρ_{opt}$ is defined analogously to the optimal pebbling number.
In this paper we give lower bounds on both the optimal pebbling and rubbling numbers by the distance $k$ domination number. With this bound we prove that for each $k$ there is a graph $G$ with diameter $k$ such that $ρ_{opt}(G)=π_{opt}(G)=2^k$.
Propriétés de maximalité concernant une représentation définie par Lusztig
Published
• View Publication
• BIB
Let $λ$ be a symplectic partition, denote Jord^{bp}($λ$) the set of even positive integers i which appear in $λ$, and let a map $ε:Jord^{bp}(λ) \to {\pm 1}$. The generalized Springer's correspondence associates to $(λ,ε)$ an irreducible representation $ρ(λ,ε)$ of some Weyl group. We can also define a representation $\underlineρ(λ,ε)$ of the same Weyl group, in general reducible. Roughly speaking, $ρ(λ,ε)$ is the representation of the Weyl group in the top cohomology group of some variety and $\underlineρ$ is the representation in the sum of all the cohomology groups of the same variety. The representation $\underlineρ$ decomposes as a direct sum of $ρ(λ',ε')$ with some multiplicities, where $(λ',ε')$ describes the pairs similar to $(λ,ε)$. It is well know that $(λ,ε)$ appears in this decomposition with multiplicity one and is minimal in this decomposition. That is, if $(λ',ε')$ appears, we have $λ'>λ$ or $(λ',ε')=(λ,ε)$. Assuming that $λ$ has only even parts, we prove that there exists also a maximal pair $(λ^{max},ε^{max})$. That is $4(λ^{max},ε^{max})$ appears with positive multiplicity (in fact one) and, if $(λ',ε')$ appears, we have $λ^{max}>λ'$ or $(λ',ε')=(λ^{max},ε^{max})$.
Tilings in randomly perturbed dense graphs
Published
• View Publication
• BIB
A perfect $H$-tiling in a graph $G$ is a collection of vertex-disjoint copies of a graph $H$ in $G$ that together cover all the vertices in $G$. In this paper we investigate perfect $H$-tilings in a random graph model introduced by Bohman, Frieze and Martin in which one starts with a dense graph and then adds $m$ random edges to it. Specifically, for any fixed graph $H$, we determine the number of random edges required to add to an arbitrary graph of linear minimum degree in order to ensure the resulting graph contains a perfect $H$-tiling with high probability. Our proof utilises Szemerédi's Regularity lemma as well as a special case of a result of Komlós concerning almost perfect $H$-tilings in dense graphs.
Counting equilibria of the Kuramoto model using birationally invariant intersection index
Published
• View Publication
• BIB
Synchronization in networks of interconnected oscillators is a fascinating phenomenon that appear naturally in many independent fields of science and engineering. A substantial amount of work has been devoted to understanding all possible synchronization configurations on a given network. In this setting, a key problem is to determine the total number of such configurations. Through an algebraic formulation, for tree and cycle graphs, we provide an upper bound on this number using the birationally invariant intersection index of a system of rational functions on a toric variety.
Some Topological Invariants of Generalized Möbius Ladder
Published
• View Publication
• BIB
The Hosoya polynomial of a graph $G$ was introduced by H. Hosoya in 1988 as a counting polynomial, which actually counts the number of distances of paths of different lengths in $G$. The most interesting application of the Hosoya polynomial is that almost all distance-based graph invariants, which are used to predict physical, chemical and pharmacological properties of organic molecules, can be recovered from it. In this article we give the general closed form of the Hosoya polynomial of the generalized Möbius ladder $M(m,n)$ for arbitrary $m$ and for $n=3$. Moreover, we recover Wiener, hyper Wiener, Tratch-Stankevitch-Zefirov, and Harary indices from it.
Euler characteristics of Brill-Noether varieties
Published in Trans. Amer. Math. Soc. 374 (2021), 1513-1533
• View Publication
• BIB
We prove an enumerative formula for the algebraic Euler characteristic of Brill-Noether varieties, parametrizing degree d and rank r linear series on a general genus g curve, with ramification profiles specified at up to two general points. Up to sign, this Euler characteristic is the number of standard set-valued tableaux of a certain skew shape with g labels. We use a flat degeneration via the Eisenbud-Harris theory of limit linear series, relying on moduli-theoretic advances of Osserman and Murray-Osserman; the count of set-valued tableaux is an explicit enumeration of strata of this degeneration.
The Hammersley-Welsh bound for self-avoiding walk revisited
Published
• View Publication
• BIB
The Hammersley-Welsh bound (1962) states that the number $c_n$ of length $n$ self-avoiding walks on $\mathbb{Z}^d$ satisfies \[ c_n \leq \exp \left[ O(n^{1/2}) \right] μ_c^n, \] where $μ_c=μ_c(d)$ is the connective constant of $\mathbb{Z}^d$. While stronger estimates have subsequently been proven for $d\geq 3$, for $d=2$ this has remained the best rigorous, unconditional bound available. In this note, we give a new, simplified proof of this bound, which does not rely on the combinatorial analysis of unfolding. We also prove a small, non-quantitative improvement to the bound, namely \[ c_n \leq \exp\left[ o(n^{1/2})\right] μ_c^n. \] The improved bound is obtained as a corollary to the sub-ballisticity theorem of Duminil-Copin and Hammond (2013). We also show that any quantitative form of that theorem would yield a corresponding quantitative improvement to the Hammersley-Welsh bound.
Some heterochromatic theorems for matroids
Published
• View Publication
• BIB
The anti-Ramsey number of Erdös, Simonovits and Sós from 1973 has become a classic invariant in Graph Theory. To study this invariant in Matroid Theory, we use a related invariant introduce by Arocha, Bracho and Neumann-Lara. The heterochromatic number $hc(H)$ of a non-empty hypergraph $H$ is the smallest integer $k$ such that for every colouring of the vertices of $H$ with exactly $k$ colours, there is a totally multicoloured hyperedge of $H$. Given a rank-$r$ matroid $M$, there are several hypergraphs associated to the matroid that we can consider. One is $C(M) $, the hypergraph where the points are the elements of the matroid and the hyperedges are the circuits of $M$. The other one is $B(M)$, where here the points are the elements and the hyperedges are the bases of the matroid. We prove that $hc(C(M))$ equals $r+1$ when $M$ is not the free matroid $U_{n,n}$, and that if $M$ is a paving matroid, then $hc(B(M))$ equals $r$. Then we explore the case when the hypergraph has the Hamiltonian circuits of the matroid as hyperedges, if any, for a class of paving matroids. We also extend the trivial observation of Erdös, Simonovits and Sós for the anti-Ramsey number for 3-cycles to 3-circuits in projective geometries over finite fields.