Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Characteristic classes of affine varieties and Plucker formulas for affine morphisms
Published in Journal of the EMS, 20 (2018) 15-59
• View Publication
• BIB
An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is spherical), then many authors suggested a better home for intersection theory: the direct limit of the cohomology rings of all equivariant compactifications of $V$. We call this limit the affine cohomology of $V$ and construct affine characteristic classes of subvarieties of a complex torus, taking values in the affine cohomology of the torus.
This allows us to make the first steps in computing affine Thom polynomials. Classical Thom polynomials count how many fibers of a generic proper map of a smooth variety have a prescribed collection of singularities, and our affine version addresses the same question for generic polynomial maps of affine algebraic varieites. This notion is also motivated by developing an intersection-theoretic approach to tropical correspondence theorems: they can be reduced to the computation of affine Thom polynomials, because the fundamental class of a variety in the affine cohomology is encoded by the tropical fan of this variety.
The first concrete answer that we obtain is the affine version of what were, historically speaking, the first three Thom poylnomials -- the Plucker formulas for the degree and the number of cusps and nodes of a projectively dual curve. This, in particular, classifies toric varieties, whose projective dual is a hypersurface, computes the tropical fan of the variety of double tangent hyperplanes to a toric variety, and describes the Newton polytope of the hypersurface of non-Morse polynomials of a given degree. We also make a conjecture on the general form of affine Thom polynomials -- a key ingredient is the $n$-ary fan, generalizing the secondary polytope.
An update on domineering on rectangular boards
Domineering is a combinatorial game played on a subset of a rectangular grid between two players. Each board position can be put into one of four outcome classes based on who the winner will be if both players play optimally. In this note, we review previous work, establish the outcome classes for several dimensions of rectangular board, and restrict the outcome class in several more.
The multisubset sum problem for finite abelian groups
In this note, we give the explicit formula for the number of multisubsets of a finite abelian group $G$ with any given size such that the sum is equal to a given element $g\in G$. This also gives the number of partitions of $g$ into a given number of parts over a finite abelian group. An inclusion-exclusion formula for the number of multisubsets of a subset of $G$ with a given size and a given sum is also obtained.
On the existence of 0/1 polytopes with high semidefinite extension complexity
In Rothvoß it was shown that there exists a 0/1 polytope (a polytope whose vertices are in \{0,1\}^{n}) such that any higher-dimensional polytope projecting to it must have 2^{Ω(n)} facets, i.e., its linear extension complexity is exponential. The question whether there exists a 0/1 polytope with high PSD extension complexity was left open. We answer this question in the affirmative by showing that there is a 0/1 polytope such that any spectrahedron projecting to it must be the intersection of a semidefinite cone of dimension~2^{Ω(n)} and an affine space. Our proof relies on a new technique to rescale semidefinite factorizations.
Fibonacci Graphs and their Expressions
The paper investigates relationship between algebraic expressions and graphs. We consider a digraph called a Fibonacci graph which gives a generic example of non-series-parallel graphs. Our intention in this paper is to simplify the expressions of Fibonacci graphs and eventually find their shortest representations. With that end in view, we describe the number of methods for generating Fibonacci graph expressions and carry out their comparative analysis.
Recent Results on Douglas-Rachford Methods for Combinatorial Optimization Problems
Published in Journal of Optimization Theory and Applications 163 (2014), 1-30
• View Publication
• BIB
We discuss recent positive experiences applying convex feasibility algorithms of Douglas--Rachford type to highly combinatorial and far from convex problems.
On Improved Bounds on Bounded Degree Spanning Trees for Points in Arbitrary Dimension
Published in S. Zbarsky. On Improved Bounds for Bounded Degree Spanning Trees for Points in Arbitrary Dimension. Discrete Comput. Geom.,51(1):427-437,2014
• View Publication
• BIB
Given points in Euclidean space of arbitrary dimension, we prove that there exists a spanning tree having no vertices of degree greater than 3 with weight at most 1.559 times the weight of the minimum spanning tree. We also prove that there is a set of points such that no spanning tree of maximal degree 3 exists that has this ratio be less than 1.447. Our central result is based on the proof of the following claim:
Given $n$ points in Euclidean space with one special point $V$, there exists a Hamiltonian path with an endpoint at $V$ that is at most 1.559 times longer than the sum of the distances of the points to $V$.
These proofs also lead to a way to find the tree in linear time given the minimal spanning tree.
4-critical graphs on surfaces without contractible (<=4)-cycles
Published
• View Publication
• BIB
We show that if G is a 4-critical graph embedded in a fixed surface $Σ$ so that every contractible cycle has length at least 5, then G can be expressed as $G=G'\cup G_1\cup G_2\cup ... \cup G_k$, where $|V(G')|$ and $k$ are bounded by a constant (depending linearly on the genus of $Σ$) and $G_1\ldots,G_k$ are graphs (of unbounded size) whose structure we describe exactly. The proof is computer-assisted - we use computer to enumerate all plane 4-critical graphs of girth 5 with a precolored cycle of length at most 16, that are used in the basic case of the inductive proof of the statement.
Nonsymmetric primitive translation schemes on prime power number of vertices
Published
• View Publication
• BIB
It is well-known that translation schemes on prime number of vertices are exactly the cyclotomic schemes. In this current paper, we show that there are no nonsymmetric primitive translation schemes on prime square vertices with at most four classes. On the other hand, we find new non-symmetric four- and five-class association schemes from cyclotomy as fission schemes of certain symmetric three-class schemes. Moreover, we provide an affirmative answer to the following question raised by Song \cite{song_2}: Are there any other two-class primitive schemes that admit symmetrizable fission schemes besides the cyclotomic scheme of index 2 for $q \equiv5 \pmod{8}$? To be more specific, we show that a certain two-class primitive scheme in the finite field $\F_{37^3}$ constructed by Feng and Xiang in \cite{fx} admits a four-class fission scheme. This fission scheme is realized as a fusion scheme of the cyclotomic scheme of index 28.
On-Line Choice Number of Complete Multipartite Graphs: an Algorithmic Approach
Published
• View Publication
• BIB
This paper studies the on-line choice number on complete multipartite graphs with independence number $m$. We give a unified strategy for every prescribed $m$. Our main result leads to several interesting consequences comparable to known results. (1) If $ k_1-\sum_{p=2}^m(\frac{p^2}{2}-\frac{3p}{2}+1)k_p\geq 0$, where $k_p$ denotes the number of parts of cardinality $p$, then $G$ is on-line chromatic-choosable. (2) If $ |V(G)|\leq\frac{m^2-m+2}{m^2-3m+4}χ(G)$, then $G$ is on-line chromatic-choosable. (3) The on-line choice number of regular complete multipartite graphs $K_{m\star k}$ is at most $(m+\frac{1}{2}-\sqrt{2m-2})k$ for $m\geq 3$.
Connectivity and other invariants of generalized products of graphs
Figueroa-Centeno et al. introduced the following product of digraphs: let $D$ be a digraph and let $Γ$ be a family of digraphs such that $V(F)=V$ for every $F\in Γ$. Consider any function $h:E(D)\longrightarrowΓ$. Then the product $D\otimes_{h} Γ$ is the digraph with vertex set $V(D)\times V$ and $((a,x),(b,y))\in E(D\otimes_hΓ)$ if and only if $(a,b)\in E(D)$ and $(x,y)\in E(h (a,b))$.
In this paper, we introduce the undirected version of the $\otimes_h$-product, which is a generalization of the classical direct product of graphs and, motivated by it, we also recover a generalization of the classical lexicographic product of graphs that was introduced by Sabidussi en 1961. We study connectivity properties and other invariants in terms of the factors. We also present a new intersection graph that emerges when we characterize the connectivity of $\otimes_h$-product of graphs.
Coloring distance graphs: a few answers and many questions
Given a metric space and a set of distances, one constructs the associated distance graph by taking as vertices the points of the space and as edges the pairs whose distance is in the given set. It is a longstanding open question to determine the chromatic number of the graph obtained from the Euclidean plane and a set reduced to one distance. Surprisingly, while many variants of this problem have been studied, only a few non-Euclidean spaces seem to have been seriously considered. In this paper, we consider the planar translation-invariant metrics and the hyperbolic plane. We answer questions of Johnson and Szlam, prove a few other results, and ask many questions.
Lattice points in polytopes, box splines, and Todd operators
Published in International Mathematics Research Notices, Volume 2015, Issue 14, 2015, Pages 5289-5310
• View Publication
• BIB
Let $X$ be a list of vectors that is totally unimodular. In a previous article the author proved that every real-valued function on the set of interior lattice points of the zonotope defined by $X$ can be extended to a function on the whole zonotope of the form $p(D)B_X$ in a unique way, where $p(D)$ is a differential operator that is contained in the so-called internal $\Pcal$-space. In this paper we construct an explicit solution to this interpolation problem in terms of Todd operators. As a corollary we obtain a slight generalisation of the Khovanskii-Pukhlikov formula that relates the volume and the number of integer points in a smooth lattice polytope.
Tiling simply connected regions with rectangles
Published
• View Publication
• BIB
In [BNRR], it was shown that tiling of general regions with two rectangles is NP-complete, except for a few trivial special cases. In a different direction, Rémila showed that for simply connected regions by two rectangles, the tileability can be solved in quadratic time (in the area). We prove that there is a finite set of at most 10^6 rectangles for which the tileability problem of simply connected regions is NP-complete, closing the gap between positive and negative results in the field. We also prove that counting such rectangular tilings is #P-complete, a first result of this kind.
Multiple isolation of nodes in recursive trees
Published
• View Publication
• BIB
We introduce the problem of isolating several nodes in random recursive trees by successively removing random edges, and study the number of random cuts that are necessary for the isolation. In particular, we analyze the number of random cuts required to isolate $\ell$ selected nodes in a size-n random recursive tree for three different selection rules, namely (i) isolating all of the nodes labelled 1,2,...,$\ell$ (thus nodes located close to the root of the tree), (ii) isolating all of the nodes labelled n+1-$\ell$,n+2-$\ell$,...,n (thus nodes located at the fringe of the tree), and (iii) isolating $\ell$ nodes in the tree, which are selected at random before starting the edge-removal procedure. Using a generating functions approach we determine for these selection rules the limiting distribution behavior of the number of cuts to isolate all selected nodes, for $\ell$ fixed and n tending to infinity.
Counterexamples to the List Square Coloring Conjecture
Published
• View Publication
• BIB
The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. Let $χ(H)$ and $χ_l(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_l (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. Kostochka and Woodall \cite{KW2001} conjectured that $χ_l(G^2) = χ(G^2)$ for every graph $G$, which is called List Square Coloring Conjecture. In this paper, we give infinitely many counterexamples to the conjecture. Moreover, we show that the value $χ_l(G^2) - χ(G^2)$ can be arbitrary large.
Improved bounds on the chromatic numbers of the square of Kneser graphs
Published
• View Publication
• BIB
The Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-elements subsets of an $n$-element set, with two vertices adjacent if the sets are disjoint. The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. Determining the chromatic number of the square of the Kneser graph $K(2k+1, k)$ is an interesting problem, but not much progress has been made. Kim and Nakprasit \cite{2004KN} showed that $χ(K^2(2k+1,k)) \leq 4k+2$, and Chen, Lih, and Wu \cite{2009CLW} showed that $χ(K^2(2k+1,k)) \leq 3k+2$ for $k \geq 3$. In this paper, we give improved upper bounds on $χ(K^2(2k+1,k))$. We show that $χ(K^2(2k+1,k)) \leq 2k+2$, if $ 2k +1 = 2^n -1$ for some positive integer $n$. Also we show that $χ(K^2(2k+1,k)) \leq \frac{8}{3}k+\frac{20}{3}$ for every integer $k\ge 2$. In addition to giving improved upper bounds, our proof is concise and can be easily understood by readers while the proof in \cite{2009CLW} is very complicated. Moreover, we show that $χ(K^2(2k+r,k))=Θ(k^r)$ for each integer $2 \leq r \leq k-2$.
On a relation between certain character values of symmetric groups and its connection with creation operators of symmetric functions
Published
• View Publication
• BIB
In this paper, we derive a relation of new kind between certain character values of symmetric groups in terms of so-called maya diagrams. We also investigate a relation between our result and Bernstein's creation operators for Schur functions, and consider analogous relations for projective characters of symmetric groups through creation operators for Schur $Q$-functions. We also consider analogous relations for characters of Brauer algebras and walled Brauer algebras.
(k,m)-connectivity in Mobile Clustered Wireless Networks
This paper has been withdrawn by the author due to a crucial error in the calculation of Equation (28). We propose a novel concept of $(k,m)$-connectivity in mobile clustered wireless networks, in which there are $n$ mobile cluster members and $n^d$ static cluster heads, where $k,m,d$ are all positive constants and $k\leq m$. $(k,m)$-connectivity signifies that in a time period consisting of $m$ time slots, there exist at least $k$ time slots for each cluster member and in any one of these $k$ time slots the cluster member can directly communicate with at least one cluster head. We investigate the critical transmission range of asymptotic $(k,m)$-connectivity when cluster members move according to random walk or i.i.d. mobility model. Under random walk mobility, we propose two general heterogeneous velocity models in which cluster members may move with different velocities. Under both mobility models, we also define weak and strong parameters conditions, resulting in different accuracies of evaluations on the probability that the network is asymptotically $(k,m)$-connected, denoted as $P(\mathcal {C})$ below for simplicity. For both mobilities, under weak parameters condition, we provide bounds on $P(\mathcal {C})$ and derive the critical transmission range for $(k,m)$-connectivity. For random walk mobility with one kind of velocity model and i.i.d. mobility, under strong parameters condition, we present a precise asymptotic probability distribution of $P(\mathcal {C})$ in terms of the transmission radius. Our results offer fundamental insights and theoretical guidelines on design of large-scale wireless networks.
Full Square Rhomboids and Their Algebraic Expressions
The paper investigates relationship between algebraic expressions and graphs. We consider a digraph called a full square rhomboid that is an example of non-series-parallel graphs. Our intention is to simplify the expressions of full square rhomboids and eventually find their shortest representations. With that end in view, we describe two decomposition methods for generating expressions of full square rhomboids and carry out their comparative analysis.