Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On torus quotients of Schubert varieties in Orthogonal Grassmannian
Published
• View Publication
• BIB
Let $G=Spin(8n, \mathbb{C})(n\ge 1)$ and $T_{G}$ be a maximal torus of $G.$ Let $P^{α_{4n}}(\supset T_{G})$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n}.$ Let $X$ be a Schubert variety in $G/P^{α_{4n}}$ admitting semi-stable point with respect to the $T$-linearized very ample line bundle $\mathcal{L}(2ω_{4n}).$ Let $R=\bigoplus_{k \in \mathbb{Z}_{\geq 0}}R_k,$ where $R_k=H^{0}(X, \mathcal{L}^{\otimes k}(2ω_{4n}))^{T_{G}}.$ In this article, we prove that for $n=1$ and $X=G/P^{α_4},$ the graded $\mathbb{C}$-algebra $R$ is generated by $R_1.$ As a consequence, we prove that the GIT quotient of $G/P^{α_{4}}$ is projectively normal with respect to the descent of the $T_{G}$-linearized very ample line bundle $\mathcal{L}(2ω_{4})$ and is isomorphic to the projective space $(\mathbb{P}^{2},\mathcal{O}_{\mathbb{P}^{2}}(1))$ as a polarized variety. Further, we prove that $R$ is generated by $R_1$ and $R_2$ for some Schubert varieties in $G/P^{α_{4n}}$ (for $n \geq 2$). As a consequence, we prove that the GIT quotient of those Schubert varieties are projectively normal with respect to the descent of the $T_G$-linearized very ample line bundle $\mathcal{L}(4ω_{4n}).$
Moreover, for $G = Spin(2n,\mathbb{C})(n \ge 4)$ (respectively, $G=Sp(2n, \mathbb{C}) (n\ge 2)$) and a maximal torus $T_G$ of $G,$ we prove that the GIT quotient of $G/P^{α_{1}}$ is projectively normal with respect to the descent of the $T_G$-linearized very ample line bundle $\mathcal{L}(2ω_{1})$ and is isomorphic to the projective space $(\mathbb{P}^{n-2},\mathcal{O}_{\mathbb{P}^{n-2}}(1))$ (respectively, $(\mathbb{P}^{n-1},\mathcal{O}_{\mathbb{P}^{n-1}}(1))$ as a polarized variety.
Quantitative inverse theorem for Gowers uniformity norms $\mathsf{U}^5$ and $\mathsf{U}^6$ in $\mathbb{F}_2^n$
We prove quantitative bounds for the inverse theorem for Gowers uniformity norms $\mathsf{U}^5$ and $\mathsf{U}^6$ in $\mathbb{F}_2^n$. The proof starts from an earlier partial result of Gowers and the author which reduces the inverse problem to a study of algebraic properties of certain multilinear forms. The bulk of the work in this paper is a study of the relationship between the natural actions of $\operatorname{Sym}_4$ and $\operatorname{Sym}_5$ on the space of multilinear forms and the partition rank, using an algebraic version of regularity method. Along the way, we give a positive answer to a conjecture of Tidor about approximately symmetric multilinear forms in 5 variables, which is known to be false in the case of 4 variables. Finally, we discuss the possible generalization of the argument for $\mathsf{U}^k$ norms.
The web of reflexive polygons is connected
We discuss the problem on the connectedness of various webs of lattice polytopes by introducing a geometric point of view from the toric Mori theory. To this end, we provide a combinatorial description of toric Sarkisov links in terms of certain sets of lattice points, which we call primitive generating sets. In two dimensions, the description is further translated into the language of lattice polygons. As an application, we prove in two ways (constructive and non-constructive) that reflexive or terminal polygons form a single connected web via inclusion relations even without taking modulo unimodular equivalences.
On the Holroyd-Talbot Conjecture for Sparse Graphs
Published
• View Publication
• BIB
Given a graph $G$, let $μ(G)$ denote the size of the smallest maximal independent set in $G$. A family of subsets is called a star if some element is in every set of the family. A split vertex has degree at least 3. Holroyd and Talbot conjectured the following Erdős-Ko-Rado type statement about intersecting families of independent sets in graphs: if $1\le r\le μ(G)/2$ then there is an intersecting family of independent $r$-sets of maximum size that is a star. In this paper we prove similar statements for sparse graphs on $n$ vertices: roughly, for graphs of bounded average degree with $r\le O(n^{1/3})$, for graphs of bounded degree with $r\le O(n^{1/2})$, and for trees having a bounded number of split vertices with $r\le O(n^{1/2})$.
Hamiltonians of Bipartite Walks
Published
• View Publication
• BIB
In this paper, we introduce a discrete quantum walk model called bipartite walks. Bipartite walks include many known discrete quantum walk models, like arc-reversal walks, vertex-face walks. For the transition matrix of a quantum walk, there is a Hamiltonian associated with it. We will study the Hamiltonians of the bipartite walks. Let $S$ be a skew-symmetric matrix. We are mainly interested in the Hamiltonians of the form $iS$. We show that the Hamiltonian can be written as $iS$ if and only if the adjacency matrix of the bipartite graph is invertible. We show that arc-reversal walks and vertex-face walks are special cases of bipartite walks. Via the Hamiltonians, phenomena of bipartite walks lead to phenomena of continuous walks. We show in detail how we use bipartite walks on paths to construct universal perfect state transfer in continuous walks.
Cycles of length 3 and 4 in edge-colored complete graphs with restrictions in the color transitions
Published
• View Publication
• BIB
Let $G$ be an edge-colored graph, a walk in $G$ is said to be a properly colored walk iff each pair of consecutive edges have different colors, including the first and the last edges in case that the walk be closed. Let $H$ be a graph possible with loops. We will say that a graph $G$ is an $H$-colored graph iff there exists a function $c:E(G)\longrightarrow V(H)$. A path $(v_1,\cdots,v_k)$ in $G$ is an $H$-path whenever $(c(v_1v_2),\cdots,$ $c(v_{k-1}v_k))$ is a walk in $H$, in particular, a cycle $(v_1,\cdots,v_k,v_1)$ is an $H$-cycle iff $(c(v_1 v_2),\cdots,c(v_{k-1}v_k),$ $c(v_kv_1), c(v_1 v_2))$ is a walk in $H$. Hence, $H$ decide which color transitions are allowed in a walk, in order to be an $H$-walk. Whenever $H$ is a complete graph without loops, an $H$-walk is a properly colored walk, so $H$-walk is a more general concept. In this paper, we work with $H$-colored complete graphs, with restrictions given by an auxiliary graph. The main theorems give conditions implying that every vertex in an $H$-colored complete graph, is contained in an $H$-cycle of length 3 and in an $H$-cycle of length 4. As a consequence of the main results, we obtain some well-known theorems in the theory of properly colored walks.
On $\mathbb{Z}_{\ell}^{d}$-towers of graphs
Published
• View Publication
• BIB
Let $\ell$ be a rational prime. We show that an analogue of a conjecture of Greenberg in graph theory holds true. More precisely, we show that when $n$ is sufficiently large, the $\ell$-adic valuation of the number of spanning trees at the $n$th layer of a $\mathbb{Z}_{\ell}^{d}$-tower of graphs is given by a polynomial in $\ell^{n}$ and $n$ with rational coefficients of total degree at most $d$ and of degree in $n$ at most one.
The tropical non-properness set of a polynomial map
We study some discrete invariants of Newton non-degenerate polynomial maps $f : \mathbb{K}^n \to \mathbb{K}^n$ defined over an algebraically closed field of Puiseux series $\mathbb{K}$, equipped with a non-trivial valuation. It is known that the set $\mathcal{S}(f)$ of points at which $f$ is not finite forms an algebraic hypersurface in $\mathbb{K}^n$. The coordinate-wise valuation of $\mathcal{S}(f)\cap (\mathbb{K}^*)^n$ is a piecewise-linear object in $\mathbb{R}^n$, which we call the tropical non-properness set of $f$. We show that the tropical polynomial map corresponding to $f$ has fibers satisfying a particular combinatorial degeneracy condition exactly over points in the tropical non-properness set of $f$. We then use this description to outline a polyhedral method for computing this set, and to recover the fan dual to the Newton polytope of the set at which a complex polynomial map is not finite. The proofs rely on classical correspondence and structural results from tropical geometry, combined with a new description of $\mathcal{S}(f)$ in terms of multivariate resultants.
On the achromatic number of the Cartesian product of two complete graphs
A vertex colouring $f:V(G)\to C$ of a graph $G$ is complete if for any $c_1,c_2\in C$ with $c_1\ne c_2$ there are in $G$ adjacent vertices $v_1,v_2$ such that $f(v_1)=c_1$ and $f(v_2)=c_2$. The achromatic number of $G$ is the maximum number $\mathrm{achr}(G)$ of colours in a proper complete vertex colouring of $G$. Let $G_1\square G_2$ denote the Cartesian product of graphs $G_1$ and $G_2$. In the paper $\mathrm{achr}(K_{r^2+r+1}\square K_q)$ is determined for an infinite number of $q$s provided that $r$ is a finite projective plane order.
Generalised Evasive Subspaces
Published
• View Publication
• BIB
We introduce and explore a new concept of evasive subspace with respect to a collection of subspaces sharing a common dimension, most notably partial spreads. We show that this concept generalises known notions of subspace scatteredness and evasiveness. We establish various upper bounds for the dimension of an evasive subspace with respect to arbitrary partial spreads, obtaining improvements for the Desarguesian ones. We also establish existence results for evasive spaces in a non-constructive way, using a graph theory approach. The upper and lower bounds we derive have a precise interpretation as bounds for the critical exponent of certain combinatorial geometries. Finally, we investigate connections between the notion of evasive space we introduce and the theory of rank-metric codes, obtaining new results on the covering radius and on the existence of minimal vector rank-metric codes.
FPS In Action: An Easy Way To Find Explicit Formulas For Interlaced Hypergeometric Sequences
Linear recurrence equations with constant coefficients define the power series coefficients of rational functions. However, one usually prefers to have an explicit formula for the sequence of coefficients, provided that such a formula is "simple" enough. Simplicity is related to the compactness of the formula due to the presence of algebraic numbers: "the smaller, the simpler". This poster showcases the capacity of recent updates on the Formal Power Series (FPS) algorithm, implemented in Maxima and Maple (convert/FormalPowerSeries), to find simple formulas for sequences like those from https://oeis.org/A307717, https://oeis.org/A226782, or https://oeis.org/A226784 by computing power series representations of their correctly guessed generating functions. We designed the algorithm for the more general context of univariate $P$-recursive sequences. Our implementations are available at http://www.mathematik.uni-kassel.de/~bteguia/FPS_webpage/FPS.htm
Conflict-Free Colouring of Subsets
Published
• View Publication
• BIB
We introduce and study conflict-free colourings of $t$-subsets in hypergraphs. In such colourings, one assigns colours to all subsets of vertices of cardinality $t$ such that in any hyperedge of cardinality at least $t$ there is a uniquely coloured $t$-subset.
The case $t=1$, i.e., vertex conflict-free colouring, is a well-studied notion. Already the case $t=2$ (i.e., colouring pairs) seems to present a new challenge. Many of the tools used for conflict-free colouring of geometric hypergraphs rely on hereditary properties of the underlying hypergraphs. When dealing with subsets of vertices, the properties do not pass to subfamilies of subsets. Therefore, we develop new tools, which might be of independent interest.
(i) For any fixed $t$, we show that the $\binom n t$ $t$-subsets in any set $P$ of $n$ points in the plane can be coloured with $O(t^2 \log^2 n)$ colours so that any axis-parallel rectangle that contains at least $t$ points of $P$ also contains a uniquely coloured $t$-subset.
(ii) For a wide class of "well behaved" geometrically defined hypergraphs, we provide near tight upper bounds on their $t$-subset conflict-free chromatic number. For $t=2$ we show that for each of those "well -behaved" hypergraphs $H$, the hypergraph $H'$ obtained by taking union of two hyperedges from $H$, admits a $2$-subset conflict-free colouring with roughly the same number of colours as $H$. For example, we show that the $\binom n 2$ pairs of points in any set $P$ of $n$ points in the plane can be coloured with $O(\log n)$ colours such that for any two discs $d_1,d_2$ in the plane with $|(d_1\cup d_2)\cap P|\geq 2$ there is a uniquely (in $d_1 \cup d_2$) coloured pair.
(iii) We also show that there is no general bound on the $t$-subset conflict-free chromatic number as a function of the standard conflict-free chromatic number already for $t=2$.
The structure of maximal non-trivial d-wise intersecting uniform families with large sizes
Published
• View Publication
• BIB
For a positive integer $d\geq 2$, a family $\mathcal F\subseteq \binom{[n]}{k}$ is said to be d-wise intersecting if $|F_1\cap F_2\cap \dots\cap F_d|\geq 1$ for all $F_1, F_2, \dots ,F_d\in \mathcal F$. A d-wise intersecting family $\mathcal F\subseteq \binom{[n]}{k}$ is called maximal if $\mathcal F\cup\{A\}$ is not d-wise intersecting for any $A\in\binom{[n]}{k}\setminus\mathcal F$. We provide a refinement of O'Neill and Verstraëte's Theorem about the structure of the largest and the second largest maximal non-trivial d-wise intersecting k-uniform families. We also determine the structure of the third largest and the fourth largest maximal non-trivial d-wise intersecting k-uniform families for any $k>d+1\geq 4$, and the fifth largest and the sixth largest maximal non-trivial 3-wise intersecting k-uniform families for any $k\geq 5$, in the asymptotic sense. Our proofs are applications of the $Δ$-system method.
On the minimum number of arcs in $k$-dicritical oriented graphs
Published
• View Publication
• BIB
The dichromatic number $\dic(D)$ of a digraph $D$ is the least integer $k$ such that $D$ can be partitioned into $k$ directed acyclic digraphs. A digraph is $k$-dicritical if $\dic(D) = k$ and each proper subgraph $D'$ of $D$ satisfies $\dic(D') \leq k-1$. An oriented graph is a digraph with no directed cycle of length $2$. For integers $k$ and $n$, we denote by $o_k(n)$ the minimum number of edges of a $k$-critical oriented graph on $n$ vertices (with the convention $o_k(n)=+\infty$ if there is no $k$-dicritical oriented graph of order $n$). The main result of this paper is a proof that $o_3(n) \geq \frac{7n+2}{3}$ together with a construction witnessing that $o_3(n) \leq \left \lceil \frac{5n}{2} \right \rceil$ for all $n \geq 12$. We also give a construction showing that for all sufficiently large $n$ and all $k\geq 3$, $o_k(n) < (2k-3)n$, disproving a conjecture of Hoshino and Kawarabayashi. Finally, we prove that, for all $k\geq 2$, $o_k(n) \geq \pth{ k - \frac{3}{4}-\frac{1}{4k-6}} n + \frac{3}{4(2k-3)}$, improving the previous best known lower bound of Bang-Jensen, Bellitto, Schweser and Stiebitz.
Computing Vanishing Ideals for Toric Codes
Motivated by applications to the theory of error-correcting codes, we give methods for computing a generating set for the ideal generated by $β$-graded polynomials vanishing on certain subsets of a simplicial complete toric variety $X$ over a finite field $\mathbb{F}_q$, where $β$ is a $d\times r$ matrix whose columns generate a subsemigroup $\mathbb{N}β$ of $\mathbb{N}^d$. We also give a method for computing the vanishing ideal of the set of $\mathbb{F}_q$-rational points of $X$. When $β=[w_1 \cdots w_r]$ is a row matrix corresponding to a numerical semigroup $\mathbb{N}β=\langle w_1,\dots,w_r \rangle$, $X$ is a weighted projective space and generators of the relevant vanishing ideal is given using generators of defining (toric) ideals of numerical semigroup rings corresponding to semigroups generated by subsets of $\{w_1,\dots,w_r\}$.
On Polynomial Kernels for Traveling Salesperson Problem and its Generalizations
For many problems, the important instances from practice possess certain structure that one should reflect in the design of specific algorithms. As data reduction is an important and inextricable part of today's computation, we employ one of the most successful models of such precomputation -- the kernelization. Within this framework, we focus on Traveling Salesperson Problem (TSP) and some of its generalizations.
We provide a kernel for TSP with size polynomial in either the feedback edge set number or the size of a modulator to constant-sized components. For its generalizations, we also consider other structural parameters such as the vertex cover number and the size of a modulator to constant-sized paths. We complement our results from the negative side by showing that the existence of a polynomial-sized kernel with respect to the fractioning number, the combined parameter maximum degree and treewidth, and, in the case of Subset-TSP, modulator to disjoint cycles (i.e., the treewidth two graphs) is unlikely.
The $m$-ovoids of ${\cal W}(5,2)$
In this paper we are concerned with $m$-ovoids of the symplectic polar space ${\cal W}(2n+1, q)$, $q$ even. In particular we show the existence of an elliptic quadric of ${\rm PG}(2n+1, q)$ not polarizing to ${\cal W}(2n+1, q)$ forming a $\left(\frac{q^n-1}{q-1}\right)$-ovoid of ${\cal W}(2n+1, q)$. A further class of $(q+1)$-ovoids of ${\cal W}(5, q)$ is exhibited. It arises by glueing together two orbits of a subgroup of ${\rm PSp}(6, q)$ isomorphic to ${\rm PSL}(2, q^2)$. We also show that the obtained $m$-ovoids do not fall in any of the examples known so far in the literature. Moreover, a computer classification of the $m$-ovoids of ${\cal W}(5, 2)$ is acquired. It turns out that ${\cal W}(5, 2)$ has $m$-ovoids if and only if $m = 3$ and that there are exactly three pairwise non-isomorphic examples. The first example comes from an elliptic quadric ${\cal Q}^-(5, 2)$ polarizing to ${\cal W}(5, 2)$, whereas the other two are the $3$-ovoids previously mentioned.
Asymptotics of multivariate sequences IV: generating functions with poles on a hyperplane arrangement
Published
• View Publication
• BIB
Let F be the quotient of an analytic function with a product of linear functions. Working in the framework of analytic combinatorics in several variables, we compute asymptotic formulae for the Taylor coefficients of F using multivariate residues and saddle-point approximations. Because the singular set of F is the union of hyperplanes, we are able to make explicit the topological decompositions which arise in the multivariate singularity analysis. In addition to effective and explicit asymptotic results, we provide the first results on transitions between different asymptotic regimes, and provide the first software package to verify and compute asymptotics in non-smooth cases of analytic combinatorics in several variables. It is also our hope that this paper will serve as an entry to the more advanced corners of analytic combinatorics in several variables for combinatorialists.
Enumeration of tree-type diagrams assembled from oriented chains of edges
We study a family of tree-type diagrams that arise in studies of the cumulant expansion in discrete Erd\H os-Rényi random matrix models. Using a version of the Pr\" ufer code, we obtain an explicit expression for the number of tree-type diagrams assembled from $k$ oriented chains of $q$ edges. Using this modified Prüfer codification, we get an explicit expression for sum overs weighted tree-type diagrams with a weight depending on multiplicity of edges. We describe similar results for tree-type diagrams assembled from chains that are not necessarily regular.
Construction of quaternary Hermitian LCD codes
Published
• View Publication
• BIB
We introduce a general construction of many Hermitian LCD $[n, k]$ codes from a given Hermitian LCD $[n, k]$ code. Furthermore, we present some results on punctured codes and shortened codes of quaternary Hermitian LCD codes. As an application, we improve some of the previously known lower bounds on the largest minimum weights of quaternary Hermitian LCD codes of length $12 \le n \le 30$.