arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2024-02-09 v3
The Asymptotic Structure of Cosmological Integrals
Published in SciPost Phys. 19, 029 (2025) • View PublicationBIB
We provide a general analysis of the asymptotic behaviour of perturbative contributions to observables in arbitrary power-law FRW cosmologies, indistinctly the Bunch-Davies wavefunction and cosmological correlators. We consider a large class of scalar toy models, including conformally-coupled and massless scalars in arbitrary dimensions, that admits a first principle definition in terms of (generalised/weighted) cosmological polytopes. The perturbative contributions to an observable can be expressed as an integral of the canonical function associated to such polytopes and to weighted graphs. We show how the asymptotic behaviour of these integrals is governed by a special class of nestohedra living in the graph-weight space, both at tree and loop level. As the singularities of a cosmological process described by a graph can be associated to its subgraphs, we provide a realisation of the nestohedra as a sequential truncation of a top-dimensional simplex based on the underlying graph. This allows us to determine all the possible directions -- both in the infrared and in the ultraviolet --, where the integral can diverge as well as their divergence degree. Both of them are associated to the facets of the nestohedra, which are identified by overlapping tubings of the graph: the specific tubing determines the divergent directions while the number of overlapping tubings its degree of divergence. This combinatorial formulation makes straightforward the application of sector decomposition for extracting both leading and subleading divergences from the integral, as the sectors in which the integration domain can be tiled are identified by the collection of compatible facets of the nestohedra, with the latter that can be determined via the graph tubings. Finally, the leading divergence can be interpreted as a restriction of the canonical function of the relevant polytope onto a special hyperplane.
Hamiltonicity of expanders: optimal bounds and applications
An $n$-vertex graph $G$ is a $C$-expander if $|N(X)|\geq C|X|$ for every $X\subseteq V(G)$ with $|X|< n/2C$ and there is an edge between every two disjoint sets of at least $n/2C$ vertices. We show that there is some constant $C>0$ for which every $C$-expander is Hamiltonian. In particular, this implies the well known conjecture of Krivelevich and Sudakov from 2003 on Hamilton cycles in $(n,d,λ)$-graphs. This completes a long line of research on the Hamiltonicity of sparse graphs, and has many applications, including to the Hamiltonicity of random Cayley graphs.
2024-02-09 v2
Polynomial parametrisation of the canonical iterates to the solution of $-γg'= g^{-1}$
The iterates $h_0,h_1,h_2,\dotsc$ constructed in [8,5] and converging to the only solution $g=h\colon[0,1]\to[0,1]$ of the iterative differential equation $-γg'= g^{-1}$, $γ>0$, are parametrised by polynomials over $\Bbb Q$, and the corresponding constant $γ=κ\approx0.278877$ is estimated by rational numbers.
2024-02-09 v3
Taut smoothings of arcs and curves
We study the geometric and combinatorial effect of smoothing an intersection point in a collection of arcs or curves on a surface. We prove that all taut arcs with fixed endpoints and all taut 1-manifolds with at least two non-disjoint components on an orientable surface with negative Euler characteristic admit a taut smoothing, and also that all taut arcs with free endpoints admit a smoothing that is either taut or becomes taut after removing at most one intersection. We deduce that for every Riemannian metric on a surface, the shortest properly immersed arcs with at least $k$ self-intersections have exactly $k$ self-intersections when the endpoints of the arc are fixed, and at most $k+1$ self-intersections otherwise, and that the arc length spectrum is "coarsely ordered" by self-intersection number. Along the way, we obtain partial analogous results in the case of curves.
2024-02-09 v2
Branching rules of minuscule representations via a new partial order
Published • View PublicationBIB
We introduce a new partial order on the set of all antichains of a fixed size in any poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of complex simple Lie algebras.
2024-02-09 v3
On coloring graphs with well-distributed edge density
In this paper, we introduce a class of graphs which we call average hereditary graphs. Many graphs that occur in the usual graph theory applications belong to this class of graphs. Many popular types of graphs fall under this class, such as regular graphs, trees and other popular classes of graphs. The paper aims to explore some interesting properties regarding colorings average hereditary graphs. We prove a new upper bound for the chromatic number of a graph in terms of its maximum average degree and show that this bound is an improvement on previous bounds. From this, we show a relationship between the average degree and the chromatic number of an average hereditary graph. We then show that even with new bound, the graph 3-coloring problem remains NP-hard when the input is restricted to average hereditary graphs. We provide an equivalent condition for a graph to be average hereditary, through which we show that we can decide if a given graph is average hereditary in polynomial time.
2024-02-09
Musical Systems with $\mathbb{Z}_n$ -- Cayley Graphs
Published • View PublicationBIB
We apply geometric group theory to study and interpret known concepts from Western music. We show that chords, the circle of fifths, scales and certain aspects of the first species of counterpoint are encoded in the Cayley graph of the group $\mathbb{Z}_{12}$, generated by $3$ and $4$. Using $\mathbb{Z}_{12}$ as a model, we extend the above music concepts to a particular class of groups $\mathbb{Z}_{n}$, which displays geometric and algebraic features similar to $\mathbb{Z}_{12}$. We identify a weaker form of counterpoint which, in particular leads to Fux's dichotomy in $\mathbb{Z}_{12}$, and to consonant sets in $\mathbb{Z}_n$. Using Maple software, we implement these new constructions and show how to experiment with them musically.
2024-02-08 v2
Palindromic Periodicities
Published • View PublicationBIB
A palindromic periodicity is a factor of an infinite word $(ps)^ω$ where $p$ and $s$ are palindromes and the factor has length at least $|ps|$, for example, $accabaccab$. In this paper we describe several ways in which a palindromic periodicity may arise through the interaction of palindromes and periodicity, the simplest case being when a palindrome is itself periodic. We then consider what happens when a word is a palindromic periodicity in two ways, a situation similar to that considered in the Fine and Wilf Lemma and obtain something slightly stronger than that lemma. The paper ends with suggestions for further work.
2024-02-08
Covering a supermodular-like function in a mixed hypergraph
Published • View PublicationBIB
In this paper, we solve a conjecture by Szigeti in [Matroid-rooted packing of arborescences, submitted], which characterizes a mixed hypergraph $\mathcal{F}=(V, \mathcal{E} \cup \mathcal{A})$ having an orientation $\overrightarrow{\mathcal{E}}$ of $\mathcal{E}$ such that $e_{\overrightarrow{\mathcal{E}} \cup \mathcal{A}} (\mathcal{P}) \geq \sum_{X \in \mathcal{P}}h(X) -b(\cup \mathcal{P})$ for every subpartition $\mathcal{P}$ of $V$, where $h$ is an integer-valued, intersecting supermodular function on $V$ and $b$ a submodular function on $V$. As a corollary, another conjecture in the same paper is confirmed, which characterizes a mixed hypergraph having a packing of mixed hyperarborescences such that their roots form a basis in a given matroid, each vertex $v$ belongs to exactly $k$ of them and is the root of at least $f(v)$ and at most $g(v)$ of them.
2024-02-08 v2
Friendship theorem: A combinatorial proof
We present an elementary combinatorial proof of the celebrated Friendship theorem. The proof involves looking at independent sets and constructing a bound on their size which forces a contradiction.
2024-02-08
Blurred combinatorics in resolution of singularities: (a little) beyond the characteristic polytope
Published in Kyoto Journal of Mathematics 60 (2020) 269-289 • View PublicationBIB
We introduce a variation of the well-known Newton-Hironaka polytope for algebroid hypersurfaces. This combinatorial object is a perturbed version of the original one, parametrized by a real number. For well-chosen values of the parameter, the objects obtained are very close to the original, while at the same time presenting more (hopefully interesting) information in a way which does not depend on the choice of parameter.
2024-02-08
Quantum algorithms for the Sylvester denumerant and the numerical semigroup membership problem
Published in International Journal of Unconventional Computing 16 (2021) 327-341 • Search Publication
Two quantum algorithms are presented, which tackle well--known problems in the context of numerical semigroups: the numerical semigroup membership problem (NSMP) and the Sylvester denumerant problem (SDP).
2024-02-08
A note on plane partition diamonds
We prove new formulas for $\operatorname{DD}_k(n)$, the number of plane partition diamonds of length $k$ of $n$, and, also, for its polynomial part.
2024-02-08 v4
Dao numbers and the asymptotic behaviour of fullness
Published • View PublicationBIB
In the present paper, we study the Dao numbers $\mathfrak{d}_1(I),\mathfrak{d}_2(I)$ and $\mathfrak{d}_3(I)$ of an ideal $I$ of a Noetherian local ring $(R,\mathfrak{m},K)$ or a standard graded Noetherian $K$-algebra. They are defined as the smallest $\ell\ge0$ such that $I\mathfrak{m}^k$ is $\mathfrak{m}$-full, full, weakly $\mathfrak{m}$-full, respectively, for all $k\ge\ell$. We provide general bounds for the Dao numbers in terms of the Castelnuovo-Mumford regularity of certain modules over the Rees algebra $\mathcal{R}(\mathfrak{m})$. If $R$ is a Koszul algebra, we prove that the Dao numbers are less or equal to $\text{reg}_{\text{gr}_\mathfrak{m}(R)}\text{gr}_\mathfrak{m}(I)$, where $\text{gr}_\mathfrak{m}(I)$ is the associated graded module of $I$. Finally, for monomial ideals, we combinatorially bound the Dao numbers in terms of asymptotic linear quotients and bounding multidegrees.
2024-02-08
Improved upper bounds for wide-sense frameproof codes
Published • View PublicationBIB
Frameproof codes have been extensively studied for many years due to their application in copyright protection and their connection to extremal set theory. In this paper, we investigate upper bounds on the cardinality of wide-sense $t$-frameproof codes. For $t=2$, we apply results from Sperner theory to give a better upper bound, which significantly improves a recent bound by Zhou and Zhou. For $t\geq 3$, we provide a general upper bound by establishing a relation between wide-sense frameproof codes and cover-free families. Finally, when the code length $n$ is at most $\frac{15+\sqrt{33}}{24}(t-1)^2$, we show that a wide-sense $t$-frameproof code has at most $n$ codewords, and the unique optimal code consists of all weight-one codewords. As byproducts, our results improve several best known results on binary $t$-frameproof codes.
2024-02-08
Networks bijective to permutations
We study the set of networks, which consist of sources, sinks and neutral points, bijective to the permutations. The set of directed edges, which characterizes a network, is constructed from a polyomino or a Rothe diagram of a permutation through a Dyck tiling on a ribbon. We introduce a new combinatorial object similar to a tree-like tableau, which we call a forest. A forest is shown to give a permutation, and be bijective to a network corresponding to the inverse of the permutation. We show that the poset of networks is a finite graded lattice and admits an $EL$-labeling. By use of this $EL$-labeling, we show the lattice is supersolvable and compute the Möbius function of an interval of the poset.
2024-02-08
Parking on supercritical geometric Bienaymé--Galton--Watson trees
Published • View PublicationBIB
Consider a supercritical Bienaymé--Galton--Watson tree $ \mathcal{T}$ with geometric offspring distribution. Each vertex of this tree represents a parking spot which can accommodate at most one car. On the top of this tree, we add $(A_u : u \in \mathcal{T})$ i.i.d.\ non negative integers sampled according to a given law $ μ$, which are the car arrivals on $ \mathcal{T}$. Each car tries to park on its arriving vertex and if the spot is already occupied, it drives towards the root and takes the first available spot. If no spot is found, then it exits the tree without parking. In this paper, we provide a criterion to determine the phase of the parking process (subcritical, critical, or supercritical) depending on the generating function of $ μ$.
q-Parikh Matrices and q-deformed binomial coefficients of words
Published • View PublicationBIB
We have introduced a q-deformation, i.e., a polynomial in q with natural coefficients, of the binomial coefficient of two finite words u and v counting the number of occurrences of v as a subword of u. In this paper, we examine the q-deformation of Parikh matrices as introduced by Eğecioğlu in 2004. Many classical results concerning Parikh matrices generalize to this new framework: Our first important observation is that the elements of such a matrix are in fact q-deformations of binomial coefficients of words. We also study their inverses and as an application, we obtain new identities about q-binomials. For a finite word z and for the sequence $(p_n)_{n\ge 0}$ of prefixes of an infinite word, we show that the polynomial sequence $\binom{p_n}{z}_q$ converges to a formal series. We present links with additive number theory and k-regular sequences. In the case of a periodic word $u^ω$, we generalize a result of Salomaa: the sequence $\binom{u^n}{z}_q$ satisfies a linear recurrence relation with polynomial coefficients. Related to the theory of integer partition, we describe the growth and the zero set of the coefficients of the series associated with $u^ω$. Finally, we show that the minors of a q-Parikh matrix are polynomials with natural coefficients and consider a generalization of Cauchy's inequality. We also compare q-Parikh matrices associated with an arbitrary word with those associated with a canonical word $12\cdots k$ made of pairwise distinct symbols.
2024-02-08 v2
Characterising ovoidal cones by their intersection numbers
Published • View PublicationBIB
In this paper, we characterise ovoidal cones by their intersection numbers. We first show that a set of points of $\mathrm{PG}(4,q)$ which intersects planes in $1$, $q+1$ or $2q+1$ points is either an ovoidal cone or a parabolic quadric, unless $q=3$, in which case also a sporadic example with automorphism group $M_{11}$ exists. We then show that a set of points of $\mathrm{PG}(4,q)$ which blocks all planes and intersects solids in $q+1$, $q^2+1$ or $q^2+q+1$ points is a plane or an ovoidal cone, and determine all examples that arise when the blocking condition is omitted.
Vectorial Negabent Concepts: Similarities, Differences, and Generalizations
Published • View PublicationBIB
In Pasalic et al., IEEE Trans. Inform. Theory 69 (2023), 2702--2712, and in Anbar, Meidl, Cryptogr. Commun. 10 (2018), 235--249, two different vectorial negabent and vectorial bent-negabent concepts are introduced, which leads to seemingly contradictory results. One of the main motivations for this article is to clarify the differences and similarities between these two concepts. Moreover, the negabent concept is extended to generalized Boolean functions from \(\mathbb{F}_2^n\) to the cyclic group \(\mathbb{Z}_{2^k}\). It is shown how to obtain nega-\(\mathbb{Z}_{2^k}\)-bent functions from \(\mathbb{Z}_{2^k}\)-bent functions, or equivalently, corresponding non-splitting relative difference sets from the splitting relative difference sets. This generalizes the shifting results for Boolean bent and negabent functions. We finally point to constructions of \(\mathbb{Z}_8\)-bent functions employing permutations with the \((\mathcal{A}_m)\) property, and more generally we show that the inverse permutation gives rise to \(\mathbb{Z}_{2^k}\)-bent functions.