Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Families in posets minimizing the number of comparable pairs
Published
• View Publication
• BIB
Given a poset $P$ we say a family $\mathcal{F}\subseteq P$ is centered if it is obtained by `taking sets as close to the middle layer as possible'. A poset $P$ is said to have the centeredness property if for any $M$, among all families of size $M$ in $P$, centered families contain the minimum number of comparable pairs. Kleitman showed that the Boolean lattice $\{0,1\}^n$ has the centeredness property. It was conjectured by Noel, Scott, and Sudakov, and by Balogh and Wagner, that the poset $\{0,1,\ldots,k\}^n$ also has the centeredness property, provided $n$ is sufficiently large compared to $k$. We show that this conjecture is false for all $k\geq 2$ and investigate the range of $M$ for which it holds. Further, we improve a result of Noel, Scott, and Sudakov by showing that the poset of subspaces of $\mathbb{F}_q^n$ has the centeredness property. Several open questions are also given.
A New Proof of the Nešetřil-Rödl Theorem
In this paper we give a new proof of the Nešetřil-Rödl Theorem, a deep result of discrete mathematics which is one of the cornerstones of the structural Ramsey theory. In contrast to the well-known proofs which employ intricate combinatorial strategies, this proof is spelled out in the language of category theory and the main result follows by applying several simple categorical constructions. The gain from the approach we present here is that, instead of giving the proof in the form of a large combinatorial construction, we can start from a few building blocks and then combine them into the final proof using general principles.
On a dual and an overpartition generalization of a family of identities of Andrews
We present a dual of a family of partition identities of Andrews involving partitions with no repeated odd parts (among other conditions), along with an overpartition generalization that encapsulates both families. These were discovered during the course of research for an upcoming article by the authors along with Debajyoti Nandi. The proof uses Appell's comparison theorem.
Parity of Sets of Mutually Orthogonal Latin Squares
Published in Journal of Combinatorial Theory, Series A 155 (2018) 67-99
• View Publication
• BIB
Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an $\mathrm{OA}(k,n)$ has an information content of $\dim(k,n)$ bits. We show that $\dim(k,n) \leq {k \choose 2}-1$. For the case corresponding to projective planes we prove a tighter bound, namely $\dim(n+1,n) \leq {n \choose 2}$ when $n$ is odd and $\dim(n+1,n) \leq {n \choose 2}-1$ when $n$ is even. Using the existence of MOLS with subMOLS, we prove that if $\dim(k,n)={k \choose 2}-1$ then $\dim(k,N) = {k \choose 2}-1$ for all sufficiently large $N$.
Let the ensemble of an $\mathrm{OA}$ be the set of Latin squares derived by interpreting any three columns of the OA as a Latin square. We demonstrate many restrictions on the number of Latin squares of each parity that the ensemble of an $\mathrm{OA}(k,n)$ can contain. These restrictions depend on $n\mod4$ and give some insight as to why it is harder to build projective planes of order $n \not= 2\mod4$ than for $n \not= 2\mod4$. For example, we prove that when $n \not= 2\mod 4$ it is impossible to build an $\mathrm{OA}(n+1,n)$ for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols).
Covering lattice points by subspaces and counting point-hyperplane incidences
Published
• View Publication
• BIB
Let $d$ and $k$ be integers with $1 \leq k \leq d-1$. Let $Λ$ be a $d$-dimensional lattice and let $K$ be a $d$-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of $k$-dimensional linear subspaces needed to cover all points in $Λ\cap K$. In particular, our results imply that the minimum number of $k$-dimensional linear subspaces needed to cover the $d$-dimensional $n \times \cdots \times n$ grid is at least $Ω(n^{d(d-k)/(d-1)-\varepsilon})$ and at most $O(n^{d(d-k)/(d-1)})$, where $\varepsilon>0$ is an arbitrarily small constant. This nearly settles a problem mentioned in the book of Brass, Moser, and Pach. We also find tight bounds for the minimum number of $k$-dimensional affine subspaces needed to cover $Λ\cap K$.
We use these new results to improve the best known lower bound for the maximum number of point-hyperplane incidences by Brass and Knauer. For $d \geq 3$ and $\varepsilon \in (0,1)$, we show that there is an integer $r=r(d,\varepsilon)$ such that for all positive integers $n,m$ the following statement is true. There is a set of $n$ points in $\mathbb{R}^d$ and an arrangement of $m$ hyperplanes in $\mathbb{R}^d$ with no $K_{r,r}$ in their incidence graph and with at least $Ω\left((mn)^{1-(2d+3)/((d+2)(d+3)) - \varepsilon}\right)$ incidences if $d$ is odd and $Ω\left((mn)^{1-(2d^2+d-2)/((d+2)(d^2+2d-2)) -\varepsilon}\right)$ incidences if $d$ is even.
Small covers over wedges of polygons
Published
• View Publication
• BIB
A small cover is a closed smooth manifold of dimension $n$ having a locally standard $\mathbb{Z}_2^n$-action whose orbit space is isomorphic to a simple polytope. A typical example of small covers is a real projective toric manifold (or, simply, a real toric manifold), that is, a real locus of projective toric manifold. In the paper, we classify small covers and real toric manifolds whose orbit space is isomorphic to the dual of the simplicial complex obtainable by a sequence of wedgings from a polygon, using a systematic combinatorial method finding toric spaces called puzzles.
Distant sum distinguishing index of graphs with bounded minimum degree
For any graph $G=(V,E)$ with maximum degree $Δ$ and without isolated edges, and a positive integer $r$, by $χ'_{Σ,r}(G)$ we denote the $r$-distant sum distinguishing index of $G$. This is the least integer $k$ for which a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ exists such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every pair of distinct vertices $u,v$ at distance at most $r$ in $G$. It was conjectured that $χ'_{Σ,r}(G)\leq (1+o(1))Δ^{r-1}$ for every $r\geq 3$. Thus far it has been in particular proved that $χ'_{Σ,r}(G)\leq 6Δ^{r-1}$ if $r\geq 4$. Combining probabilistic and constructive approach, we show that this can be improved to $χ'_{Σ,r}(G)\leq (4+o(1))Δ^{r-1}$ if the minimum degree of $G$ equals at least $\ln^8Δ$.
Orbital Graphs
We introduce orbital graphs and discuss some of their basic properties. Then we focus on their usefulness for search algorithms for permutation groups, including finding the intersection of groups and the stabilizer of sets in a group.
Lagrangians of hypergraphs: The Frankl-Füredi conjecture holds almost everywhere
Published
• View Publication
• BIB
Frankl and Füredi conjectured in 1989 that the maximum Lagrangian of all $r$-uniform hypergraphs of fixed size $m$ is realised by the initial segment of the colexicographic order. In particular, in the principal case $m=\binom{t}{r}$ their conjecture states that every $H\subseteq \mathbb{N}^{(r)}$ of size $\binom{t}{r}$ satisfies \begin{align*} \max \{\sum_{A \in H}\prod_{i\in A} y_i \ \colon \ y_1,y_2,\ldots \geq 0; \sum_{i\in \mathbb{N}} y_i=1 \}&\leq \frac{1}{t^r}\binom{t}{r}. \end{align*}
We prove the above statement for all $r\geq 4$ and large values of $t$ (the case $r=3$ was settled by Talbot in 2002). More generally, we show for any $r\geq 4$ that the Frankl-Füredi conjecture holds whenever $\binom{t-1}{r} \leq m \leq \binom{t}{r}- γ_r t^{r-2}$ for a constant $γ_r>0$, thereby verifying it for `most' $m\in \mathbb{N}$.
Furthermore, for $r=3$ we make an improvement on the results of Talbot~\cite{Tb} and Tang, Peng, Zhang and Zhao~\cite{TPZZ}.
Computing the $p$-Spectral Radii of Uniform Hypergraphs with Applications
Published
• View Publication
• BIB
The $p$-spectral radius of a uniform hypergraph covers many important concepts, such as Lagrangian and spectral radius of the hypergraph, and is crucial for solving spectral extremal problems of hypergraphs. In this paper, we establish a spherically constrained maximization model and propose a first-order conjugate gradient algorithm to compute the $p$-spectral radius of a uniform hypergraph (CSRH). By the semialgebraic nature of the adjacency tensor of a uniform hypergraph, CSRH is globally convergent and obtains the global maximizer with a high probability. When computing the spectral radius of the adjacency tensor of a uniform hypergraph, CSRH stands out among existing approaches. Furthermore, CSRH is competent to calculate the $p$-spectral radius of a hypergraph with millions of vertices and to approximate the Lagrangian of a hypergraph. Finally, we show that the CSRH method is capable of ranking real-world data set based on solutions generated by the $p$-spectral radius model.
Mahler takes a regular view of Zaremba
In the theory of continued fractions, Zaremba's conjecture states that there is a positive integer $M$ such that each integer is the denominator of a convergent of an ordinary continued fraction with partial quotients bounded by $M$. In this paper, to each such $M$ we associate a regular sequence---in the sense of Allouche and Shallit---and establish various properties and results concerning the generating function of the regular sequence. In particular, we determine the minimal algebraic relation concerning the generating function and its Mahler iterates.
On enumeration of tree-rooted planar cubic maps. II
In the work [4] tree-rooted planar cubic maps with marked directed edge (not in this tree) were enumerated. The number of such objects with $2n$ vertices is $C_{2n}\cdot C_{n+1}$, where $C_k$ is Catalan number. In this work a marked directed edge is not demanded, i.e. we enumerate tree-rooted planar cubic maps. Formulas are more complex, of course, but not significantly.
Reflexive polytopes arising from perfect graphs
Published in Journal of Combinatorial Theory, Series A 157(2018), 233--246
• View Publication
• BIB
Reflexive polytopes form one of the distinguished classes of lattice polytopes. Especially reflexive polytopes which possess the integer decomposition property are of interest. In the present paper, by virtue of the algebraic technique on Grönbner bases, a new class of reflexive polytopes which possess the integer decomposition property and which arise from perfect graphs will be presented. Furthermore, the Ehrhart $δ$-polynomials of these polytopes will be studied.
Capture-time Extremal Cop-Win Graphs
Published
• View Publication
• BIB
We investigate extremal graphs related to the game of Cops and Robbers. We focus on graphs where a single cop can catch the robber; such graphs are called cop-win. The capture time of a cop-win graph is the minimum number of moves the cop needs to capture the robber. We consider graphs that are extremal with respect to capture time, i.e. their capture time is as large as possible given their order. We give a new characterization of the set of extremal graphs. For our alternative approach we assign a rank to each vertex of a graph, and then study which configurations of ranks are possible. We partially determine which configurations are possible, enough to prove some further extremal results. We leave a full classification as an open question.
Euler totient of subfactor planar algebras
Published in Proc. Am. Math. Soc. (2018)
• View Publication
• BIB
We extend the Euler's totient function (from arithmetic) to any irreducible subfactor planar algebra, using the Mobius function of its biprojection lattice, as Hall did for the finite groups. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We explain a relation with a problem of K.S. Brown. As an application, we define the dual Euler totient of a finite group and we show that if it is nonzero then the group admits a faithful irreducible complex representation. We also get an analogous result at depth 2, involving the central biprojection lattice.
A remark on a construction of D.S. Asche
It is shown that a classical construction of D.S. Asche of 72 equiangular lines in the 19 dimensional Euclidean space contains a subset of 54 equiangular lines embedded in an 18 dimensional subspace.
Pattern Recognition on Oriented Matroids: Decompositions of Topes, and Dehn-Sommerville Type Relations
If V(R) is the vertex set of a symmetric cycle R in the tope graph of a simple oriented matroid M, then for any tope T of M there exists a unique inclusion-minimal subset Q(T;R) of V(R) such that T is the sum of the topes of Q(T;R).
If |Q(T;R)|>3, then the decomposition Q(T;R) of the tope T with respect to the symmetric cycle R satisfies certain Dehn-Sommerville type relations.
Asymptotic Results for the Queen Packing Problem
We consider the problem of placing k queens on an nxn board so that the total number of attacked squares is as small as possible. In particular, we consider the domain where k is small relative to n and derive nearly tight bounds in this setting.
Positive Geometries and Canonical Forms
Published
• View Publication
• BIB
Recent years have seen a surprising connection between the physics of scattering amplitudes and a class of mathematical objects--the positive Grassmannian, positive loop Grassmannians, tree and loop Amplituhedra--which have been loosely referred to as "positive geometries". The connection between the geometry and physics is provided by a unique differential form canonically determined by the property of having logarithmic singularities (only) on all the boundaries of the space, with residues on each boundary given by the canonical form on that boundary. In this paper we initiate an exploration of "positive geometries" and "canonical forms" as objects of study in their own right in a more general mathematical setting. We give a precise definition of positive geometries and canonical forms, introduce general methods for finding forms for more complicated positive geometries from simpler ones, and present numerous examples of positive geometries in projective spaces, Grassmannians, and toric, cluster and flag varieties. We also illustrate a number of strategies for computing canonical forms which yield interesting representations for the forms associated with wide classes of positive geometries, ranging from the simplest Amplituhedra to new expressions for the volume of arbitrary convex polytopes.
On the $k$-abelian complexity of the Cantor sequence
Published
• View Publication
• BIB
In this paper, we prove that for every integer $k \geq 1$, the $k$-abelian complexity function of the Cantor sequence $\mathbf{c} = 101000101\cdots$ is a $3$-regular sequence.