Showing 20 papers (Total: 84046 papers, 48445 authors in database)
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.
Words with many palindrome pair factors
Published
• View Publication
• BIB
Motivated by a conjecture of Frid, Puzynina, and Zamboni, we investigate infinite words with the property that for infinitely many n, every length-n factor is a product of two palindromes. We show that every Sturmian word has this property, but this does not characterize the class of Sturmian words. We also show that the Thue-Morse word does not have this property. We investigate finite words with the maximal number of distinct palindrome pair factors and characterize the binary words that are not palindrome pairs but have the property that every proper factor is a palindrome pair.
The maximum size of a non-trivial intersecting uniform family that is not a subfamily of the Hilton--Milner family
Published
• View Publication
• BIB
The celebrated Erdős-Ko-Rado theorem determines the maximum size of a $k$-uniform intersecting family. The Hilton-Milner theorem determines the maximum size of a $k$-uniform intersecting family that is not a subfamily of the so-called Erdős-Ko-Rado family. In turn, it is natural to ask what the maximum size of an intersecting $k$-uniform family that is neither a subfamily of the Erdős-Ko-Rado family nor of the Hilton-Milner family is. For $k\ge 4$, this was solved (implicitly) in the same paper by Hilton-Milner in 1967. We give a different and simpler proof, based on the shifting method, which allows us to solve all cases $k\ge 3$ and characterize all extremal families achieving the extremal value.
On Extension of Regular Graphs
Published
• View Publication
• BIB
In this article, we discuss when one can extend an r-regular graph to an r + 1 regular by adding edges. Different conditions on the num- ber of vertices n and regularity r are developed. We derive an upper bound of r, depending on n, for which, every regular graph G(n, r) can be extended to an r + 1-regular graph with n vertices. Presence of induced complete bipartite subgraph and complete subgraph is dis- cussed, separately, for the extension of regularity.
Combinatorial Auslander-Reiten quivers and reduced expressions
In this paper, we introduce the notion of combinatorial Auslander-Reiten(AR) quiver for commutation classes $[\widetilde{w}]$ of $w$ in finite Weyl group. This combinatorial object visualizes the convex partial order $\prec_{[\widetilde{w}]}$ on the subset $Φ(w)$ of positive roots. By analyzing properties of the combinatorial AR-quivers with labelings and reflection maps, we can apply their properties to the representation theory of KLR algebras and multiplication structure of dual PBW generators associated to any commutation class $[\widetilde{w}_0]$ of the longest element $w_0$.
New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs
Published
• View Publication
• BIB
In order to construct quantum $[[n,0,d]]$ codes for $(n,d)=(56,15)$, $(57,15)$, $(58,16)$, $(63,16)$, $(67,17)$, $(70,18)$, $(71,18)$, $(79,19)$, $(83,20)$, $(87,20)$, $(89,21)$, $(95,20)$, we construct self-dual additive $\mathbb{F}_4$-codes of length $n$ and minimum weight $d$ from circulant graphs. The quantum codes with these parameters are constructed for the first time.
An application of the Local C(G,T) Theorem to a conjecture of Weiss
Published
• View Publication
• BIB
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. The graph $Γ$ is said to be $G$-\emph{locally primitive} if $G_v^{Γ(v)}$ is primitive.
Richard Weiss conjectured in $1978$ that, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that, if $Γ$ is a connected $G$-vertex-transitive locally primitive graph of valency $d$ and $v$ is a vertex of $Γ$ with $|G_v|$ finite, then $|G_v|\leq f(d)$. As an application of the Local $C(G,T)$ Theorem, we prove this conjecture when $G_v^{Γ(v)}$ contains an abelian regular subgroup. In fact, we show that the point-wise stabiliser in $G$ of a ball of $Γ$ of radius $4$ is the identity subgroup.