Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the maximum order complexity of subsequences of the Thue-Morse and Rudin-Shapiro sequence along squares
Published
• View Publication
• BIB
Automatic sequences such as the Thue-Morse sequence and the Rudin-Shapiro sequence are highly predictable and thus not suitable in cryptography. In particular, they have small expansion complexity. However, they still have a large maximum order complexity. Certain subsequences of automatic sequences are not automatic anymore and may be attractive candidates for applications in cryptography. In this paper we show that subsequences along the squares of certain pattern sequences including the Thue-Morse sequence and the Rudin-Shapiro sequence have also large maximum order complexity but do not suffer a small expansion complexity anymore.
Crossings over permutations avoiding some pairs of patterns of length three
Published in Journal of Integer Sequences, Vol. 23 (2020), Article 20.6.3
• Search Publication
In this paper, we compute the distributions of the statistic number of crossings over permutations avoiding one of the pairs $\{321,231\}$, $\{123,132\}$ and $\{123,213\}$. The obtained results are new combinatorial interpretations of two known triangles in terms of restricted permutations statistic. For other pairs of patterns of length three, we find relationships between the polynomial distributions of the crossings over permutations that avoid the pairs containing the pattern 231 on the first hand and the pattern 312 on the other hand.
Erratum to "The integer cohomology algebra of toric arrangements"
Published
• View Publication
• BIB
We point out two errors in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., Vol. 313, pp. 746-802, 2017.
The main error concerns Theorem 4.2.17. In that theorem's proof, Diagram (8) does not commute in general but only under some restrictive hypotheses on the arrangement $\mathcal{A}$. This invalidates the description for the ring structure of $H^*(M(\mathcal{A});\mathbb{Z})$ given in Theorems A and B. We refer to alternative descriptions of the cohomology ring $H^*(M(\mathcal{A});\mathbb{Z})$.
The second error concerns Theorem 7.2.1. The claim does hold, but the proof is incorrect. We refer to a counterexample for the argument given in the proof and we provide references for a correct proof.
Reconstructibility of unrooted level-$k$ phylogenetic networks from distances
Published
• View Publication
• BIB
A phylogenetic network is a graph-theoretical tool that is used by biologists to represent the evolutionary history of a collection of species. One potential way of constructing such networks is via a distance-based approach, where one is asked to find a phylogenetic network that in some way represents a given distance matrix, which gives information on the evolutionary distances between present-day taxa. Here, we consider the following question. For which~$k$ are unrooted level-$k$ networks uniquely determined by their distance matrices? We consider this question for shortest distances as well as for the case that the multisets of all distances is given. We prove that level-$1$ networks and level-$2$ networks are reconstructible from their shortest distances and multisets of distances, respectively. Furthermore we show that, in general, networks of level higher than~$1$ are not reconstructible from shortest distances and that networks of level higher than~$2$ are not reconstructible from their multisets of distances.
Normal limit laws for vertex degrees in randomly grown hooking networks and bipolar networks
Published in Electronic Journal of Combinatorics 27(2), (2020), P2.45
• View Publication
• BIB
We consider two types of random networks grown in blocks. Hooking networks are grown from a set of graphs as blocks, each with a labelled vertex called a hook. At each step in the growth of the network, a vertex called a latch is chosen from the hooking network and a copy of one of the blocks is attached by fusing its hook with the latch. Bipolar networks are grown from a set of directed graphs as blocks, each with a single source and a single sink. At each step in the growth of the network, an arc is chosen and is replaced with a copy of one of the blocks. Using Pólya urns, we prove normal limit laws for the degree distributions of both networks. We extend previous results by allowing for more than one block in the growth of the networks and by studying arbitrarily large degrees.
Blowup Ramsey numbers
Published in European Journal of Combinatorics. Vol 92 (2021) 103238
• View Publication
• BIB
We study a generalisation of the bipartite Ramsey numbers to blowups of graphs. For a graph $G$, denote the $t$-blowup of $G$ by $G[t]$. We say that $G$ is $r$-Ramsey for $H$, and write $G \stackrel{r}{\rightarrow} H$, if every $r$-colouring of the edges of $G$ has a monochromatic copy of $H$. We show that if $G \stackrel{r}{\rightarrow} H$, then for all $t$, there exists $n$ such that $G[n] \stackrel{r}{\rightarrow} H[t]$. In fact, we provide exponential lower and upper bounds for the minimum $n$ with $G[n] \stackrel{r}{\rightarrow} H[t]$, and conjecture an upper bound of the form $c^t$, where $c$ depends on $H$ and $r$, but not on $G$. We also show that this conjecture holds for $G(n,p)$ with high probability, above the threshold for the event $G(n,p) \stackrel{r}{\rightarrow} H$.
On the spectral reconstruction problem for digraphs
The idiosyncratic polynomial of a graph $G$ with adjacency matrix $A$ is the characteristic polynomial of the matrix $ A + y(J-A-I)$, where $I$ is the identity matrix and $J$ is the all-ones matrix. It follows from a theorem of Hagos (2000) combined with an earlier result of Johnson and Newman (1980) that the idiosyncratic polynomial of a graph is reconstructible from the multiset of the idiosyncratic polynomial of its vertex-deleted subgraphs. For a digraph $G$ with adjacency matrix $A$, we define its idiosyncratic polynomial as the characteristic polynomial of the matrix $ A + y(J-A-I)+zA^{T}$. By forbidding two fixed digraphs on three vertices as induced subdigraphs, we prove that the idiosyncratic polynomial of a digraph is reconstructible from the multiset of the idiosyncratic polynomial of its induced subdigraphs on three vertices. As an immediate consequence, the idiosyncratic polynomial of a tournament is reconstructible from the collection of its $3$-cycles. Another consequence is that all the transitive orientations of a comparability graph have the same idiosyncratic polynomial.
Whittaker functions from motivic Chern classes
Published
• View Publication
• BIB
We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on localization in equivariant K theory, and require a geometric interpretation of how the Hecke dual (or inverse) of a D-L operator acts on the class of a point. We prove that the Hecke dual operators give Grothendieck-Serre dual classes of the motivic classes, a result which might be of independent interest. In an Appendix joint with Dave Anderson we show that if the line bundle is trivial, we recover a generalization of a classical formula by Kostant, Macdonald, Shapiro and Steinberg for the Poincar{é} polynomial of $G/B$; the generalization we consider is due to Akyıldız and Carrell and replaces $G/B$ by any smooth Schubert variety.
Symplectic keys and Demazure atoms in type C
Published
• View Publication
• BIB
We compute, mimicking the Lascoux-Schützenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Schützenberger evacuation is defined to realize that involution.
A study on Vandermonde-like polynomial matrices
A new class of structured matrices is presented and a closed form formula for their determinant is established. This formula has strong connections with the one for Vandermonde matrices.
Reconstruction of time-consistent species trees
Published
• View Publication
• BIB
The history of gene families -- which are equivalent to event-labeled gene trees -- can to some extent be reconstructed from empirically estimated evolutionary event-relations containing pairs of orthologous, paralogous or xenologous genes. The question then arises as whether inferred event-labeled gene trees are "biologically feasible" which is the case if one can find a species tree with which the gene tree can be reconciled in a time-consistent way.
In this contribution, we consider event-labeled gene trees that contain speciation, duplication as well as horizontal gene transfer and we assume that the species tree is unknown. We provide a cubic-time algorithm to decide whether a "time-consistent" binary species for a given event-labeled gene tree exists and, in the affirmative case, to construct the species tree within the same time-complexity.
Self-orthogonal codes constructed from weakly self-orthogonal designs invariant under an action of $M_{11}$
In this paper we generalize the construction of binary self-orthogonal codes obtained from weakly self-orthogonal designs described by Tonchev in [12] in order to obtain self-orthogonal codes over an arbitrary field. We extend construction self-orthogonal codes from orbit matrices of self-orthogonal designs and weakly self-orthogonal 1-designs such that block size is odd and block intersection numbers are even described in [5]. Also, we generalize mentioned construction in order to obtain self-orthogonal codes over an arbitrary field. We construct weakly self-orthogonal designs invariant under an action of Mathieu group $M_{11}$ and, from them, binary self-orthogonal codes.
A lower bound for Cusick's conjecture on the digits of n+t
Published
• View Publication
• BIB
Let $s$ be the sum-of-digits function in base $2$, which returns the number of $\mathtt 1$s in the base-2 expansion of a nonnegative integer. For a nonnegative integer $t$, define the asymptotic density \[ c_t=\lim_{N\rightarrow \infty} \frac 1N\bigl\lvert\{0\leq n<N:s(n+t)\geq s(n)\}\bigr\rvert.\] T.~W.~Cusick conjectured that $c_t>1/2$. We have the elementary bound $0<c_t<1$; however, no bound of the form $0<α\leq c_t$ or $c_t\leq β<1$, valid for all $t$, is known. In this paper, we prove that $c_t>1/2-\varepsilon$ as soon as $t$ contains sufficiently many blocks of $\mathtt 1$s in its binary expansion. In the proof, we provide estimates for the moments of an associated probability distribution; this extends the study initiated by Emme and Prikhod'ko (2017) and pursued by Emme and Hubert (2018).
Macaulay, Lazard and the Syndrome Variety
In this paper we consider the four syndrom varieties ${\sf Z}_e^\times$, i.e. the set of all error locations corresponding to errors of weight $w, 0\leq w\leq 2$,
${\sf Z}_{ns}^\times$ , the set of all {\em non spurious} error locations corresponding to errors of weight $w, 0\leq w\leq 2$, ${\sf Z}_+^\times $, the set of all non-spurious error locations corresponding to errors of weight $w, 1\leq w\leq 2$, ${\sf Z}_2^\times $, the set of all non-spurious error locations corresponding to errors of weight $w= 2$, associated to an up-to-two errors correcting binary cyclic codes. Denoting $J_\ast:=\mathcal{I}({\sf Z}_\ast)$, the ideal of these syndrome varieties, ${\sf N}_\ast := {\bf N}(J_\ast)$ the \GR\ escalier of $J_\ast$ w.r.t. the lex ordering with $x_1<x_2<z_1<z_2$,
$Φ_\ast : {\sf Z}_\ast \to {\sf N}_\ast$ a Cerlienco-Mureddu correspondence, and $G_*$ a minimal Groebner basis of the ideal $J_\ast$, the aim of the paper is, assuming to know the structure of the order ideal ${\sf N}_2$ and a Cerlienco Mureddu Correspondence to deduce with elementary arguments ${\sf N}_\ast$, $G_\ast$ and $Φ_\ast$ for $\ast\in\{e,ns,+\}$.
The tools are Macaulay's trick and Lazard's formulation of Cerlienco-Mureddu correspondence.
Morse shellings and compatible discrete Morse functions
We introduce a notion of Morse shellings (and tilings) on finite simplicial complexes which extends the classical one and its relation to discrete Morse theory.Skeletons and barycentric subdivisions of Morse shellable (or tileable) simplicial complexes are Morse shellable (or tileable). Moreover, every triangulated closed surface is Morse shellable while every closed three-manifold carries Morse shellable triangulations. Finally, any shelling encodes a class of discrete Morse functions whose critical points are in one-to-one correspondence, preserving the index, with the critical tiles of the shelling.
The Rank Enumeration of Certain Parabolic Non-Crossing Partitions
Published in Algebraic Combinatorics 5 (2022), pages 437-468
• View Publication
• BIB
We consider $m$-divisible non-crossing partitions of $\{1,2,\ldots,mn\}$ with the property that for some $t\leq n$ no block contains more than one of the first $t$ integers. We give a closed formula for the number of multi-chains of such non-crossing partitions with prescribed number of blocks. Building on this result, we compute Chapoton's $M$-triangle in this setting and conjecture a combinatorial interpretation for the $H$-triangle. This conjecture is proved for $m=1$.
Erdős-Szekeres theorem for multidimensional arrays
The classical Erdős-Szekeres theorem dating back almost a hundred years states that any sequence of $(n-1)^2+1$ distinct real numbers contains a monotone subsequence of length $n$. This theorem has been generalised to higher dimensions in a variety of ways but perhaps the most natural one was proposed by Fishburn and Graham more than 25 years ago. They defined the concept of a monotone and a lex-monotone array and asked how large an array one needs in order to be able to find a monotone or a lex-monotone subarray of size $n \times \ldots \times n$. Fishburn and Graham obtained Ackerman-type bounds in both cases. We significantly improve these results. Regardless of the dimension we obtain at most a triple exponential bound in $n$ in the monotone case and a quadruple exponential one in the lex-monotone case.
On the structure of asymptotic expanders
Published
• View Publication
• BIB
In this paper, we use geometric tools to study the structure of asymptotic expanders and show that a sequence of asymptotic expanders always admits a "uniform exhaustion by expanders". It follows that asymptotic expanders cannot be coarsely embedded into any $L^p$-space, and that asymptotic expanders can be characterised in terms of their uniform Roe algebra. Moreover, we provide uncountably many new counterexamples to the coarse Baum--Connes conjecture. These appear to be the first counterexamples that are not directly constructed by means of spectral gaps. Finally, we show that vertex-transitive asymptotic expanders are actually expanders. In particular, this gives a $C^*$-algebraic characterisation of expanders for vertex-transitive graphs.
Random plane partitions and corner distributions
Published
• View Publication
• BIB
We explore some probabilistic applications arising in connections with $K$-theoretic symmetric functions. For instance, we determine certain corner distributions of random lozenge tilings and plane partitions. We also introduce some distributions that are naturally related to the corner growth model. Our main tools are dual symmetric Grothendieck polynomials and normalized Schur functions.
Thresholds versus fractional expectation-thresholds
Published
• View Publication
• BIB
Proving a conjecture of Talagrand, a fractional version of the 'expectation-threshold' conjecture of Kalai and the second author, we show for any increasing family $F$ on a finite set $X$ that $p_c (F) =O( q_f (F) \log \ell(F))$, where $p_c(F)$ and $q_f(F)$ are the threshold and 'fractional expectation-threshold' of $F$, and $\ell(F)$ is the largest size of a minimal member of $F$. This easily implies several heretofore difficult results and conjectures in probabilistic combinatorics, including thresholds for perfect hypergraph matchings (Johansson--Kahn--Vu), bounded-degree spanning trees (Montgomery), and bounded-degree spanning graphs (new). We also resolve (and vastly extend) the 'axial' version of the random multi-dimensional assignment problem (earlier considered by Martin--Mézard--Rivoire and Frieze--Sorkin). Our approach builds on a recent breakthrough of Alweiss, Lovett, Wu and Zhang on the Erdős--Rado 'Sunflower Conjecture'.