Showing 20 papers (Total: 84360 papers, 48587 authors in database)
On derived equivalences for categories of generalized intervals of a finite poset
We study two constructions related to the intervals of finite posets. The first one is a poset. The second one is more complicated. Loosely speaking it can be seen as a poset with some extra zero-relations. As main result, we show that these two constructions are equivalent at the level of derived categories.
Embedding a $θ$-invariant code into a complete one
Published in Theoretical Computer Science, Elsevier
• View Publication
• BIB
Let A be a finite or countable alphabet and let $θ$ be a literal (anti-)automorphism onto A * (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under $θ$ ($θ$-invariant for short) that is, languages L such that $θ$ (L) is a subset of L.We establish an extension of the famous defect theorem. With regards to the so-called notion of completeness, we provide a series of examples of finite complete $θ$-invariant codes. Moreover, we establish a formula which allows to embed any non-complete $θ$-invariant code into a complete one. As a consequence, in the family of the so-called thin $θ$--invariant codes, maximality and completeness are two equivalent notions.
On Hamiltonian and Hamilton-connected digraphs
Published in Akad. Nauk Armyan SSR Dokl. 91(1) 1990, 3-6
• Search Publication
C. Thomassen in \cite{[11]} suggested (see also \cite{[2]}, J. C.Bermond, C. Thomassen, Cycles in Digraphs - A survey, J. Graph Theory 5 (1981) 1-43, Conjectures 1.6.7 and 1.6.8) the following conjectures :
1. Every 3-strongly connected digraph of order $n$ and with minimum degree at least $n+1$ is strongly Hamiltonian-connected.
2. Let $D$ be a 4-strongly connected digraph of order $n$ such that the sum of the degrees of any pair of non-adjacent vertices is at least $2n+1$. Then $D$ is strongly Hamiltonian-connected.
We disprove Conjecture 1 and prove two results which provide some support for Conjecture 2. The main goal of this article is to present the detailed proofs of these results (in English).
A theorem on even pancyclic bipartite digraphs
Published
• View Publication
• BIB
We prove that a strongly connected balanced bipartite directed graph of order $2a\geq 6$ with partite sets $X$ and $Y$ contains cycles of every length $2, 4, \ldots , 2a$, provided $d(x)+d(y)\geq 3a$ for every pair of vertices $x$, $y$ either both in $X$ or both in $Y$.
Multicolour containers, extremal entropy and counting
Published
• View Publication
• BIB
In breakthrough results, Saxton-Thomason and Balogh-Morris-Samotij developed powerful theories of hypergraph containers. In this paper, we explore some consequences of these theories. We use a simple container theorem of Saxton-Thomason and an entropy-based framework to deduce container and counting theorems for hereditary properties of k-colourings of very general objects, which include both vertex- and edge-colourings of general hypergraph sequences as special cases.
In the case of sequences of complete graphs, we further derive characterisation and transference results for hereditary properties in terms of their stability families and extremal entropy. This covers within a unified framework a great variety of combinatorial structures, some of which had not previously been studied via containers: directed graphs, oriented graphs, tournaments, multigraphs with bounded multiplicity and multicoloured graphs amongst others.
Similar results were recently and independently obtained by Terry.
A note on the cross-index of a complete graph based on a linear tree
Published
• View Publication
• BIB
In this paper it is shown that a complete graph with $n$ vertices has an optimal diagram, i.e., a diagram whose crossing number equals the value of Guy's formula, with a free maximal linear tree and without free hamiltonian cycles for any odd integer $n \ge 7$.
de Finetti reductions for partially exchangeable probability distributions
We introduce a general framework for de Finetti reduction results, applicable to various notions of partially exchangeable probability distributions. Explicit statements are derived for the cases of exchangeability, Markov exchangeability, and some generalizations of these. Our techniques are combinatorial and rely on the "BEST" theorem, enumerating the Eulerian cycles of a multigraph.
Critical exponents of infinite balanced words
Published
• View Publication
• BIB
Over an alphabet of size 3 we construct an infinite balanced word with critical exponent 2+sqrt(2)/2. Over an alphabet of size 4 we construct an infinite balanced word with critical exponent (5+sqrt(5))/4. Over larger alphabets, we give some candidates for balanced words (found computationally) having small critical exponents. We also explore a method for proving these results using the automated theorem prover Walnut.
Subword complexity and power avoidance
Published
• View Publication
• BIB
We begin a systematic study of the relations between subword complexity of infinite words and their power avoidance. Among other things, we show that
-- the Thue-Morse word has the minimum possible subword complexity over all overlap-free binary words and all $(\frac 73)$-power-free binary words, but not over all $(\frac 73)^+$-power-free binary words;
-- the twisted Thue-Morse word has the maximum possible subword complexity over all overlap-free binary words, but no word has the maximum subword complexity over all $(\frac 73)$-power-free binary words;
-- if some word attains the minimum possible subword complexity over all square-free ternary words, then one such word is the ternary Thue word;
-- the recently constructed 1-2-bonacci word has the minimum possible subword complexity over all \textit{symmetric} square-free ternary words.
Rooted tree maps and the Kawashima relations for multiple zeta values
Published
• View Publication
• BIB
Recently, inspired by the Connes-Kreimer Hopf algebra of rooted trees, the second named author introduced rooted tree maps as a family of linear maps on the noncommutative polynomial algebra in two letters. These give a class of relations among multiple zeta values, which are known to be a subclass of the so-called linear part of the Kawashima relations. In this paper we show the opposite implication, that is the linear part of the Kawashima relations is implied by the relations coming from rooted tree maps.
Minimum saturated families of sets
Published in Bulletin of the London Mathematical Society 50.4 (2018), 725-732
• View Publication
• BIB
We call a family $\mathcal{F}$ of subsets of $[n]$ $s$-saturated if it contains no $s$ pairwise disjoint sets, and moreover no set can be added to $\mathcal{F}$ while preserving this property (here $[n] = \{1,\ldots,n\}$).
More than 40 years ago, Erdős and Kleitman conjectured that an $s$-saturated family of subsets of $[n]$ has size at least $(1 - 2^{-(s-1)})2^n$. It is easy to show that every $s$-saturated family has size at least $\frac{1}{2}\cdot 2^n$, but, as was mentioned by Frankl and Tokushige, even obtaining a slightly better bound of $(1/2 + \varepsilon)2^n$, for some fixed $\varepsilon > 0$, seems difficult. In this note, we prove such a result, showing that every $s$-saturated family of subsets of $[n]$ has size at least $(1 - 1/s)2^n$.
This lower bound is a consequence of a multipartite version of the problem, in which we seek a lower bound on $|\mathcal{F}_1| + \ldots + |\mathcal{F}_s|$ where $\mathcal{F}_1, \ldots, \mathcal{F}_s$ are families of subsets of $[n]$, such that there are no $s$ pairwise disjoint sets, one from each family $\mathcal{F}_i$, and furthermore no set can be added to any of the families while preserving this property. We show that $|\mathcal{F}_1| + \ldots + |\mathcal{F}_s| \ge (s-1)\cdot 2^n$, which is tight e.g.\ by taking $\mathcal{F}_1$ to be empty, and letting the remaining families be the families of all subsets of $[n]$.
A group commutator involving the last distance matrix and dual distance matrix of a $Q$-polynomial distance-regular graph
Published
• View Publication
• BIB
Let $Γ$ denote the Hamming graph $H(D,r)$ with $r \geq 3$. Consider the distance matrices $\{A_i\}_{i=0}^{D}$ of $Γ$. Fix a vertex $x$ of $Γ$, and consider the dual distance matrices $\{A_i^{*}\}_{i=0}^{D}$ of $Γ$ with respect to $x$. We investigate the group commutator $A_{D}^{-1}A_{D}^{*-1}A_{D}A_{D}^{*}$. We show that this matrix is diagonalizable. We compute its eigenvalues and their eigenspaces. Let $T$ denote the subconstituent algebra of $Γ$ with respect to $x$. We describe the action of $A_{D}^{-1}A_{D}^{*-1}A_{D}A_{D}^{*}$ on each irreducible $T$-module.
Algorithmic aspects of $M$-Lipschitz mappings of graphs
$M$-Lipschitz mappings of graphs (or equivalently graph-indexed random walks) are a generalization of standard random walk on $\mathbb{Z}$. For $M \in \N$, an \emph{$M$-Lipschitz mapping} of a connected rooted graph $G = (V,E)$ is a mapping $f: V \to \Z$ such that root is mapped to zero and for every edge $(u,v) \in E$ we have $|f(u) - f(v)| \le M$.
We study two natural problems regarding graph-indexed random walks. - Computing the maximum range of a graph-indexed random walk for a given graph. - Deciding if we can extend a partial GI random walk into a full GI random walk for a given graph.
We show that both these problems are polynomial-time solvable and we show efficient algorithms for them. To our best knowledge, this is the first algorithmic treatment of Lipschitz mappings of graphs. Furthermore, our problem of extending partial mappings is connected to the problem of \emph{list homomorphism} and yields a better run-time complexity for a specific family of its instances.
Graph-indexed random walks on special classes of graphs
We investigate the paramater of the average range of $M$-Lipschitz mapping of a given graph. We focus on well-known classes such as paths, complete graphs, complete bipartite graphs and cycles and show closed formulas for computing this parameter and also we conclude asymptotics of this parameter on these aforementioned classes.
An operator that relates to semi-meander polynomials via a two-sided q-Wick formula
Published in Indiana University Mathematics Journal 69 (2020), 2089-2127
• View Publication
• BIB
We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semi-meander polynomials which are used in the enumeration of semi-meandric systems (a family of diagrams related to the classical stamp-folding problem). We show that for a fixed natural number $d$, the sequence $( Q_n (d) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_d$ on the real line. More generally, we consider a two-variable generalization $Q_n (t,u)$ of $Q_n(t)$, which is related to a natural concept of "self-intersecting meandric system"; the second variable of $Q_n (t,u)$ keeps track of the crossings of such a system (and one has, in particular, that $Q_n (t,0)$ is the original semi-meander polynomial $Q_n (t)$). We prove that for a fixed natural number $d$ and a fixed real number $q$ with $|q| < 1$, the sequence $( Q_n (d,q) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_{d:q}$ on the real line. The measure $ν_{d;q}$ is found as scalar spectral measure for an operator $T_{d;q}$ constructed by using left and right creation/annihilation operators on a $q$-deformation of the full Fock space introduced by Bozejko and Speicher. The relevant calculations of moments for $T_{d;q}$ are made by using a two-sided version of a (previously studied in the one-sided case) $q$-Wick formula, which involves the number of crossings of a pair-partition.
A Missing Proof of The Gibbard-Satterthwaite Theorem
Published in Hitotsubashi Journal of Economics (2018), 59(1): 1-8
• Search Publication
A short and direct proof of the Gibbard-Satterthwaite theorem à la Amartya Sen's proof of Arrow's impossibility theorem is given.
An Elementary Dyadic Riemann Hypothesis
The connection zeta function of a finite abstract simplicial complex G is defined as zeta_L(s)=sum_x 1/lambda_x^s, where lambda_x are the eigenvalues of the connection Laplacian L defined by L(x,y)=1 if x and y intersect and 0 else. (I) As a consequence of the spectral formula chi(G)=sum_x (-1)^dim(x) = p(G)-n(G), where p(G) is the number of positive eigenvalues and n(G) is the number of negative eigenvalues of L, both the Euler characteristic chi(G)=zeta(0)-2 i zeta'(0)/pi as well as determinant det(L)=e^zeta'(0)/pi can be written in terms of zeta. (II) As a consequence of the generalized Cauchy-Binet formula for the coefficients of the characteristic polynomials of a product of matrices we show that for every one-dimensional simplicial complex G, the functional equation zeta(s)=zeta(-s) holds, where zeta(s) is the Zeta function of the positive definite squared connection operator L^2 of G. Equivalently, the spectrum sigma of the integer matrix L^2 for a 1-dimensional complex always satisfies the symmetry sigma = 1/sigma and the characteristic polynomial of L^2 is palindromic. The functional equation extends to products of one-dimensional complexes. (III) Explicit expressions for the spectrum of circular connection Laplacian lead to an explicit entire zeta function in the Barycentric limit. The situation is simpler than in the Hodge Laplacian H=D^2 case where no functional equation was available. In the connection Laplacian case, the limiting zeta function is a generalized hypergeometric function which for an integer s is given by an elliptic integral over the real elliptic curve w^2=(1+z)(1-z)(z^2-4z-1), which has the analytic involutive symmetry (z,w) to (1/z,w/z^2).
Generalized Lambert Series Identities and Applications in Rank Differences
In this article, we prove two identities of generalized Lambert series. By introducing what we call $\mathcal{S}$-series, we establish relationships between multiple generalized Lambert series and multiple infinite products. Compared with Chan's work, these new identities are useful in generating various formulas for generalized Lambert series with the same poles. Using these formulas, we study the 3-dissection properties of ranks for overpartitions modulo 6. In this case, $-1$ appears as a unit root, so that double poles occur. We also relate these ranks to the third order mock theta functions $ω(q)$ and $ρ(q)$
Partial geodesics on symmetric groups endowed with breakpoint distance
The notion of partial geodesic was introduced by Jamshidpey et al. in "Sets of medians in the non-geodesic pseudometric space of unsigned genomes with breakpoints", 2014. In this paper, we study the density of points on non-trivial partial geodesics between two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from the symmetric group $S_n$, where $S_n$ is endowed with the breakpoint distance. For a permutation $π:= π_1 \ ... \ π_n$, any unordered pair $\{π_i , π_{i+1}\}$, for $i=1, ..., n-1$, is called an adjacency of $π$. The set of all adjacencies of $π$ is denoted by $\mathcal{A}_π$. Denote by $id^{(n)}$ the identity permutation, and let $I_n$ be an arbitrary subset of $\mathcal A_{id^{(n)}}$. We classify the set of all adjacencies of a permutation $π\in S_n$ into four types, with respect to $I_n$. Then for a permutation $ξ^{(n)}$ chosen uniformly at random from $S_n$, we derive a convergence theorem for the normalized number (after dividing by $n$) of adjacencies of each type in $ξ^{(n)}$ with respect to $I_n$ (for some random or deterministic choices of $I_n$), as $n\rightarrow \infty$. We also see an application of this convergence theorem to find the appropriate choices of $I_n$. A geodesic point of $u$ and $v$ in a pseudometric space $(S,ρ)$ is a point $w$ of the space that $ρ(u,w)+ρ(w,v)=ρ(u,v)$. We find an upper bound for the number of permutations $x\in S_n$ for which there exists at least one non-trivial geodesic point between $id^{(n)}$ and $x$, far from both. This partially verifies the conjecture of Haghighi and Sankoff stated in "Medians seek the corners, and other conjectures", 2012, namely we prove that, with high probability, there is no breakpoint median of two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from $S_n$, far from both of them.
Efficient arithmetic regularity and removal lemmas for induced bipartite patterns
Published in Discrete Analysis 2019:3, 14 pp
• View Publication
• BIB
Let $G$ be an abelian group of bounded exponent and $A \subseteq G$. We show that if the collection of translates of $A$ has VC dimension at most $d$, then for every $ε>0$ there is a subgroup $H$ of $G$ of index at most $ε^{-d-o(1)}$ such that one can add or delete at most $ε|G|$ elements to/from $A$ to make it a union of $H$-cosets.
We also establish a removal lemma with polynomial bounds, with applications to property testing, for induced bipartite patterns in a finite abelian group with bounded exponent.