Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Rules of Three for commutation relations
Published
• View Publication
• BIB
We investigate the following surprisingly widespread phenomenon which we call The Rule of Three: in order for a particular kind of commutation relation to hold for subsequences of elements of a ring labeled by any subset of indices, it is enough that these relations hold for subsets of size one, two, and three.
On semiring complexity of Schur polynomials
Published
• View Publication
• BIB
Semiring complexity is the version of arithmetic circuit complexity that allows only two operations: addition and multiplication. We show that when the number of variables is fixed, the semiring complexity of a Schur polynomial $s_λ$ is $O(log(λ_1))$; here $λ_1$ is the largest part of the partition $λ$.
Birth of a giant $(k_1,k_2)$-core in the random digraph
Published
• View Publication
• BIB
The $(k_1,k_2)$-core of a digraph is the largest sub-digraph with minimum in-degree and minimum out-degree at least $k_1$ and $k_2$ respectively. For $\max\{k_1, k_2\} \geq 2$, we establish existence of the threshold edge-density $c^*=c^*(k_1,k_2)$, such that the random digraph $D(n,m)$, on the vertex set $[n]$ with $m$ edges, asymptotically almost surely has a giant $(k_1,k_2)$-core if $m/n> c^*$, and has no $(k_1,k_2)$-core if $m/n<c^*$. Specifically, denoting $\text{P}(\text{Poisson}(z)\ge k)$ by $p_k(z)$, we prove that $c^*=\min\limits_{z_1,z_2}\max\left\{\tfrac{z_1}{p_{k_1}(z_1)p_{k_2-1}(z_2)}; \tfrac{z_2}{p_{k_1-1}(z_1)p_{k_2}(z_2)}\right\}$.
Quantifying minimal non-collinearity among random points
Published
• View Publication
• BIB
Let $\varphi_{n,K}$ denote the largest angle in all the triangles with vertices among the $n$ points selected at random in a compact convex subset $K$ of $\mathbb{R}^d$ with nonempty interior, where $d\ge2$. It is shown that the distribution of the random variable $λ_d(K)\,\frac{n^3}{3!}\,(π-\varphi_{n,K})^{d-1}$, where $λ_d(K)$ is a certain positive real number which depends only on the dimension $d$ and the shape of $K$, converges to the standard exponential distribution as $n\to\infty$. By using the Steiner symmetrization, it is also shown that $λ_d(K)$ -- which is referred to in the paper as the elongation of $K$ -- attains its minimum if and only if $K$ is a ball $B^{(d)}$ in $\mathbb{R}^d$. Finally, the asymptotics of $λ_d(B^{(d)})$ for large $d$ is determined.
Coxeter-Catalan combinatorics and Temperley-Lieb algebras
Published
• View Publication
• BIB
We introduce bijections between generalized type $A_n$ noncrossing partitions (that is, associated to arbitrary standard Coxeter elements) and fully commutative elements of the same type. The latter index the diagram basis of the classical Temperley-Lieb algebra, while for each choice of standard Coxeter element the corresponding noncrossing partitions also index a basis, given by the images in the Temperley-Lieb algebra of the simple elements of the dual Garside structure (associated to this choice of standard Coxeter element) of the Artin braid group on $n+1$ strands. We then show that our bijections come from triangular base changes between the diagram basis and the various bases indexed by noncrossing partitions, by explicitly describing the orders giving triangularity. These orders were introduced in a joint paper with Williams and provide exotic lattice structures on noncrossing partitions. Several combinatorial objects are introduced along the way, including an involution on the set of noncrossing partitions.
Some Comments on the Slater number
Published
• View Publication
• BIB
Let $G$ be a graph with degree sequence $d_1\geq \ldots \geq d_n$. Slater proposed $s\ell(G)=\min\{ s: (d_1+1)+\cdots+(d_s+1)\geq n\}$ as a lower bound on the domination number $γ(G)$ of $G$. We show that deciding the equality of $γ(G)$ and $s\ell(G)$ for a given graph $G$ is NP-complete but that one can decide efficiently whether $γ(G)>s\ell(G)$ or $γ(G)\leq \left(\left\lceil\ln \left(\frac{n(G)}{s\ell(G)}\right)\right\rceil+1\right)s\ell(G)$. For real numbers $α$ and $β$ with $α\geq \max\{ 0,β\}$, let ${\cal G}(α,β)$ be the class of non-null graphs $G$ such that every non-null subgraph $H$ of $G$ has at most $αn(H)-β$ many edges. Generalizing a result of Desormeaux, Haynes, and Henning, we show that $γ(G)\leq (2α+1)s\ell(G)-2β$ for every graph $G$ in ${\cal G}(α,β)$ with $α\leq \frac{3}{2}$. Furthermore, we show that $γ(G)/s\ell(G)$ is bounded for graphs $G$ in ${\cal G}(α,β)$ if and only if $α<2$. For an outerplanar graph $G$ with $s\ell(G)\geq 2$, we show $γ(G)\leq 6s\ell(G)-6$. In analogy to $s\ell(G)$, we propose $s\ell_t(G)=\min\{ s: d_1+\cdots+d_s\geq n\}$ as a lower bound on the total domination number. Strengthening results due to Raczek as well as Chellali and Haynes, we show that $s\ell_t(T)\geq \frac{n+2-n_1}{2}$ for every tree $T$ of order $n$ at least $2$ with $n_1$ endvertices.
On Box-Perfect Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and let $A_G$ be the clique-vertex incidence matrix of $G$. It is well known that $G$ is perfect iff the system $A_{_G}\mathbf x\le \mathbf 1$, $\mathbf x\ge\mathbf0$ is totally dual integral (TDI). In 1982, Cameron and Edmonds proposed to call $G$ box-perfect if the system $A_{_G}\mathbf x\le \mathbf 1$, $\mathbf x\ge\mathbf0$ is box-totally dual integral (box-TDI), and posed the problem of characterizing such graphs. In this paper we prove the Cameron-Edmonds conjecture on box-perfectness of parity graphs, and identify several other classes of box-perfect graphs. We also develop a general and powerful method for establishing box-perfectness.
Matrix Energy as a Measure of Topological Complexity of a Graph
The complexity of highly interconnected systems is rooted in the interwoven architecture defined by its connectivity structure. In this paper, we develop matrix energy of the underlying connectivity structure as a measure of topological complexity and highlight interpretations about certain global features of underlying system connectivity patterns. The proposed complexity metric is shown to satisfy the Weyuker criteria as a measure of its validity as a formal complexity metric. We also introduce the notion of P point in the graph density space. The P point acts as a boundary between multiple connectivity regimes for finite-size graphs.
Arrangements of homothets of a convex body
Published in Mathematika 63 (2017) 696-710
• View Publication
• BIB
Answering a question of Füredi and Loeb (1994), we show that the maximum number of pairwise intersecting homothets of a $d$-dimensional centrally symmetric convex body $K$, none of which contains the center of another in its interior, is at most $O(3^d d\log d)$. If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced by $O(3^d\binom{2d}{d}d\log d)$. We establish analogous results for the case where the center is defined as an arbitrary point in the interior of $K$. We also show that in the latter case, one can always find families of at least $Ω((2/\sqrt{3})^d)$ translates of $K$ with the above property.
Ramsey Partial Orders from Acyclic Graphs
We prove that finite partial orders with a linear extension form a Ramsey class. Our proof is based on the fact that class of acyclic graphs has the Ramsey property and uses the partite construction.
A Stability Theorem for Maximal $K_{r+1}$-free Graphs
Published
• View Publication
• BIB
For $r \geq 2$, we show that every maximal $K_{r+1}$-free graph $G$ on $n$ vertices with $(1-\frac{1}{r})\frac{n^2}{2}-o(n^{\frac{r+1}{r}})$ edges contains a complete $r$-partite subgraph on $(1 - o(1))n$ vertices. We also show that this is best possible. This result answers a question of Tyomkyn and Uzzell.
Enumeration of Regular Maps on Surfaces of a Given Genus
Published
• View Publication
• BIB
In the present work the rooted and unrooted d-regular maps on 2-dimentional oriented surfaces of genus g are enumerated. Separately and in more detail the case of d-regular maps with a single face are considered.
On local combinatorial formulas for Chern classes of triangulated circle bundle
Published
• View Publication
• BIB
Principal circle bundle over a PL polyhedron can be triangulated and thus obtains combinatorics. The triangulation is assembled from triangulated circle bundles over simplices. To every triangulated circle bundle over a simplex we associate a necklace (in combinatorial sense). We express rational local formulas for all powers of first Chern class in the terms of mathematical expectations of parities of the associated necklaces. This rational parity is a combinatorial isomorphism invariant of triangulated circle bundle over simplex, measuring mixing by triangulation of the circular graphs over vertices of the simplex. The goal of this note is to sketch the logic of deduction these formulas from Kontsevitch's cyclic invariant connection form on metric polygons.
Pretty Good State Transfer in Qubit Chains - The Heisenberg Hamiltonian
Published
• View Publication
• BIB
Pretty good state transfer in networks of qubits occurs when a continuous-time quantum walk allows the transmission of a qubit state from one node of the network to another, with fidelity arbitrarily close to 1. We prove that in a Heisenberg chain with n qubits there is pretty good state transfer between the nodes at the j-th and (n-j+1)-th position if n is a power of 2. Moreover, this condition is also necessary for j=1. We obtain this result by applying a theorem due to Kronecker about Diophantine approximations, together with techniques from algebraic graph theory.
An elementary approach to simplexes in thin subsets of Euclidean space
We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 3$, is greater than $\min \left\{ \frac{dk+1}{k+1}, \frac{d+k}{2} \right\},$ then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$, the set of congruence classes of $k$-dimensional simplexes with vertices in $E$, is positive. This improves the best bounds previously known, decreasing the $\frac{d+k+1}{2}$ threshold obtained in Erdoğan-Hart-Iosevich (2012) to $\frac{d+k}{2}$ via a different and conceptually simpler method. We also give a simpler proof of the $d-\frac{d-1}{2d}$ threshold for $d$-dimensional simplexes obtained in Greenleaf-Iosevich (2012), Grafakos-Greenleaf-Iosevich-Palsson (2015).
Laurent phenomenon algebras arising from surfaces
Published
• View Publication
• BIB
It was shown by Fomin, Shapiro and Thurston that some cluster algebras arise from orientable surfaces. Subsequently, Dupont and Palesi extended this construction to non-orientable surfaces. We link this framework to Lam and Pylyavskyy's Laurent phenomenon algebras, showing that both orientable and non-orientable unpunctured marked surfaces have an associated LP-algebra.
The configuration space of a robotic arm in a tunnel
Published
• View Publication
• BIB
We study the motion of a robotic arm inside a rectangular tunnel. We prove that the configuration space of all possible positions of the robot is a CAT(0) cubical complex. This allows us to use techniques from geometric group theory to find the optimal way of moving the arm from one position to another. We also compute the diameter of the configuration space, that is, the longest distance between two positions of the robot.
Monotone Paths in Geometric Triangulations
Published
• View Publication
• BIB
(I) We prove that the (maximum) number of monotone paths in a geometric triangulation of $n$ points in the plane is $O(1.7864^n)$. This improves an earlier upper bound of $O(1.8393^n)$; the current best lower bound is $Ω(1.7003^n)$.
(II) Given a planar geometric graph $G$ with $n$ vertices, we show that the number of monotone paths in $G$ can be computed in $O(n^2)$ time.
Affine-compact functors
Published
• View Publication
• BIB
Several well known polytopal constuctions are examined from the functorial point of view. A naive analogy between the Billera-Sturmfels fiber polytope and the abelian kernel is disproved by an infinite explicit series of polytopes. A correct functorial formula is provided in terms of the affine-compact kernel. The dual cokernel object is almost always the natural affine projection. The Mond-Smith-van Straten space of sandwiched simplices, useful in stochastic factorizations, leads to a different kind of affine-compact functors and new challenges in polytope theory.
A definite recursive relation and some statistical properties for Möbius function
An elementary recursive relation for M$\ddot{\mathrm{o}}$bius function $μ(n)$ is introduced by two simple ways. With this recursive relation, $μ(n)$ can be calculated without directly knowing the factorization of the $n$. $μ(1) \sim μ(2 \times 10^7) $ are calculated recursively one by one. Based on these $2\times 10^7$ samples, the empirical probabilities of $μ(n)$ of taking $-1$, 0, and 1 in classic statistics are calculated and compared with the theoretical probabilities in number theory. The numerical consistency between these two kinds of probability show that $μ(n)$ could be seen as an independent random sequence when $n$ is large. The expectation and variance of the $μ(n)$ are $0$ and $6 n/ π^2$, respectively. Furthermore, we show that any conjecture of the Mertens type is false in probability sense, and present an upper bound for cumulative sums of $μ(n)$ with a certain probability.