Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Optimal Binary Constant Weight Codes and Affine Linear Groups over Finite Fields
Published
• View Publication
• BIB
Let $\text{AGL}(1,\Bbb F_q)$ be the affine linear group of dimension $1$ over a finite field $\Bbb F_q$. $\text{AGL}(1,\Bbb F_q)$ acts sharply 2-transitively on $\Bbb F_q$. Given $S<\text{AGL}(1,\Bbb F_q)$ and an integer $k$ with $1\le k\le q$, does there exist a subset $B\subset\Bbb F_q$ with $|B|=k$ such that $S=\text{AGL}(1,\Bbb F_q)_B$? ($\text{AGL}(1,\Bbb F_q)_B=\{σ\in\text{AGL}(1,\Bbb F_q):σ(B)=B\}$ is the stabilizer of $B$ in $\text{AGL}(1,\Bbb F_q)$.) We derive a sum that holds the answer to this question. This result determines all possible parameters of binary constant weight codes that are constructed from the action of $\text{AGL}(1,\Bbb F_q)$ on $\Bbb F_q$ to meet the Johnson bound. Consequently, the values of the function $A_2(n,d,w)$ are determined for many parameters, where $A_2(n,d,w)$ is the maximum number of codewords in a binary constant weight code of length $n$, weight $w$ and minimum distance $\ge d$.
The limit point of the pentagram map
Published
• View Publication
• BIB
The pentagram map is a discrete dynamical system defined on the space of polygons in the plane. In the first paper on the subject, R. Schwartz proved that the pentagram map produces from each convex polygon a sequence of successively smaller polygons that converges exponentially to a point. We investigate the limit point itself, giving an explicit description of its Cartesian coordinates as roots of certain degree three polynomials.
Pairwise Well-Formed Modes and Transformations
Published
• View Publication
• BIB
One of the most significant attitudinal shifts in the history of music occurred in the Renaissance, when an emerging triadic consciousness moved musicians towards a new scalar formation that placed major thirds on a par with perfect fifths. In this paper we revisit the confrontation between the two idealized scalar and modal conceptions, that of the ancient and medieval world and that of the early modern world, associated especially with Zarlino. We do this at an abstract level, in the language of algebraic combinatorics on words. In scale theory the juxtaposition is between well-formed and pairwise well-formed scales and modes, expressed in terms of Christoffel words or standard words and their conjugates, and the special Sturmian morphisms that generate them. Pairwise well-formed scales are encoded by words over a three-letter alphabet, and in our generalization we introduce special positive automorphisms of $F3$, the free group over three letters.
A continuous analogue of lattice path enumeration
Published
• View Publication
• BIB
Following the work of Cano and Diaz, we consider a continuous analog of lattice path enumeration. This allows us to define a continuous version of any discrete object that counts certain types of lattice paths. We define continuous versions of binomials and multinomials, and describe some identities and partial differential equations they satisfy. Finally, we illustrate a general process to recover discrete combinatorial quantities from their continuous analogs.
On a Generalization of the Bipartite Graph $D(k,q)$
In this paper, we deal with a generalization $Γ(Ω,q)$ of the bipartite graphs $D(k,q)$ proposed by Lazebnik and Ustimenko, where $Ω$ is a set of binary sequences that are adopted to index the entries of the vertices. A few sufficient conditions on $Ω$ for $Γ(Ω,q)$ to admit a variety of automorphisms are proposed. A sufficient condition for $Γ(Ω,q)$ to be edge-transitive is proposed further. A lower bound of the number of the connected components of $Γ(Ω,q)$ is given by showing some invariants for the components. For $Γ(Ω,q)$, paths and cycles which contain vertices of some specified form are investigated in details. Some lower bounds for the girth of $Γ(Ω,q)$ are then shown. In particular, one can give very simple conditions on the index set $Ω$ so as to assure the generalized graphs $Γ(Ω,q)$ to be a family of graphs with large girth.
Graphs with conflict-free connection number two
Published
• View Publication
• BIB
An edge-colored graph $G$ is \emph{conflict-free connected} if any two of its vertices are connected by a path, which contains a color used on exactly one of its edges. The \emph{conflict-free connection number} of a connected graph $G$, denoted by $cfc(G)$, is the smallest number of colors needed in order to make $G$ conflict-free connected. For a graph $G,$ let $C(G)$ be the subgraph of $G$ induced by its set of cut-edges. In this paper, we first show that, if $G$ is a connected non-complete graph $G$ of order $n\geq 9$ with $C(G)$ being a linear forest and with the minimum degree %$δ(G)\geq 2$, then $cfc(G)=2$ for $4 \leq n\leq 8 $; if $δ(G)\geq \max\{3, \frac{n-4}{5}\}$, then $cfc(G)=2$. The bound on the minimum degree is best possible. Next, we prove that, if $G$ is a connected non-complete graph of order $n\geq 33$ with $C(G)$ being a linear forest and with $d(x)+d(y)\geq \frac{2n-9}{5}$ for each pair of two nonadjacent vertices $x, y$ of $V(G)$, then $cfc(G)=2$. Both bounds, on the order $n$ and the degree sum, are tight. Moreover, we prove several results concerning relations between degree conditions on $G$ and the number of cut edges in $G$.
The Matroid Structure of Representative Triple Sets and Triple-Closure Computation
Published
• View Publication
• BIB
The closure $\textrm{cl}(R)$ of a consistent set $R$ of triples (rooted binary trees on three leaves) provides essential information about tree-like relations that are shown by any supertree that displays all triples in $R$. In this contribution, we are concerned with representative triple sets, that is, subsets $R'$ of $R$ with $\textrm{cl}(R') = \textrm{cl}(R)$. In this case, $R'$ still contains all information on the tree structure implied by $R$, although $R'$ might be significantly smaller. We show that representative triple sets that are minimal w.r.t.\ inclusion form the basis of a matroid. This in turn implies that minimal representative triple sets also have minimum cardinality. In particular, the matroid structure can be used to show that minimum representative triple sets can be computed in polynomial time with a simple greedy approach. For a given triple set $R$ that "identifies" a tree, we provide an exact value for the cardinality of its minimum representative triple sets. In addition, we utilize the latter results to provide a novel and efficient method to compute the closure $\textrm{cl}(R)$ of a consistent triple set $R$ that improves the time complexity $\mathcal{O}(|R||L_R|^4)$ of the currently fastest known method proposed by Bryant and Steel (1995). In particular, if a minimum representative triple set for $R$ is given, it can be shown that the time complexity to compute $\textrm{cl}(R)$ can be improved by a factor up to $|R||L_R|$. As it turns out, collections of quartets (unrooted binary trees on four leaves) do not provide a matroid structure, in general.
A Common Generalization to Theorems on Set Systems with $\mathcal{L}$-intersections
Published
• View Publication
• BIB
In this paper, we provide a common generalization to the well-known Erdős-Ko-Rado Theorem, Frankl-Wilson Theorem, Alon-Babai-Suzuki Theorem, and Snevily Theorem on set systems with $\mathcal{L}$-intersections. As a consequence, we derive a result which strengthens substantially the well-known theorem on set systems with $k$-wise $\mathcal{L}$-intersections by F$\ddot{u}$redi and Sudakov [J. Combin. Theory, Ser. A (2004) 105: 143-159]. We will also derive similar results on $\mathcal{L}$-intersecting families of subspaces of an $n$-dimensional vector space over a finite field $\mathbb{F}_{q}$, where $q$ is a prime power.
On pre-Lie Magnus expansion
Published
• View Publication
• BIB
In this paper, we study the classical and pre-Lie Magnus expansions, discussing how we can find a recursion for the pre-Lie case which already incorporates the pre-Lie identity. We give a combinatorial vision of a numerical method proposed by S. Blanes, F. Casas, and J. Ros, on a writing of the classical Magnus expansion in a free Lie algebra, using a pre-Lie structure.
A new and improved algorithm for online bin packing
Published
• View Publication
• BIB
We revisit the classic online bin packing problem. In this problem, items of positive sizes no larger than 1 are presented one by one to be packed into subsets called "bins" of total sizes no larger than 1, such that every item is assigned to a bin before the next item is presented. We use online partitioning of items into classes based on sizes, as in previous work, but we also apply a new method where items of one class can be packed into more than two types of bins, where a bin type is defined according to the number of such items grouped together. Additionally, we allow the smallest class of items to be packed in multiple kinds of bins, and not only into their own bins. We combine this with the approach of packing of sufficiently big items according to their exact sizes. Finally, we simplify the analysis of such algorithms, allowing the analysis to be based on the most standard weight functions. This simplified analysis allows us to study the algorithm which we defined based on all these ideas. This leads us to the design and analysis of the first algorithm of asymptotic competitive ratio strictly below 1.58, specifically, we break this barrier and provide an algorithm AH (Advanced Harmonic) whose asymptotic competitive ratio does not exceed 1.5783.
Some intriguing upper bounds for separating hash families
Published
• View Publication
• BIB
An $N\times n$ matrix on $q$ symbols is called $\{w_1,\ldots,w_t\}$-separating if for arbitrary $t$ pairwise disjoint column sets $C_1,\ldots,C_t$ with $|C_i|=w_i$ for $1\le i\le t$, there exists a row $f$ such that $f(C_1),\ldots,f(C_t)$ are also pairwise disjoint, where $f(C_i)$ denotes the collection of components of $C_i$ restricted to row $f$.
Given integers $N,q$ and $w_1,\ldots,w_t$, denote by $C(N,q,\{w_1,\ldots,w_t\})$ the maximal $n$ such that a corresponding matrix does exist.
The determination of $C(N,q,\{w_1,\ldots,w_t\})$ has received remarkable attentions during the recent years.
The main purpose of this paper is to introduce two novel methodologies to attack the upper bound of $C(N,q,\{w_1,\ldots,w_t\})$.
The first one is a combination of the famous graph removal lemma in extremal graph theory and a Johnson-type recursive inequality in coding theory, and the second one is the probabilistic method.
As a consequence, we obtain several intriguing upper bounds for some parameters of $C(N,q,\{w_1,\ldots,w_t\})$, which significantly improve the previously known results.
List-Distinguishing Cartesian Products of Cliques
Published
• View Publication
• BIB
The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a color from $L(v)$. The list distinguishing number of $G$, denoted $D_{\ell}(G)$ is the minimum $k$ such that every list assignment $L$ that assigns a list of size at least $k$ to every vertex permits a distinguishing $L$-coloring. In this paper, we prove that when and $n$ is large enough, the distinguishing and list-distinguishing numbers of $K_n\Box K_m$ agree for almost all $m>n$, and otherwise differ by at most one. As a part of our proof, we give (to our knowledge) the first application of the Combinatorial Nullstellensatz to the graph distinguishing problem and also prove an inequality for the binomial distribution that may be of independent interest.
Maximizing the mean subtree order
Published
• View Publication
• BIB
This article focuses on properties and structures of trees with maximum mean subtree order in a given family; such trees are called optimal in the family. Our main goal is to describe the structure of optimal trees in $\mathcal{T}_n$ and $\mathcal{C}_n$, the families of all trees and caterpillars, respectively, of order $n$. We begin by establishing a powerful tool called the Gluing Lemma, which is used to prove several of our main results. In particular, we show that if $T$ is an optimal tree in $\mathcal{T}_n$ or $\mathcal{C}_n$ for $n\geq 4$, then every leaf of $T$ is adjacent to a vertex of degree at least $3$. We also use the Gluing Lemma to answer an open question of Jamison, and to provide a conceptually simple proof of Jamison's result that the path $P_n$ has minimum mean subtree order among all trees of order $n$. We prove that if $T$ is optimal in $\mathcal{T}_n$, then the number of leaves in $T$ is $\mathrm{O}(\log_2 n)$, and that if $T$ is optimal in $\mathcal{C}_n$, then the number of leaves in $T$ is $\mathrmΘ(\log_2 n)$. Along the way, we describe the asymptotic structure of optimal trees in several narrower families of trees.
New Cameron-Liebler line classes with parameter $\frac{q^2+1}{2}$
Published
• View Publication
• BIB
New families of Cameron-Liebler line classes of ${\rm PG}(3,q)$, $q\ge 7$ odd, with parameter $(q^2+1)/2$ are constructed.
A tale of stars and cliques
Published in Journal of Combinatorial Theory, Series A 160 (2018), 111-135
• View Publication
• BIB
We show that for an infinitely many natural numbers $k$ there are $k$-uniform hypergraphs which admit a `rescaling phenomenon' as described in [9]. More precisely, let $\mathcal{A}(k,I, n)$ denote the class of $k$-graphs on $n$ vertices in which the sizes of all pairwise intersections of edges belong to a set $I$. We show that if $k=rt^2$ for some $r\ge 1$ and $t\ge 2$, and~$I$ is chosen in some special way, the densest graphs in $\mathcal{A}(rt^2,I, n)$ are either dominated by stars of large degree, or basically, they are `$t$-thick' $rt^2$-graphs in which vertices are partitioned into groups of $t$ vertices each and every edge is a union of $tr$ such groups. It is easy to see that, unlike in stars, the maximum degree of $t$-thick graphs is of a lower order than the number of its edges. Thus, if we study the graphs from $\mathcal{A}(rt^2,I, n)$ with a prescribed number of edges $m$ which minimize the maximum degree, around the value of $m$ which is the number of edges of the largest $t$-thick graph, a rapid, discontinuous phase transition can be observed. Interestingly, these two types of $k$-graphs determine the structure of all hypergraphs in $\mathcal{A}(rt^2,I, n)$. Namely, we show that each such hypergraph can be decomposed into a $t$-thick graph $H_T$, a special collection $H_S$ of stars, and a sparse `left-over' graph $H_R$.
Lattice paths with catastrophes
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Analysis of Algorithms (September 29, 2017) dmtcs:3776
• View Publication
• BIB
In queuing theory, it is usual to have some models with a "reset" of the queue. In terms of lattice paths, it is like having the possibility of jumping from any altitude to zero. These objects have the interesting feature that they do not have the same intuitive probabilistic behaviour as classical Dyck paths (the typical properties of which are strongly related to Brownian motion theory), and this article quantifies some relations between these two types of paths. We give a bijection with some other lattice paths and a link with a continued fraction expansion. Furthermore, we prove several formulae for related combinatorial structures conjectured in the On-Line Encyclopedia of Integer Sequences. Thanks to the kernel method and via analytic combinatorics, we provide the enumeration and limit laws of these "lattice paths with catastrophes" for any finite set of jumps. We end with an algorithm to generate such lattice paths uniformly at random.
Signed graphs and the freeness of the Weyl subarrangements of type $B_{\ell}$
Published
• View Publication
• BIB
A Weyl arrangement is the hyperplane arrangement defined by a root system. Arnold and Saito proved that every Weyl arrangement is free. The Weyl subarrangements of type $A_{\ell}$ are represented by simple graphs. Stanley gave a characterization of freeness for this type of arrangements in terms of thier graph. In addition, The Weyl subarrangements of type $B_{\ell}$ can be represented by signed graphs. A characterization of freeness for them is not known. However, characterizations of freeness for a few restricted classes are known. For instance, Edelman and Reiner characterized the freeness of the arrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $. In this paper, we give a characterization of the freeness and supersolvability of the Weyl subarrangements of type $B_{\ell}$ under certain assumption.
Higher-order congruence relations on affine moment graphs: The subgeneric case
Published in Journal of Algebra 537 (2019) pp. 1-25
• View Publication
• BIB
We study the structure algebra $\mathcal{Z}$ of the stable moment graph for the case of the affine root system $A_{1}$. The structure algebra $\mathcal{Z}$ is an algebra over a symmetric algebra and in particular, it is a module over a symmetric algebra. We study this module structure on $\mathcal{Z}$ and we construct a basis. By "setting $c$ equal to zero" in $\mathcal{Z}$, we obtain the module $\mathcal{Z}_{c=0}$. This module can be described in terms of the finite root system $A_{1}$ and we show that it is determined by a set of certain divisibility relations. These relations can be regarded as a generalization of ordinary moment graph relations that define sections of sheaves on moment graphs, and because of this we call them higher-order congruence relations.
Major index over descent for pattern-avoiding permutations
An open conjecture in pattern avoidance theory is that the distribution of the major index among 321-avoiding permutations is distributed unimodally. We construct a formula for this distribution, and in the case of 2 descents prove unimodality, with unimodality for 3 through 5 descents likely being little more complicated. The formula refines the $q$-analogue of the Frame-Robinson-Thrall hooklength formula for two-rowed partitions, and in the latter part of the paper we discuss another theorem of the same type, and further exploration toward this question. We also give observations on the analogous behaviors for other permutation patterns of length 3.
Mustafin varieties, moduli spaces and tropical geometry
Published
• View Publication
• BIB
Mustafin varieties are flat degenerations of projective spaces, induced by a choice of an $n-$tuple of lattices in a vector space over a non-archimedean field. They were introduced by Mustafin in the 70s in order to generalise Mumford's groundbreaking work on the unformisation of curves to higher dimension. These varieties have a rich combinatorial structure as can be seen in pioneering work of Cartwright, Häbich, Sturmfels and Werner. In this paper, we introduce a new approach to Mustafin varieties in terms of images of rational maps, which were studied by Li. Applying tropical intersection theory and tropical convex hull computations, we use this method to give a new combinatorial description of the irreducible components of the special fibers of Mustafin varieties. This enables connections to various topics. In particular, we see that any multiview variety appears as an irreducible component of the special fiber of some Mustafin variety. Furthermore, we use an interpretation of Mustafin varieties as a moduli functor introduced by Faltings to relate them to certain moduli functors, called linked Grassmannians. These objects are featured in limit linear series theory. The focal point of study regarding linked Grassmannians are so-called \textit{simple points}. As a direct consequence of the new combinatorial description of Mustafin varieties, we prove that the simple points of linked Grassmannians are dense in every fiber. Finally, we use the connection to linked Grassmannians, to relate the special fibers of Mustafin varieties to certain local models of unitary Shimura varieties.