natural ↗ reference
4894 papers tagged with this keyword
On the cromatic number of infinitesimal plane layer
Published in Algebra i Analiz, 2017, Volume 29, Issue 5, Pages 68--89
• View Publication
• BIB
We consider natural generalization of plane chromatic number problem. We consider chromatic numbers $χ$ of spaces $\mathbb{R}^n \times [0,\varepsilon]^k$ for arbitrary small $\varepsilon$.
We prove that $5 \leqχ(\mathbb{R}^2\times [0,\varepsilon])\leq 7$ and ${6\leq χ(\mathbb{R}^2\times [0,\varepsilon]^2) \leq 7}$.
Also we consider natural questions, arising from this considerations.
Classification of weighted networks through mesoscale homological features
Published
• View Publication
• BIB
As complex networks find applications in a growing range of disciplines, the diversity of naturally occurring and model networks being studied is exploding. The adoption of a well-developed collection of network taxonomies is a natural method for both organizing this data and understanding deeper relationships between networks. Most existing metrics for network structure rely on classical graph-theoretic measures, extracting characteristics primarily related to individual vertices or paths between them, and thus classify networks from the perspective of local features. Here, we describe an alternative approach to studying structure in networks that relies on an algebraic-topological metric called persistent homology, which studies intrinsically mesoscale structures called cycles, constructed from cliques in the network. We present a classification of 14 commonly studied weighted network models into four groups or classes, and discuss the structural themes arising in each class. Finally, we compute the persistent homology of two real-world networks and one network constructed by a common dynamical systems model, and we compare the results with the three classes to obtain a better understanding of those networks.
The Topology of Equivariant Hilbert Schemes
Published
• View Publication
• BIB
For $G$ a finite group acting linearly on $\mathbb{A}^2$, the equivariant Hilbert scheme $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ is a natural resolution of singularities of $\operatorname{Sym}^r(\mathbb{A}^2/G)$. In this paper we study the topology of $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ for abelian $G$ and how it depends on the group $G$. We prove that the topological invariants of $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ are periodic or quasipolynomial in the order of the group $G$ as $G$ varies over certain families of abelian subgroups of $GL_2$. This is done by using the Bialynicki-Birula decomposition to compute topological invariants in terms of the combinatorics of a certain set of partitions.
Ramsey numbers for partially-ordered sets
Published
• View Publication
• BIB
We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of partially-ordered sets to form host graphs for Ramsey problems. We explore connections to well studied Turán-type problems in partially-ordered sets, particularly those in the Boolean lattice. We find a strong difference between Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the partial ordering on the graphs have large antichains.
Polynomiality of shifted Plancherel averages and content evaluations
Published in Annales Mathématiques Blaise Pascal 24, no. 1 (2017), 55-82
• View Publication
• BIB
The shifted Plancherel measure is a natural probability measure on strict partitions. We prove a polynomiality property for the averages of the shifted Plancherel measure. As an application, we give alternative proofs of some content evaluation formulas, obtained by Han and Xiong very recently. Our main tool is factorial Schur $Q$-functions.
Simplicial moves on balanced complexes
Published
• View Publication
• BIB
We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can be connected by a sequence of cross-flips. Along the way we prove that for every $m \geq d+2$ and any closed combinatorial $d$-manifold $M$, two $m$-colored triangulations of $M$ can be connected by a sequence of bistellar flips that preserve the vertex colorings.
Money as Minimal Complexity
Published
• View Publication
• BIB
We consider mechanisms that provide traders the opportunity to exchange commodity $i$ for commodity $j$, for certain ordered pairs $ij$. Given any connected graph $G$ of opportunities, we show that there is a unique mechanism $M_{G}$ that satisfies some natural conditions of "fairness" and "convenience". Let $\mathfrak{M}(m)$ denote the class of mechanisms $M_{G}$ obtained by varying $G$ on the commodity set $\left\{1,\ldots,m\right\} $. We define the complexity of a mechanism $M$ in $\mathfrak{M(m)}$ to be a certain pair of integers $τ(M),π(M)$ which represent the time required to exchange $i$ for $j$ and the information needed to determine the exchange ratio (each in the worst case scenario, across all $i\neq j$). This induces a quasiorder $\preceq$ on $\mathfrak{M}(m)$ by the rule \[ M\preceq M^{\prime}\text{if}τ(M)\leqτ(M^{\prime})\text{and}π(M)\leqπ(M^{\prime}). \] We show that, for $m>3$, there are precisely three $\preceq$-minimal mechanisms $M_{G}$ in $\mathfrak{M}(m)$, where $G$ corresponds to the star, cycle and complete graphs. The star mechanism has a distinguished commodity -- the money -- that serves as the sole medium of exchange and mediates trade between decentralized markets for the other commodities.
Our main result is that, for any weights $λ,μ>0,$ the star mechanism is the unique minimizer of $λτ(M)+μπ(M)$ on $\mathfrak{M}(m)$ for large enough $m$.
The modular group and words in its two generators
Published in Lithuanian Mathematical Journal, 57 (1), (2017), 1-12
• View Publication
• BIB
Consider the full modular group $\sf{PSL}_{2}(\mathbb{Z})$ with presentation $\langle U,S|U^3,S^2\rangle$. Motivated by our investigations on quasi-modular forms and the Minkowski question mark function (so that this paper might be considered as a necessary appendix), we are lead to the following natural question. Some words in the alphabet $\{U,S\}$ are equal to the unity; for example, $USU^3SU^2$ is such a word of length $8$, and $USU^3SUSU^3S^3U$ is such a word of length $15$. Given $n\in\mathbb{N}_{0}$. Find the number of words of length $n$ which are equal to the unity. This is the new entry A265434 into the Online Encyclopedia of Integer Sequences. We investigate the generating function of this sequence and prove that it is an algebraic function over $\mathbb{Q}(x)$ of degree $3$. As an aside, we formulate the problem of describing all algebraic functions with a Fermat property.
Random Tensor models: Combinatorics, Geometry, Quantum Gravity and Integrability
In this thesis manuscript we explore different facets of random tensor models. These models have been introduced to mimic the incredible successes of random matrix models in physics, mathematics and combinatorics. After giving a very short introduction to few aspects of random matrix models and recalling a physical motivation called Group Field Theory, we start exploring the world of random tensor models and its relation to geometry, quantum gravity and combinatorics. We first define these models in a natural way and discuss their geometry and combinatorics. After these first explorations we start generalizing random matrix methods to random tensors in order to describes the mathematical and physical properties of random tensor models, at least in some specific cases.
Orthogonal apartments in Hilbert Grassmannians
Published
• View Publication
• BIB
Let $H$ be an infinite-dimensional complex Hilbert space and let ${\mathcal L}(H)$ be the logic formed by all closed subspaces of $H$. For every natural $k$ we denote by ${\mathcal G}_{k}(H)$ the Grassmannian consisting of $k$-dimensional subspaces. An orthogonal apartment of ${\mathcal G}_{k}(H)$ is the set consisting of all $k$-dimensional subspaces spanned by subsets of a certain orthogonal base of $H$. Orthogonal apartments can be characterized as maximal sets of mutually compatible elements of ${\mathcal G}_{k}(H)$. We show that every bijective transformation $f$ of ${\mathcal G}_{k}(H)$ such that $f$ and $f^{-1}$ send orthogonal apartments to orthogonal apartments (in other words, $f$ preserves the compatibility relation in both directions) can be uniquely extended to an automorphism of ${\mathcal L}(H)$.
Codegree thresholds for covering 3-uniform hypergraphs
Published
• View Publication
• BIB
Given two 3-uniform hypergraphs F and G, we say that G has an F-covering if we can cover V(G) by copies of F. The minimum codegree of G is the largest integer d such that every pair of vertices from V(G) is contained in at least d triples from E(G). Define c_2(n,F) to be the largest minimum codegree among all n-vertex 3-graphs G that contain no F-covering. This is a natural problem intermediate (but distinct) from the well-studied Turán problems and tiling problems.
In this paper, we determine c_2(n, K_4) (for n>98) and the associated extremal configurations (for n>998), where K_4 denotes the complete 3-graph on 4 vertices. We also obtain bounds on c_2(n,F) which are apart by at most 2 in the cases where F is K_4^- (K_4 with one edge removed), K_5^-, and the tight cycle C_5 on 5 vertices.
Pretzel Knots and q-Series
The tail of the colored Jones polynomial of an alternating link is a $q$-series invariant whose first $n$ terms coincide with the first $n$ terms of the $n$-th colored Jones polynomial. Recently, it has been shown that the tail of the colored Jones polynomial of torus knots give rise to Ramanujan type identities. In this paper, we study $q$-series identities coming from the colored Jones polynomial of pretzel knots. We prove a false theta function identity that goes back to Ramanujan and we give a natural generalization of this identity using the tail of the colored Jones polynomial of Pretzel knots. Furthermore, we compute the tail for an infinite family of Pretzel knots and relate it to false theta function-type identities.
$F$-WORM colorings: Results for 2-connected graphs
Given two graphs $F$ and $G$, an $F$-WORM coloring of $G$ is an assignment of colors to its vertices in such a way that no $F$-subgraph of $G$ is monochromatic or rainbow. If $G$ has at least one such coloring, then it is called $F$-WORM colorable and $W^-(G,F)$ denotes the minimum possible number of colors. Here, we consider $F$-WORM colorings with a fixed 2-connected graph $F$ and prove the following three main results: (1) For every natural number $k$, there exists a graph $G$ which is $F$-WORM colorable and $W^-(G,F)=k$; (2) It is NP-complete to decide whether a graph is $F$-WORM colorable; (3) For each $k \ge |V(F)|-1$, it is NP-complete to decide whether a graph $G$ satisfies $W^-(G,F) \le k$. This remains valid on the class of $F$-WORM colorable graphs of bounded maximum degree. For complete graphs $F=K_n$ with $n \ge 3$ we also prove: (4) For each $n \ge 3$ there exists a graph $G$ and integers $r$ and $s$ such that $s \ge r+2$, $G$ has $K_n$-WORM colorings with exactly $r$ and also with $s$ colors, but it admits no $K_n$-WORM colorings with exactly $r+1, \dots, s-1$ colors. Moreover, the difference $s-r$ can be arbitrarily large.
Hitting Set for hypergraphs of low VC-dimension
We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis dimension (VC-dimension) of the input is small. VC-dimension is a natural measure of complexity of set systems. Several tractable instances of Hitting Set with a geometric or graph-theoretical flavor are known to have low VC-dimension. In set systems of bounded VC-dimension, Hitting Set is known to admit efficient and almost optimal approximation algorithms (Brönnimann and Goodrich, 1995; Even, Rawitz, and Shahar, 2005; Agarwal and Pan, 2014).
In contrast to these approximation-results, a low VC-dimension does not necessarily imply tractability in the parameterized sense. In fact, we show that Hitting Set is W[1]-hard already on inputs with VC-dimension 2, even if the VC-dimension of the dual set system is also 2. Thus, Hitting Set is very unlikely to be fixed-parameter tractable even in this arguably simple case. This answers an open question raised by King in 2010. For set systems whose (primal or dual) VC-dimension is 1, we show that Hitting Set is solvable in polynomial time.
To bridge the gap in complexity between the classes of inputs with VC-dimension 1 and 2, we use a measure that is more fine-grained than VC-dimension. In terms of this measure, we identify a sharp threshold where the complexity of Hitting Set transitions from polynomial-time-solvable to NP-hard. The tractable class that lies just under the threshold is a generalization of Edge Cover, and thus extends the domain of polynomial-time tractability of Hitting Set.
Tight Bounds for Gomory-Hu-like Cut Counting
Published
• View Publication
• BIB
By a classical result of Gomory and Hu (1961), in every edge-weighted graph $G=(V,E,w)$, the minimum $st$-cut values, when ranging over all $s,t\in V$, take at most $|V|-1$ distinct values. That is, these $\binom{|V|}{2}$ instances exhibit redundancy factor $Ω(|V|)$. They further showed how to construct from $G$ a tree $(V,E',w')$ that stores all minimum $st$-cut values. Motivated by this result, we obtain tight bounds for the redundancy factor of several generalizations of the minimum $st$-cut problem.
1. Group-Cut: Consider the minimum $(A,B)$-cut, ranging over all subsets $A,B\subseteq V$ of given sizes $|A|=α$ and $|B|=β$. The redundancy factor is $Ω_{α,β}(|V|)$.
2. Multiway-Cut: Consider the minimum cut separating every two vertices of $S\subseteq V$, ranging over all subsets of a given size $|S|=k$. The redundancy factor is $Ω_{k}(|V|)$.
3. Multicut: Consider the minimum cut separating every demand-pair in $D\subseteq V\times V$, ranging over collections of $|D|=k$ demand pairs. The redundancy factor is $Ω_{k}(|V|^k)$. This result is a bit surprising, as the redundancy factor is much larger than in the first two problems.
A natural application of these bounds is to construct small data structures that stores all relevant cut values, like the Gomory-Hu tree. We initiate this direction by giving some upper and lower bounds.
A spectral sequence for polyhedral products
Published
• View Publication
• BIB
The purpose of this paper is to exhibit fine structure for polyhedral products Z(K;(X,A) and polyhedral smash products $\widehat{Z}(K;(X,A)$. (Moment-angle complexes are special cases for which (X,A) = (D^2,S^1)). There are three main parts. The first defines a natural filtration of the polyhedral product and derives properties of the resulting spectral sequence. This is followed with applications. The second part uses the first to give a homological decomposition of the polyhedral smash product. Finally there are applications to the ring structure of H*(Z(K;(X,A))) for CW-pairs (X,A) satisfying suitable freeness conditions.
Dimension counts for singular rational curves via semigroups
Published
• View Publication
• BIB
We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, holds whenever $g$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of $g$-nodal rational curves.
Neighbors, Generic Sets and Scarf-Buchberger Hypersurfaces
The present paper is motivated by the need to generalize the construction of the Scarf complex in order to give combinatorial resolutions of a much broader class of modules than just the monomial ideals. For any subset $A\subseteq \mathbb{R}^n$, let $\mathfrak{N}(A)$ denote the collection of all subsets $B\subseteq A$ such that there is no $a\in A$ that is strictly less than the supremum of $B$ in all coordinates. We show that if $A\subseteq \mathbb{Z}^n$ is generic (in a sense appropriate for this context), then $\mathfrak{N}(A)$ is a locally finite simplicial complex. Moreover, if $A$ is generic, then the barycentric subdivision of $\mathfrak{N}(A)$ is equivalent to a triangulation of a PL hypersurface in $\mathbb{R}^n$. This gives us natural generalizations of the notions of ``staircase surface'' and ``Buchberger graph,'' described by Miller and Sturmfels, to arbitrary dimension. (This seems to be a new result, even in the well-studied case that $A$ is a finite subset of $\mathbb{N}^n$.) We give examples that show that when $A$ is infinite, $\mathfrak{N}(A)$ may have complicated topology, but if there are at most finitely many elements of $A$ below any given $b\in \mathbb{R}^n$, then $\mathfrak{N}(A)$ is locally contractible. $\mathfrak{N}(A)$ can therefore be used to construct locally finite free resolutions of sub-$k[\mathbb{N}^n]$-modules of the group algebra $k[\mathbb{R}^n]$ ($k$ is a field). We prove various additional facts about the structure of $\mathfrak{N}(A)$
An Application of Markov Chain Analysis to Integer Complexity
The complexity $f(n)$ of an integer was introduced in 1953 by Mahler & Popken: it is defined as the smallest number of $1$'s needed in conjunction with arbitrarily many +, * and parentheses to write an integer $n$ (for example, $f(6) \leq 5$ since $6 = (1+1)(1+1+1)$). The best known bounds are $$ 3 \log_{3}{n} \leq f(n) \leq 3.635 \log_{3}{n}.$$ The lower bound is due to Selfridge (with equality for powers of 3); the upper bound was recently proven by Arias de Reyna & Van de Lune, and holds on a set of natural density one.
We use Markov chain methods to analyze a large class of algorithms, including one found by David Bevan that improves the upper bound to $$ f(n) \leq 3.52 \log_{3}{n}$$ on a set of logarithmic density one.
Matrix-Ball Construction of affine Robinson-Schensted correspondence
Published
• View Publication
• BIB
In his study of Kazhdan-Lusztig cells in affine type $A$, Shi has introduced an affine analog of Robinson-Schensted correspondence. We generalize the Matrix-Ball Construction of Viennot and Fulton to give a more combinatorial realization of Shi's algorithm. As a biproduct, we also give a way to realize the affine correspondence via the usual Robinson-Schensted bumping algorithm. Next, inspired by Lusztig and Xi, we extend the algorithm to a bijection between extended affine symmetric group and triples $(P, Q, ρ)$ where $P$ and $Q$ are tabloids and $ρ$ is a dominant weight. The weights $ρ$ get a natural interpretation in terms of the Affine Matrix-Ball Construction. Finally, we prove that fibers of the inverse map possess a Weyl group symmetry, explaining the dominance condition on weights.