Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1,q^t)$
Scattered linear sets of pseudoregulus type in $\mathrm{PG}(1,q^t)$ have been defined and investigated in [G. Lunardon, G. Marino, O. Polverino, R. Trombetti: Maximum scattered linear sets of pseudoregulus type and the Segre Variety ${\cal S}_{n,n}$. J. Algebr. Comb. 39 (2014), 807--831.; G. Donati, N. Durante: Scattered linear sets generated by collineations between pencils of lines. J. Algebr. Comb. 40 (2014), 1121-1134]. The aim of this paper is to continue such an investigation. Properties of a scattered linear set of pseudoregulus type, say $L$, are proved by means of three different ways to obtain $L$: (i) as projection of a $q$-order canonical subgeometry [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004), 663-669], (ii) as a set whose image under the field reduction map is the hypersurface of degree $t$ in $\mathrm{PG}(2t-1,q)$ studied in [M. Lavrauw, J. Sheekey, C. Zanella: On embeddings of minimum dimension of $\mathrm{PG}(n,q)\times \mathrm{PG}(n,q)$. Des. Codes Cryptogr. 74 (2015), 427-440], (iii) as exterior splash, by the correspondence described in [M. Lavrauw, J. Sheekey, C. Zanella: On embeddings of minimum dimension of $\mathrm{PG}(n,q)\times \mathrm{PG}(n,q)$. Des. Codes Cryptogr. 74 (2015), 427-440]. In particular, given a canonical subgeometry $Σ$ of $\mathrm{PG}(t-1,q^t)$, necessary and sufficient conditions are given for the projection of $Σ$ with center a $(t-3)$-subspace to be a linear set of pseudoregulus type. Furthermore, the $q$-order sublines are counted and geometrically described.
Color-blind index in graphs of very low degree
Published in Discrete Applied Mathematics, Volume 225, 10 July 2017, Pages 122-129
• View Publication
• BIB
Let $c:E(G)\to [k]$ be an edge-coloring of a graph $G$, not necessarily proper. For each vertex $v$, let $\bar{c}(v)=(a_1,\ldots,a_k)$, where $a_i$ is the number of edges incident to $v$ with color $i$. Reorder $\bar{c}(v)$ for every $v$ in $G$ in nonincreasing order to obtain $c^*(v)$, the color-blind partition of $v$. When $c^*$ induces a proper vertex coloring, that is, $c^*(u)\neq c^*(v)$ for every edge $uv$ in $G$, we say that $c$ is color-blind distinguishing. The minimum $k$ for which there exists a color-blind distinguishing edge coloring $c:E(G)\to [k]$ is the color-blind index of $G$, denoted $\operatorname{dal}(G)$. We demonstrate that determining the color-blind index is more subtle than previously thought. In particular, determining if $\operatorname{dal}(G) \leq 2$ is NP-complete. We also connect the color-blind index of a regular bipartite graph to 2-colorable regular hypergraphs and characterize when $\operatorname{dal}(G)$ is finite for a class of 3-regular graphs.
Comparison of Coverability and Multi-Scale Coverability in One and Two Dimensions
A word is quasiperiodic (or coverable) if it can be covered with occurrences of another finite word, called its quasiperiod. A word is multi-scale quasiperiodic (or multi-scale coverable) if it has infinitely many different quasiperiods. These notions were previously studied in the domains of text algorithms and combinatorics of right infinite words.
We extend them to infinite pictures (two-dimensional words). Then we compare the regularity properties (uniform recurrence, uniform frequencies, topological entropy) of quasiperiodicity with multi-scale quasiperiodicity, and we also compare each of them with its one-dimensional counterpart.
We also study which properties of quasiperiods enforce properties on the quasiperiodic words.
A combinatorial identity on Galton-Watson process
Let $f(m,c)=\sum_{k=0}^{\infty} (km+1)^{k-1} c^k e^{-c(km+1)/m} / (m^kk!)$. For any positive integer $m$ and positive real $c$, the identity $f(m,c)=f(1,c)^{1/m}$ arises in the random graph theory. In this paper, we present two elementary proofs of this identity: a pure combinatorial proof and a power-serial proof. We also proved that this identity holds for any positive reals $m$ and $c$.
Critical surface of the 1-2 model
Published
• View Publication
• BIB
The 1-2 model on the hexagonal lattice is a model of statistical mechanics in which each vertex is constrained to have degree either $1$ or $2$. There are three types of edge, and three corresponding parameters $a$, $b$, $c$. It is proved that, when $a \ge b \ge c > 0$, the surface given by $\sqrt a = \sqrt b + \sqrt c$ is critical. The proof hinges upon a representation of the partition function in terms of that of a certain dimer model. This dimer model may be studied via the Pfaffian representation of Fisher, Kasteleyn, and Temperley. It is proved, in addition, that the two-edge correlation function converges exponentially fast with distance when $\sqrt a \ne \sqrt b + \sqrt c$. Many of the results may be extended to periodic models.
Relation between spherical designs through a Hopf map
Cohn--Conway--Elkies--Kumar [Experiment. Math. (2007)] described that one can construct a family of designs on $S^{2n-1}$ from a design on $\mathbb{CP}^{n-1}$. In this paper, we prove their claim for the case where $n=2$. That is, we give an algorithm to construct $2t$-designs on $S^{3}$ as products through a Hopf map $S^3 \rightarrow S^2$ of a $t$-design on $S^2$ and a $2t$-design on $S^1$.
Supercongruences for the Almkvist-Zudilin numbers
Published
• View Publication
• BIB
Given a prime number $p$, the study of divisibility properties of a sequence $c(n)$ has two contending approaches: $p$-adic valuations and superconcongruences. The former searches for the highest power of $p$ dividing $c(n)$, for each $n$; while the latter (essentially) focuses on the maximal powers $r$ and $t$ such that $c(p^rn)$ is congruent to $c(p^{r-1}n)$ modulo $p^t$. This is called supercongruence. In this paper, we prove a conjecture on supercongruences for sequences that have come to be known as the Almkvist-Zudilin numbers. Some other (naturally) related family of sequences will be considered in a similar vain.
Improved lower bounds on extremal functions of multidimensional permutation matrices
A $d$-dimensional zero-one matrix $A$ avoids another $d$-dimensional zero-one matrix $P$ if no submatrix of $A$ can be transformed to $P$ by changing some ones to zeroes. Let $f(n,P,d)$ denote the maximum number of ones in a $d$-dimensional $n \times \cdots \times n$ zero-one matrix that avoids $P$.
Fox proved for $n$ sufficiently large that $f(n, P, 2) = 2^{k^{Θ(1)}}n$ for almost all $k \times k$ permutation matrices $P$. We extend this result by proving for $d \geq 2$ and $n$ sufficiently large that $f(n, P, d) = 2^{k^{Θ(1)}}n^{d-1}$ for almost all $d$-dimensional permutation matrices $P$ of dimensions $k \times \cdots \times k$.
Modulus of continuity eigenvalue bounds for homogeneous graphs and convex subgraphs with applications to quantum Hamiltonians
Published in Journal of Mathematical Analysis and Applications, Vol. 452, No. 2, pg. 1269-1290 (2017)
• View Publication
• BIB
We adapt modulus of continuity estimates to the study of spectra of combinatorial graph Laplacians, as well as the Dirichlet spectra of certain weighted Laplacians. The latter case is equivalent to stoquastic Hamiltonians and is of current interest in both condensed matter physics and quantum computing. In particular, we introduce a new technique which bounds the spectral gap of such Laplacians (Hamiltonians) by studying the limiting behavior of the oscillations of their eigenvectors when introduced into the heat equation. Our approach is based on recent advances in the PDE literature, which include a proof of the fundamental gap theorem by Andrews and Clutterbuck.
Chromatic Symmetric Functions of Hypertrees
Published
• View Publication
• BIB
The chromatic symmetric function $X_H$ of a hypergraph $H$ is the generating function for all colorings of $H$ so that no edge is monochromatic. When $H$ is an ordinary graph, it is known that $X_H$ is positive in the fundamental quasisymmetric functions $F_S$, but this is not the case for general hypergraphs. We exhibit a class of hypergraphs $H$ --- hypertrees with prime-sized edges --- for which $X_H$ is $F$-positive, and give an explicit combinatorial interpretation for the $F$-coefficients of $X_H$.
Greedy Is an Almost Optimal Deque
Published
• View Publication
• BIB
In this paper we extend the geometric binary search tree (BST) model of Demaine, Harmon, Iacono, Kane, and Patrascu (DHIKP) to accommodate for insertions and deletions. Within this extended model, we study the online Greedy BST algorithm introduced by DHIKP. Greedy BST is known to be equivalent to a maximally greedy (but inherently offline) algorithm introduced independently by Lucas in 1988 and Munro in 2000, conjectured to be dynamically optimal.
With the application of forbidden-submatrix theory, we prove a quasilinear upper bound on the performance of Greedy BST on deque sequences. It has been conjectured (Tarjan, 1985) that splay trees (Sleator and Tarjan, 1983) can serve such sequences in linear time. Currently neither splay trees, nor other general-purpose BST algorithms are known to fulfill this requirement. As a special case, we show that Greedy BST can serve output-restricted deque sequences in linear time. A similar result is known for splay trees (Tarjan, 1985; Elmasry, 2004).
As a further application of the insert-delete model, we give a simple proof that, given a set U of permutations of [n], the access cost of any BST algorithm is Omega(log |U| + n) on "most" of the permutations from U. In particular, this implies that the access cost for a random permutation of [n] is Omega(n log n) with high probability.
Besides the splay tree noted before, Greedy BST has recently emerged as a plausible candidate for dynamic optimality. Compared to splay trees, much less effort has gone into analyzing Greedy BST. Our work is intended as a step towards a full understanding of Greedy BST, and we remark that forbidden-submatrix arguments seem particularly well suited for carrying out this program.
Two classes of modular $p$-Stanley sequences
Published
• View Publication
• BIB
Consider a set $A$ with no $p$-term arithmetic progressions for $p$ prime. The $p$-Stanley sequence of a set $A$ is generated by greedily adding successive integers that do not create a $p$-term arithmetic progression. For $p>3$ prime, we give two distinct constructions for $p$-Stanley sequences which have a regular structure and satisfy certain conditions in order to be modular $p$-Stanley sequences, a set of particularly nice sequences defined by Moy and Rolnick which always have a regular structure.
Odlyzko and Stanley conjectured that the 3-Stanley sequence generated by $\{0,n\}$ only has a regular structure if $n=3^k$ or $n=2\cdot 3^k$. For $p>3$ we find a substantially larger class of integers $n$ such that the $p$-Stanley sequence generated from $\{0,n\}$ is a modular $p$-Stanley sequence and numerical evidence given by Moy and Rolnick suggests that these are the only $n$ for which the $p$-Stanley sequence generated by $\{0,n\}$ is a modular $p$-Stanley sequence. Our second class is a generalization of a construction of Rolnick for $p=3$ and is thematically similar to the analogous construction by Rolnick.
A sufficient condition for a balanced bipartite digraph to be hamiltonian
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (November 10, 2017) dmtcs:1239
• View Publication
• BIB
We describe a new type of sufficient condition for a balanced bipartite digraph to be hamiltonian. Let $D$ be a balanced bipartite digraph and $x,y$ be distinct vertices in $D$. $\{x, y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x, y\}$ dominating. In this paper, we prove that a strong balanced bipartite digraph $D$ on $2a$ vertices contains a hamiltonian cycle if, for every dominating pair of vertices $\{x, y\}$, either $d(x)\ge 2a-1$ and $d(y)\ge a+1$ or $d(x)\ge a+1$ and $d(y)\ge 2a-1$. The lower bound in the result is sharp.
Combinatorics of Poincaré's and Schröder's equations
Published
• View Publication
• BIB
We investigate the combinatorial properties of the functional equation $φ[h(z)]=h(qz)$ for the conjugation of a formal diffeomorphism $φ$ of $\mathbb{C}$ to its linear part $z\mapsto qz$. This is done by interpreting the functional equation in terms of symmetric functions, and then lifting it to noncommutative symmetric functions. We describe explicitly the expansion of the solution in terms of plane trees and prove that its expression on the ribbon basis has coefficients in ${\mathbb N}[q]$ after clearing the denominators $(q)_n$. We show that the conjugacy equation can be lifted to a quadratic fixed point equation in the free triduplicial algebra on one generator. This can be regarded as a $q$-deformation of the duplicial interpretation of the noncommutative Lagrange inversion formula. Finally, these calculations are interpreted in terms of the group of the operad of Stasheff polytopes, and are related to Ecalle's arborified expansion by means of morphisms between various Hopf algebras of trees.
Courte preuve d'une identité comportant les nombres de Bernoulli
In this paper, we give a short proof of a relation generalizing many identities for Bernoulli numbers.
A flag vector of a 3-sphere that is not the flag vector of a 4-polytope
Published in Mathematika 63 (2017) 260-271
• View Publication
• BIB
We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not realizable by a convex 4-polytope.
The 3-sphere, which is 2-simple and 2-simplicial, was found by Werner (2009); we present results of a computer enumeration which imply that the sphere with these parameters is unique. We prove that it is non-polytopal in two ways: First, we show that it has no oriented matroid, and thus it is not realizable; this proof was found by computer, but can be verified by hand. The second proof is again a computer-based oriented matroid proof and shows that for exactly one of the facets this sphere does not even have a diagram based on this facet. Using the non-polytopality, we finally prove that the sphere is not even embeddable as a polytopal complex.
Projective Space: Reguli and Projectivity
We investigate an `assumption of projectivity' that is appropriate to the self-dual axiomatic formulation of three-dimensional projective space.
Falconer distance problem, additive energy and Cartesian products
Published in Ann. Acad. Sci. Fenn. Math. 41 (2016), no. 2, 579-585
• View Publication
• BIB
A celebrated result due to Wolff says if $E$ is a compact subset of ${\Bbb R}^2$, then the Lebesgue measure of the distance set $Δ(E)=\{|x-y|: x,y \in E \}$ is positive if the Hausdorff dimension of $E$ is greater than $\frac{4}{3}$. In this paper we improve the $\frac{4}{3}$ barrier by a small exponent for Cartesian products. In higher dimensions, also in the context of Cartesian products, we reduce Erdogan's $\frac{d}{2}+\frac{1}{3}$ exponent to $\frac{d^2}{2d-1}$. The proof uses a combination of Fourier analysis and additive comibinatorics.
Asymptotic of Number of Similarity Classes of Commuting Tuples
Published in Journal of the Ramanujan Mathematical Society 2016
• Search Publication
We have for positive integers $n$, $k$ and finite field $\mathbb{F}_q$, $c(n,k,q)$, as the number of simultaneous similarity classes of $k$-tuples of commuting $n\times n$ matrices over the $\mathbb{F}_q$. In this paper, it has been shown that $c(n,k,q)$ as a function of $k$ for fixed $n$ and $q$ is asymptotically $q^{m(n)k}$, where $m(n) = \left[\frac{n^2}{4}\right] + 1$, which is the dimension of the maximal commutative subalgebra of $M_n(\mathbb{F}_q)$ (the algebra of $n\times n$ matrices over $\mathbb{F}_q$).
Reductions of particular hypergeometric functions $_3F_2(a,a+1/3,a+2/3;p/3,q/3;\pm 1)$
We principally present reductions of certain generalized hypergeometric functions $_3F_2(\pm 1)$ in terms of products of elementary functions. Most of these results have been known for some time, but one of the methods, wherein we simultaneously solve for three alternating binomial sums, may be new. We obtain a functional equation holding for all three of this set of alternating binomial sums. Using successive derivatives, we show how related chains of $_3F_2(\pm 1)$ values may be obtained. It may be emphasized that we make no reliance on the WZ method for hypergeometric summation. Additional material on Pochhammer symbols and certain of their products is presented in an Appendix to supplement the pedagogical content of the paper.