Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Lines induced by bichromatic point sets
An important theorem of Beck says that any point set in the Euclidean plane is either ``nearly general position'' or ``nearly collinear'': there is a constant C>0 such that, given n points in the plane with at most r$ of them collinear, the number of lines induced by the points is at least Cr(n-r).
Recent work of Gutkin-Rams on billiards orbits requires the following elaboration of Beck's Theorem to bichromatic point sets: there is a constant C>0 such that, given n red points and n blue points in the plane with at most r of them collinear, the number of lines spanning at least one point of each color is at least Cr(2n-r).
Abelian Complexity of Infinite Words Associated with Quadratic Parry Numbers
Published in Theor. Comput. Sci. 412 (2011), 6252-6260
• View Publication
• BIB
We derive an explicit formula for the Abelian complexity of infinite words associated with quadratic Parry numbers.
On the Weight Distribution of Codes over Finite Rings
Published
• View Publication
• BIB
Let R > S be finite Frobenius rings for which there exists a trace map T from R onto S as left S modules. Let C:= {x -> T(ax + bf(x)) : a,b in R}. Then C is an S-linear subring-subcode of a left linear code over R. We consider functions f for which the homogeneous weight distribution of C can be computed. In particular, we give constructions of codes over integer modular rings and commutative local Frobenius that have small spectra.
A PSPACE-complete Graph Nim
Published
• View Publication
• BIB
We build off the game, NimG to create a version named Neighboring Nim. By reducing from Geography, we show that this game is PSPACE-hard. The games created by the reduction share strong similarities with Undirected (Vertex) Geography and regular Nim, both of which are in P. We show how to construct PSPACE-complete versions with nim heaps *1 and *2. This application of graphs can be used as a form of game sum with any games, not only Nim.
On the Equivalence of Quadratic APN Functions
Published
• View Publication
• BIB
Establishing the CCZ-equivalence of a pair of APN functions is generally quite difficult. In some cases, when seeking to show that a putative new infinite family of APN functions is CCZ inequivalent to an already known family, we rely on computer calculation for small values of n. In this paper we present a method to prove the inequivalence of quadratic APN functions with the Gold functions. Our main result is that a quadratic function is CCZ-equivalent to an APN Gold function if and only if it is EA-equivalent to that Gold function. As an application of this result, we prove that a trinomial family of APN functions that exist on finite fields of order 2^n where n = 2 mod 4 are CCZ inequivalent to the Gold functions. The proof relies on some knowledge of the automorphism group of a code associated with such a function.
Note on Ward-Horadam H(x) - binomials' recurrences and related interpretations, II
We deliver here second new $\textit{H(x)}-binomials'$ recurrence formula, were $H(x)-binomials' $ array is appointed by $Ward-Horadam$ sequence of functions which in predominantly considered cases where chosen to be polynomials . Secondly, we supply a review of selected related combinatorial interpretations of generalized binomial coefficients. We then propose also a kind of transfer of interpretation of $p,q-binomial $ coefficients onto $q-binomial$ coefficients interpretations thus bringing us back to $Gy{ö}rgy Pólya $ and Donald Ervin Knuth relevant investigation decades ago.
Stasheff polytope as a sublattice of permutohedron
An assosiahedron $\mathcal{K}^n$, known also as Stasheff polytope, is a multifaceted combinatorial object, which, in particular, can be realized as a convex hull of certain points in $\mathbf{R}^{n}$, forming $(n-1)$-dimensional polytope.
A permutahedron $\mathcal{P}^n$ is a polytope of dimension $(n-1)$ in $\mathbf{R}^{n}$ with vertices forming various permutations of $n$-element set. There exist well-known orderings of vertices of $\mathcal{P}^n$ and $\mathcal{K}^n$ that make these objects into lattices: the first known as permutation lattices, and the latter as Tamari lattices. We establish that the vertices of $\mathcal{K}^n$ can be naturally associated with particular vertices of $\mathcal{P}^n$ in such a way that the corresponding lattice operations are preserved. In lattices terms, Tamari lattices are sublattices of permutation lattices. More generally, this defines the application of associative law as a special form of permutation.
Representing finite convex geometries by relatively convex sets
Published in European Journal of Combinatorics (2014), pp. 68-78
• View Publication
• BIB
A closure system with the anti-exchange axiom is called a convex geometry. One geometry is called a sub-geometry of the other if its closed sets form a sublattice in the lattice of closed sets of the other. We prove that convex geometries of relatively convex sets in $n$-dimensional vector space and their finite sub-geometries satisfy the $n$-Carousel Rule, which is the strengthening of the $n$-Carath$\acute{e}$odory property. We also find another property, that is similar to the simplex partition property and does not follow from $2$-Carusel Rule, which holds in sub-geometries of $2$-dimensional geometries of relatively convex sets.
The existence of k-radius sequences
Published
• View Publication
• BIB
Let $n$ and $k$ be positive integers, and let $F$ be an alphabet of size $n$. A sequence over $F$ of length $m$ is a \emph{$k$-radius sequence} if any two distinct elements of $F$ occur within distance $k$ of each other somewhere in the sequence. These sequences were introduced by Jaromczyk and Lonc in 2004, in order to produce an efficient caching strategy when computing certain functions on large data sets such as medical images.
Let $f_k(n)$ be the length of the shortest $n$-ary $k$-radius sequence. The paper shows, using a probabilistic argument, that whenever $k$ is fixed and $n\rightarrow\infty$ \[ f_k(n)\sim \frac{1}{k}\binom{n}{2}. \]
The paper observes that the same argument generalises to the situation when we require the following stronger property for some integer $t$ such that $2\leq t\leq k+1$: any $t$ distinct elements of $F$ must simultaneously occur within a distance $k$ of each other somewhere in the sequence.
On the linear algebra of local complementation
Published
• View Publication
• BIB
We explore the connections between the linear algebra of symmetric matrices over GF(2) and the circuit theory of 4-regular graphs. In particular, we show that the equivalence relation on simple graphs generated by local complementation can also be generated by an operation defined using inverse matrices.
A uniform bijection between nonnesting and noncrossing partitions
Published
• View Publication
• BIB
In 2007, D.I. Panyushev defined a remarkable map on the set of nonnesting partitions (antichains in the root poset of a finite Weyl group). In this paper we identify Panyushev's map with the Kreweras complement on the set of noncrossing partitions, and hence construct the first uniform bijection between nonnesting and noncrossing partitions. Unfortunately, the proof that our construction is well-defined is case-by-case, using a computer in the exceptional types. Fortunately, the proof involves new and interesting combinatorics in the classical types. As consequences, we prove several conjectural properties of the Panyushev map, and we prove two cyclic sieving phenomena conjectured by D. Bessis and V. Reiner.
Bounding the Feedback Vertex Number of Digraphs in Terms of Vertex Degrees
Published in Discrete Applied Mathematics, 159(8):872-875, 2011
• View Publication
• BIB
The Turan bound is a famous result in graph theory, which relates the independence number of an undirected graph to its edge density. Also the Caro-Wei inequality, which gives a more refined bound in terms of the vertex degree sequence of a graph, might be regarded today as a classical result. We show how these statements can be generalized to directed graphs, thus yielding a bound on directed feedback vertex number in terms of vertex outdegrees and in terms of average outdegree, respectively.
Energy-Latency Tradeoff for In-Network Function Computation in Random Networks
Published
• View Publication
• BIB
The problem of designing policies for in-network function computation with minimum energy consumption subject to a latency constraint is considered. The scaling behavior of the energy consumption under the latency constraint is analyzed for random networks, where the nodes are uniformly placed in growing regions and the number of nodes goes to infinity. The special case of sum function computation and its delivery to a designated root node is considered first. A policy which achieves order-optimal average energy consumption in random networks subject to the given latency constraint is proposed. The scaling behavior of the optimal energy consumption depends on the path-loss exponent of wireless transmissions and the dimension of the Euclidean region where the nodes are placed. The policy is then extended to computation of a general class of functions which decompose according to maximal cliques of a proximity graph such as the $k$-nearest neighbor graph or the geometric random graph. The modified policy achieves order-optimal energy consumption albeit for a limited range of latency constraints.
A New Variation of Hat Guessing Games
Published
• View Publication
• BIB
Several variations of hat guessing games have been popularly discussed in recreational mathematics. In a typical hat guessing game, after initially coordinating a strategy, each of $n$ players is assigned a hat from a given color set. Simultaneously, each player tries to guess the color of his/her own hat by looking at colors of hats worn by other players. In this paper, we consider a new variation of this game, in which we require at least $k$ correct guesses and no wrong guess for the players to win the game, but they can choose to "pass".
A strategy is called {\em perfect} if it can achieve the simple upper bound $\frac{n}{n+k}$ of the winning probability. We present sufficient and necessary condition on the parameters $n$ and $k$ for the existence of perfect strategy in the hat guessing games. In fact for any fixed parameter $k$, the existence of perfect strategy can be determined for every sufficiently large $n$.
In our construction we introduce a new notion: $(d_1,d_2)$-regular partition of the boolean hypercube, which is worth to study in its own right. For example, it is related to the $k$-dominating set of the hypercube. It also might be interesting in coding theory. The existence of $(d_1,d_2)$-regular partition is explored in the paper and the existence of perfect $k$-dominating set follows as a corollary.
Monotone drawings of planar graphs
Let G be a graph drawn in the plane so that its edges are represented by x-monotone curves, any pair of which cross an even number of times. We show that G can be redrawn in such a way that the x-coordinates of the vertices remain unchanged and the edges become non-crossing straight-line segments.
Proof of some conjectures of Z.-W. Sun on congruences for Apery polynomials
Published in J. Number Theory 132, 1731-1740 (2012)
• View Publication
• BIB
The Apery polynomials are defined by $A_n(x)=\sum_{k=0}^{n}{n\choose k}^2{n+k\choose k}^2 x^k$ for all nonnegative integers $n$. We confirm several conjectures of Z.-W. Sun on the congruences for the sum $\sum_{k=0}^{n-1}(-1)^k(2k+1) A_k(x)$ with $x\in Z$.
Cyclic Sieving for torsion pairs in the cluster category of Dynkin type A_n
Recently, a combinatorial model for torsion pairs in the cluster category of Dynkin type A_n was introduced, and used to derive an explicit formula for their number. In this article we determine the number of torsion pairs that are invariant under b-fold application of Auslander-Reiten translation. It turns out that the set of torsion pairs together with Auslander-Reiten translation, and a natural q-analogue of the formula for the number of all torsion pairs exhibits the cyclic sieving phenomenon.
LR characterization of chirotopes of finite planar families of pairwise disjoint convex bodies
Published in Discrete Comput. Geom., 50 (3): 552-648, 2013
• View Publication
• BIB
We extend the classical LR characterization of chirotopes of finite planar families of points to chirotopes of finite planar families of pairwise disjoint convex bodies: a map \c{hi} on the set of 3-subsets of a finite set I is a chirotope of finite planar families of pairwise disjoint convex bodies if and only if for every 3-, 4-, and 5-subset J of I the restriction of \c{hi} to the set of 3-subsets of J is a chirotope of finite planar families of pairwise disjoint convex bodies. Our main tool is the polarity map, i.e., the map that assigns to a convex body the set of lines missing its interior, from which we derive the key notion of arrangements of double pseudolines, introduced for the first time in this paper.
Some supercongruences modulo $p^2$
Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper we prove some supercongruences concerning $$\align &\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{54^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{4k}{2k}}{128^k},\ \sum_{k=0}^{p-1}\frac{\binom{3k}k\binom{6k}{3k}}{432^k},
&\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{3k}{k}}{m^k}, \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k},\ \sum_{k=0}^{p-1}\f{\binom{2k}k\binom{3k}{k}\binom{6k}{3k}}{m^k}\mod {p^2}.\endalign$$ Thus we solve some conjectures of Zhi-Wei Sun and the author.
Eulerian-Catalan Numbers
Published
• View Publication
• BIB
We show that the Eulerian-Catalan numbers enumerate Dyck permutations. We provide two proofs for this fact, the first using the geometry of alcoved polytopes and the second a direct combinatorial proof via an Eulerian-Catalan analogue of the Chung-Feller theorem.