Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Natural exact covering systems and the reversion of the Möbius series
Published
• View Publication
• BIB
We prove that the number of natural exact covering systems of cardinality $k$ is equal to the coefficient of $x^k$ in the reversion of the power series $\sum_{k \ge 1} μ(k) x^k$, where $μ(k)$ is the usual number-theoretic Möbius function. Using this result, we deduce an asymptotic expression for the number of such systems.
From randomness in two symbols to randomness in three symbols
Published
• View Publication
• BIB
In 1909 Borel defined normality as a notion of randomness of the digits of the representation of a real number over certain base (fractional expansion). If we think the representation of a number over a base as an infinite sequence of symbols from a finite alphabet $A$, we can define normality directly for words of symbols of $A$: A word $x$ is normal to the alphabet $A$ if every finite block of symbols from $A$ appears with the same asymptotic frequency in $x$ as every other block of the same length. Many examples of normal words have been found since its definition, being Champernowne in 1933 the first to show an explicit and simple instance. Moreover, it has been characterized how we can select subsequences of a normal word $x$ preserving its normality, always leaving the alphabet $A$ fixed. In this work we consider the dual problem which consists of inserting symbols in infinite positions of a given word, in such a way that normality is preserved. Specifically, given a symbol $s$ that is not present on the original alphabet $A$ and given a word $x$ that is normal to the alphabet $A$ we solve how to insert the symbol $s$ in infinite positions of the word $x$ such that the resulting word is normal to the expanded alphabet $A\cup \{s\}$.
On Pure Degree Sequence Manipulations Forcing Long Cycles in Graphs
The well-known Hamiltonian sufficient conditions, proposed by Dirac, Faudree et al., Pósa, Bondy, Chvátal are based on pure degree manipulations without any additional conditions. In this paper, we present two new types of pure degree manipulations that produce relatively simpler (in view of verification) results. The reverse versions (long-cycle versions) of the obtained results are presented as well. The importance of pure degree manipulations is motivated by their amenability (as starting points) to generalizations and new ideas in a great variety of ways.
A Constructive Lower Bound on Szemerédi's Theorem
Let $r_k(n)$ denote the maximum cardinality of a set $A \subset \{1,2, \dots, n \}$ such that $A$ does not contain a $k$-term arithmetic progression. In this paper, we give a method of constructing such a set and prove the lower bound $n^{1-\frac{c_k}{k \ln k}} < r_k(n)$ where $k$ is prime, and $c_k \rightarrow 1$ as $k \rightarrow \infty$. This bound is the best known for an increasingly large interval of $n$ as we choose larger and larger $k$. We also demonstrate that one can prove or disprove a conjecture of Erdős on arithmetic progressions in large sets once tight enough bounds on $r_k(n)$ are obtained.
Rationality of Poincaré Series for a Family of Lattice Simplices
We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincaré series is rational. Our method of proof is to produce for each algebra an explicit minimal free resolution of the ground field, in which the resolution reflects the recursive structure encoded in the denominator of the finely-graded Poincaré series. Using this resolution, we show that these algebras are not Koszul, and therefore rationality is non-trivial. Our results demonstrate how interactions between multivariate and univariate rational generating functions can create subtle complications when attempting to use rational Poincaré series to inform the construction of minimal resolutions.
The packing number of the double vertex graph of the path graph
Published in Discrete Appl. Math, 247 (2018) 327-340
• View Publication
• BIB
Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane's graph. Our solution implies a conjecture of Rob Pratt about the ordinary generating function of sequence A085680.
Frieze patterns over integers and other subsets of the complex numbers
Published
• View Publication
• BIB
We study (tame) frieze patterns over subsets of the complex numbers, with particular emphasis on the corresponding quiddity cycles. We provide new general transformations for quiddity cycles of frieze patterns. As one application, we present a combinatorial model for obtaining the quiddity cycles of all tame frieze patterns over the integers (with zero entries allowed), generalising the classic Conway-Coxeter theory. This model is thus also a model for the set of specializations of cluster algebras of Dynkin type $A$ in which all cluster variables are integers.
Moreover, we address the question of whether for a given height there are only finitely many non-zero frieze patterns over a given subset $R$ of the complex numbers. Under certain conditions on $R$, we show upper bounds for the absolute values of entries in the quiddity cycles. As a consequence, we obtain that if $R$ is a discrete subset of the complex numbers then for every height there are only finitely many non-zero frieze patterns over $R$. Using this, we disprove a conjecture of Fontaine, by showing that for a complex $d$-th root of unity $ζ_d$ there are only finitely many non-zero frieze patterns for a given height over $R=\mathbb{Z}[ζ_d]$ if and only if $d\in \{1,2,3,4,6\}$.
Long directed rainbow cycles and rainbow spanning trees
Published
• View Publication
• BIB
A subgraph of an edge-coloured graph is called rainbow if all its edges have different colours. The problem of finding rainbow subgraphs goes back to the work of Euler on transversals in Latin squares and was extensively studied since then. In this paper we consider two related questions concerning rainbow subgraphs of complete, edge-coloured graphs and digraphs. In the first part, we show that every properly edge-coloured complete directed graph contains a directed rainbow cycle of length $n-O(n^{4/5})$. This is motivated by an old problem of Hahn and improves a result of Gyarfas and Sarkozy. In the second part, we show that any tree $T$ on $n$ vertices with maximum degree $Δ_T\leq βn/\log n$ has a rainbow embedding into a properly edge-coloured $K_n$ provided that every colour appears at most $αn$ times and $α, β$ are sufficiently small constants.
Existence of Small Separators Depends on Geometry for Geometric Inhomogeneous Random Graphs
We show that Geometric Inhomogeneous Random Graphs (GIRGs) with power law weights may either have or not have separators of linear size, depending on the underlying geometry. While it was known that for Euclidean geometry it is possible to split the giant component into two linear size components by removing at most n^{1-\eps} edges, we show that this is impossible if the geometry is given by the minimum component distance.
Packing coloring of Sierpiński-type graphs
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we consider the packing chromatic number of several families of Sierpiński-type graphs. While it is known that this number is bounded from above by $8$ in the family of Sierpiński graphs with base $3$, we prove that it is unbounded in the families of Sierpiński graphs with bases greater than $3$. On the other hand, we prove that the packing chromatic number in the family of Sierpiński triangle graphs $ST^n_3$ is bounded from above by $31$. Furthermore, we establish or provide bounds for the packing chromatic numbers of generalized Sierpiński graphs $S^n_G$ with respect to all connected graphs $G$ of order 4.
Group Connectivity: $\mathbb Z_4$ v. $\mathbb Z_2^2$
We answer a question on group connectivity suggested by Jaeger et al. [Group connectivity of graphs -- A nonhomogeneous analogue of nowhere-zero flow properties, JCTB 1992]: we find that $\mathbb Z_2^2$-connectivity does not imply $\mathbb Z_4$-connectivity, neither vice versa. We use a computer to find the graphs certifying this and to verify their properties using non-trivial enumerative algorithm. While the graphs are small (the largest has 15 vertices and 21 edges), a computer-free approach remains elusive.
Parallelogram polyominoes, partially labelled Dyck paths, and the Delta conjecture
We introduce area, bounce and dinv statistics on decorated parallelogram polyominoes, and prove that some of their q,t-enumerators match $\langle Δ_{h_m} e_{n+1}, s_{k+1,1^{n-k}} \rangle$, extending in this way the work in (Aval et al. 2014). Also, we provide a bijective connection between decorated parallelogram polyominoes and decorated labelled Dyck paths, which allows us to prove the combinatorial interpretation of the coefficient $\langleΔ_{e_{m+n-k-1}}'e_{m+n}, h_m h_n \rangle$ predicted by the Delta conjecture in (Haglund et al. 2015). Finally, we define a statistic pmaj on partially labelled Dyck paths, which provides another conjectural combinatorial interpretation of $Δ_{h_{\ell}}Δ_{e_{n-k-1}}'e_n$, cf. (Haglund et al. 2015).
This is an extended abstract of (D'Adderio, Iraci 2017): this forthcoming publication will have proofs and additional details and results.
Distances from points to planes
Published
• View Publication
• BIB
We prove that if $E \subset {\Bbb F}_q^d$, $d \ge 2$, $F \subset \operatorname{Graff}(d-1,d)$, the set of affine $d-1$-dimensional planes in ${\Bbb F}_q^d$, then $|Δ(E,F)| \ge \frac{q}{2}$ if $|E||F|>q^{d+1}$, where $Δ(E,F)$ the set of distances from points in $E$ to lines in $F$. In dimension three and higher this significantly improves the exponent obtained by Pham, Phuong, Sang, Vinh and Valculescu.
Metric dimension of dual polar graphs
Published
• View Publication
• BIB
A resolving set for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The metric dimension $μ(Γ)$ is the smallest size of a resolving set for $Γ$. We consider the metric dimension of the dual polar graphs, and show that it is at most the rank over $\mathbb{R}$ of the incidence matrix of the corresponding polar space. We then compute this rank to give an explicit upper bound on the metric dimension of dual polar graphs, as well as the halved dual polar graphs.
On the smallest parallel quadrangulation with minimum degree 3
Published in WAIT Workshop on the Advances of Information Technology (2015), 41-43
• Search Publication
The identity of the smallest quadrangulation with minimum degree 3 also containing parallel edges is unknown. However, it has already been determined that its order (the number of vertices) is between 11 and 14. This paper narrows this domain by showing that the order is at least 12.
A matrix realization of spectral bounds of the spectral radius of a nonnegative matrix
We realize many sharp spectral bounds of the spectral radius of a nonnegative square matrix $C$ by using the largest real eigenvalues of suitable matrices of smaller sizes related to $C$ that are very easy to find. As applications, we give a sharp upper bound of the spectral radius of $C$ expressed by the sum of entries, the largest off-diagonal entry $f$ and the largest diagonal entry $d$ in $C$. We also give a new class of sharp lower bounds of the spectral radius of $C$ expressed by the above $d$ and $f$, the least row-sum $r_n$ and the $t$-th largest row-sum $r_t$ in $C$ satisfying $0<r_n-(n-t-1)f-d\leq r_t-(n-t)f$, where $n$ is the size of $C$.
Improved Encoding and Counting of Uniform Hypertrees
We consider labeled $r$-uniform hypertrees having $n \ge r \ge 2$ vertices. The number of hyperedges in such a hypertree is $m = (n - 1)/(r - 1)$. We show that there are exactly $f(n, r) = \frac{(n-1)! n^{m-1}}{(r-1)!^m m!}$ $r$-uniform hypertrees with $n$ vertices labeled with distinct integers. We also give an encoding scheme that encodes such hypertrees using, on an average, at most $1 + \log_2 e$ bits more than $\log_2(f(n, r))$.
Some remarks on Rogers-Szegö polynomials and Losanitsch's triangle
In this expository paper we collect some simple facts about analogues of Pascals triangle where the entries count subsets of the integers with an even or odd sum and show that they are related to Rogers-Szego polynomials. In particular we consider an interesting triangle due to Losanitsch from this point of view. We also sketch some extensions of these results to sets whose sums have fixed residues modulo a prime $p$.
Branching rules for the Weyl Groups of the Unitary and Orthogonal Lie Groups
This note presents a procedure to determine the reduction of the irreducible and the induced characters of the symmetric group in terms of the irreducible and induced characters of the hyperoctahedral group
Key Words: Symmetric Group, Hyperoctahedral group, Representations, Characters, Re- duction.
The equivariant cohomology of weighted flag orbifolds
Published
• View Publication
• BIB
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighted analogue of double Schubert polynomials and give the corresponding Chevalley--Monk's formula.