Showing 20 papers (Total: 82505 papers, 47699 authors in database)
New complete 2-arcs in the uniform projective Hjelmslev planes over chain rings of order 25
Published in In Proceedings of the Sixth International Workshop on Optimal Codes and Related Topics 2009, pages 106-113, 2009
• Search Publication
In this paper a 2-arc of size 21 in the projective Hjelmslev plane PHG(2,\Z_25) and a 2-arc of size 22 in PHG(2,\F_5[X]/(X^2)) are given. Both arcs are bigger than the 2-arcs previously known in the respective plane. Furthermore, we will give some information on the geometrical structure of the arcs.
New upper bounds on binary linear codes and a $\mathbb Z_4$-code with a better-than-linear Gray image
Published in IEEE Transactions on Information Theory 62[12] (2016), 6768-6771
• View Publication
• BIB
Using integer linear programming and table-lookups we prove that there is no binary linear $[1988, 12, 992]$ code. As a by-product, the non-existence of binary linear codes with the parameters $[324, 10, 160]$, $[356, 10, 176]$, $[772,11,384]$, and $[836,11,416]$ is shown.
Our work is motivated by the recent construction of the extended dualized Kerdock code $\hat{\mathcal{K}}^*_{6}$, which is a $\mathbb{Z}_4$-linear code having a non-linear binary Gray image with the parameters $(1988,2^{12},992)$. By our result, the code $\hat{\mathcal{K}}^*_{6}$ can be added to the small list of $\mathbb{Z}_4$-codes for which it is known that the Gray image is better than any binary linear code.
Locating-total dominating sets in twin-free graphs: a conjecture
Published in The Electronic Journal of Combinatorics 23(3):P3.9, 2016
• View Publication
• BIB
A total dominating set of a graph $G$ is a set $D$ of vertices of $G$ such that every vertex of $G$ has a neighbor in $D$. A locating-total dominating set of $G$ is a total dominating set $D$ of $G$ with the additional property that every two distinct vertices outside $D$ have distinct neighbors in $D$; that is, for distinct vertices $u$ and $v$ outside $D$, $N(u) \cap D \ne N(v) \cap D$ where $N(u)$ denotes the open neighborhood of $u$. A graph is twin-free if every two distinct vertices have distinct open and closed neighborhoods. The location-total domination number of $G$, denoted $LT(G)$, is the minimum cardinality of a locating-total dominating set in $G$. It is well-known that every connected graph of order $n \geq 3$ has a total dominating set of size at most $\frac{2}{3}n$. We conjecture that if $G$ is a twin-free graph of order $n$ with no isolated vertex, then $LT(G) \leq \frac{2}{3}n$. We prove the conjecture for graphs without $4$-cycles as a subgraph. We also prove that if $G$ is a twin-free graph of order $n$, then $LT(G) \le \frac{3}{4}n$.
Hopf Algebras and Topological Recursion
Published
• View Publication
• BIB
We consider a model for topological recursion based on the Hopf Algebra of planar binary trees of Loday and Ronco. We show that extending this Hopf Algebra by identifying pairs of nearest neighbor leaves and producing in this way graphs with loops we obtain the full recursion formula of Eynard and Orantin.
Remarks on pointed digital homotopy
We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results.
We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers.
We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.
Self-Adjusting Binary Search Trees: What Makes Them Tick?
Published
• View Publication
• BIB
Splay trees (Sleator and Tarjan) satisfy the so-called access lemma. Many of the nice properties of splay trees follow from it. What makes self-adjusting binary search trees (BSTs) satisfy the access lemma? After each access, self-adjusting BSTs replace the search path by a tree on the same set of nodes (the after-tree). We identify two simple combinatorial properties of the search path and the after-tree that imply the access lemma. Our main result (i) implies the access lemma for all minimally self-adjusting BST algorithms for which it was known to hold: splay trees and their generalization to the class of local algorithms (Subramanian, Georgakopoulos and Mc-Clurkin), as well as Greedy BST, introduced by Demaine et al. and shown to satisfy the access lemma by Fox, (ii) implies that BST algorithms based on "strict" depth-halving satisfy the access lemma, addressing an open question that was raised several times since 1985, and (iii) yields an extremely short proof for the O(log n log log n) amortized access cost for the path-balance heuristic (proposed by Sleator), matching the best known bound (Balasubramanian and Raman) to a lower-order factor.
One of our combinatorial properties is locality. We show that any BST-algorithm that satisfies the access lemma via the sum-of-log (SOL) potential is necessarily local. The other property states that the sum of the number of leaves of the after-tree plus the number of side alternations in the search path must be at least a constant fraction of the length of the search path. We show that a weak form of this property is necessary for sequential access to be linear.
Sigma clique covering of graphs
The sigma clique cover number (resp. sigma clique partition number) of graph G, denoted by scc(G) (resp. scp(G)), is defined as the smallest integer k for which there exists a collection of cliques of G, covering (resp. partitioning) all edges of G such that the sum of sizes of the cliques is at most k. In this paper, among some results we provide some tight bounds for scc and scp.
The Quicksort algorithm and related topics
Sorting algorithms have attracted a great deal of attention and study, as they have numerous applications to Mathematics, Computer Science and related fields. In this thesis, we first deal with the mathematical analysis of the Quicksort algorithm and its variants. Specifically, we study the time complexity of the algorithm and we provide a complete demonstration of the variance of the number of comparisons required, a known result but one whose detailed proof is not easy to read out of the literature. We also examine variants of Quicksort, where multiple pivots are chosen for the partitioning of the array.
The rest of this work is dedicated to the analysis of finding the true order by further pairwise comparisons when a partial order compatible with the true order is given in advance. We discuss a number of cases where the partially ordered sets arise at random. To this end, we employ results from Graph and Information Theory. Finally, we obtain an alternative bound on the number of linear extensions when the partially ordered set arises from a random graph, and discuss the possible application of Shellsort in merging chains.
Binary linear codes via 4D discrete Ihara-Selberg function
Published
• View Publication
• BIB
We express the weight enumerator of each binary linear code, in particular the Ising partition function of an arbitrary finite graph, as a formal infinite product. An analogous result was obtained by Feynman and Sherman in the beginning of the 1960's for the special case of the Ising partition function of planar graphs. A product expression is an important step towards understanding the logarithm of the Ising partition function, for general graphs and in particular for cubic 3D lattices.
Irreducible decomposition of binomial ideals
Published in Compositio Math. 152 (2016) 1319-1332
• View Publication
• BIB
Building on coprincipal mesoprimary decomposition [Kahle and Miller, 2014], we combinatorially construct an irreducible decomposition of any given binomial ideal. In a parallel manner, for congruences in commutative monoids we construct decompositions that are direct combinatorial analogues of binomial irreducible decompositions, and for binomial ideals we construct decompositions into ideals that are as irreducible as possible while remaining binomial. We provide an example of a binomial ideal that is not an intersection of binomial irreducible ideals, thus answering a question of Eisenbud and Sturmfels [1996].
On Schur 2-groups
Published in Zapiski Nauchnykh Seminarov POMI, 435 (2015), 113-162 (MR3493620)
• Search Publication
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is the transitivity module of a point stabilizer in a subgroup of $\sym(G)$ that contains all right translations. We complete a classification of abelian $2$-groups by proving that the group $\mZ_2\times\mZ_{2^n}$ is Schur. We also prove that any non-abelian Schur $2$-group of order larger than $32$ is dihedral (the Schur $2$-groups of smaller orders are known). Finally, in the dihedral case, we study Schur rings of rank at most $5$, and show that the unique obstacle here is a hypothetical S-ring of rank $5$ associated with a divisible difference set.
Structure Constants for Immaculate Functions
Published
• View Publication
• BIB
The immaculate functions, $\mathfrak{S}_α$, were introduced as a Schur-like basis for $\operatorname{\mathsf{Nsym}}$. We investigate facts about their structure constants. These are analogues of Littlewood-Richardson coefficents. We will give a new proof of the left Pieri rule for the $\mathfrak{S}_α$, a translation invariance property for the structure coefficients of the $\mathfrak{S}_α$, and a counterexample to an $\mathfrak{S}_α$-analogue of the saturation conjecture.
Cyclically five-connected cubic graphs
Published in J. Combin. Theory Ser. B 125 (2017), 132-167
• View Publication
• BIB
A cubic graph $G$ is cyclically 5-connected if $G$ is simple, 3-connected, has at least 10 vertices and for every set $F$ of edges of size at most four, at most one component of $G\backslash F$ contains circuits. We prove that if $G$ and $H$ are cyclically 5-connected cubic graphs and $H$ topologically contains $G$, then either $G$ and $H$ are isomorphic, or (modulo well-described exceptions) there exists a cyclically 5-connected cubic graph $G'$ such that $H$ topologically contains $G'$ and $G'$ is obtained from $G$ in one of the following two ways. Either $G'$ is obtained from $G$ by subdividing two distinct edges of $G$ and joining the two new vertices by an edge, or $G'$ is obtained from $G$ by subdividing each edge of a circuit of length five and joining the new vertices by a matching to a new circuit of length five disjoint from $G$ in such a way that the cyclic orders of the two circuits agree. We prove a companion result, where by slightly increasing the connectivity of $H$ we are able to eliminate the second construction. We also prove versions of both of these results when $G$ is almost cyclically 5-connected in the sense that it satisfies the definition except for 4-edge cuts such that one side is a circuit of length four. In this case $G'$ is required to be almost cyclically 5-connected and to have fewer circuits of length four than $G$. In particular, if $G$ has at most one circuit of length four, then $G'$ is required to be cyclically 5-connected. However, in this more general setting the operations describing the possible graphs $G'$ are more complicated.
Cluster and virial expansions for the multi-species Tonks gas
Published
• View Publication
• BIB
We consider a mixture of non-overlapping rods of different lengths $\ell_k$ moving in $\mathbb{R}$ or $\mathbb{Z}$. Our main result are necessary and sufficient convergence criteria for the expansion of the pressure in terms of the activities $z_k$ and the densities $ρ_k$. This provides an explicit example against which to test known cluster expansion criteria, and illustrates that for non-negative interactions, the virial expansion can converge in a domain much larger than the activity expansion. In addition, we give explicit formulas that generalize the well-known relation between non-overlapping rods and labelled rooted trees. We also prove that for certain choices of the activities, the system can undergo a condensation transition akin to that of the zero-range process. The key tool is a fixed point equation for the pressure.
Log-concavity of the Fennessey-Larcombe-French Sequence
Published
• View Publication
• BIB
We prove the log-concavity of the Fennessey-Larcombe-French sequence based on its three-term recurrence relation, which was recently conjectured by Zhao. The key ingredient of our approach is a sufficient condition for log-concavity of a sequence subject to certain three-term recurrence.
An obstruction to embedding $2$-dimensional complexes into the $3$-sphere
Published
• View Publication
• BIB
We consider an embedding of a $2$-dimensional CW complex into the $3$-sphere, and construct it's dual graph. Then we obtain a homogeneous system of linear equations from the $2$-dimensional CW complex in the first homology group of the complement of the dual graph. By checking that the homogeneous system of linear equations does not have an integral solution, we show that some $2$-dimensional CW complexes cannot be embedded into the 3-sphere.
Algebraic curves, rich points, and doubly-ruled surfaces
Published in Amer. J. Math. 140(5): 1187-1229, 2018
• View Publication
• BIB
We study the structure of collections of algebraic curves in three dimensions that have many curve-curve incidences. In particular, let $k$ be a field and let $\mathcal{L}$ be a collection of $n$ space curves in $k^3$, with $n<\!\!<(\operatorname{char}(k))^2$ or $\operatorname{char}(k)=0$. Then either A) there are at most $O(n^{3/2})$ points in $k^3$ hit by at least two curves, or B) at least $Ω(n^{1/2})$ curves from $\mathcal{L}$ must lie on a bounded-degree surface, and many of the curves must form two "rulings" of this surface.
We also develop several new tools including a generalization of the classical flecnode polynomial of Salmon and new algebraic techniques for dealing with this generalized flecnode polynomial.
Higher Weights of Affine Grassmann Codes and Their Duals
Published in Algorithmic Arithmetic, Geometry, and Coding Theory (Luminy, France, June 2013), S. Ballet, M. Perret, and A. Zaytsev Eds., Contemporary Mathematics, Vol. 637, American Mathematical Society, Providence, RI, 2015, pp. 79-91
• View Publication
• BIB
We consider the question of determining the higher weights or the generalized Hamming weights of affine Grassmann codes and their duals. Several initial as well as terminal higher weights of affine Grassmann codes of an arbitrary level are determined explicitly. In the case of duals of these codes, we give a formula for many initial as well as terminal higher weights. As a special case, we obtain an alternative simpler proof of the formula of Beelen et al for the minimum distance of the dual of an affine Grasmann code.
Linear Codes associated to Determinantal Varieties
Published in Discrete Mathematics, Volume 338, Issue 8, 6 August 2015, Pages 1493-1500
• View Publication
• BIB
We consider a class of linear codes associated to projective algebraic varieties defined by the vanishing of minors of a fixed size of a generic matrix. It is seen that the resulting code has only a small number of distinct weights. The case of varieties defined by the vanishing of 2 x 2 minors is considered in some detail. Here we obtain the complete weight distribution. Moreover, several generalized Hamming weights are determined explicitly and it is shown that the first few of them coincide with the distinct nonzero weights. One of the tools used is to determine the maximum possible number of matrices of rank 1 in a linear space of matrices of a given dimension over a finite field. In particular, we determine the structure and the maximum possible dimension of linear spaces of matrices in which every nonzero matrix has rank 1.
Bounding the Bethe and the Degree-$M$ Bethe Permanents
Published
• View Publication
• BIB
It was recently conjectured that the permanent of a ${P}$-lifting $θ^{\uparrow{P}}$ of a matrix $θ$ of degree $M$ is less than or equal to the $M$th power of the permanent perm$(θ)$, i.e., perm$(θ^{\uparrow{P}})\leq(\text{perm}(θ))^M$ and, consequently, that the degree-$M$ Bethe permanent $\text{perm}_{M,\mathrm{B}} (θ)$ of a matrix $θ$ is less than or equal to the permanent perm$(θ)$ of $θ$, i.e., perm$_{M, \mathrm{B}} (θ)\leq \text{perm}(θ)$. In this paper, we prove these related conjectures and show in addition a few properties of the permanent of block matrices that are lifts of a matrix. As a corollary, we obtain an alternative proof of the inequality perm$_{\mathrm{B}} (θ)\leq \text{perm}(θ)$ on the Bethe permanent of the base matrix $θ$ that uses only the combinatorial definition of the Bethe permanent.