Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Absolute continuity of Bernoulli convolutions for algebraic parameters
Published in J. Amer. Math. Soc. 32 (2019), 351-397
• View Publication
• BIB
We prove that Bernoulli convolutions are absolutely continuous provided the parameter lambda is an algebraic number sufficiently close to 1 depending on the Mahler measure of lambda.
A Gröbner basis characterization for chordal comparability graphs
Published in European Journal of Combinatorics 59 (2017), 122-128
• View Publication
• BIB
In this paper, we study toric ideals associated with multichains of posets. It is shown that the comparability graph of a poset is chordal if and only if there exists a quadratic Gröbner basis of the toric ideal of the poset. Strong perfect elimination orderings of strongly chordal graphs play an important role.
Uniquely identifying the edges of a graph: the edge metric dimension
Published
• View Publication
• BIB
Let $G=(V,E)$ be a connected graph, let $v\in V$ be a vertex and let $e=uw\in E$ be an edge. The distance between the vertex $v$ and the edge $e$ is given by $d_G(e,v)=\min\{d_G(u,v),d_G(w,v)\}$. A vertex $w\in V$ distinguishes two edges $e_1,e_2\in E$ if $d_G(w,e_1)\ne d_G(w,e_2)$. A set $S$ of vertices in a connected graph $G$ is an edge metric generator for $G$ if every two edges of $G$ are distinguished by some vertex of $S$. The smallest cardinality of an edge metric generator for $G$ is called the edge metric dimension and is denoted by $edim(G)$. In this article we introduce the concept of edge metric dimension and initiate the study of its mathematical properties. We make a comparison between the edge metric dimension and the standard metric dimension of graphs while presenting some realization results concerning the edge metric dimension and the standard metric dimension of graphs. We prove that computing the edge metric dimension of connected graphs is NP-hard and give some approximation results. Moreover, we present some bounds and closed formulae for the edge metric dimension of several classes of graphs.
Sparse solutions of linear Diophantine equations
Published in SIAM Journal on Applied Algebra and Geometry 1 (2017), no. 1, 239-253
• View Publication
• BIB
We present structural results on solutions to the Diophantine system $A{\boldsymbol y} = {\boldsymbol b}$, ${\boldsymbol y} \in \mathbb Z^t_{\ge 0}$ with the smallest number of non-zero entries. Our tools are algebraic and number theoretic in nature and include Siegel's Lemma, generating functions, and commutative algebra. These results have some interesting consequences in discrete optimization.
The asymptotic behavior of the correspondence chromatic number
Published in Discrete Mathematics, vol. 339 (2016), n. 11, 2680--2692
• View Publication
• BIB
Alon proved that for any graph $G$, $χ_\ell(G) = Ω(\ln d)$, where $χ_\ell(G)$ is the list chromatic number of $G$ and $d$ is the average degree of $G$. Dvořák and Postle recently introduced a generalization of list coloring, which they called correspondence coloring. We establish an analogue of Alon's result for correspondence coloring; namely, we show that $χ_c(G) = Ω(d/\ln d)$, where $χ_c(G)$ denotes the correspondence chromatic number of $G$. We also prove that for triangle-free $G$, $χ_c(G) = O(Δ/\ln Δ)$, where $Δ$ is the maximum degree of $G$ (this is a generalization of Johansson's result about list colorings). This implies that the correspondence chromatic number of a regular triangle-free graph is, up to a constant factor, determined by its degree.
On the Sign-imbalance of Permutation Tableaux
Published
• View Publication
• BIB
Permutation tableaux were introduced by Steingrímsson and Williams. Corteel and Kim defined the sign of a permutation tableau in terms of the number of unrestricted columns. The sign-imbalance of permutation tableaux of length $n$ is the sum of signs over permutation tableaux of length $n$. They have btained a formula for the sign-imbalance of permutation tableaux of length $n$ by using generating functions and asked for a combinatorial proof. Moreover, they raised the question of finding a sign-imbalance formula for type $B$ permutation tableaux introduced by Lam and Williams. We define a statistic $\nwnm$ over permutations and show that the number of unrestricted columns over permutation tableaux of length $n$ is equally distributed with $\nwnm$ over permutations of length $n$. This leads to a combinatorial interpretation of the formula of Corteel and Kim. For type $B$ permutation tableaux, we define the sign of a type $B$ permutation tableau in term of the number of certain rows and columns. On the other hand, we construct a bijection between the type $B$ permutation tableaux of length $n$ and symmetric permutations of length $2n$ and we show that the statistic $\nwnm$ over symmetric permutations of length $2n$ is equally distributed with the number of certain rows and columns over type $B$ permutation tableaux of length $n$. Based on this correspondence and an involution on symmetric permutation of length $2n$, we obtain a sign-imbalance formula for type $B$ permutation tableaux.
Groups with positive rank gradient and their actions
Published
• View Publication
• BIB
We show that given a finitely generated LERF group $G$ with positive rank gradient, and finitely generated subgroups $A,B \leq G$ of infinite index, one can find a finite index subgroup $B_0$ of $B$ such that $[G : \langle A \cup B_0 \rangle] = \infty$. This generalizes a theorem of Olshanskii on free groups. We conclude that a finite product of finitely generated subgroups of infinite index does not cover $G$. We construct a transitive virtually faithful action of $G$ such that the orbits of finitely generated subgroups of infinite index are finite. Some of the results extend to profinite groups with positive rank gradient.
Smith Normal Form in Combinatorics
Published
• View Publication
• BIB
This paper surveys some combinatorial aspects of Smith normal form, and more generally, diagonal form. The discussion includes general algebraic properties and interpretations of Smith normal form, critical groups of graphs, and Smith normal form of random integer matrices. We then give some examples of Smith normal form and diagonal form arising from (1) symmetric functions, (2) a result of Carlitz, Roselle, and Scoville, and (3) the Varchenko matrix of a hyperplane arrangement.
Perfect Necklaces
Published
• View Publication
• BIB
We introduce a variant of de Bruijn words that we call perfect necklaces. Fix a finite alphabet. Recall that a word is a finite sequence of symbols in the alphabet and a circular word, or necklace, is the equivalence class of a word under rotations. For positive integers k and n, we call a necklace (k,n)-perfect if each word of length k occurs exactly n times at positions which are different modulo n for any convention on the starting point. We call a necklace perfect if it is (k,k)-perfect for some k. We prove that every arithmetic sequence with difference coprime with the alphabet size induces a perfect necklace. In particular, the concatenation of all words of the same length in lexicographic order yields a perfect necklace. For each k and n, we give a closed formula for the number of (k,n)-perfect necklaces. Finally, we prove that every infinite periodic sequence whose period coincides with some (k,n)-perfect necklace for any n, passes all statistical tests of size up to k, but not all larger tests. This last theorem motivated this work.
Paired patterns in lattice paths
Published
• View Publication
• BIB
Let $\mathcal{L}_n$ denote the set of all paths from $[0,0]$ to $[n, n]$ which consist of either unit north steps $N$ or unit east steps $E$ or, equivalently, the set of all words $L \in \{E,N\}^*$ with $n$ $E$'s and $n$ $N$'s. Given $L \in \mathcal{L}_n$ and a subset $A$ of $[n] = \{1, \ldots, n\}$, we let $ps_{L}(A)$ denote the word that results from $L$ by removing the $i^{th}$ occurrence of $E$ and the $i^{th}$ occurrence of $N$ in $L$ for all $i \in [n]-A$, reading from left to right. Then we say that a paired pattern $P \in \mathcal{L}_k$ occurs in $L$ if there is some $A \subseteq [n]$ of size $k$ such that $ps_L(A) = P$. In this paper, we study the generating functions of paired pattern matching in $\mathcal L_n$.
Classification of k-nets
Published in European Journal of Combinatorics 48: pp. 177-185. (2015)
• View Publication
• BIB
A finite \emph{$k$-net} of order $n$ is an incidence structure consisting of $k\ge 3$ pairwise disjoint classes of lines, each of size $n$, such that every point incident with two lines from distinct classes is incident with exactly one line from each of the $k$ classes. Deleting a line class from a $k$-net, with $k\ge 4$, gives a \emph{derived} ($k-1$)-net of the same order.
Finite $k$-nets embedded in a projective plane $PG(2,K)$ coordinatized by a field $K$ of characteristic $0$ only exist for $k=3,4$, see \cite{knp_k}. In this paper, we investigate $3$-nets embedded in $PG(2,K)$ whose line classes are in perspective position with an axis $r$, that is, every point on the line $r$ incident with a line of the net is incident with exactly one line from each class. The problem of determining all such $3$-nets remains open whereas we obtain a complete classification for those coordinatizable by a group. As a corollary, the (unique) $4$-net of order $3$ embedded in $PG(2,K)$ turns out to be the only $4$-net embedded in $PG(2,K)$ with a derived $3$-net which can be coordinatized by a group. Our results hold true in positive characteristic under the hypothesis that the order of the $k$-net considered is smaller than the characteristic of $K$.
Generalized bent functions - sufficient conditions and related constructions
The necessary and sufficient conditions for a class of functions $f:\mathbb{Z}_2^n \rightarrow \mathbb{Z}_q$, where $q \geq 2$ is an even positive integer, have been recently identified for $q=4$ and $q=8$. In this article we give an alternative characterization of the generalized Walsh-Hadamard transform in terms of the Walsh spectra of the component Boolean functions of $f$, which then allows us to derive sufficient conditions that $f$ is generalized bent for any even $q$. The case when $q$ is not a power of two, which has not been addressed previously, is treated separately and a suitable representation in terms of the component functions is employed. Consequently, the derived results lead to generic construction methods of this class of functions. The main remaining task, which is not answered in this article, is whether the sufficient conditions are also necessary. There are some indications that this might be true which is also formally confirmed for generalized bent functions that belong to the class of generalized Maiorana-McFarland functions (GMMF), but still we were unable to completely specify (in terms of necessity) gbent conditions.
A geometric approach to alternating $k$-linear forms
Published in J. Algebraic Combin. 45 (2017) 931-963
• View Publication
• BIB
Given an $n$-dimensional vector space $V$ over a field $\mathbb K$, let $2\leq k < n$. There is a natural correspondence between the alternating $k$-linear forms $\varphi$ of $V$ and the linear functionals $f$ of $\bigwedge^kV$. Let $\varepsilon_k:{\mathcal G}_k(V)\rightarrow {\mathrm{PG}}(\bigwedge^kV)$ be the Plucker embedding of the $k$-Grassmannian ${\mathcal G}_k(V)$ of $V$. Then $\varepsilon_k^{-1}(\ker(f)\cap\varepsilon_k(\mathcal{G}_k(V)))$ is a hyperplane of the point-line geometry ${\mathcal G}_k(V)$. All hyperplanes of ${\mathcal G}_k(V)$ can be obtained in this way. For a hyperplane $H$ of ${\mathcal G}_k(V)$, let $R^\uparrow(H)$ be the subspace of ${\mathcal G}_{k-1}(V)$ formed by the $(k-1)$-subspaces $A\subset V$ such that $H$ contains all $k$-subspaces that contain $A$. In other words, if $\varphi$ is the (unique modulo a scalar) alternating $k$-linear form defining $H$, then the elements of $R^\uparrow(H)$ are the $(k-1)$-subspaces $A = \langle a_1,\ldots, a_{k-1}\rangle$ of $V$ such that $\varphi(a_1,\ldots, a_{k-1},x) = 0$ for all $x\in V$. When $n-k$ is even it might be that $R^\uparrow(H) = \emptyset$. When $n-k$ is odd, then $R^\uparrow(H) \neq \emptyset$, since every $(k-2)$-subspace of $V$ is contained in at least one member of $R^\uparrow(H)$. If every $(k-2)$-subspace of $V$ is contained in precisely one member of $R^\uparrow(H)$ we say that $R^\uparrow(H)$ is spread-like. In this paper we obtain some results on $R^\uparrow(H)$ which answer some open questions from the literature and suggest the conjecture that, if $n-k$ is even and at least $4$, then $R^\uparrow(H) \neq \emptyset$ but for one exception with ${\mathbb K}\leq{\mathbb R}$ and $(n,k) = (7,3)$, while if $n-k$ is odd and at least $5$ then $R^\uparrow(H)$ is never spread-like.
Rigidity and reconstruction for graphs
Published
• View Publication
• BIB
We present measure theoretic rigidity for graphs of first Betti number b>1 in terms of measures on the boundary of a 2b-regular tree, that we make explicit in terms of the edge-adjacency and closed-walk structure of the graph. We prove that edge-reconstruction of the entire graph is equivalent to that of the "closed walk lengths".
On the toric ideals of matroids of a fixed rank
Published in Selecta Mathematica (N.S.) 27 (2021), no. 2, Article: 18
• View Publication
• BIB
In $1980$ White conjectured that every element of the toric ideal of a matroid is generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture for high degrees with respect to the rank. This extends our result arXiv:1302.5236 confirming White's conjecture `up to saturation'. Furthermore, we study degrees of Gröbner bases and Betti tables of the toric ideals of matroids of a fixed rank.
Expansion of polynomial Lie group integrals in terms of certain maps on surfaces, and factorizations of permutations
Published in J. Phys. A: Math. Theor. 50 075201 (2017)
• View Publication
• BIB
Using the diagrammatic approach to integrals over Gaussian random matrices, we find a representation for polynomial Lie group integrals as infinite sums over certain maps on surfaces. The maps involved satisfy a specific condition: they have some marked vertices, and no closed walks that avoid these vertices. We also formulate our results in terms of permutations, arriving at new kinds of factorization problems.
New classes of degree sequences with fast mixing swap Markov chain sampling
Published
• View Publication
• BIB
In network modeling of complex systems one is often required to sample random realizations of networks that obey a given set of constraints, usually in form of graph measures. A much studied class of problems targets uniform sampling of simple graphs with given degree sequence or also with given degree correlations expressed in the form of a joint degree matrix. One approach is to use Markov chains based on edge switches (swaps) that preserve the constraints, are irreducible (ergodic) and fast mixing. In 1999, Kannan, Tetali and Vempala (KTV) proposed a simple swap Markov chain for sampling graphs with given degree sequence and conjectured that it mixes rapidly (in poly-time) for arbitrary degree sequences. While the conjecture is still open, it was proven for special degree sequences, in particular, for those of undirected and directed regular simple graphs, of half-regular bipartite graphs, and of graphs with certain bounded maximum degrees. Here we prove the fast mixing KTV conjecture for novel, exponentially large classes of irregular degree sequences. Our method is based on a canonical decomposition of degree sequences into split graph degree sequences, a structural theorem for the space of graph realizations and on a factorization theorem for Markov chains. After introducing bipartite splitted degree sequences, we also generalize the canonical split graph decomposition for bipartite and directed graphs.
Generalized nil-Coxeter algebras over discrete complex reflection groups
Published in Transactions of the American Mathematical Society 370 (2018), no. 4, 2971-2999
• View Publication
• BIB
We define and study generalized nil-Coxeter algebras associated to Coxeter groups. Motivated by a question of Coxeter (1957), we construct the first examples of such finite-dimensional algebras that are not the 'usual' nil-Coxeter algebras: a novel 2-parameter type $A$ family that we call $NC_A(n,d)$. We explore several combinatorial properties of $NC_A(n,d)$, including its Coxeter word basis, length function, and Hilbert-Poincare series, and show that the corresponding generalized Coxeter group is not a flat deformation of $NC_A(n,d)$. These algebras yield symmetric semigroup module categories that are necessarily not monoidal; we write down their Tannaka-Krein duality.
Further motivated by the Broue-Malle-Rouquier (BMR) freeness conjecture [J. reine angew. math. 1998], we define generalized nil-Coxeter algebras over all discrete real or complex reflection groups $W$, finite or infinite. We provide a complete classification of all such algebras that are finite-dimensional. Remarkably, these turn out to be either the usual nil-Coxeter algebras, or the algebras $NC_A(n,d)$. This proves as a special case - and strengthens - the lack of equidimensional nil-Coxeter analogues for finite complex reflection groups. In particular, generic Hecke algebras are not flat deformations of $NC_W$ for $W$ complex.
Delta-matroids and Vassiliev invariants
Published
• View Publication
• BIB
Vassiliev (finite type) invariants of knots can be described in terms of weight systems. These are functions on chord diagrams satisfying so-called 4-term relations. In the study of the sl2 weight system, it was shown that its value on a chord diagram depends on the intersection graph of the diagram rather than on the diagram itself. Moreover, it was shown that the value of this weight system on an intersection graph depends on the cy- cle matroid of the graph rather than on the graph itself. This result arose the question whether there is a natural way to introduce a 4-term relation on the space spanned by matroids, similar to the one for graphs. It happened however that the answer is negative: there are graphs having isomorphic cycle matroids such that applying the "second Vassiliev move" to a pair of corresponding vertices a;b of the graphs we obtain two graphs with nonisomorphic matroids.
The goal of the present paper is to show that the situation is different for binary delta-matroids: one can define both the first and the second Vassiliev moves for binary delta-matroids and introduce a 4-term relation for them in such a way that the mapping taking a chord diagram to its delta-matroid respects the corresponding 4-term relations. Moreover, this mapping admits a natural extension to chord diagrams on several circles, which correspond to singular links. Delta-matroids were introduced by A. Bouchet for the purpose of studying embedded graphs, whence their relationship with (multiloop) chord diagrams is by no means unexpected. Some evidence for the existence of such a relationship can be found, for example, the Tutte polynomial for embedded graphs has been introduced. It was shown that this polynomial depends on the delta-matroid of the embedded graph rather than the graph itself and satises the Vassilev 4-term relation.
On the Automorphism Groups of the Z2Z4-Linear 1-Perfect and Preparata-Like Codes
Published in Des. Codes Cryptogr. 83(1) 2017, 169-177
• View Publication
• BIB
We consider the symmetry group of a $Z_2Z_4$-linear code with parameters of a $1$-perfect, extended $1$-perfect, or Preparata-like code. We show that, provided the code length is greater than $16$, this group consists only of symmetries that preserve the $Z_2Z_4$ structure. We find the orders of the symmetry groups of the $Z_2Z_4$-linear (extended) $1$-perfect codes. Keywords: additive codes, $Z_2Z_4$-linear codes, $1$-perfect codes, Preparata-like codes, automorphism group, symmetry group.