Showing 20 papers (Total: 82736 papers, 47815 authors in database)
How permutations displace points and stretch intervals
Published in Ars Combinatoria 90 (2009), 175-191
• Search Publication
Let $S_n$ be the set of permutations on $\{1,\,\dots,\,n\}$ and $π\in S_n$. Let $\mathrm{d}(π)$ be the arithmetic average of $\{|i-π(i)|;\;1\le i\le n\}$. Then $\mathrm{d}(π)/n\in[0,\,1/2]$, the expected value of $\mathrm{d}(π)/n$ approaches $1/3$ as $n$ approaches infinity, and $\mathrm{d}(π)/n$ is close to $1/3$ for most permutations. We describe all permutations $π$ with maximal $\mathrm{d}(π)$.
Let $\mathrm{s}^+(π)$ and $\mathrm{s}^*(π)$ be the arithmetic and geometric averages of $\{|π(i)-π(i+1)|;\;1\le i<n\}$, and let $M^+$, $M^*$ be the maxima of $\mathrm{s}^+$ and $\mathrm{s}^*$ over $S_n$, respectively. Then $M^+=(2m^2-1)/(2m-1)$ when $n=2m$, $M^+ = (2m^2+2m-1)/(2m)$ when $n=2m+1$, $M^* = (m^m(m+1)^{m-1})^{1/(n-1)}$ when $n=2m$, and, interestingly, $M^* = (m^m(m+1)(m+2)^{m-1})^{1/(n-1)}$ when $n=2m+1>1$. We describe all permutations $π$, $σ$ with maximal $\mathrm{s}^+(π)$ and $\mathrm{s}^*(σ)$.
Cycle structure of autotopisms of quasigroups and Latin squares
Published in Journal of Combinatorial Designs 20 (2012), no. 5, 227-263
• Search Publication
An autotopism of a Latin square is a triple $(α,β,γ)$ of permutations such that the Latin square is mapped to itself by permuting its rows by $α$, columns by $β$, and symbols by $γ$. Let $\mathrm{Atp}(n)$ be the set of all autotopisms of Latin squares of order $n$. Whether a triple $(α,β,γ)$ of permutations belongs to $\mathrm{Atp}(n)$ depends only on the cycle structures of $α$, $β$ and $γ$. We establish a number of necessary conditions for $(α,β,γ)$ to be in $\mathrm{Atp}(n)$, and use them to determine $\mathrm{Atp}(n)$ for $n\le17$. For general $n$ we determine if $(α,α,α)\in\mathrm{Atp}(n)$ (that is, if $α$ is an automorphism of some quasigroup of order $n$), provided that either $α$ has at most three cycles other than fixed points or that the non-fixed points of $α$ are in cycles of the same length.
Overlapping latin subsquares and full products
Published in Proceedings of the 2nd Mile High Conference on Nonassociative Mathematics, University of Denver, June 2009, published in Commentationes Mathematicae Universitatis Carolinae 51 (June 2010), no. 2, 175-184
• Search Publication
We derive necessary and sufficient conditions for there to exist a latin square of order $n$ containing two subsquares of order $a$ and $b$ that intersect in a subsquare of order $c$. We also solve the case of two disjoint subsquares. We use these results to show that: (a) A latin square of order $n$ cannot have more than $\frac nm{n \choose h}/{m\choose h}$ subsquares of order $m$, where $h=\lceil(m+1)/2\rceil$. Indeed, the number of subsquares of order $m$ is bounded by a polynomial of degree at most $\sqrt{2m}+2$ in $n$. (b) For all $n\ge5$ there exists a loop of order $n$ in which every element can be obtained as a product of all $n$ elements in some order and with some bracketing.
On the asymptotic distribution of parameters in random weighted staircase tableaux
Published
• View Publication
• BIB
In this paper, we study staircase tableaux, a combinatorial object introduced due to its connections with the asymmetric exclusion process (ASEP) and Askey-Wilson polynomials. Due to their interesting connections, staircase tableaux have been the object of study in many recent papers. More specific to this paper, the distribution of various parameters in random staircase tableaux has been studied. There have been interesting results on parameters along the main diagonal, however, no such results have appeared for other diagonals. It was conjectured that the distribution of the number of symbols along the kth diagonal is asymptotically Poisson as k and the size of the tableau tend to infinity. We partially prove this conjecture; more specifically we prove it for the second and the third main diagonal.
Gray coding planar maps
Published
• View Publication
• BIB
The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps.
New bounds on curve tangencies and orthogonalities
Published in Discrete Analysis. 22: 1--22, 2016
• View Publication
• BIB
We establish new bounds on the number of tangencies and orthogonal intersections determined by an arrangement of curves. First, given a set of $n$ algebraic plane curves, we show that there are $O(n^{3/2})$ points where two or more curves are tangent. In particular, if no three curves are mutually tangent at a common point, then there are $O(n^{3/2})$ curve-curve tangencies. Second, given a family of algebraic plane curves and a set of $n$ curves from this family, we show that either there are $O(n^{3/2})$ points where two or more curves are orthogonal, or the family of curves has certain special properties.
We obtain these bounds by transforming the arrangement of plane curves into an arrangement of space curves so that tangency (or orthogonality) of the original plane curves corresponds to intersection of space curves. We then bound the number of intersections of the corresponding space curves. For the case of curve-curve tangency, we use a polynomial method technique that is reminiscent of Guth and Katz's proof of the joints theorem. For the case of orthogonal curve intersections, we employ a bound of Guth and the third author to control the number of two-rich points in space curve arrangements.
Face numbers of manifolds with boundary
Published
• View Publication
• BIB
We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$- and $μ$-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.
Normalized incomplete beta function: log-concavity in parameters and other properties
Published
• View Publication
• BIB
The normalized incomplete beta function can be defined either as cumulative distribution function of beta density or as the Gauss hypergeometric function with one of the upper parameters equal to unity. Logarithmic concavity/convexity of this function in parameters was established by Finner and Roters in 1997. Their proof is indirect and rather difficult; it is based on generalized reproductive property of certain more general distributions. These authors remark that these results "seems to be very hard to obtain by usual analytic methods". In the first part of this paper we provide such proof based on standard tools of analysis. In the second part we go one step further and investigate the sign of generalized Turán determinants formed by shifts of the normalized incomplete beta function. Under some additional restrictions we demonstrate that these coefficients are of the same sign. We further conjecture that such restrictions can be removed without altering the results. Our method of proof also leads to various companion results which may be of independent interest. In particular, we establish linearization formulas and two-sided bounds for the above mentioned Turán determinants. Further, we find two combinatorial style identities for finite sums which we believe to be new.
A Paley-like graph in characteristic two
Published
• View Publication
• BIB
The Paley graph is a well-known self-complementary pseudo-random graph, defined over a finite field of odd order. We describe an attempt at an analogous construction using fields of even order. Some properties of the graph are noted, such as the existence of a Hamiltonian decomposition.
Singularity analysis for heavy-tailed random variables
Published in J. Theor. Probab. 32, 1-46 (2019)
• View Publication
• BIB
We propose a novel complex-analytic method for sums of i.i.d. random variables that are heavy-tailed and integer-valued. The method combines singularity analysis, Lindelöf integrals, and bivariate saddle points. As an application, we prove three theorems on precise large and moderate deviations which provide a local variant of a result by S. V. Nagaev (1973). The theorems generalize five theorems by A. V. Nagaev (1968) on stretched exponential laws $p(k) = c\exp( -k^α)$ and apply to logarithmic hazard functions $c\exp( - (\log k)^β)$, $β>2$; they cover the big jump domain as well as the small steps domain. The analytic proof is complemented by clear probabilistic heuristics. Critical sequences are determined with a non-convex variational problem.
Notions of maximality for integral lattice-free polyhedra: the case of dimension three
Published
• View Publication
• BIB
Lattice-free sets (convex subsets of $\mathbb{R}^d$ without interior integer points) and their applications for cutting-plane methods in mixed-integer optimization have been studied in recent literature. Notably, the family of all integral lattice-free polyhedra which are not properly contained in another integral lattice-free polyhedron has been of particular interest. We call these polyhedra $\mathbb{Z}^d$-maximal.
It is known that, for fixed $d$, the family $\mathbb{Z}^d$-maximal integral lattice-free polyhedra is finite up to unimodular equivalence. In view of possible applications in cutting-plane theory, one would like to have a classification of this family. However, this turns out to be a challenging task already for small dimensions.
In contrast, the subfamily of all integral lattice-free polyhedra which are not properly contained in any other lattice-free set, which we call $\mathbb{R}^d$-maximal lattice-free polyhedra, allow a rather simple geometric characterization. Hence, the question was raised for which dimensions the notions of $\mathbb{Z}^d$-maximality and $\mathbb{R}^d$-maximality are equivalent. This was known to be the case for dimensions one and two. On the other hand, Nill and Ziegler (2011) showed that for dimension $d \ge 4$, there exist polyhedra which are $\mathbb{Z}^d$-maximal but not $\mathbb{R}^d$-maximal. In this article, we consider the remaining case $d = 3$ and prove that for integral polyhedra the notions of $\mathbb{R}^3$-maximality and $\mathbb{Z}^3$-maximality are equivalent. As a consequence, the classification of all $\mathbb{R}^3$-maximal integral polyhedra by Averkov, Wagner and Weismantel (2011) contains all $\mathbb{Z}^3$-maximal integral polyhedra.
Cayley numbers with arbitrarily many distinct prime factors
Published
• View Publication
• BIB
A positive integer $n$ is a Cayley number if every vertex-transitive graph of order $n$ is a Cayley graph. In 1983, Dragan Marušič posed the problem of determining the Cayley numbers. In this paper we give an infinite set $S$ of primes such that every finite product of distinct elements from $S$ is a Cayley number. This answers a 1996 outstanding question of Brendan McKay and Cheryl Praeger, which they "believe to be the key unresolved question" on Cayley numbers.
We also show that, for every finite product $n$ of distinct elements from $S$, every transitive group of degree $n$ contains a semiregular element.
Partitioning orthogonal polygons into at most 8-vertex pieces, with application to an art gallery theorem
Published in Computational Geometry, Vol. 59, Dec. 2016, 13-25
• View Publication
• BIB
We prove that every simply connected orthogonal polygon of $n$ vertices can be partitioned into $\left\lfloor\frac{3 n +4}{16}\right\rfloor$ (simply connected) orthogonal polygons of at most 8 vertices. It yields a new and shorter proof of the theorem of A. Aggarwal that $\left\lfloor\frac{3 n +4}{16}\right\rfloor$ mobile guards are sufficient to control the interior of an $n$-vertex orthogonal polygon. Moreover, we strengthen this result by requiring combinatorial guards (visibility is only required at the endpoints of patrols) and prohibiting intersecting patrols. This yields positive answers to two questions of O'Rourke. Our result is also a further example of the "metatheorem" that (orthogonal) art gallery theorems are based on partition theorems.
Stern Sequences for a Family of Multidimensional Continued Fractions: TRIP-Stern Sequences
Published in Journal of Integer Sequences (2017) Article 17.1.7
• Search Publication
The Stern diatomic sequence is closely linked to continued fractions via the Gauss map on the unit interval, which in turn can be understood via systematic subdivisions of the unit interval. Higher dimensional analogues of continued fractions, called multidimensional continued fractions, can be produced through various subdivisions of a triangle. We define triangle partition-Stern sequences (TRIP-Stern sequences for short), higher-dimensional generalizations of the Stern diatomic sequence, from the method of subdividing a triangle via various triangle partition algorithms. We then explore several combinatorial results about TRIP-Stern sequences, which may be used to give rise to certain well-known sequences. We finish by generalizing TRIP-Stern sequences and presenting analogous results for these generalizations.
Periods and borders of random words
Published in STACS 2016, LIPIcs 47, 44:1-44:10
• View Publication
• BIB
We investigate the behavior of the periods and border lengths of random words over a fixed alphabet. We show that the asymptotic probability that a random word has a given maximal border length $k$ is a constant, depending only on $k$ and the alphabet size $\ell$. We give a recurrence that allows us to determine these constants with any required precision. This also allows us to evaluate the expected period of a random word. For the binary case, the expected period is asymptotically about $n-1.641$. We also give explicit formulas for the probability that a random word is unbordered or has maximum border length one.
Disjoint difference families and their applications
Published
• View Publication
• BIB
Difference sets and their generalisations to difference families arise from the study of designs and many other applications. Here we give a brief survey of some of these applications, noting in particular the diverse definitions of difference families and the variations in priorities in constructions. We propose a definition of disjoint difference families that encompasses these variations and allows a comparison of the similarities and disparities. We then focus on two constructions of disjoint difference families arising from frequency hopping sequences and showed that they are in fact the same. We conclude with a discussion of the notion of equivalence for frequency hopping sequences and for disjoint difference families.
Waiter-Client and Client-Waiter Hamiltonicity games on random graphs
Published
• View Publication
• BIB
We study two types of two player, perfect information games with no chance moves, played on the edge set of the binomial random graph ${\mathcal G}(n,p)$. In each round of the $(1 : q)$ Waiter-Client Hamiltonicity game, the first player, called Waiter, offers the second player, called Client, $q+1$ edges of ${\mathcal G}(n,p)$ which have not been offered previously. Client then chooses one of these edges, which he claims, and the remaining $q$ edges go back to Waiter. Waiter wins this game if by the time every edge of ${\mathcal G}(n,p)$ has been claimed by some player, the graph consisting of Client's edges is Hamiltonian; otherwise Client is the winner. Client-Waiter games are defined analogously, the main difference being that Client wins the game if his graph is Hamiltonian and Waiter wins otherwise. In this paper we determine a sharp threshold for both games. Namely, for every fixed positive integer $q$, we prove that the smallest edge probability $p$ for which a.a.s. Waiter has a winning strategy for the $(1 : q)$ Waiter-Client Hamiltonicity game is $(1 + o(1)) \log n/n$, and the smallest $p$ for which a.a.s. Client has a winning strategy for the $(1 : q)$ Client-Waiter Hamiltonicity game is $(q + 1 + o(1)) \log n/n$.
The Erdos discrepancy problem
Published in Discrete Analysis 2016:1, 26 pp
• View Publication
• BIB
We show that for any sequence $f: {\bf N} \to \{-1,+1\}$ taking values in $\{-1,+1\}$, the discrepancy $$ \sup_{n,d \in {\bf N}} \left|\sum_{j=1}^n f(jd)\right| $$ of $f$ is infinite. This answers a question of Erdős. In fact the argument also applies to sequences $f$ taking values in the unit sphere of a real or complex Hilbert space.
The argument uses three ingredients. The first is a Fourier-analytic reduction, obtained as part of the Polymath5 project on this problem, which reduces the problem to the case when $f$ is replaced by a (stochastic) completely multiplicative function ${\bf g}$. The second is a logarithmically averaged version of the Elliott conjecture, established recently by the author, which effectively reduces to the case when ${\bf g}$ usually pretends to be a modulated Dirichlet character. The final ingredient is (an extension of) a further argument obtained by the Polymath5 project which shows unbounded discrepancy in this case.
Bipodal structure in oversaturated random graphs
Published
• View Publication
• BIB
We study the asymptotics of large simple graphs constrained by the limiting density of edges and the limiting subgraph density of an arbitrary fixed graph $H$. We prove that, for all but finitely many values of the edge density, if the density of $H$ is constrained to be slightly higher than that for the corresponding Erdős-Rényi graph, the typical large graph is bipodal with parameters varying analytically with the densities. Asymptotically, the parameters depend only on the degree sequence of $H$.
Quasi-homomorphisms of cluster algebras
Published
• View Publication
• BIB
We introduce quasi-homomorphisms of cluster algebras, a flexible notion of a map between cluster algebras of the same type (but with different coefficients). The definition is given in terms of seed orbits, the smallest equivalence classes of seeds on which the mutation rules for non-normalized seeds are unambiguous. We present examples of quasi-homomorphisms involving familiar cluster algebras, such as cluster structures on Grassmannians, and those associated with marked surfaces with boundary. We explore the related notion of a quasi-automorphism, and compare the resulting group with other groups of symmetries of cluster structures. For cluster algebras from surfaces, we determine the subgroup of quasi-automorphisms inside the tagged mapping class group of the surface.