Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Polynomial Expressions of Carries in p-ary Arithmetics
It is known that any $n$-variable function on a finite prime field of characteristic $p$ can be expressed as a polynomial over the same field with at most $p^n$ monomials. However, it is not obvious to determine the polynomial for a given concrete function. In this paper, we study the concrete polynomial expressions of the carries in addition and multiplication of $p$-ary integers. For the case of addition, our result gives a new family of symmetric polynomials, which generalizes the known result for the binary case $p = 2$ where the carries are given by elementary symmetric polynomials. On the other hand, for the case of multiplication of $n$ single-digit integers, we give a simple formula of the polynomial expression for the carry to the next digit using the Bernoulli numbers, and show that it has only $(n+1)(p-1)/2 + 1$ monomials, which is significantly fewer than the worst-case number $p^n$ of monomials for general functions. We also discuss applications of our results to cryptographic computation on encrypted data.
Bounded Littlewood identities
Published in Memoirs of the American Mathematical Society, 270 (2021), No 1317, vii+115 pp
• View Publication
• BIB
We describe a method, based on the theory of Macdonald-Koornwinder polynomials, for proving bounded Littlewood identities. Our approach provides an alternative to Macdonald's partial fraction technique and results in the first examples of bounded Littlewood identities for Macdonald polynomials. These identities, which take the form of decomposition formulas for Macdonald polynomials of type $(R,S)$ in terms of ordinary Macdonald polynomials, are $q,t$-analogues of known branching formulas for characters of the symplectic, orthogonal and special orthogonal groups. In the classical limit, our method implies that MacMahon's famous ex-conjecture for the generating function of symmetric plane partitions in a box follows from the identification of $(\mathrm{GL}(n,\mathbb{R}),\mathrm{O}(n))$ as a Gelfand pair. As further applications, we obtain combinatorial formulas for characters of affine Lie algebras; Rogers-Ramanujan identities for affine Lie algebras, complementing recent results of Griffin et al.; and quadratic transformation formulas for Kaneko--Macdonald-type basic hypergeometric series.
Heavy subgraphs, stability and hamiltonicity
Published in Discuss. Math. Graph Theory. 37(2017) 691-710
• View Publication
• BIB
Let $G$ be a graph. Adopting the terminology of Broersma et al. and Čada, respectively, we say that $G$ is 2-heavy if every induced claw ($K_{1,3}$) of $G$ contains two end-vertices each one has degree at least $|V(G)|/2$; and $G$ is o-heavy if every induced claw of $G$ contains two end-vertices with degree sum at least $|V(G)|$ in $G$. In this paper, we introduce a new concept, and say that $G$ is \emph{$S$-c-heavy} if for a given graph $S$ and every induced subgraph $G'$ of $G$ isomorphic to $S$ and every maximal clique $C$ of $G'$, every non-trivial component of $G'-C$ contains a vertex of degree at least $|V(G)|/2$ in $G$. In terms of this concept, our original motivation that a theorem of Hu in 1999 can be stated as every 2-connected 2-heavy and $N$-c-heavy graph is hamiltonian, where $N$ is the graph obtained from a triangle by adding three disjoint pendant edges. In this paper, we will characterize all connected graphs $S$ such that every 2-connected o-heavy and $S$-c-heavy graph is hamiltonian. Our work results in a different proof of a stronger version of Hu's theorem. Furthermore, our main result improves or extends several previous results.
Abelian Powers and Repetitions in Sturmian Words
Published
• View Publication
• BIB
Richomme, Saari and Zamboni (J. Lond. Math. Soc. 83: 79-95, 2011) proved that at every position of a Sturmian word starts an abelian power of exponent $k$ for every $k > 0$. We improve on this result by studying the maximum exponents of abelian powers and abelian repetitions (an abelian repetition is an analogue of a fractional power) in Sturmian words. We give a formula for computing the maximum exponent of an abelian power of abelian period $m$ starting at a given position in any Sturmian word of rotation angle $α$. vAs an analogue of the critical exponent, we introduce the abelian critical exponent $A(s_α)$ of a Sturmian word $s_α$ of angle $α$ as the quantity $A(s_α) = limsup\ k_{m}/m=limsup\ k'_{m}/m$, where $k_{m}$ (resp. $k'_{m}$) denotes the maximum exponent of an abelian power (resp.~of an abelian repetition) of abelian period $m$ (the superior limits coincide for Sturmian words). We show that $A(s_α)$ equals the Lagrange constant of the number $α$. This yields a formula for computing $A(s_α)$ in terms of the partial quotients of the continued fraction expansion of $α$. Using this formula, we prove that $A(s_α) \geq \sqrt{5}$ and that the equality holds for the Fibonacci word. We further prove that $A(s_α)$ is finite if and only if $α$ has bounded partial quotients, that is, if and only if $s_α$ is $β$-power-free for some real number $β$. Concerning the infinite Fibonacci word, we prove that: i) The longest prefix that is an abelian repetition of period $F_j$, $j>1$, has length $F_j( F_{j+1}+F_{j-1} +1)-2$ if $j$ is even or $F_j( F_{j+1}+F_{j-1} )-2$ if $j$ is odd, where $F_{j}$ is the $j$th Fibonacci number; ii) The minimum abelian period of any factor is a Fibonacci number. Further, we derive a formula for the minimum abelian periods of the finite Fibonacci words
Exceptional rotations of random graphs: a VC theory
In this paper we explore maximal deviations of large random structures from their typical behavior. We introduce a model for a high-dimensional random graph process and ask analogous questions to those of Vapnik and Chervonenkis for deviations of averages: how "rich" does the process have to be so that one sees atypical behavior. In particular, we study a natural process of Erdős-Rényi random graphs indexed by unit vectors in $\mathbb{R}^d$. We investigate the deviations of the process with respect to three fundamental properties: clique number, chromatic number, and connectivity. In all cases we establish upper and lower bounds for the minimal dimension $d$ that guarantees the existence of "exceptional directions" in which the random graph behaves atypically with respect to the property. For each of the three properties, four theorems are established, to describe upper and lower bounds for the threshold dimension in the subcritical and supercritical regimes.
Decoding of Repeated-Root Cyclic Codes up to New Bounds on Their Minimum Distance
Published
• View Publication
• BIB
The well-known approach of Bose, Ray-Chaudhuri and Hocquenghem and its generalization by Hartmann and Tzeng are lower bounds on the minimum distance of simple-root cyclic codes. We generalize these two bounds to the case of repeated-root cyclic codes and present a syndrome-based burst error decoding algorithm with guaranteed decoding radius based on an associated folded cyclic code. Furthermore, we present a third technique for bounding the minimum Hamming distance based on the embedding of a given repeated-root cyclic code into a repeated-root cyclic product code. A second quadratic-time probabilistic burst error decoding procedure based on the third bound is outlined. Index Terms Bound on the minimum distance, burst error, efficient decoding, folded code, repeated-root cyclic code, repeated-root cyclic product code
Combinatorics on a family of reduced Kronecker coefficients
Published
• View Publication
• BIB
The reduced Kronecker coefficients are particular instances of Kronecker coefficients that contain enough information to recover them. In this notes we compute the generating function of a family of reduced Kronecker coefficients. We also gives its connection to the plane partitions, which allows us to check that this family satisfies the saturation conjecture for reduced Kronecker coefficients, and that they are weakly increasing. Thanks to its generating function we can describe our family by a quasipolynomial, specifying its degree and period.
Improved upper bounds for the order of some classes of Abelian Cayley and circulant graphs of diameter two
Published
• View Publication
• BIB
In the degree-diameter problem for Abelian Cayley and circulant graphs of diameter 2 and arbitrary degree d there is a wide gap between the best lower and upper bounds valid for all d, being quadratic functions with leading coefficient 1/4 and 1/2 respectively. Recent papers have presented constructions which increase the coefficient of the lower bound to be at or just below 3/8, but only for sparse sets of degree d related to primes of specific congruence classes. By applying results from number theory these constructions can be extended to be valid for every degree above some threshold, establishing an improved asymptotic lower bound approaching 3/8. The constructions use the direct product of the multiplicative and additive subgroups of a Galois field and a specific coprime cyclic group. By generalising this method an improved upper bound, with quadratic coefficient 3/8, is established for this class of construction of Abelian Cayley and circulant graphs. Analysis of the order of the known extremal diameter 2 circulant graphs, up to degree 23, is shown to provide tentative support for a quadratic coefficient of 3/8 for the asymptotic upper bound for the order of general diameter 2 circulant graphs of arbitrary degree.
On defining generalized rank weights
Published in Advances in Mathematics of Communications, 11(1), 225-235, 2017
• View Publication
• BIB
This paper investigates the generalized rank weights, with a definition implied by the study of the generalized rank weight enumerator. We study rank metric codes over $L$, where $L$ is a finite Galois extension of a field $K$. This is a generalization of the case where $K = \mathbb{F}_q$ and $L = \mathbb{F}_{q^m}$ of Gabidulin codes to arbitrary characteristic. We show equivalence to previous definitions, in particular the ones by Kurihara-Matsumoto-Uyematsu, Oggier-Sboui and Ducoat. As an application of the notion of generalized rank weights, we discuss codes that are degenerate with respect to the rank metric.
The proof of a conjecture on largest Laplacian and signless Laplacian H-eigenvalues of uniform hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{A(}G\mathcal{)},\mathcal{L(}G\mathcal{)}$ and $\mathcal{Q(}% G\mathcal{)}$ be the adjacency tensor, Laplacian tensor and signless Laplacian tensor of uniform hypergraph $G$, respectively. Denote by $λ(\mathcal{T})$ the largest H-eigenvalue of tensor $\mathcal{T}$. Let $H$ be a uniform hypergraph, and $H^{\prime}$ be obtained from $H$ by inserting a new vertex with degree one in each edge. We prove that $λ(\mathcal{Q(}% H^{\prime}\mathcal{)})\leqλ(\mathcal{Q(}H\mathcal{)}).$ Denote by $G^{k}$ the $k$th power hypergraph of an ordinary graph $G$ with maximum degree $Δ\geq2$. We will prove that $\{λ(\mathcal{Q(}% G^{k}\mathcal{)})\}$ is a strictly decreasing sequence, which imply Conjectrue 4.1 of Hu, Qi and Shao in \cite{HuQiShao2013}. We also prove that $λ(\mathcal{Q(}G^{k}\mathcal{)})$ converges to $Δ$ when $k$ goes to infinity. The definiton of $k$th power hypergraph $G^{k}$ has been generalized as $G^{k,s}.$ We also prove some eigenvalues properties about $\mathcal{A(}% G^{k,s}\mathcal{)},$ which generalize some known results. Some related results about $\mathcal{L(}G\mathcal{)}$ are also mentioned.
Canonical tree-decompositions of a graph that display its $k$-blocks
Published
• View Publication
• BIB
A $k$-block in a graph $G$ is a maximal set of at least $k$ vertices no two of which can be separated in $G$ by removing less than $k$ vertices. It is separable if there exists a tree-decomposition of adhesion less than $k$ of $G$ in which this $k$-block appears as a part.
Carmesin, Diestel, Hamann, Hundertmark and Stein proved that every finite graph has a canonical tree-decomposition of adhesion less than $k$ that distinguishes all its $k$-blocks and tangles of order $k$. We construct such tree-decompositions with the additional property that every separable $k$-block is equal to the unique part in which it is contained. This proves a conjecture of Diestel.
On maximal chains of systems of word equations
Published in Proc. Steklov Inst. Math., 274:116-123 (2011)
• View Publication
• BIB
We consider systems of word equations and their solution sets. We discuss some fascinating properties of those, namely the size of a maximal independent set of word equations, and proper chains of solution sets of those. We recall the basic results, extend some known results and formulate several fundamental problems of the topic.
Rainbow Hamilton cycles in random graphs and hypergraphs
Published
• View Publication
• BIB
Let $H$ be an edge colored hypergraph. We say that $H$ contains a \emph{rainbow} copy of a hypergraph $S$ if it contains an isomorphic copy of $S$ with all edges of distinct colors.
We consider the following setting. A randomly edge colored random hypergraph $H\sim \mathcal H_c^k(n,p)$ is obtained by adding each $k$-subset of $[n]$ with probability $p$, and assigning it a color from $[c]$ uniformly, independently at random.
As a first result we show that a typical $H\sim \mathcal H^2_c(n,p)$ (that is, a random edge colored graph) contains a rainbow Hamilton cycle, provided that $c=(1+o(1))n$ and $p=\frac{\log n+\log\log n+ω(1)}{n}$. This is asymptotically best possible with respect to both parameters, and improves a result of Frieze and Loh.
Secondly, based on an ingenious coupling idea of McDiarmid, we provide a general tool for tackling problems related to finding "nicely edge colored" structures in random graphs/hypergraphs. We illustrate the generality of this statement by presenting two interesting applications. In one application we show that a typical $H\sim \mathcal H^k_c(n,p)$ contains a rainbow copy of a hypergraph $S$, provided that $c=(1+o(1))|E(S)|$ and $p$ is (up to a multiplicative constant) a threshold function for the property of containment of a copy of $S$. In the second application we show that a typical $G\sim \mathcal H_{c}^2(n,p)$ contains $(1-o(1))np/2$ edge disjoint Hamilton cycles, each of which is rainbow, provided that $c=ω(n)$ and $p=ω(\log n/n)$.
A uniform generalization of some combinatorial Hopf algebras
Published
• View Publication
• BIB
We generalize the Hopf algebras of free quasisymmetric functions, quasisymmetric functions, noncommutative symmetric functions, and symmetric functions to certain representations of the category of all finite Coxeter systems and its dual category. We investigate their connections with the representation theory of 0-Hecke algebras of finite Coxeter systems. Restricted to type B and D we obtain dual graded modules and comodules over the corresponding Hopf algebras in type A.
Graphs with degree constraints
Published
• View Publication
• BIB
Given a set D of nonnegative integers, we derive the asymptotic number of graphs with a givenvnumber of vertices, edges, and such that the degree of every vertex is in D. This generalizes existing results, such as the enumeration of graphs with a given minimum degree, and establishes new ones, such as the enumeration of Euler graphs, i.e. where all vertices have an even degree. Those results are derived using analytic combinatorics.
A categorification of the chromatic symmetric function
Published
• View Publication
• BIB
The Stanley chromatic symmetric function $X_G$ of a graph $G$ is a symmetric function generalization of the chromatic polynomial, and has interesting combinatorial properties. We apply the ideas of Khovanov homology to construct a homology of graded $S_n$-modules, whose graded Frobenius series $Frob_G(q,t)$ reduces to the chromatic symmetric function at $q=t=1$. This homology can be thought of as a categorification of the chromatic symmetric function, and provides a homological analogue of several familiar properties of $X_G$. In particular, the decomposition formula for $X_G$ discovered recently by Orellana and Scott, and Guay-Paquet is lifted to a long exact sequence in homology.
On the span of lattice points in a parallelepiped
Published
• View Publication
• BIB
Let $Λ\subset\mathbf{R}^{n}$ be a lattice which contains the integer lattice $\mathbf{Z}^{n}$. We characterize the space of linear functions $\mathbf{R}^{n}\rightarrow\mathbf{R}$ which vanish on the lattice points of $Λ$ lying in the half-open unit cube $[0,1)^{n}$. We also find an explicit formula for the dimension of the linear span of $Λ\cap[0,1)^{n}$. The results in this paper generalize and are based on the Terminal Lemma of Reid, which is in turn based upon earlier work of Morrison and Stevens on the classification of four dimensional isolated Gorenstein terminal cyclic quotient singularities.
Ramanujan Coverings of Graphs
Published in Advances in Mathematics, 323, 7 January 2018, Pages 367-410
• View Publication
• BIB
Let $G$ be a finite connected graph, and let $ρ$ be the spectral radius of its universal cover. For example, if $G$ is $k$-regular then $ρ=2\sqrt{k-1}$. We show that for every $r$, there is an $r$-covering (a.k.a. an $r$-lift) of $G$ where all the new eigenvalues are bounded from above by $ρ$. It follows that a bipartite Ramanujan graph has a Ramanujan $r$-covering for every $r$. This generalizes the $r=2$ case due to Marcus, Spielman and Srivastava (2013).
Every $r$-covering of $G$ corresponds to a labeling of the edges of $G$ by elements of the symmetric group $S_{r}$. We generalize this notion to labeling the edges by elements of various groups and present a broader scenario where Ramanujan coverings are guaranteed to exist.
In particular, this shows the existence of richer families of bipartite Ramanujan graphs than was known before. Inspired by Marcus-Spielman-Srivastava, a crucial component of our proof is the existence of interlacing families of polynomials for complex reflection groups. The core argument of this component is taken from a recent paper of them (2015).
Another important ingredient of our proof is a new generalization of the matching polynomial of a graph. We define the $r$-th matching polynomial of $G$ to be the average matching polynomial of all $r$-coverings of $G$. We show this polynomial shares many properties with the original matching polynomial. For example, it is real rooted with all its roots inside $\left[-ρ,ρ\right]$.
Permutations with fixed pattern densities
Published
• View Publication
• BIB
We study scaling limits of random permutations ("permutons") constrained by having fixed densities of a finite number of patterns. We show that the limit shapes are determined by maximizing entropy over permutons with those constraints. In particular, we compute (exactly or numerically) the limit shapes with fixed \hbox{12} density, with fixed \hbox{12} and \hbox{123} densities, with fixed \hbox{12} density and the sum of \hbox{123} and \hbox{213} densities, and with fixed \hbox{123} and \hbox{321} densities. In the last case we explore a particular phase transition. To obtain our results, we also provide a description of permutons using a dynamic construction.
A natural counting of lambda terms
Published
• View Publication
• BIB
We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn indices in a very natural model where all the operators have size 1. For plain lambda terms, the sequence corresponds to two families of binary trees for which we exhibit bijections. We study also the distribution of normal forms, head normal forms and strongly normalizing terms. In particular we show that strongly normalizing terms are of density 0 among plain terms.