Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Combinatorial properties of lazy expansions in Cantor real bases
The lazy algorithm for a real base $β$ is generalized to the setting of Cantor bases $\boldsymbolβ=(β_n)_{n\in \mathbb{N}}$ introduced recently by Charlier and the author. To do so, let $x_{\boldsymbolβ}$ be the greatest real number that has a $\boldsymbolβ$-representation $a_0a_1a_2\cdots$ such that each letter $a_n$ belongs to $\{0,\ldots,\lceil β_n \rceil -1\}$. This paper is concerned with the combinatorial properties of the lazy $\boldsymbolβ$-expansions, which are defined when $x_{\boldsymbolβ}<+\infty$. As an illustration, Cantor bases following the Thue-Morse sequence are studied and a formula giving their corresponding value of $x_{\boldsymbolβ}$ is proved. First, it is shown that the lazy $\boldsymbolβ$-expansions are obtained by "flipping" the digits of the greedy $\boldsymbolβ$-expansions. Next, a Parry-like criterion characterizing the sequences of non-negative integers that are the lazy $\boldsymbolβ$-expansions of some real number in $(x_{\boldsymbolβ}-1,x_{\boldsymbolβ}]$ is proved. Moreover, the lazy $\boldsymbolβ$-shift is studied and in the particular case of alternate bases, that is the periodic Cantor bases, an analogue of Bertrand-Mathis' theorem in the lazy framework is proved: the lazy $\boldsymbolβ$-shift is sofic if and only if all quasi-lazy $\boldsymbolβ^{(i)}$-expansions of $x_{\boldsymbolβ^{(i)}}-1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the alternate base $\boldsymbolβ$.
Characterization of the alldifferent kernel by Hall partitions and a calculation method
We consider a set-valued mapping between two finite sets and define the alldifferent kernel which describes the submapping of alldifferent selections. This submapping is characterized by Hall partitions which are introduced in this paper. The existence of a Hall partition is equivalent to the Hall condition. The unicity of Hall partitions is proved and the unicity of an alldifferent selection is characterized. A calculation method for the determination of the Hall partition and the alldifferent kernel is presented.
Generalization of some weighted zero-sum theorems and related Extremal sequence
Let $G$ be a finite abelian group of exponent $n$ and let $A$ be a non-empty subset of $[1,n-1]$. The Davenport constant of $G$ with weight $A$, denoted by $D_A(G)$, is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has a non-empty $A$-weighted zero-sum subsequence. Similarly, the combinatorial invariant $E_{A}(G)$ is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has an $A$-weighted zero-sum subsequence of length $|G|$. In this article, we determine the exact value of $D_A(\mathbb{Z}_n)$, for some particular values of $n$, where $A$ is the set of all cubes in $\mathbb{Z}_n^*$. We also determine the structure of the related extremal sequence in this case.
Testability and local certification of monotone properties in minor-closed classes
The main problem in the area of graph property testing is to understand which graph properties are \emph{testable}, which means that with constantly many queries to any input graph $G$, a tester can decide with good probability whether $G$ satisfies the property, or is far from satisfying the property. Testable properties are well understood in the dense model and in the bounded degree model, but little is known in sparse graph classes when graphs are allowed to have unbounded degree. This is the setting of the \emph{sparse model}.
We prove that for any proper minor-closed class $\mathcal{G}$, any monotone property (i.e., any property that is closed under taking subgraphs) is testable for graphs from $\mathcal{G}$ in the sparse model. This extends a result of Czumaj and Sohler (FOCS'19), who proved it for monotone properties with finitely many forbidden subgraphs. Our result implies for instance that for any integers $k$ and $t$, $k$-colorability of $K_t$-minor free graphs is testable in the sparse model.
Elek recently proved that monotone properties of bounded degree graphs from minor-closed classes that are closed under disjoint union can be verified by an approximate proof labeling scheme in constant time. We show again that the assumption of bounded degree can be omitted in his result.
Sumsets and monomial projective curves
Published
• View Publication
• BIB
The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers $A=\{a_1,\cdots, a_n\}$ a monomial projective curve $C_A\subset \mathbb P^{n-1}_{k}$ such that the Hilbert function of $C_A$ and the cardinalities of $sA:=\{a_{i_1}+\cdots+a_{i_s}\mid 1\le i_1\le \cdots \le i_s\le n\}$ agree. The singularities of $C_A$ determines the asymptotic behaviour of $|sA|$, equivalently the Hilbert polynomial of $C_A$, and the asymptotic structure of $sA$. We show that some additive inverse problems can be translate to the rigidity of Hilbert polynomials and we improve an upper bound of the Castelnuovo-Mumford regularity of monomial projective curves by using results of additive combinatorics.
The Uniform Infinite Cubic Planar Graph
Published
• View Publication
• BIB
We prove that the random simple cubic planar graph $\mathsf{C}_n$ with an even number $n$ of vertices admits a novel uniform infinite cubic planar graph (UICPG) as quenched local limit. We describe how the limit may be constructed by a series of random blow-up operations applied to the dual map of the type~III Uniform Infinite Planar Triangulation established by Angel and Schramm (Comm. Math. Phys., 2003). Our main technical lemma is a contiguity relation between $\mathsf{C}_n$ and a model where the networks inserted at the links of the largest $3$-connected component of $\mathsf{C}_n$ are replaced by independent copies of a specific Boltzmann network. We prove that the number of vertices of the largest $3$-connected component concentrates at $κn$ for $κ\approx 0.85085$, with Airy-type fluctuations of order $n^{2/3}$. The second-largest component is shown to have significantly smaller size $O_p(n^{2/3})$.
Generalisations of multiple zeta values to rooted forests
Published
• View Publication
• BIB
We show that any convergent (shuffle) arborified zeta value admits a series representation. This justifies the introduction of a new generalisation to rooted forests of multiple zeta values, and we study its algebraic properties. As a consequence of the series representation, we derive elementary proofs of some results of Bradley and Zhou for Mordell-Tornheim zeta values and give explicit formulas. The series representation for shuffle arborified zeta values also implies that they are conical zeta values. We characterise which conical zeta values are arborified zeta values and evaluate them as sums of multiple zeta values with rational coefficients.
Log-Concavity of Infinite Product Generating Functions
Published
• View Publication
• BIB
In the $1970$s Nicolas proved that the coefficients $p_d(n)$ defined by the generating function \begin{equation*} \sum_{n=0}^{\infty} p_d(n) \, q^n = \prod_{n=1}^{\infty} \left( 1- q^n\right)^{-n^{d-1}} \end{equation*} are log-concave for $d=1$. Recently, Ono, Pujahari, and Rolen have extended the result to $d=2$. Note that $p_1(n)=p(n)$ is the partition function and $p_2(n)=\func{pp}\left( n\right) $ is the number of plane partitions. In this paper, we invest in properties for $p_d(n)$ for general $d$. Let $n \geq 6$. Then $p_d(n)$ is almost log-concave for $n$ divisible by $3$ and almost strictly log-convex otherwise.
Doubly stochastic arrays with small support
Published in Australasian Journal of Combinatorics, Volume 86 (2023)
• Search Publication
An $n \times m$ non-negative matrix with row sum $m$ and column sum $n$ is called doubly stochastic. We answer the problem of finding doubly stochastic matrices of smallest posible support for every $1 <n \leq m$. Any matrix of minimum support is extremal in the sence of convexity, while examples of extremal matrices that are not of minimum support are given. But when $n,m$ are coprime integers extremal matrices are precisely those of minimum support.
Row-strict dual immaculate functions
Published in Advances in Applied Mathematics 149 (2023) 102540
• View Publication
• BIB
We define a new basis of quasisymmetric functions, the row-strict dual immaculate functions, as the generating function of a particular set of tableaux. We establish that this definition gives a function that can also be obtained by applying the $ψ$ involution to the dual immaculate functions of Berg, Bergeron, Saliola, Serrano, and Zabrocki (2014) and establish numerous combinatorial properties for our functions. We give an equivalent formulation of our functions via Bernstein-like operators, in a similar fashion to Berg et. al (2014). We conclude the paper by defining skew dual immaculate functions and hook dual immaculate functions and establishing combinatorial properties for them.
0-Hecke modules for row-strict dual immaculate functions
Published in Trans. Amer. Math. Soc. 377 (2024), no. 4, 2525-2582
• View Publication
• BIB
We introduce a new basis of quasisymmetric functions, the row-strict dual immaculate functions. We construct a cyclic, indecomposable 0-Hecke algebra module for these functions. Our row-strict immaculate functions are related to the dual immaculate functions of Berg-Bergeron-Saliola-Serrano-Zabrocki (2014-15) by the involution $ψ$ on the ring of quasisymmetric functions. We give an explicit description of the effect of $ψ$ on the associated 0-Hecke modules, via the poset induced by the 0-Hecke action on standard immaculate tableaux. This remarkable poset reveals other 0-Hecke submodules and quotient modules, often cyclic and indecomposable, notably for a row-strict analogue of the extended Schur functions studied in Assaf-Searles (2019).
Like the dual immaculate function, the row-strict dual immaculate function is the generating function of a suitable set of tableaux, corresponding to a specific descent set. We give a complete combinatorial and representation-theoretic picture by constructing 0-Hecke modules for the remaining variations on descent sets, and showing that \emph{all} the possible variations for generating functions of tableaux occur as characteristics of the 0-Hecke modules determined by these descent sets.
Metric dimension of lexicographic product of some known graphs
For an ordered set W = {w1,w2,...,wk} of vertices and a vertex v in a connected graph G, the ordered k-vector r(v|W) := (d(v,w1),d(v,w2),...,d(v,wk)) is called the (metric) representation of v with respect to W, where d(x,y) is the distance between the vertices x and y. The set W is called a resolving set for G if distinct vertices of G have distinct representations with respect to W. The minimum cardinality of a resolving set for G is its metric dimension. In this paper, we investigate the metric dimension of the lexicographic product of graphs G and H, G[H] for some known graphs.
Three-Qubit-Embedded Split Cayley Hexagon is Contextuality Sensitive
Published in Scientific Reports 12 (2022) 8915
• View Publication
• BIB
It is known that there are two non-equivalent embeddings of the split Cayley hexagon of order two into $\mathcal{W}(5,2)$, the binary symplectic polar space of rank three, called classical and skew. Labelling the 63 points of $\mathcal{W}(5,2)$ by the 63 canonical observables of the three-qubit Pauli group subject to the symplectic polarity induced by the (commutation relations between the elements of the) group, the two types of embedding are found to be quantum contextuality sensitive. In particular, we show that the complement of a classically-embedded hexagon is not contextual, whereas that of a skewly-embedded one is.
On the Pernici-Wanless Expansion for the Entropy ( and Virial Coefficients ) of a Dimer Gas on an Infinite Regular Lattice
We work with the following expression for the entropy (density) of a dimer gas on an infinite r-regular lattice lambda(p) = 1/2 [ pln(r)-ln(p)-2(1-p)ln(1-p)-p ]+sum_{k=2}(d_k)(p^k) where the indicated sum converges for density, p, small enough. Pernici has computed the coefficients d_k for k < 13. He found these d_k to be polynomials in certain interesting "geometric quantites" arising in the work of Wanless. Each of these quantities is the number density of isomorphic mappings of some graph into the lattice (graph). So for a bipartite lattice d_2 = c_2 d_3 = c_3 d_4 = c_4 + c_5 hat{G}_1 d_5 = c_6 + c_7 hat{G}_1. The c_i depend only on r. Here hat{G}_1 is the density of mapping classes of the four loop graph into the lattice. The limit of 1/V times the number of such mapping classes into a lattice of volume V as V goes to infinity. The infinite volume limit. There is a simple linear relation that yields the kth virial coefficient from the value of d_k! We feel this expression gives the deepest insight into the virial coefficients so far obtained.
What we show in this paper is that such polynomial relations for the d_k in these geometric quantities holds for the d_k for k < 28. Of course we expect it to hold for all k. We use the same computation procedure as Pernici. We note this procedure is not rigorously established. So far a procedure for the physicist, perhaps not the mathematician (their loss). It is a worthy challenge for the mathematical physicist to supply the needed rigor.
The road problem and homomorphisms of directed graphs
Published in Theoretical Computer Science 968 (113981) 2023 pp. 1-25
• View Publication
• BIB
We make progress on a generalization of the road (colouring) problem. The road problem was posed by Adler-Goodwyn-Weiss and solved by Trahtman. The generalization was posed, and solved in certain special cases, by Ashley-Marcus-Tuncel. We resolve two new families of cases, of which one generalizes the road problem and follows Trahtman's solution, and the other generalizes a result of Ashley-Marcus-Tuncel with a proof quite different from theirs. Along the way, we prove a universal property for the fiber product of certain graph homomorphisms, which may be of independent interest. We provide polynomial-time algorithms for relevant constructions and decision problems.
The shallow permutations are the unlinked permutations
Diaconis and Graham studied a measure of distance from the identity in the symmetric group called total displacement and showed that it is bounded below by the sum of length and reflection length. They asked for a characterization of the permutations where this bound is an equality; we call these the shallow permutations. Cornwell and McNew recently interpreted the cycle diagram of a permutation as a knot diagram and studied the set of permutations for which the corresponding link is an unlink. We show the shallow permutations are precisely the unlinked permutations. As Cornwell and McNew give a generating function counting unlinked permutations, this gives a generating function counting shallow permutations.
The Dimension of Divisibility Orders and Multiset Posets
Published
• View Publication
• BIB
The Dushnik--Miller dimension of a poset $P$ is the least $d$ for which $P$ can be embedded into a product of $d$ chains. Lewis and Souza showed that the dimension of the divisibility order on the interval of integers $[N/κ, N]$ is bounded above by $κ(\logκ)^{1+o(1)}$ and below by $Ω((\logκ/\log\logκ)^2)$. We improve the upper bound to $O((\log κ)^3/(\log\logκ)^2).$ We deduce this bound from a more general result on posets of multisets ordered by inclusion. We also consider other divisibility orders and give a bound for polynomials ordered by divisibility.
Bounding the collapsibility number of simplicial complexes and graphs
We introduce and study a new combinatorial invariant the theta-number $θ(X)$ of simplicial complexes, and prove that the inequality $\mathcal{C}(X)\leq θ(X)$ holds for every simplicial complex $X$, where $\mathcal{C}(X)$ denotes the collapsibility number of $X$. We display the advantages of working with the theta-number. Its purely combinatorial formulation enables us to verify the validity of the existing bounds on both Leray and collapsibility numbers as well as provide new bounds involving other parameters.
We show that the theta-number, collapsibility and Leray numbers of a vertex decomposable simplicial complex are all equal. Moreover, we prove that the theta-number of the independence complex of a graph $G$ is closely related to its induced matching number $im(G)$ as it happens to the Leray number of such complexes. We identify graph classes where they are equal, and otherwise provide upper bounds involving it. In particular, we prove that the theta-number is bounded from above by $2\sqrt{n\cdot im(G)}$ for every $n$-vertex graph $G$, and in the case of $2K_2$-free graphs, we lower this bound to $2\log n$. Furthermore, we verify that the theta-number is contraction minor monotone on the underlying graph.
Explicit formulas for e-positivity of chromatic quasisymmetric functions
In 1993, Stanley and Stembridge conjectured that a chromatic symmetric function of any $(3+1)$-free poset is $e$-positive. Guay-Paquet reduced the conjecture to $(3+1)$- and $(2+2)$-free posets which are also called natural unit interval orders. Shareshian and Wachs defined chromatic quasisymmetric functions, generalizing chromatic symmetric functions, and conjectured that a chromatic quasisymmetric function of any natural unit interval order is $e$-positive and $e$-unimodal.
For a given natural interval order, there is a corresponding partition $λ$ and we denote the chromatic quasisymmetric function by $X_λ$. The first author introduced local linear relations for chromatic quasisymmetric functions. In this paper, we prove a powerful generalization of the above-mentioned local linear relations, called a rectangular lemma, which also generalizes the result of Huh,Nam and Yoo. Such a lemma can be applied to describe explicit formulas for $e$-positivity of a chromatic symmetric function $X_λ$ where $λ$ is contained in a rectangle. We also suggest some conjectural formulas for $e$-positivity when $λ$ is not contained in a rectangle by applying the rectangular lemma.
Hamilton cycles in line graphs of 3-hypergraphs
Published
• View Publication
• BIB
We prove that every 52-connected line graph of a rank 3 hypergraph is Hamiltonian. This is the first result of this type for hypergraphs of bounded rank other than ordinary graphs.