Showing 20 papers (Total: 83076 papers, 47999 authors in database)
On The Length Spectra of Simple Regular Periodic Graphs
One can define the notion of primitive length spectrum for a simple regular periodic graph via counting the orbits of closed reduced primitive cycles under an action of a discrete group of automorphisms. We prove that this primitive length spectrum satisfies an analogue of the `Multiplicity one' property. We show that if all but finitely many primitive cycles in two simple regular periodic graphs have equal lengths, then all the primitive cycles have equal lengths. This is a graph-theoretic analogue of a similar theorem in the context of geodesics on hyperbolic spaces. We also prove, in the context of actions of finitely generated abelian groups on a graph, that if the adjacency operators for two actions of such a group on a graph are similar, then corresponding periodic graphs are length isospectral.
On the Turán number of ordered forests
An ordered graph $H$ is a simple graph with a linear order on its vertex set. The corresponding Turán problem, first studied by Pach and Tardos, asks for the maximum number $\text{ex}_<(n,H)$ of edges in an ordered graph on $n$ vertices that does not contain $H$ as an ordered subgraph. It is known that $\text{ex}_<(n,H) > n^{1+\varepsilon}$ for some positive $\varepsilon=\varepsilon(H)$ unless $H$ is a forest that has a proper 2-coloring with one color class totally preceding the other one. Making progress towards a conjecture of Pach and Tardos, we prove that $\text{ex}_<(n,H) =n^{1+o(1)}$ holds for all such forests that are "degenerate" in a certain sense. This class includes every forest for which an $n^{1+o(1)}$ upper bound was previously known, as well as new examples. Our proof is based on a density-increment argument.
The Turan number of 2P_7
Published in Discuss. Math. Graph Theory, 2017
• Search Publication
The Turán number of a graph $H$, denoted by $ex(n,H)$, is the maximum number of edges in any graph on $n$ vertices which does not contain $H$ as a subgraph. Let $P_{k}$ denote the path on $k$ vertices and let $mP_{k}$ denote $m$ disjoint copies of $P_{k}$. Bushaw and Kettle [Turán numbers of multiple paths and equibipartite forests, Combin. Probab. Comput. 20(2011) 837--853] determined the exact value of $ex(n,kP_\ell)$ for large values of $n$. Yuan and Zhang [The Turán number of disjoint copies of paths, Discrete Math. 340(2)(2017) 132--139] completely determined the value of $ex(n,kP_3)$ for all $n$, and also determined $ex(n,F_m)$, where $F_m$ is the disjoint union of $m$ paths containing at most one odd path. They also determined the exact value of $ex(n,P_3\cup P_{2\ell+1})$ for $n\geq 2\ell+4$. Recently, Bielak and Kieliszek [The Turán number of the graph $2P_5$, Discuss. Math. Graph Theory 36(2016) 683--694], Yuan and Zhang [Turán numbers for disjoint paths, arXiv: 1611.00981v1] independently determined the exact value of $ex(n,2P_5)$. In this paper, we show that $ex(n,2P_{7})=\max\{[n,14,7],5n-14\}$ for all $n \ge 14$, where $[n,14,7]=(5n+91+r(r-6))/2$, $n-13\equiv r\,(\text{mod }6)$ and $0\leq r< 6$.
Presentations of Cluster Modular Groups and Generation by Cluster Dehn Twists
Published in SIGMA 16 (2020), 025, 22 pages
• View Publication
• BIB
We give a method to compute presentations of saturated cluster modular groups. Using this, we obtain finite presentations of the saturated cluster modular groups of finite mutation type $X_6$ and $X_7$. We verify that the cluster modular groups of finite mutation type $\widetilde{E}_6$, $\widetilde{E}_7$, $\widetilde{E}_8$, $G_2^{(*,*)}$, $X_6$ and $X_7$ are virtually generated by cluster Dehn twists.
Integrable Combinatorics
Published
• View Publication
• BIB
We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of conservation laws that often make the problems exactly solvable. We illustrate this with: random surfaces, lattice models, and structure constants in representation theory.
Universal minimal flows of generalized Ważewski dendrites
Published in J. symb. log. 83 (2018) 1618-1632
• View Publication
• BIB
We study universal minimal flows of the homeomorphism groups of generalized Ważewski dendrites $W_P$, $P\subset\{3,4,\ldots,ω\}$. If $P$ is finite, we prove that the universal minimal flow of of the homeomorphism group $H(W_P)$ is metrizable and we compute it explicitly. This answers a question of B. Duchesne.
If $P$ is infinite, we show that the universal minimal flow of $H(W_P)$ is not metrizable. This provides examples of topological groups which are Roelcke precompact and have a non-metrizable universal minimal flow with a comeager orbit.
Local cohomology and the multi-graded regularity of FI$^m$-modules
Published
• View Publication
• BIB
We develop a local cohomology theory for FI$^m$-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI$^m$-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.
Avoidance bases for formulas with reversal
Published
• View Publication
• BIB
In the interest of studying formulas with reversal of high avoidability index, we find $n$-avoidance bases for formulas with reversal for $n\in\{1,2,3\}$. We demonstrate that there is a unique formula with reversal in each of these three bases of highest avoidability index $n+2$; these formulas are $xx$, $xyx\cdot y^R$, and $xyzx\cdot y^R\cdot z^R$, which belong to an infinite family of formulas with reversal that has been the subject of recent study by the authors.
On $e$-positivity and $e$-unimodality of chromatic quasisymmetric functions
Published
• View Publication
• BIB
The $e$-positivity conjecture and the $e$-unimodality conjecture of chromatic quasisymmetric functions are proved for some classes of natural unit interval orders. Recently, J. Shareshian and M. Wachs introduced chromatic quasisymmetric functions as a refinement of Stanley's chromatic symmetric functions and conjectured the $e$-positivity and the $e$-unimodality of these functions. The $e$-positivity of chromatic quasisymmetric functions implies the $e$-positivity of corresponding chromatic symmetric functions, and our work resolves Stanley's conjecture on chromatic symmetric functions of $(3+1)$-free posets for two classes of natural unit interval orders.
Polyhedral parametrizations of canonical bases & cluster duality
Published
• View Publication
• BIB
We establish the relation of the potential function constructed by Gross-Hacking-Keel-Kontsevich's and Berenstein-Kazhdan's decoration function on the open double Bruhat cell in the base affine space $G/\mathcal{N}$ of a simple, simply connected, simply laced algebraic group $G$. As a byproduct we derive explicit identifications of polyhedral parametrization of canonical bases of the ring of regular functions on $G/\mathcal{N}$ arising from the tropicalizations of the potential and decoration function with the classical string and Lusztig parametrizations.
Lefschetz and Lower Bound theorems for Minkowski sums
This note provides a Lefschetz theorem for Minkowski sums of polytopes, and conclude lower bound theorems for Minkowski sums of polytopes. It is written as an appendix to arXiv:1405.7368, so notation and references follow that paper.
Statistics of the Voronoi cell perimeter in large bi-pointed maps
Published in J. Stat. Mech. (2018) 073409
• View Publication
• BIB
We study the statistics of the Voronoi cell perimeter in large bi-pointed planar quadrangulations. Such maps have two marked vertices at a fixed given distance $2s$ and their Voronoi cell perimeter is simply the length of the frontier which separates vertices closer to one marked vertex than to the other. We characterize the statistics of this perimeter as a function of $s$ for maps with a large given volume $N$ both in the scaling limit where $s$ scales as $N^{1/4}$, in which case the Voronoi cell perimeter scales as $N^{1/2}$, and in the local limit where $s$ remains finite, in which case the perimeter scales as $s^2$ for large $s$. The obtained laws are universal and are characteristics of the Brownian map and the Brownian plane respectively.
On the optimality of the uniform random strategy
Published
• View Publication
• BIB
The concept of biased Maker-Breaker games, introduced by Chvátal and Erd{\H o}s, is a central topic in the field of positional games, with deep connections to the theory of random structures. For any given hypergraph ${\cal H}$ the main questions is to determine the smallest bias $q({\cal H})$ that allows Breaker to force that Maker ends up with an independent set of ${\cal H}$. Here we prove matching general winning criteria for Maker and Breaker when the game hypergraph satisfies a couple of natural `container-type' regularity conditions about the degree of subsets of its vertices. This will enable us to derive a hypergraph generalization of the $H$-building games, studied for graphs by Bednarska and Łuczak. Furthermore, we investigate the biased version of generalizations of the van der Waerden games introduced by Beck. We refer to these generalizations as Rado games and determine their threshold bias up to constant factors by applying our general criteria. We find it quite remarkable that a purely game theoretic deterministic approach provides the right order of magnitude for such a wide variety of hypergraphs, when the generalizations to hypergraphs in the analogous setup of sparse random discrete structures are usually quite challenging.
On tight cycles in hypergraphs
Published
• View Publication
• BIB
A tight $k$-uniform $\ell$-cycle, denoted by $TC_\ell^k$, is a $k$-uniform hypergraph whose vertex set is $v_0, \cdots, v_{\ell-1}$, and the edges are all the $k$-tuples $\{v_i, v_{i+1}, \cdots, v_{i+k-1}\}$, with subscripts modulo $\ell$. Motivated by a classic result in graph theory that every $n$-vertex cycle-free graph has at most $n-1$ edges, Sós and, independently, Verstraëte asked whether for every integer $k$, a $k$-uniform $n$-vertex hypergraph without any tight $k$-uniform cycles has at most $\binom{n-1}{k-1}$ edges. In this paper, we answer this question in negative.
Families of nested graphs with compatible symmetric-group actions
Published
• View Publication
• BIB
For fixed positive integers $n$ and $k$, the Kneser graph $KG_{n,k}$ has vertices labeled by $k$-element subsets of $\{1,2,\dots,n\}$ and edges between disjoint sets. Keeping $k$ fixed and allowing $n$ to grow, one obtains a family of nested graphs, each of which is acted on by a symmetric group in a way which is compatible with all of the other actions. In this paper, we provide a framework for studying families of this kind using the FI-module theory of Church, Ellenberg, and Farb, and show that this theory has a variety of asymptotic consequences for such families of graphs. These consequences span a range of topics including enumeration, concerning counting occurrences of subgraphs, topology, concerning Hom-complexes and configuration spaces of the graphs, and algebra, concerning the changing behaviors in the graph spectra.
The Combinatorics of Higher Derivatives of Implicit Functions
Published in Monatsh. Math. 188 (2019) issue 4 765--784
• View Publication
• BIB
We prove a closed formula for the derivative, of any order, of a implicit function, in terms of some binomial building blocks, and explain the combinatorics behind the coefficients appearing in the formula.
On k-neighbor separated permutations
Two permutations of $[n]=\{1,2 \ldots n\}$ are \textit{$k$-neighbor separated} if there are two elements that are neighbors in one of the permutations and that are separated by exactly $k-2$ other elements in the other permutation. Let the maximal number of pairwise $k$-neighbor separated permutations of $[n]$ be denoted by $P(n,k)$. In a previous paper, the authors have determined $P(n,3)$ for every $n$, answering a question of Körner, Messuti and Simonyi affirmatively. In this paper we prove that for every fixed positive integer $\ell $, $$P(n,2^\ell+1) = 2^{n-o(n)}. $$ We conjecture that for every fixed even $k$, $P(n,k)=2^{n-o(n)}$. We also show that this conjecture is asymptotically true in the following sense $$\lim_{k \rightarrow \infty} \lim_{n \rightarrow \infty} \sqrt[n]{P(n,k)}=2.$$ Finally, we show that for even $n$, $P(n,n)= 3n/2$.
Extremal graphs with respect to the total-eccentricity index
Published
• View Publication
• BIB
In a connected graph G, the distance between two vertices of G is the length of a shortest path between these vertices. The eccentricity of a vertex u in G is the largest distance between u and any other vertex of G. The total-eccentricity index τ(G) is the sum of eccentricities of all vertices of G. In this paper, we find extremal trees, unicyclic and bicyclic graphs with respect to total-eccentricity index. Moreover, we find extremal conjugated trees with respect to total-eccentricity index.
Universal Cycles of Restricted Words
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian, this baseline result is used as the basis of existence proofs for universal cycles (also known as generalized deBruijn cycles or U-cycles) of several combinatorial objects. We extend the body of known results by presenting new results on the existence of universal cycles of monotone, "augmented onto", and Lipschitz functions in addition to universal cycles of certain types of lattice paths and random walks.
On Infinity Type Hyperplane Arrangements and Convex Positive Bijections
Published in Indian Journal of Pure and Applied Mathematics (IJPA), Vol. 56, Issue 3, Pages 1235-1259, September 2025
• View Publication
• BIB
In this article we prove in main Theorem A that any infinity type real hyperplane arrangement $\mathcal{H}_n^m$ (Definition 2.11) with the associated normal system $\mathcal{N}$ (Definitions [2.2,2.4] can be represented isomorphically (Definition 2.6) by another infinity type hyperplane arrangement $\tilde{\mathcal{H}}_n^m$ with a given associated normal system $\tilde{\mathcal{N}}$ if and only if the normal systems $\mathcal{N}$ and $\tilde{\mathcal{N}}$ are isomorphic, that is, there is a convex positive bijection (Definition 2.5) between a pair of associated sets of normal antipodal pairs of vectors of $\mathcal{N}$ and $\tilde{\mathcal{N}}$.