Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Algorithms for Gromov-Witten Invariants of Elliptic Curves
We present an enhanced algorithm for exploring mirror symmetry for elliptic curves through the correspondence of algebraic and tropical geometry, focusing on Gromov-Witten invariants of elliptic curves and, in particular, Hurwitz numbers. We present a new highly efficient algorithm for computing generating series for these numbers. We have implemented the algorithm both using Singular and OSCAR. The implementations outperform by far the current method provided in Singular. The OSCAR implementation, benefiting in particular from just-in-time compilation, again by far outperforms the implementation of the new algorithm in Singular. This advancement in computing the Gromov-Witten invariants facilitates a study of number theoretic and geometric properties of the generating series, including quasi-modularity and homogeneity.
Refining Blecher and Knopfmacher's Integer Partition Fixed Points
Published in Enumer. Combin. Appl. 4:4 (2024) S2R26
• View Publication
• BIB
Recently, Blecher and Knopfmacher explored the notion of fixed points in integer partitions. Here, we distinguish partitions with a fixed point by which value is fixed and analyze the resulting triangle of integers. In particular, we confirm various identities for diagonal sums, row sums, and antidiagonal sums (which are finite for this triangle) and establish a four-term recurrence for triangle entries analogous to Pascal's lemma for the triangle of binomial coefficients. The partition statistics crank and mex arise. All proofs are combinatorial.
On the degree of polynomials computing square roots mod p
For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$.
When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the polynomial $f(X)$. On the other hand, for $p \equiv 1 \mod 4$ there was previously no nontrivial bound known on the lowest degree of a polynomial computing square roots in $\mathbb F_p$; it could have been anywhere between $\frac{p}{4}$ and $\frac{p}{2}$.
We show that for all $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots has degree at least $p/3$. Our main new ingredient is a general lemma which may be of independent interest: powers of a low degree polynomial cannot have too many consecutive zero coefficients. The proof method also yields a robust version: any polynomial that computes square roots for 99\% of the squares also has degree almost $p/3$.
In the other direction, a result of Agou, Deliglése, and Nicolas (Designs, Codes, and Cryptography, 2003) shows that for infinitely many $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots can be as small as $3p/8$.
Rainbow and Gallai-Rado numbers involving binary function equations
Published
• View Publication
• BIB
Let $\mathcal{E}$, $\mathcal{E}_1$, and $\mathcal{E}_2$ be equations, $n$ and $k$ be positive integers. The rainbow number $\operatorname{rb}([n],\mathcal{E})$ is difined as the minimum number of colors such that for every exact $(\operatorname{rb}([n],\mathcal{E}))$-coloring of $[n]$, there exists a rainbow solution of $\mathcal{E}$. The Gallai-Rado number $\operatorname{GR}_k(\mathcal{E}_1:\mathcal{E}_2)$ is defined as the minimum positive integer $N$, if it exists, such that for all $n\ge N$, every $k$-colored $[n]$ contains either a rainbow solution of $\mathcal{E}_1$ or a monochromatic solution of $\mathcal{E}_2$. In this paper, we get some exact values of rainbow and Gallai-Rado numbers involving binary function equations. We also provide an algorithm to calculate the rainbow numbers of nonlinear binary function equations.
Estimation of function's supports under arithmetic constraints
The well-known $|supp(f)||supp(\widehat{f}|\geq |G|$ inequality gives lower estimation of each supports. In the present paper we give upper estimation under arithmetic constrains. The main notion will be the additive energy which plays a central role in additive combinatorics. We prove an uncertainty inequality that shows a trade-off between the total changes of the indicator function of a subset $A\subseteq \mathbb F^n_2$ and the additive energy of $A$ and the Fourier spectrum.
A New Invariant of Lattice polytopes
Published
• View Publication
• BIB
The maximal degree of monomials belonging to the unique minimal system of monomial generators of the canonical module $ω(K[{\mathcal P}])$ of the toric ring $K[{\mathcal P}]$ defined by a lattice polytope ${\mathcal P}$ will be studied. It is shown that if ${\mathcal P}$ possesses an interior lattice point, then the maximal degree is at most ${\rm dim} {\mathcal P} - 1$, and that this bound is the best possible in general.
Remarks on the Hilbert depth of powers of the maximal graded ideal
Let $\mathbf m=(x_1,\ldots,x_n)$ be the maximal graded ideal of $S:=K[x_1,\ldots,x_n]$. We present a new method for computing the Hilbert depth of powers of $\mathbf m$.
Weighted tree games
Published
• View Publication
• BIB
We consider a variation on Maker-Breaker games on graphs or digraphs where the edges have random costs. We assume that Maker wishes to choose the edges of a spanning tree, but wishes to minimise his cost. Meanwhile Breaker wants to make Maker's cost as large as possible.
Bounded quantifier depth spectrum for random uniform hypegraphs
The notion of spectrum for first-order properties introduced by J. Spencer for Erdos-Renyi random graph is considered in relation to random uniform hypergraphs. In this work we study the set of limit points of the spectrum for first-order formulae with bounded quantifier depth and obtain bounds for its maximum value. Moreover, we prove zero-one k-laws for the random uniform hypergraph and improve the bounds for the maximum value of the spectrum for first-order formulae with bounded quantifier depth. We obtain that the maximum value of the spectrum belongs to some two-element set.
The Newton polytope of the Kronecker product
Published
• View Publication
• BIB
We study the Kronecker product of two Schur functions $s_λ\ast s_μ$, defined as the image of the characteristic map of the product of two $S_n$ irreducible characters. We prove special cases of a conjecture of Monical--Tokcan--Yong that its monomial expansion has a saturated Newton polytope. Our proofs employ the Horn inequalities for positivity of Littlewood-Richardson coefficients and imply necessary conditions for the positivity of Kronecker coefficients.
The Rainbow Connection Number of The Commuting Graph of a Finite Nonabelian Group
A path in an edge-colored graph is called a rainbow path if every two distinct edges of the path have different colors. A graph whose every pair of vertices are linked by a rainbow path is called a rainbow-connected graph. The rainbow connection number of a graph is the minimum number of colors that are needed to color the edges of the graph such that the graph is rainbow-connected. In this paper, we determine the rainbow connection number of the commuting graph of a finite nonabelian group, which is a graph whose vertex set is a nonabelian group of finite order and two distinct elements of the group is adjacent in the graph if they commute. We also show that the rainbow connection number of the commuting graph of a finite group is related to the number of maximal abelian subgroups or the number of involutions that do not commute with any other nonidentity element of the group.
A Complete Characterization of all Magic Constants Arising from Distance Magic Graphs
Published
• View Publication
• BIB
A positive integer $k$ is called a magic constant if there is a graph $G$ along with a bijective function $f$ from $V(G)$ to first $|V(G)|$ natural numbers such that the weight of the vertex $w(v) = \sum_{uv \in E}f(v) =k$ for all $v \in V$. It is known that all odd positive integers greater equal $3$ and the integer powers of $2$, $2^{t}$, $t \ge 6$ are magic constants. In this paper we characterise all positive integers which are magic constants.
Antimagic Labeling of Generalized Edge Corona Graphs
An antimagic labeling of a graph $G$ is a one-to-one correspondence between the edge set $E(G)$ and $\lbrace 1,2,...,|E(G)|\rbrace$ in which the sum of the edge labels incident on the distinct vertices are distinct. Let $G$,$H_1$,$H_2$,...,$H_{m-1}$, and $H_m$ be simple graphs where $|E(G)|=m$. A generalized edge corona of the graph $G$ and $(H_1,H_2,...,H_m)$ (denoted by $G\diamond (H_1,H_2,...H_m)$) is a graph obtained by taking a copy of $G,H_1,H_2,...,H_m$ and joining the end vertices of $i^{th}$ edge of $G$ to every vertex of $H_i$, $i\in\lbrace 1,2,...,m\rbrace$. In this paper, we consider $G$ as a connected graph with exactly one vertex of maximum degree 3 (excluding the spider graph with exactly one vertex of maximum degree 3 containing uneven legs) and each $H_i$, $1\leq i \leq m$ as a connected graph on at least two vertices. We provide an algorithmic approach to prove that $G$ $\diamond$ $(H_1,H_2,...H_m)$ is antimagic under certain conditions.
Achromatic colorings of polarity graphs
Published
• View Publication
• BIB
A complete partition of a graph $G$ is a partition of the vertex set such that there is at least one edge between any two parts. The largest $r$ such that $G$ has a complete partition into $r$ parts, each of which is an independent set, is the achromatic number of $G$. We determine the achromatic number of polarity graphs of biaffine planes coming from generalized polygons. Our colorings of a family of unitary polarity graphs are used to solve a problem of Axenovich and Martin on complete partitions of $C_4$-free graphs. Furthermore, these colorings prove that there are sequences of graphs which are optimally complete and have unbounded degree, a problem that had been studied for the sequence of hypercubes independently by Roichman, and Ahlswede, Bezrukov, Blokhuis, Metsch, and Moorhouse.
Maximal cocliques and the chromatic number of the Kneser graph on chambers of PG$(3,q)$
Published
• View Publication
• BIB
Let $Γ$ be the graph whose vertices are the chambers of the finite projective $3$-space PG$(3,q)$, with two vertices being adjacent if and only if the corresponding chambers are in general position. We show that a maximal independent set of vertices of $Γ$ contains $q^4+3q^3+4q^2+3q+1$, or $3q^3+5q^2+3q+1$, or at most $3q^3+4q^2+3q+2$ elements. For $q\geq 4$ the structure of the largest maximal independent sets is described. For $q\geq 7$ the structure of the maximal independent sets of the three largest cardinalities is described. Using the cardinality of the second largest maximal independent sets, we show that the chromatic number of $Γ$ is $q^2+q$.
Lattices properties of acyclic alternating pipe dreams
This paper proves some conjectures raised by N. Bergeron, N. Cartier, C. Ceballos, and V. Pilaud about acyclic facets of subword complexes of type A Coxeter groups. We use a representation of subword complex facets extending the pipe dreams defined N. Bergeron and S. Billey and prove that the strongly acyclic facets realize a lattice quotient of a weak order interval. We also give a sufficient condition so that all acyclic facets are strongly acyclic.
Directional counting for regular languages
Published
• View Publication
• BIB
We explain how certain tools from convex analysis and probability theory may be used in order to obtain counting results for the number of words with prescribed frequencies of letters in regular languages.
The $A_α$-spectra of graph operations based on generalized (edge) corona
Let $G, H_{i}$ be simple graphs with $n=|V(G)|$, $m=|E(G)|$ and $i=1, 2, \ldots, n(m)$. The generalized corona, denoted $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{n}$ and joining the $i$th vertex of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq n$. The generalized edge corona, denoted by $G[H_i]_1^m$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{m}$ and then joining two end-vertices of the $i$th edge of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq m$. For any real $α\in[0,1]$, the matrix $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the degree matrix of a graph $G$, respectively. In this paper, we obtain the $A_α$-characteristic polynomial of $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, which extends some known results. Meanwhile, we determine the $A_α$-characteristic polynomial of $G[H_i]_1^m$ and get the $A_α$-spectrum of $G[H_i]_1^m$ when $G$ and $H_i$ are regular graphs for $1\le i\le m$. As an application of the above conclusions, we construct infinitely many pairs of non-regular $A_α$-cospectral graphs.
Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs
Published
• View Publication
• BIB
We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We introduce new bounding criteria specifically designed for $K_2$-hypohamiltonian graphs, allowing us to improve upon earlier computational results. Specifically, we characterise the orders for which $K_2$-hypohamiltonian graphs exist and improve existing lower bounds on the orders of the smallest planar and the smallest bipartite $K_2$-hypohamiltonian graphs. Furthermore, we describe a new operation for creating $K_2$-hypohamiltonian graphs that preserves planarity under certain conditions and use it to prove the existence of a planar $K_2$-hypohamiltonian graph of order $n$ for every integer $n\geq 134$. Additionally, motivated by a theorem of Thomassen on hypohamiltonian graphs, we show the existence $K_2$-hypohamiltonian graphs with large maximum degree and size.
Bender-Knuth involutions for types B and C
Published in Electron. J. Comb. 31(2) (2024) P2.59
• View Publication
• BIB
We show that the combinatorial definitions of King and Sundaram of the symmetric polynomials of types B and C are indeed symmetric, in the sense that they are invariant by the action of the Weyl groups. Our proof is combinatorial and inspired by Bender and Knuth's classic involutions for type A.