Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Brane Brick Models, Toric Calabi-Yau 4-Folds and 2d (0,2) Quivers
Published in JHEP 1602:047,2016
• View Publication
• BIB
We introduce brane brick models, a novel type of Type IIA brane configurations consisting of D4-branes ending on an NS5-brane. Brane brick models are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. They fully encode the infinite class of 2d (generically) N=(0,2) gauge theories on the worldvolume of the D1-branes and streamline their connection to the probed geometries. For this purpose, we also introduce new combinatorial procedures for deriving the Calabi-Yau associated to a given gauge theory and vice versa.
Doubled patterns are $3$-avoidable
Published
• View Publication
• BIB
In combinatorics on words, a word $w$ over an alphabet $Σ$ is said to avoid a pattern $p$ over an alphabet $Δ$ if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:Δ^*\toΣ^*$ is a non-erasing morphism. A pattern $p$ is said to be $k$-avoidable if there exists an infinite word over a $k$-letter alphabet that avoids $p$. A pattern is said to be doubled if no variable occurs only once. Doubled patterns with at most 3 variables and patterns with at least 6 variables are $3$-avoidable. We show that doubled patterns with 4 and 5 variables are also $3$-avoidable.
Minimal number of edges in hypergraph guaranteeing perfect fractional matching and MMS conjecture, complete version
In this paper we prove Ahlswede- Khachatrian conjecture~\cite{1} up to finite number of cases, which can be checked using modern computers. From this conjecture follows conjecture from~\cite{2} and Manickam-Miklós-Singhi conjecture. This paper is combined from papers~\cite{09},~\cite{08}.
On the number of unary-binary tree-like structures with restrictions on the unary height
Published
• View Publication
• BIB
We consider various classes of Motzkin trees as well as lambda-terms for which we derive asymptotic enumeration results. These classes are defined through various restrictions concerning the unary nodes or abstractions, respectively: We either bound their number or the allowed levels of nesting. The enumeration is done by means of a generating function approach and singularity analysis. The generating functions are composed of nested square roots and exhibit unexpected phenomena in some of the cases. Furthermore, we present some observations obtained from generating such terms randomly and explain why usually powerful tools for random generation, such as Boltzmann samplers, face serious difficulties in generating lambda-terms.
Parametrizing an integer linear program by an integer
Published
• View Publication
• BIB
We consider a family of integer linear programs in which the coefficients of the constraints and objective function are polynomials of an integer parameter $t.$ For $\ell$ in $\mathbb{Z}_+,$ we define $f_\ell(t)$ to be the $\ell^{\text{th}}$ largest value of the objective function with multiplicity for the integer linear program at $t.$ We prove that for all $\ell,$ $f_\ell$ is eventually quasi-polynomial; that is, there exists $d$ and polynomials $P_0, \ldots, P_{d-1}$ such that for sufficiently large $t,$ $f_\ell(t)=P_{d \pmod{t}}(t).$ Closely related to finding the $\ell^{\text{th}}$ largest value is describing the vertices of the convex hull of the feasible set. Calegari and Walker showed that if $R(t)$ is the convex hull of $\mathbf{v_1}(t), \ldots, \mathbf{v_k}(t)$ where $\mathbf{v_i}$ is a vector whose coordinates are in $\mathbb{Q}(u)$ and of size $O(u),$ then the vertices of the convex hull of the set of lattice points in $R(t)$ has eventually quasi-polynomial structure. We prove this without the $O(u)$ assumption.
The parametric Frobenius problem and parametric exclusion
The Frobenius number of relatively prime positive integers $a_1, \ldots, a_n$ is the largest integer that is not a nononegative integer combination of the $a_i.$ Given positive integers $a_1, \ldots, a_n$ with $n \ge 2,$ the set of multiples of $\gcd(a_1, \ldots, a_n)$ which have less than $m$ distinct representations as a nonnegative integer combination of the $a_i$ is bounded above, so we define $f_{m, \ell}(a_1, \ldots, a_n)$ to be the $\ell^{\text{th}}$ largest multiple of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations (which generalizes the Frobenius number) and $g_m(a_1, \ldots, a_n)$ to be the number of positive multiples of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations. In the parametric Frobenius problem, the arguments are polynomials. Let $P_1, \ldots, P_n$ be integer valued polynomials of one variable which are eventually positive. We prove that $f_{m, \ell}(P_1(t), \ldots, P_n(t))$ and $g_m(P_1(t), \ldots, P_n(t)),$ as functions of $t,$ are eventually quasi-polynomial. A function $h$ is eventually quasi-polynomial if there exist $d$ and polynomials $R_0, \ldots, R_{d-1}$ such that for such that for sufficiently large integers $t,$ $h(t)=R_{t \pmod{d}}(t).$ We do so by formulating a type of parametric problem that generalizes the parametric Frobenius Problem, which we call a parametric exclusion problem. We prove that the $\ell^{\text{th}}$ largest value of some polynomial objective function, with multiplicity, for a parametric exclusion problem and the size of its feasible set are eventually quasi-polynomial functions of $t.$
Revisiting Kneser's Theorem for Field Extensions
Published in Combinatorica Vol. 39 No 4 (2018) pp. 759--777
• View Publication
• BIB
A Theorem of Hou, Leung and Xiang generalised Kneser's addition Theorem to field extensions. This theorem was known to be valid only in separable extensions, and it was a conjecture of Hou that it should be valid for all extensions. We give an alternative proof of the theorem that also holds in the non-separable case, thus solving Hou's conjecture. This result is a consequence of a strengthening of Hou et al.'s theorem that is a transposition to extension fields of an addition theorem of Balandraud.
Torsion in the homology of Milnor fibers of hyperplane arrangements
Published in Combinatorial Methods in Topology and Algebra, Springer INdAM Series, vol. 12, 2015, pp. 31-36
• View Publication
• BIB
As is well-known, the homology groups of the complement of a complex hyperplane arrangement are torsion-free. Nevertheless, as we showed in a recent paper [arXiv:1209.3414] the homology groups of the Milnor fiber of such an arrangement can have non-trivial integer torsion. We give here a brief account of the techniques that go into proving this result, outline some of its applications, and indicate some further questions that it brings to light.
Characterizing $2$-Distance Graphs and Solving the Equations $T_2(X)=kP_2$ or $K_m \cup K_n$
Let $X$ be a finite, simple graph with vertex set $V(X)$. The $2$-distance graph $T_2(X)$ of $X$ is the graph with the same vertex set as $X$ and two vertices are adjacent if and only if their distance in $X$ is exactly $2$. A graph $G$ is a $2$-distance graph if there exists a graph $X$ such that $T_2(X)=G$. In this paper, we give three characterizations of $2$-distance graphs, and find all graphs $X$ such that $T_2(X)=kP_2$ or $K_m \cup K_n$, where $k \ge 2$ is an integer, $P_2$ is the path of order $2$, and $K_m$ is the complete graph of order $m \ge 1$.
Isometric embeddings of dual polar graphs in Grassmann graphs over finite fields
We consider the Grassmann graphs and dual polar graphs over the same finite field and show that, up to graph automorphism, for every dual polar graph there is the unique isometric embedding in the corresponding Grassmann graph.
Graph Theory
This book is based on Graph Theory courses taught by P.A. Petrosyan, V.V. Mkrtchyan and R.R. Kamalian at Yerevan State University.
Partitions of the set of natural numbers and symplectic homology
Published
• View Publication
• BIB
We prove Tamura's theorem on partitions of the set of positive integers (a generalization of the more famous Rayleigh-Beatty theorem) using the positive $\mathbb{S}^1$-equivariant symplectic homology.
Signed Enumeration of Upper-Right Corners in Path Shuffles
Published
• View Publication
• BIB
We resolve a conjecture of Albert and Bousquet-Melou enumerating quarter-plane walks with fixed horizontal and vertical projections according to their upper-right-corner count modulo 2. In doing this, we introduce a signed upper-right-corner count statistic. We find its distribution over planar walks with any choice of fixed horizontal and vertical projections. Additionally, we prove that the polynomial counting loops with a fixed horizontal and vertical projection according to the absolute value of their signed upper-right-corner count is $(x+1)$-positive. Finally, we conjecture an equivalence between $(x+1)$-positivity of the generating function for upper-right-corner count and signed upper-right-corner count.
The Strong Chromatic Index of graphs with maximum degree $Δ$
A strong edge-coloring of a graph $G$ is an edge-coloring such that no two edges of distance at most two receive the same color. The strong chromatic index $χ'_s(G)$ is the minimum number of colors in a strong edge-coloring of $G$. P. Erdős and J. Nešetřil conjectured in 1985 that $χ'_s(G)$ is bounded above by $\frac54Δ^2$ when $Δ$ is even and $\frac14(5Δ^2-2Δ+1)$ when $Δ$ is odd, where $Δ$ is the maximum degree of $G$. In this paper, we give an algorithm that uses at most $2Δ^2-3Δ+2$ colors for graphs with girth at least $5$. And in particular, we prove that any graph with maximum degree $Δ=5$ has a strong edge-coloring with $37$ colors.
Mathematical aspects of Wiener index
Published
• View Publication
• BIB
The Wiener index (i.e., the total distance or the transmission number), defined as the sum of distances between all unordered pairs of vertices in a graph, is one of the most popular molecular descriptors. In this article we summarize some results, conjectures and problems on this molecular descriptor, with emphasis on works we were involved in.
On the Single-Valuedness of the Pre-Kernel
Based on results given in the recent book by Meinhardt (2013), which presents a dual characterization of the pre-kernel by a finite union of solution sets of a family of quadratic and convex objective functions, we could derive some results related to the uniqueness of the pre-kernel. Rather than extending the knowledge of game classes for which the pre-kernel consists of a single point, we apply a different approach. We select a game from an arbitrary game class with a single pre-kernel element satisfying the non-empty interior condition of a payoff equivalence class, and then establish that the set of related and linear independent games which are derived from this pre-kernel point of the default game replicates this point also as its sole pre-kernel element. In the proof we apply results and techniques employed in the above work. Namely, we prove in a first step that the linear mapping of a pre-kernel element into a specific vector subspace of balanced excesses is a singleton. Secondly, that there cannot exist a different and non-transversal vector subspace of balanced excesses in which a linear transformation of a pre-kernel element can be mapped. Furthermore, we establish that on the restricted subset on the game space that is constituted by the convex hull of the default and the set of related games, the pre-kernel correspondence is single-valued, and therefore continuous. Finally, we provide sufficient conditions that preserve the pre-nucleolus property for related games even when the default game has not a single pre-kernel point.
Total weight choosability of d-degenerate graphs
A graph $G$ is $(k,k')$-choosable if the following holds: For any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a total weighting
$φ: V(G) \cup E(G) \to R$ such that $φ(z) \in L(z)$ for $z \in V \cup E$, and $\sum_{e \in E(u)}φ(e)+φ(u) \ne \sum_{e \in E(v)}φ(e)+φ(v)$ for every edge $uv$. This paper proves the following results: (1) If $G$ is a connected $d$-degenerate graph, and $k>d$ is a prime number, and $G$ is either non-bipartite or has two non-adjacent vertices $u,v$ with $d(u)+d(v) < k$, then $G$ is $(1,k)$-choosable. As a consequence, every planar graph with no isolated edges is $(1,7)$-choosable, and every connected $2$-degenerate non-bipartite graph other than $K_2$ is $(1,3)$-choosable. (2) If $d+1$ is a prime number, $v_1, v_2, \ldots, v_n$ is an ordering of the vertices of $G$ such that each vertex $v_i$ has back degree $d^-(v_i) \le d$, then there is a graph $G'$ obtained from $G$ by adding at most $d-d^-(v_i)$ leaf neighbours to $v_i$ (for each $i$) and $G'$ is $(1,2)$-choosable. (3) If $G$ is $d$-degenerate and $d+1$ a prime, then $G$ is $(d,2)$-choosable. In particular, $2$-degenerate graphs are $(2,2)$-choosable. (4) Every graph is $(\lceil\frac{{\rm mad}(G)}{2}\rceil+1, 2)$ -choosable. In particular, planar graphs are $(4,2)$-choosable, planar bipartite graphs are $(3,2)$-choosable.
Permanent index of matrices associated with graphs
Published
• View Publication
• BIB
A total weighting of a graph $G$ is a mapping $f$ which assigns to each element $z \in V(G) \cup E(G)$ a real number $f(z)$ as its weight. The vertex sum of $v$ with respect to $f$ is $φ_f(v)=\sum_{e \in E(v)}f(e)+f(v)$. A total weighting is proper if $φ_f(u) \ne φ_f(v)$ for any edge $uv$ of $G$. A $(k,k')$-list assignment is a mapping $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ permissible weights, and assigns to each edge $e$ a set $L(e)$ of $k'$ permissible weights. We say $G$ is $(k,k')$-choosable if for any $(k,k')$-list assignment $L$, there is a proper total weighting $f$ of $G$ with $f(z) \in L(z)$ for each $z \in V(G) \cup E(G)$. It was conjectured in [T. Wong and X. Zhu, Total weight choosability of graphs, J. Graph Theory 66 (2011), 198-212] that every graph is $(2,2)$-choosable and every graph with no isolated edge is $(1,3)$-choosable. A promising tool in the study of these conjectures is Combinatorial Nullstellensatz. This approach leads to conjectures on the permanent indices of matrices
$A_G$ and $B_G$ associated to a graph $G$. In this paper, we establish a method that reduces the study of permanent of matrices associated to a graph $G$ to the study of permanent of matrices associated to induced subgraphs of $G$. Using this reduction method, we show that if $G$ is a subcubic graph, or a $2$-tree, or a Halin graph, or a grid, then $A_G$ has permanent index $1$. As a consequence, these graphs are $(2,2)$-choosable. \end{abstract} {\small \noindent{{\bf Key words: } Permanent index, matrix, total weighting}
Decomposition of Graphs into $(k,r)$-Fans and Single Edges
Published
• View Publication
• BIB
Let $φ(n,H)$ be the largest integer such that, for all graphs $G$ on $n$ vertices, the edge set $E(G)$ can be partitioned into at most $φ(n, H)$ parts, of which every part either is a single edge or forms a graph isomorphic to $H$. Pikhurko and Sousa conjectured that $φ(n,H)=\ex(n,H)$ for $χ(H)\geqs3$ and all sufficiently large $n$, where $\ex(n,H)$ denotes the maximum number of edges of graphs on $n$ vertices that does not contain $H$ as a subgraph. A $(k,r)$-fan is a graph on $(r-1)k+1$ vertices consisting of $k$ cliques of order $r$ which intersect in exactly one common vertex. In this paper, we verify Pikhurko and Sousa's conjecture for $(k,r)$-fans. The result also generalizes a result of Liu and Sousa.
Bounded Degree Cosystolic Expanders of Every Dimension
Published
• View Publication
• BIB
In this work we present a new local to global criterion for proving a form of high dimensional expansion, which we term cosystolic expansion. Applying this criterion on Ramanujan complexes, yields for every dimension, an infinite family of bounded degree complexes with the topological overlapping property. This answer affirmatively an open question raised by Gromov.