Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Generalized compactifications of Batyrev hypersurface families
We show how Calabi-Yau hypersurface families arising from Batyrev's construction can be resolved and compactified using a type of fan more general than an MPCP resolution. This can lead to smooth projective compactifications that are not obtainable from the original construction. In the threefold case, we show that generic members of the resulting family are always smooth.
Morphic images of episturmian words having finite palindromic defect
Published in Eur. J. Combin. 51 (2016), 359-371
• View Publication
• BIB
We study morphisms from certain classes and their action on episturmian words. The first class is $P_{ret}$. In general, a morphism of class $P_{ret}$ can map an infinite word having zero palindromic defect to a word having infinite palindromic defect. We show that the image of an episturmian word, which has zero palindromic defect, under a morphism of class $P_{ret}$ has always its palindromic defect finite. We also focus on letter-to-letter morphisms to binary alphabet: we show that images of ternary episturmian words under such morphisms have zero palindromic defect. These results contribute to the study of an unsolved question of characterization of morphisms that preserve finite (resp. zero) palindromic defect. They also enable us to construct new examples of binary $H$-rich and almost $H$-rich words, where $H = \{\rm{Id}, R, E, RE \}$ is the group generated by both involutory antimorphisms on a binary alphabet.
Contemplating some invariants of the Jaco Graph, $J_n(1), n \in \Bbb N$
Kok et.al. [7] introduced Jaco Graphs (\emph{order 1}). In this essay we present a recursive formula to determine the \emph{independence number} $α(J_n(1)) = |\Bbb I|$ with, $\Bbb I = \{v_{i,j}| v_1 = v_{1,1} \in \Bbb I$ and $v_i = v_{i,j} =v_{(d^+(v_{m, (j-1)}) + m +1)}\}.$ We also prove that for the Jaco Graph, $J_n(1), n \in \Bbb N$ with the prime Jaconian vertex $v_i$ the chromatic number, $χ(J_n(1))$ is given by: \begin{equation*} χ(J_n(1)) \begin{cases} = (n-i) + 1, &\text{if and only if the edge $v_iv_n$ exists,}\\ \\ = n-i &\text{otherwise.} \end{cases} \end{equation*} We further our exploration in respect of \emph{domination numbers, bondage numbers} and declare the concept of the \emph{murtage number} of a simple connected graph $G$, denoted $m(G)$. We conclude by proving that for any Jaco Graph $J_n(1), n \in \Bbb N$ we have that $0 \leq m(J_n(1)) \leq 3.$
Double theta polynomials and equivariant Giambelli formulas
Published in Math. Proc. Camb. Phil. Soc. 160 (2016) 353-377
• View Publication
• BIB
We use Young's raising operators to introduce and study double theta polynomials, which specialize to both the theta polynomials of Buch, Kresch, and Tamvakis, and to double (or factorial) Schur S-polynomials and Q-polynomials. These double theta polynomials give Giambelli formulas which represent the equivariant Schubert classes in the torus-equivariant cohomology ring of symplectic Grassmannians, and we employ them to obtain a new presentation of this ring in terms of intrinsic generators and relations.
Core-based criterion for extreme supermodular functions
Published in Discrete Applied Mathematics, 206:122-151, 2016
• Search Publication
We give a necessary and sufficient condition for extremality of a supermodular function based on its min-representation by means of (vertices of) the corresponding core polytope. The condition leads to solving a certain simple linear equation system determined by the combinatorial core structure. Our result allows us to characterize indecomposability in the class of generalized permutohedra. We provide an in-depth comparison between our result and the description of extremality in the supermodular/submodular cone achieved by other researchers.
On the cardinality of a factor set in the symmetric group
Published in Asian-European Journal of Mathematics,Vol. 7, No. 2 (2014) 1450027
• View Publication
• BIB
Let $n$ be a positive integer, $σ$ be an element of the symmetric group $\mathcal{S}_n$ and let $σ$ be a cycle of length $n$. The elements $α,β\in \mathcal{S}_n$ are $σ$-equivalent, if there are natural numbers $k$ and $l$, such that $σ^k α=βσ^l$, which is the same as the condition to exist natural numbers $k_1$ and $l_1$, such that $α= σ^{k_1} βσ^{l_1}$. In this work we examine some properties of the so defined equivalence relation. We build a finite oriented graph $Γ_n$ with the help of which is described an algorithm for solving the combinatorial problem for finding the number of equivalence classes according to this relation.
Cops, robbers, and infinite graphs
Cops and robbers is a game between two players, where one tries to catch the other by moving along the edges of a graph. It is well known that on a finite graph the cop has a winning strategy if and only if the graph is constructible and that finiteness is necessary for this result.
We propose the notion of weakly cop-win graphs, a winning criterion for infinite graphs which could lead to a generalisation. In fact, we generalise one half of the result, that is, we prove that every constructible graph is weakly cop-win. We also show that a similar notion studied by Chastand et al. (which they also dubbed weakly cop-win) is not sufficient to generalise the above result to infinite graphs.
In the locally finite case we characterise the constructible graphs as the graphs for which the cop has a so-called protective strategy and prove that the existence of such a strategy implies constructibility even for non-locally finite graphs.
Number systems and combinatorial problems
Published in International J. of Pure & Engg. Mathematics (IJPEM), ISSN 2348-3881, Vol. 2 No. II (August, 2014), pp. 21-28
• Search Publication
The present work has been designed for students in secondary school and their teachers in mathematics. We will show how with the help of our knowledge of number systems we can solve problems from other fields of mathematics for example in combinatorial analysis and most of all when proving some combinatorial identities. To demonstrate discussed in this article method we have chosen several suitable mathematical tasks.
Normally Regular Digraphs
A normally regular digraph with parameters $(v,k,λ,μ)$ is a directed graph on $v$ vertices whose adjacency matrix $A$ satisfies the equation $AA^t=k I+λ(A+A^t)+μ(J-I-A-A^t)$. This means that every vertex has out-degree $k$, a pair of non-adjacent vertices have $μ$ common out-neighbours, a pair of vertices connected by an edge in one direction have $λ$ common out-neighbours and a pair of vertices connected by edges in both directions have $2λ-μ$ common out-neighbours. We often assume that two vertices can not be connected in both directions.
We prove that the adjacency matrix of a normally regular digraph is normal. A connected $k$-regular digraph with normal adjacency matrix is a normally regular digraph if and only if all eigenvalues other than $k$ are on one circle in the complex plane. We prove several non-existence results, structural characterizations, and constructions of normally regular digraphs. In many cases these graphs are Cayley graphs of abelian groups and the construction is then based on a generalization of difference sets.
We also show connections to other combinatorial objects: strongly regular graphs, symmetric 2-designs and association schemes.
Coefficients and roots of peak polynomials
Published in Experimental Mathematics 25(2): 165-175 (2016)
• View Publication
• BIB
Given a permutation $π=π_1π_2\cdots π_n \in \mathfrak{S}_n$, we say an index $i$ is a peak if $π_{i-1} < π_i > π_{i+1}$. Let $P(π)$ denote the set of peaks of $π$. Given any set $S$ of positive integers, define ${\mathcal{P}_S(n)=\{π\in \mathfrak{S}_n:P(π)=S\}}$. Billey-Burdzy-Sagan showed that for all fixed subsets of positive integers $S$ and sufficiently large $n$, $|\mathcal{P}_S(n)|=p_S(n)2^{n-|S|-1}$ for some polynomial $p_S(x)$ depending on $S$. They conjectured that the coefficients of $p_S(x)$ expanded in a binomial coefficient basis centered at $\max(S)$ are all positive. We show that this is a consequence of a stronger conjecture that bounds the modulus of the roots of $p_S(x)$. Furthermore, we give an efficient explicit formula for peak polynomials in the binomial basis centered at $0$, which we use to identify many integer roots of peak polynomials along with certain inequalities and identities.
Connections between conjectures of Alon-Tarsi, Hadamard-Howe, and integrals over the special unitary group
Published
• View Publication
• BIB
We show the Alon-Tarsi conjecture on Latin squares is equivalent to a very special case of a conjecture made independently by Hadamard and Howe, and to the non-vanishing of some interesting integrals over SU(n). Our investigations were motivated by geometric complexity theory.
Arithmetic Properties of Overpartition Triples
Published
• View Publication
• BIB
Let ${\overline{p}_{3}}(n)$ be the number of overpartition triples of $n$. By elementary series manipulations, we establish some congruences for ${\overline{p}}_{3}(n)$ modulo small powers of 2, such as
\[{\overline{p}_{3}}(16n+14)\equiv 0 \pmod{32}, \quad {\overline{p}_{3}}(8n+7)\equiv 0 \pmod{64}.\] We also find many arithmetic properties for ${\overline{p}_{3}}(n)$ modulo 7, 9 and 11, involving the following infinite families of Ramanujan-type congruences: for any integers $α\ge 1$ and $n \ge 0$, we have ${\overline{p}_{3}}\big({{3}^{2α+1}}(3n+2)\big)\equiv 0$ (mod $9\cdot 2^4$), $\overline{p}_{3}(4^{α-1}(56n+49)) \equiv 0$ (mod 7) and \[{\overline{p}_{3}}\big({{7}^{2α+1}}(7n+3)\big)\equiv {\overline{p}_{3}}\big({{7}^{2α+1}}(7n+5)\big)\equiv {\overline{p}_{3}}\big({{7}^{2α+1}}(7n+6)\big)\equiv 0 \pmod{7}.\]
Incidences between points and generalized spheres over finite fields and related problems
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field of $q$ elements where $q$ is a large odd prime power and $Q =a_1 x_1^{c_1}+...+a_dx_d^{c_d}\in \mathbb{F}_q[x_1,...,x_d]$, where $2\le c_i\le N$, $\gcd(c_i,q)=1$, and $a_i\in \mathbb{F}_q$ for all $1\le i\le d$. A $Q$-sphere is a set of the form $\lbrace x\in \mathbb{F}_q^d | Q(x-b)=r\rbrace$, where $b\in \mathbb{F}_q^d, r\in \mathbb{F}_q$. We prove bounds on the number of incidences between a point set $\mathcal{P}$ and a $Q$-sphere set $\mathcal{S}$, denoted by $I(\mathcal{P},\mathcal{S})$, as the following.
$$| I(\mathcal{P},\mathcal{S})-\frac{|\mathcal{P}||\mathcal{S}|}{q}|\le q^{d/2}\sqrt{|\mathcal{P}||\mathcal{S}|}.$$
We prove this estimate by studying the spectra of directed graphs. We also give a version of this estimate over finite rings $\mathbb{Z}_q$ where $q$ is an odd integer. As a consequence of the above bounds, we give an estimate for the pinned distance problem. In Sections $4$ and $5$, we prove a bound on the number of incidences between a random point set and a random $Q$-sphere set in $\mathbb{F}_q^d$. We also study the finite field analogues of some combinatorial geometry problems, namely, the number of generalized isosceles triangles, and the existence of a large subset without repeated generalized distances.
Irrational mixed decomposition and sharp fewnomial bounds for tropical polynomial systems
Published
• View Publication
• BIB
Given convex polytopes $P_1,...,P_r$ in $R^n$ and finite subsets $W_I$ of the Minkowsky sums $P_I=\sum_{i \in I} P_i$, we consider the quantity $N(W)=\sum_{I \subset {\bf [}r {\bf ]}} {(-1)}^{r-|I|} \big| W_I \big|$. We develop a technique that we call irrational mixed decomposition which allows us to estimate $N(W)$ under some assumptions on the family $W=(W_I)$. In particular, we are able to show the nonnegativity of $N(W)$ in some important cases. The quantity $N(W)$ associated with the family defined by $W_I=\sum_{i \in I} W_i$ is called discrete mixed volume of $W_1,...,W_r$. We show that for $r=n$ the discrete mixed volume provides an upper bound for the number of nondegenerate solutions of a tropical polynomial system with supports $W_1,...,W_n$. We also prove that the discrete mixed volume of $W_1,...,W_r$ is bounded from above by the Kouchnirenko number $\prod_{i=1}^r (|W_i|-1)$. For $r=n$ this number was proposed as a bound for the number of nondegenerate positive solutions of any real polynomial system with supports $W_1,...,W_n$. This conjecture was disproved, but our result shows that the Kouchnirenko number is a sharp bound for the number of nondegenerate positive solutions of real polynomial systems constructed by means of the combinatorial patchworking.
The genus of curve, pants and flip graphs
Published
• View Publication
• BIB
This article is about the graph genus of certain well studied graphs in surface theory: the curve, pants and flip graphs. We study both the genus of these graphs and the genus of their quotients by the mapping class group. The full graphs, except for in some low complexity cases, all have infinite genus. The curve graph once quotiented by the mapping class group has the genus of a complete graph so its genus is well known by a theorem of Ringel and Youngs. For the other two graphs we are able to identify the precise growth rate of the graph genus in terms of the genus of the underlying surface. The lower bounds are shown using probabilistic methods.
A Description of the Subgraph Induced at a Labeling of a Graph by the Subset of Vertices with an Interval Spectrum
Published
• View Publication
• BIB
The sets of vertices and edges of an undirected, simple, finite, connected graph $G$ are denoted by $V(G)$ and $E(G)$, respectively. An arbitrary nonempty finite subset of consecutive integers is called an interval. An injective mapping $\varphi:E(G)\rightarrow \{1,2,...,|E(G)|\}$ is called a labeling of the graph $G$. If $G$ is a graph, $x$ is its arbitrary vertex, and $\varphi$ is its arbitrary labeling, then the set $S_G(x,\varphi)\equiv\{\varphi(e)/ e\in E(G), e \textrm{is incident with} x$\} is called a spectrum of the vertex $x$ of the graph $G$ at its labeling $\varphi$. For any graph $G$ and its arbitrary labeling $\varphi$, a structure of the subgraph of $G$, induced by the subset of vertices of $G$ with an interval spectrum, is described.
Tensor product of Kraśkiewicz and Pragacz's modules
Published
• View Publication
• BIB
This paper explores further properties of modules related with Schubert polynomials, introduced by Kraśkiewicz and Pragacz. In this paper we show that any tensor product of Kraśkiewicz-Pragacz modules admits a filtration by Kraśkiewicz-Pragacz modules. This result can be seen as a module-theoretic counterpart of a classical result that the product of Schubert polynomials is a positive sum of Schubert polynomials.
Tutte polynomial of a fractal scale-free lattice
The Tutte polynomial of a graph, or equivalently the $q$-state Potts model partition function, is a two-variable polynomial graph invariant of considerable importance in both combinatorics and statistical physics. The computation of this invariant for a graph is NP-hard in general. In this paper, based on their self-similar structures, we recursively describe the Tutte polynomials of an infinite family of scale-free lattices. Furthermore, we give some exact analytical expressions of the Tutte polynomial for several special points at $(X,Y)$-plane.
Spectral zeta functions of graphs and the Riemann zeta function in the critical strip
Published
• View Publication
• BIB
We initiate the study of spectral zeta functions $ζ_{X}$ for finite and infinite graphs $X$, instead of the Ihara zeta function, with a perspective towards zeta functions from number theory and connections to hypergeometric functions. The Riemann hypothesis is shown to be equivalent to an approximate functional equation of graph zeta functions. The latter holds at all points where Riemann's zeta function $ζ(s)$ is non-zero. This connection arises via a detailed study of the asymptotics of the spectral zeta functions of finite torus graphs in the critcal strip and estimates on the real part of the logarithmic derivative of $ζ(s)$. We relate $ζ_{\mathbb{Z}}$ to Euler's beta integral and show how to complete it giving the functional equation $ξ_{\mathbb{Z}}(1-s)=ξ_{\mathbb{Z}}(s)$. This function appears in the theory of Eisenstein series although presumably with this spectral intepretation unrecognized. In higher dimensions $d$ we provide a meromorphic continuation of $ζ_{\mathbb{Z}^{d}}(s)$ to the whole plane and identify the poles. From our aymptotics several known special values of $ζ(s)$ are derived as well as its non-vanishing on the line $Re(s)=1$. We determine the spectral zeta functions of regular trees and show it to be equal to a specialization of Appell's hypergeometric function $F_{1}$ via an Euler-type integral formula due to Picard.
Rectangular symmetries for coefficients of symmetric functions
Published
• View Publication
• BIB
We show that some of the main structural constants for symmetric functions (Littlewood-Richardson coefficients, Kronecker coefficients, plethysm coefficients, and the Kostka--Foulkes polynomials) share symmetries related to the operations of taking complements with respect to rectangles and adding rectangles.