variety
2748 papers tagged with this keyword
Bounds on metric dimension for families of planar graphs
The concept of metric dimension has applications in a variety of fields, such as chemistry, robotic navigation, and combinatorial optimization. We show bounds for graphs with $n$ vertices and metric dimension $β$. For Hamiltonian outerplanar graphs, we have $β\leq \left\lceil\frac{n}2\right\rceil$; for outerplanar graphs in general, we have $β\leq \left\lfloor\frac{2n}{3}\right\rfloor$; for maximal planar graphs, we have $β\leq \left\lfloor\frac{3n}{4}\right\rfloor$. We also show that bipyramids have a metric dimension of $\left\lfloor\frac{2n}{5}\right\rfloor + 1$. It is conjectured that the metric dimension of maximal planar graphs in general is on the order of $\left\lfloor\frac{2n}{5}\right\rfloor$.
The genesis of involutions (polarizations and lattice paths)
Published
• View Publication
• BIB
The number of Borel orbits in polarizations (the symmetric variety $SL(n)/S(GL(p)\times GL(q))$) is analyzed, various (bivariate) generating functions are found. Relations to lattice path combinatorics are explored.
Approximation of biased Boolean functions of small total influence by DNF's
Published
• View Publication
• BIB
The influence of the $k$'th coordinate on a Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ is the probability that flipping $x_k$ changes the value $f(x)$. The total influence $I(f)$ is the sum of influences of the coordinates. The well-known `Junta Theorem' of Friedgut (1998) asserts that if $I(f) \leq M$, then $f$ can be $ε$-approximated by a function that depends on $O(2^{M/ε})$ coordinates. Friedgut's theorem has a wide variety of applications in mathematics and theoretical computer science.
For a biased function with $E[f]=μ$, the edge isoperimetric inequality on the cube implies that $I(f) \geq 2μ\log(1/μ)$. Kahn and Kalai (2006) asked, in the spirit of the Junta theorem, whether any $f$ such that $I(f)$ is within a constant factor of the minimum, can be $εμ$-approximated by a DNF of a `small' size (i.e., a union of a small number of sub-cubes). We answer the question by proving the following structure theorem: If $I(f) \leq 2μ(\log(1/μ)+M)$, then $f$ can be $εμ$-approximated by a DNF of size $2^{2^{O(M/ε)}}$. The dependence on $M$ is sharp up to the constant factor in the double exponent.
Patterns in Random Fractals
Published
• View Publication
• BIB
We characterize the existence of certain geometric configurations in the fractal percolation limit set $A$ in terms of the almost sure dimension of $A$. Some examples of the configurations we study are: homothetic copies of finite sets, angles, distances, and volumes of simplices. In the spirit of relative Szemerédi theorems for random discrete sets, we also consider the corresponding problem for sets of positive $ν$-measure, where $ν$ is the natural measure on $A$. In both cases we identify the dimension threshold for each class of configurations. These results are obtained by investigating the intersections of the products of $m$ independent realizations of $A$ with transversal planes and, more generally, algebraic varieties, and extend some well known features of independent percolation on trees to a setting with long-range dependencies.
Maximum matchings in scale-free networks with identical degree distribution
Published
• View Publication
• BIB
The size and number of maximum matchings in a network have found a large variety of applications in many fields. As a ubiquitous property of diverse real systems, power-law degree distribution was shown to have a profound influence on size of maximum matchings in scale-free networks, where the size of maximum matchings is small and a perfect matching often does not exist. In this paper, we study analytically the maximum matchings in two scale-free networks with identical degree sequence, and show that the first network has no perfect matchings, while the second one has many. For the first network, we determine explicitly the size of maximum matchings, and provide an exact recursive solution for the number of maximum matchings. For the second one, we design an orientation and prove that it is Pfaffian, based on which we derive a closed-form expression for the number of perfect matchings. Moreover, we demonstrate that the entropy for perfect matchings is equal to that corresponding to the extended Sierpiński graph with the same average degree as both studied scale-free networks. Our results indicate that power-law degree distribution alone is not sufficient to characterize the size and number of maximum matchings in scale-free networks.
Peterson Isomorphism in $K$-theory and Relativistic Toda Lattice
Published
• View Publication
• BIB
The $K$-homology ring of the affine Grassmannian of $SL_n(C)$ was studied by Lam, Schilling, and Shimozono. It is realized as a certain concrete Hopf subring of the ring of symmetric functions. On the other hand, for the quantum $K$-theory of the flag variety $Fl_n$, Kirillov and Maeno provided a conjectural presentation based on the results obtained by Givental and Lee. We construct an explicit birational morphism between the spectrums of these two rings. Our method relies on Ruijsenaars's relativistic Toda lattice with unipotent initial condition. From this result, we obtain a $K$-theory analogue of the so-called Peterson isomorphism for (co)homology. We provide a conjecture on the detailed relationship between the Schubert bases, and, in particular, we determine the image of Lenart--Maeno's quantum Grothendieck polynomial associated with a Grassmannian permutation.
Distributed Distance-Bounded Network Design Through Distributed Convex Programming
Solving linear programs is often a challenging task in distributed settings. While there are good algorithms for solving packing and covering linear programs in a distributed manner (Kuhn et al.~2006), this is essentially the only class of linear programs for which such an algorithm is known. In this work we provide a distributed algorithm for solving a different class of convex programs which we call "distance-bounded network design convex programs". These can be thought of as relaxations of network design problems in which the connectivity requirement includes a distance constraint (most notably, graph spanners). Our algorithm runs in $O( (D/ε) \log n)$ rounds in the $\mathcal{LOCAL}$ model and finds a $(1+ε)$-approximation to the optimal LP solution for any $0 < ε\leq 1$, where $D$ is the largest distance constraint. While solving linear programs in a distributed setting is interesting in its own right, this class of convex programs is particularly important because solving them is often a crucial step when designing approximation algorithms. Hence we almost immediately obtain new and improved distributed approximation algorithms for a variety of network design problems, including Basic $3$- and $4$-Spanner, Directed $k$-Spanner, Lowest Degree $k$-Spanner, and Shallow-Light Steiner Network Design with a spanning demand graph. Our algorithms do not require any "heavy" computation and essentially match the best-known centralized approximation algorithms, while previous approaches which do not use heavy computation give approximations which are worse than the best-known centralized bounds.
Discrete Invariants of Generically Inconsistent Systems of Laurent Polynomials
Let $ \mathcal{A}_1, \ldots, \mathcal{A}_k $ be finite sets in $ \mathbb{Z}^n $ and let $ Y \subset (\mathbb{C}^*)^n $ be an algebraic variety defined by a system of equations \[ f_1 = \ldots = f_k = 0, \] where $ f_1, \ldots, f_k $ are Laurent polynomials with supports in $\mathcal{A}_1, \ldots, \mathcal{A}_k$. Assuming that $ f_1, \ldots, f_k $ are sufficiently generic, the Newton polyhedron theory computes discrete invariants of $ Y $ in terms of the Newton polyhedra of $ f_1, \ldots, f_k $. It may appear that the generic system with fixed supports $ \mathcal{A}_1, \ldots, \mathcal{A}_k $ is inconsistent. In this paper, we compute discrete invariants of algebraic varieties defined by system of equations which are generic in the set of consistent system with support in $\mathcal{A}_1, \ldots, \mathcal{A}_k$ by reducing the question to the Newton polyhedra theory. Unlike the classical situation, not only the Newton polyhedra of $f_1,\dots,f_k$, but also the supports $\mathcal{A}_1, \ldots, \mathcal{A}_k$ themselves appear in the answers.
Triangle-free induced subgraphs of polarity graphs
Given a finite projective plane $Π$ and a polarity $θ$ of $Π$, the corresponding polarity graph is the graph whose vertices are the points of $Π$. Two distinct vertices $p$ and $p'$ are adjacent if $p$ is incident to $θ(p')$. Polarity graphs have been used in a variety of extremal problems, perhaps the most well-known being the Turán number of the cycle of length four. We investigate the problem of finding the maximum number of vertices in an induced triangle-free subgraph of a polarity graph. Mubayi and Williford showed that when $Π$ is the projective geometry $PG(2,q)$ and $θ$ is the orthogonal polarity, an induced triangle-free subgraph has at most $\frac{1}{2}q^2 + O(q^{3/2})$ vertices. We generalize this result to all polarity graphs, and provide some interesting computational results that are relevant to an unresolved conjecture of Mubayi and Williford.
A Semi-Random Construction of Small Covering Arrays
Given a set $S$ of $v \ge 2$ symbols, and integers $k \ge t \ge 2$ and $N \ge 1$, an $N \times k$ array $A \in S^{N \times k}$ is an $(N; t, k, v)$-covering array if all sequences in $S^t$ appear as rows in every $N \times t$ subarray of $A$. These arrays have a wide variety of applications, driving the search for small covering arrays. The covering array number, $\mathrm{CAN}(t,k,v)$, is the smallest $N$ for which an $(N; t,k,v)$-covering array exists.
In this paper, we combine probabilistic and linear algebraic constructions to improve the upper bounds on $\mathrm{CAN}(t,k,v)$ by a factor of $\ln v$, showing that for prime powers $v$, $\mathrm{CAN}(t,k,v) \le (1 + o(1)) \left( (t-1) v^t / (2 \log_2 v - \log_2 (v+1)) \right)\log_2 k$, which also offers improvements for large $v$ that are not prime powers. Our main tool, which may be of independent interest, is a construction of an array with $v^t$ rows that covers the maximum possible number of subsets of size $t$.
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.
Representation theoretic realization of non-symmetric Macdonald polynomials at infinity
Published
• View Publication
• BIB
We study the nonsymmetric Macdonald polynomials specialized at infinity from various points of view. First, we define a family of modules of the Iwahori algebra whose characters are equal to the nonsymmetric Macdonald polynomials specialized at infinity. Second, we show that these modules are isomorphic to the dual spaces of sections of certain sheaves on the semi-infinite Schubert varieties. Third, we prove that the global versions of these modules are homologically dual to the level one affine Demazure modules.
The Cross-section of a Spherical Double Cone
Published
• View Publication
• BIB
We show that the poset of $SL(n)$-orbit closures in the product of two partial flag varieties is a lattice if the action of $SL(n)$ is spherical.
A trace formula for the distribution of rational $G$-orbits in ramified covers, adapted to representation stability
A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type.
Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note presents a version of the trace formula that is suited for studying the distribution in the context of representation stability: for certain sequences of varieties $(\widetilde{X}_n)$ the cohomology, and therefore the distribution of the Frobenius actions, stabilizes in a precise sense.
We conclude by fully working out the example of the Vieta cover of the variety of polynomials. The calculation includes the distribution of cycle decompositions on cosets of Young subgroups of the symmetric group, which might be of independent interest.
Direction sets, Lipschitz graphs and density
We consider the direction set determined by various subsets $E$ of Euclidean space and show that there is a trichotomy: Either (i) The subset is the graph of a Lipschitz function and the direction set is not dense in the sphere, (ii) The subset is the graph of a non-Lipschitz function and the direction set is dense but not everything, or (iii) The subset is not a graph (in a suitable sense) and every direction is determined by the set. We then explore a variety of results based on this trichotomy under additional assumptions on the set $E$.
Constructing Adjacency Arrays from Incidence Arrays
Published
• View Publication
• BIB
Graph construction, a fundamental operation in a data processing pipeline, is typically done by multiplying the incidence array representations of a graph, $\mathbf{E}_\mathrm{in}$ and $\mathbf{E}_\mathrm{out}$, to produce an adjacency array of the graph, $\mathbf{A}$, that can be processed with a variety of algorithms. This paper provides the mathematical criteria to determine if the product $\mathbf{A} = \mathbf{E}^{\sf T}_\mathrm{out}\mathbf{E}_\mathrm{in}$ will have the required structure of the adjacency array of the graph. The values in the resulting adjacency array are determined by the corresponding addition $\oplus$ and multiplication $\otimes$ operations used to perform the array multiplication. Illustrations of the various results possible from different $\oplus$ and $\otimes$ operations are provided using a small collection of popular music metadata.
Computing toric degenerations of flag varieties
Published
• View Publication
• BIB
We compute toric degenerations arising from the tropicalization of the full flag varieties $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ embedded in a product of Grassmannians. For $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ we compare toric degenerations arising from string polytopes and the FFLV polytope with those obtained from the tropicalization of the flag varieties. We also present a general procedure to find toric degenerations in the cases where the initial ideal arising from a cone of the tropicalization of a variety is not prime.
Polytopes, dualities, and Floer homology
This article is an exposition of a body of existing results, together with an announcement of recent results. We discuss a theory of polytopes associated to bipartite graphs and trinities, developed by Kálmán, Postnikov and others. This theory exhibits a variety of interesting duality and triality relations, and extends into knot theory, 3-manifold topology and Floer homology. In recent joint work with Kálmán, we extend this story into contact topology and contact invariants in sutured Floer homology.
Selected topics on Toric Varieties
This article is based on a series of lectures on toric varieties given at RIMS, Kyoto. We start by introducing toric varieties, their basic properties and later pass to more advanced topics relating mostly to combinatorics.
On Incidence Algebras and their Representations
Published
• View Publication
• BIB
We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional algebras, representations with finitely many orbits, or finitely many invariant subspaces, or distributive coincide, and further coincide with thin modules in the acyclic case. Incidence algebras produce examples of such modules, and we show that algebras which are locally hereditary, and whose projective are distributive, or equivalently, which have finitely many ideals, are precisely the deformations of incidence algebras, and they are the finite dimensional algebra analogue of Pr${\rm \ddot{u}}$fer rings. New characterizations of incidence algebras are obtained, such as they are exactly algebras which have a faithful thin module. A main consequence is that "every thin module comes from an incidence algebra": if $V$ is either a thin module over a finite dimensional algebra $A$, or $V$ is distributive and $A$ is acyclic, then $A/{\rm ann}(V)$ is an incidence algebra and $V$ can be presented as its defining representation. We classify thin/distributive modules, and respectively deformations, of incidence algebras in terms of first and second cohomology of the simplicial realization of the poset. As a main application we obtain a complete classification of thin modules over any finite dimensional algebra. Their moduli spaces are multilinear varieties, and we show that any multilinear variety can be obtained in this way. A few other applications, to Grothendieck rings of combinatorial algebras, to graphs and their incidence matrices, to linear algebra (tori actions on matrices), and to a positive answer to the "no-gap conjecture" of Ringel and Bongartz, in the distributive case, are given. Other results in the literature are re-derived.