Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Cluster Transformations from Bipartite Field Theories
Published
• View Publication
• BIB
Bipartite field theories (BFTs) are a new class of 4d N=1 quantum field theories defined by bipartite graphs on bordered Riemann surfaces. In this paper we derive, purely in terms of the gauge theory, the cluster transformations of face weights under square moves in the graph. In this context, we obtain them by connecting regular parametrizations of the master space of the associated BFTs. For BFTs on a disk, these transformations follow from the properties of coordinates in the Grassmannian. This represents a new addition to the list of combinatorial objects for the Grassmannian, such as matching and matroid polytopes, that have been shown to emerge from BFT dynamics.
The computational landscape of permutation patterns
Published in Pure Mathematics and Applications, 24 (2): 83-101, 2013
• Search Publication
In the last years, different types of patterns in permutations have been studied: vincular, bivincular and mesh patterns, just to name a few. Every type of permutation pattern naturally defines a corresponding computational problem: Given a pattern P and a permutation T (the text), is P contained in T? In this paper we draw a map of the computational landscape of permutation pattern matching with different types of patterns. We provide a classical complexity analysis and investigate the impact of the pattern length on the computational hardness. Furthermore, we highlight several directions in which the study of computational aspects of permutation patterns could evolve.
Triangles, Rotation, a Theorem and the Jackpot
This is an expository paper designed to introduce undergraduates to the Atiyah-Singer index theorem 50 years after its announcement. It includes motivation, a statement of the theorem, an outline of the easy part of the heat equation proof. It includes counting lattice points and knot concordance as applications.
The compositional inverse of a class of bilinear permutation polynomials over finite fields of characteristic 2
Published
• View Publication
• BIB
A class of bilinear permutation polynomials over a finite field of characteristic 2 was constructed in a recursive manner recently which involved some other constructions as special cases. We determine the compositional inverses of them based on a direct sum decomposition of the finite field. The result generalizes that in [R.S. Coulter, M. Henderson, The compositional inverse of a class of permutation polynomials over a finite field, Bull. Austral. Math. Soc. 65 (2002) 521-526].
Ramsey-type results for semi-algebraic relations
Published
• View Publication
• BIB
A k-ary semi-algebraic relation E on R^d is a subset of R^{kd}, the set of k-tuples of points in R^d, which is determined by a finite number of polynomial equations and inequalities in kd real variables. The description complexity of such a relation is at most t if the number of polynomials and their degrees are all bounded by t. A subset A of R^d is called homogeneous if all or none of the k-tuples from A satisfy E. A large number of geometric Ramsey-type problems and results can be formulated as questions about finding large homogeneous subsets of sets in R^d equipped with semi-algebraic relations.
In this paper we study Ramsey numbers for k-ary semi-algebraic relations of bounded complexity and give matching upper and lower bounds, showing that they grow as a tower of height k-1. This improves on a direct application of Ramsey's theorem by one exponential and extends a result of Alon, Pach, Pinchasi, Radoičić, and Sharir, who proved this for k=2. We apply our results to obtain new estimates for some geometric Ramsey-type problems relating to order types and one-sided sets of hyperplanes. We also study the off-diagonal case, achieving some partial results.
On eigenvalues of Seidel matrices and Haemers' conjecture
Published
• View Publication
• BIB
For a graph $G$, let $S(G)$ be the Seidel matrix of $G$ and $\te_1(G),...,\te_n(G)$ be the eigenvalues of $S(G)$. The Seidel energy of $G$ is defined as $|\te_1(G)|+...+|\te_n(G)|$. Willem Haemers conjectured that the Seidel energy of any graph with $n$ vertices is at least $2n-2$, the Seidel energy of the complete graph with $n$ vertices. Motivated by this conjecture, we prove that for any $\al$ with $0<\al<2$, $|\te_1(G)|^\al+...+|\te_n(G)|^\al\g (n-1)^\al+n-1$ if and only if $|{\rm det} S(G)|\g n-1$. This, in particular, implies the Haemers' conjecture for all graphs $G$ with $|{\rm det} S(G)|\g n-1$.
A blueprinted view on $\mathbb F_1$-geometry
Published
• View Publication
• BIB
This overview paper has two parts. In the first part, we review the development of $\mathbb F_1$-geometry from the first mentioning by Jacques Tits in 1956 until the present day. We explain the main ideas around $\mathbb F_1$, embedded into the historical context, and give an impression of the multiple connections of $\mathbb F_1$-geometry to other areas of mathematics.
In the second part, we review (and preview) the geometry of blueprints. Beyond the basic definitions of blueprints, blue schemes and projective geometry, this includes a theory of Chevalley groups over $\mathbb F_1$ together with their action on buildings over $\mathbb F_1$; computations of the Euler characteristic in terms of $\mathbb F_1$-rational points, which involve quiver Grassmannians; $K$-theory of blue schemes that reproduces the formula $K_i(\mathbb F_1)=π^{st}_i(S^0)$; models of the compactifications of $\Spec \mathbb Z$ and other arithmetic curves; and explanations about the connections to other approaches towards $\mathbb F_1$ like monoidal schemes after Deitmar, $B_1$-algebras after Lescot, $Λ$-schemes after Borger, relative schemes after Toën and Vaquié, log schemes after Kato and congruence schemes after Berkovich and Deitmar.
A New Proof of Kemperman's Theorem
Let $G$ be an additive abelian group and let $A,B \subseteq G$ be finite and nonempty. The pair $(A,B)$ is called critical if the sumset $A+B = {a+b \mid $a \in A$ and $b\in B$}$ satisfies $|A+B| < |A| + |B|$. Vosper proved a theorem which characterizes all critical pairs in the special case when $|G|$ is prime. Kemperman generalized this by proving a structure theorem for critical pairs in an arbitrary abelian group. Here we give a new proof of Kemperman's Theorem.
The Structure of Critical Product Sets
Let $G$ be a multiplicative group, let $A,B \subseteq G$ be finite and nonempty, and define the product set $AB = {ab \mid $a \in A$ and $b \in B$}$. Two fundamental problems in combinatorial number theory are to find lower bounds on $|AB|$, and then to determine structural properties of $A$ and $B$ under the assumption that $|AB|$ is small. We focus on the extreme case when $|AB| < |A| + |B|$, and call any such pair $(A,B)$ \emph{critical}.
In the case when $|G|$ is prime, the Cauchy-Davenport Theorem asserts that $|AB| \ge \min {|G|, |A| + |B| - 1}$, and Vosper refined this result by classifying all critical pairs in these groups. For abelian groups, Kneser proved a natural generalization of Cauchy-Davenport by showing that there exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and $ABH = AB$. Kemperman then proved a result which characterizes the structure of all critical pairs in abelian groups.
Our main result gives a classification of all critical pairs in an arbitrary group $G$. As a consequence of this we derive the following generalization of Kneser's Theorem to arbitrary groups: There exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and so that for every $y \in AB$ there exists $x \in G$ so that $y(x^{-1} H x) \subseteq AB$.
Ricci-flat graphs with girth at least five
Published
• View Publication
• BIB
A graph is called Ricci-flat if its Ricci-curvatures vanish on all edges. Here we use the definition of Ricci-cruvature on graphs given in [Lin-Lu-Yau, Tohoku Math., 2011], which is a variation of [Ollivier, J. Funct. Math., 2009]. In this paper, we classified all Ricci-flat connected graphs with girth at least five: they are the infinite path, cycle $C_n$ ($n\geq 6$), the dodecahedral graph, the Petersen graph, and the half-dodecahedral graph. We also construct many Ricci-flat graphs with girth 3 or 4 by using the root systems of simple Lie algebras.
Flow-continuous mappings -- influence of the group
Many questions at the core of graph theory can be formulated as questions about certain group-valued flows: examples are the cycle double cover conjecture, Berge-Fulkerson conjecture, and Tutte's 3-flow, 4-flow, and 5-flow conjectures. As an approach to these problems Jaeger and DeVos, Nešetřil, and Raspaud define a notion of graph morphisms continuous with respect to group-valued flows. We discuss the influence of the group on these maps. In particular, we prove that the number of flow-continuous mappings between two graphs does not depend on the group, but only on the largest order of an element of the group (i.e., on the exponent of the group). Further, there is a nice algebraic structure describing for which groups a mapping is flow-continuous.
On the combinatorial side, we show that for cubic graphs the only relevant groups are $\Z_2$, $\Z_3$, and $\Z$.
Solutions to conjectures on the $(k,\ell)$-rainbow index of complete graphs
Published
• View Publication
• BIB
The $(k,\ell)$-rainbow index $rx_{k, \ell}(G)$ of a graph $G$ was introduced by Chartrand et. al. For the complete graph $K_n$ of order $n\geq 6$, they showed that $rx_{3,\ell}(K_n)=3$ for $\ell=1,2$. Furthermore, they conjectured that for every positive integer $\ell$, there exists a positive integer $N$ such that $rx_{3,\ell}(K_{n})=3$ for every integer $n \geq N$. More generally, they conjectured that for every pair of positive integers $k$ and $\ell$ with $k\geq 3$, there exists a positive integer $N$ such that $rx_{k,\ell}(K_{n})=k$ for every integer $n \geq N$. This paper is to give solutions to these conjectures.
Wonder of sine-Gordon Y-systems
Published in Trans. Amer. Math. Soc. 368 (2016) 6835--6886
• View Publication
• BIB
The sine-Gordon Y-systems and the reduced sine-Gordon Y-systems were introduced by Tateo in the 90's in the study of the integrable deformation of conformal field theory by the thermodynamic Bethe ansatz method. The periodicity property and the dilogarithm identities concerning these Y-systems were conjectured by Tateo, and only a part of them have been proved so far. In this paper we formulate these Y-systems by the polygon realization of cluster algebras of types A and D, and prove the conjectured periodicity and dilogarithm identities in full generality. As it turns out, there is a wonderful interplay among continued fractions, triangulations of polygons, cluster algebras, and Y-systems.
Around a biclique cover conjecture
We address an old (1977) conjecture of a subset of the authors (a variant of Ryser's conjecture): in every r-coloring of the edges of a biclique [A,B] (complete bipartite graph), the vertex set can be covered by the vertices of at most 2r-2 monochromatic connected components. We reduce this conjecture to design-like conjectures, where the monochromatic components of the color classes are bicliques [X,Y] with nonempty blocks X and Y. We prove this conjecture for r<6.
We show that the width (the number of bicliques) in every color class of any spanning r-coloring is at most 2^{r-1} (and this is best possible).
On two conjectures of Maurer concerning basis graphs of matroids
Published in Journal of Combinatorial Theory, Series B 114 (2015) 1-32
• View Publication
• BIB
We characterize 2-dimensional complexes associated canonically with basis graphs of matroids as simply connected triangle-square complexes satisfying some local conditions. This proves a version of a (disproved) conjecture by Stephen Maurer (Conjecture 3 of S. Maurer, Matroid basis graphs I, JCTB 14 (1973), 216-240). We also establish Conjecture 1 from the same paper about the redundancy of the conditions in the characterization of basis graphs. We indicate positive-curvature-like aspects of the local properties of the studied complexes. We characterize similarly the corresponding 2-dimensional complexes of even $Δ$-matroids.
Regular Bipartite Graphs And Their Properties
We introduce a new notation for representing labeled regular bipartite graphs of arbitrary degree. Several enumeration problems for labeled and unlabeled regular bipartite graphs have been introduced. A general algorithm for enumerating all non-isomorphic 2-regular bipartite graphs for a specified number of vertices has been described and a mathematical proof has been provided for its completeness. An abstraction of m Symmetric Permutation Tree in order to visualize a labeled r-Regular Bipartite Graph with 2m vertices and enumerate its automorphism group has been introduced. An algorithm to generate the partition associated with two compatible permutations has been introduced. The relationship between Automorphism Group and permutation enumeration problem has been used to derive formulae for the number of compatible permutations corresponding to a specified partition.
Partition Parameters for Girth Maximum (m, r) BTUs
This paper describes the calculation of the optimal partition parameters such that the girth maximum (m, r) Balanced Tanner Unit lies in family of BTUs specified by them using a series of proved results and thus creates a framework for specifying a search problem for finding the girth maximum (m, r) BTU. Several open questions for girth maximum (m, r) BTU have been raised.
Cycle-continuous mappings -- order structure
Given two graphs, a mapping between their edge-sets is cycle-continuous, if the preimage of every cycle is a cycle. The motivation for this notion is Jaeger's conjecture that for every bridgeless graph there is a cycle-continuous mapping to the Petersen graph. Answering a question of DeVos, Nešetřil, and Raspaud, we prove that there exists an infinite set of graphs with no cycle-continuous mapping between them. Further extending this result, we show that every countable poset can be represented by graphs and existence of cycle-continuous mappings between them.
Cross-intersecting integer sequences
We call $(a_1, \dots, a_n)$ an \emph{$r$-partial sequence} if exactly $r$ of its entries are positive integers and the rest are all zero. For ${\bf c} = (c_1, \dots, c_n)$ with $1 \leq c_1 \leq \dots \leq c_n$, let $S_{\bf c}^{(r)}$ be the set of $r$-partial sequences $(a_1, \dots, a_n)$ with $0 \leq a_i \leq c_i$ for each $i$ in $\{1, \dots, n\}$, and let $S_{\bf c}^{(r)}(1)$ be the set of members of $S_{\bf c}^{(r)}$ which have $a_1 = 1$. We say that $(a_1, \dots, a_n)$ \emph{meets} $(b_1, \dots, b_m)$ if $a_i = b_i \neq 0$ for some $i$. Two sets $A$ and $B$ of sequences are said to be \emph{cross-intersecting} if each sequence in $A$ meets each sequence in $B$. Let ${\bf d} = (d_1, \dots, d_m)$ with $1 \leq d_1 \leq \dots \leq d_m$. Let $A \subseteq S_{\bf c}^{(r)}$ and $B \subseteq S_{\bf d}^{(s)}$ such that $A$ and $B$ are cross-intersecting. We show that $|A||B| \leq |S_{\bf c}^{(r)}(1)||S_{\bf d}^{(s)}(1)|$ if either $c_1 \geq 3$ and $d_1 \geq 3$ or ${\bf c} = {\bf d}$ and $r = s = n$. We also determine the cases of equality. We obtain this by proving a general cross-intersection theorem for \emph{weighted} sets. The bound generalises to one for $k \geq 2$ cross-intersecting sets.
Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica
The many intricate connections between scattering amplitudes, on-shell diagrams, and the positroid stratification of the Grassmannian has recently been described in great detail. In order to facilitate the exploration of this rich correspondence, we have prepared a public Mathematica package called "positroids" which includes an array of useful tools including those for the construction of canonical coordinates for positroid configurations, the drawing of representative on-shell (plabic) graphs, and the evaluation of on-shell differential forms. This note documents the functions made available by the positroids package; the package's source code together with a Mathematica notebook containing many detailed examples of its functionality are included with this note's submission files on the arXiv.