Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Another Proof of Segre's Theorem about Ovals
In 1955 B. Segre showed that any oval in a projective plane over a finite field of odd order is a conic. His proof constructs a conic which matches the oval in some points and tangents, and then shows that it actually coincides with the oval. The different proof given here parametrizes an affine piece of the oval and shows directly that the parametrization is given by a polynomial of degree $2$.
A smaller counterexample to the Lando conjecture
The following conjecture was proposed in 2010 by S. Lando. Let M and N be two unions of the same number of disjoint circles in a sphere. Then there exist two spheres in 3-space whose intersection is transversal and is a union of disjoint circles that is situated as M in one sphere and as N in the other . Define union A of disjoint circles to be situated in one sphere as union B of disjoint circles in the other sphere if there is a homeomorphism between these two spheres which maps A to B.
In this paper we prove that there exists pair of sets of 7 circles in sphere, that is a counterexample to the Lando conjecture. This is proved using the Avvakumov Theorem. We conjecture that there exists no pair (M,N) that is counterexample and M contains 6 or less circles.
A lower bound of the least signless Laplacian eigenvalue of a graph
Published
• View Publication
• BIB
Let $G$ be a simple connected graph on $n$ vertices and $m$ edges. In [Linear Algebra Appl. 435 (2011) 2570-2584], Lima et al. posed the following conjecture on the least eigenvalue $q_n(G)$ of the signless Laplacian of $G$: $\displaystyle q_n(G)\ge {2m}/{(n-1)}-n+2$. In this paper we prove a stronger result: For any graph with $n$ vertices and $m$ edges, we have $\displaystyle q_n(G)\ge {2m}/{(n-2)}-n+1 (n\ge 6)$.
New upper and lower bounds for the additive degree-Kirchhoff index
Published in Croat. Chem. Acta 86 (4) (2013) 363-370
• View Publication
• BIB
Given a simple connected graph on $N$ vertices with size $|E|$ and degree sequence $d_{1}\leq d_{2}\leq ...\leq d_{N}$, the aim of this paper is to exhibit new upper and lower bounds for the additive degree-Kirchhoff index in closed forms, not containing effective resistances but a few invariants $(N,|E|$ and the degrees $d_{i}$) and applicable in general contexts. In our arguments we follow a dual approach: along with a traditional toolbox of inequalities we also use a relatively newer method in Mathematical Chemistry, based on the majorization and Schur-convex functions. Some theoretical and numerical examples are provided, comparing the bounds obtained here and those previously known in the literature.
Recent Advances in Graph Partitioning
We survey recent trends in practical algorithms for balanced graph partitioning together with applications and future research directions.
FKN Theorem on the biased cube
Published
• View Publication
• BIB
In this note we consider Boolean functions defined on the discrete cube equipped with a biased product probability measure. We prove that if the spectrum of such a function is concentrated on the first two Fourier levels, then the function is close to a certain function of one variable. Moreover, in the symmetric case we prove that if a [-1,1]-valued function defined on the discrete cube is close to a certain affine function, then it is also close to a [-1,1]-valued affine function.
On multiple Borsuk numbers in normed spaces
Hujter and Lángi introduced the $k$-fold Borsuk number of a set $S$ in Euclidean $n$-space of diameter $d > 0$ as the smallest cardinality of a family $\mathcal F$ of subsets of $S$, of diameters strictly less than $d$, such that every point of $S$ belongs to at least $k$ members of $\mathcal F$.
We investigate whether a $k$-fold Borsuk covering of a set $S$ in a finite dimensional real normed space can be extended to a completion of $S$. Furthermore, we determine the $k$-fold Borsuk number of sets in not angled normed planes, and give a partial characterization for sets in angled planes.
Connectivity for bridge-alterable graph classes
Published
• View Publication
• BIB
A collection of graphs is called bridge-alterable if, for each graph G with a bridge e, G is in the class if and only if G-e is. For example the class of forests is bridge-alterable. For a random forest $F_n$ sampled uniformly from the set of forests on vertex set {1,..,n}, a classical result of Renyi (1959) shows that the probability that $F_n$ is connected is $e^{-1/2 +o(1)}$. Recently Addario-Berry, McDiarmid and Reed (2012) and Kang and Panagiotou (2013) independently proved that, given a bridge-alterable class, for a random graph $R_n$ sampled uniformly from the graphs in the class on {1,..,n}, the probability that $R_n$ is connected is at least $e^{-1/2 +o(1)}$. Here we give a more straightforward proof, and obtain a stronger non-asymptotic form of this result, which compares the probability to that for a random forest. We see that the probability that $R_n$ is connected is at least the minimum over $\frac25 n < t \leq n$ of the probability that $F_t$ is connected.
Lower Bounds on the Sizes of Integer Programs Without Additional Variables
Published
• View Publication
• BIB
Let X be the set of integer points in some polyhedron. We investigate the smallest number of facets of any polyhedron whose set of integer points is X. This quantity, which we call the relaxation complexity of X, corresponds to the smallest number of linear inequalities of any integer program having X as the set of feasible solutions that does not use auxiliary variables. We show that the use of auxiliary variables is essential for constructing polynomial size integer programming formulations in many relevant cases. In particular, we provide asymptotically tight exponential lower bounds on the relaxation complexity of the integer points of several well-known combinatorial polytopes, including the traveling salesman polytope and the spanning tree polytope.
On the Expansion of Group-Based Lifts
Published
• View Publication
• BIB
A $k$-lift of an $n$-vertex base graph $G$ is a graph $H$ on $n\times k$ vertices, where each vertex $v$ of $G$ is replaced by $k$ vertices $v_1,\cdots{},v_k$ and each edge $(u,v)$ in $G$ is replaced by a matching representing a bijection $π_{uv}$ so that the edges of $H$ are of the form $(u_i,v_{π_{uv}(i)})$. Lifts have been studied as a means to efficiently construct expanders. In this work, we study lifts obtained from groups and group actions. We derive the spectrum of such lifts via the representation theory principles of the underlying group. Our main results are:
(1) There is a constant $c_1$ such that for every $k\geq 2^{c_1nd}$, there does not exist an abelian $k$-lift $H$ of any $n$-vertex $d$-regular base graph with $H$ being almost Ramanujan (nontrivial eigenvalues of the adjacency matrix at most $O(\sqrt{d})$ in magnitude). This can be viewed as an analogue of the well-known no-expansion result for abelian Cayley graphs.
(2) A uniform random lift in a cyclic group of order $k$ of any $n$-vertex $d$-regular base graph $G$, with the nontrivial eigenvalues of the adjacency matrix of $G$ bounded by $λ$ in magnitude, has the new nontrivial eigenvalues also bounded by $λ+O(\sqrt{d})$ in magnitude with probability $1-ke^{-Ω(n/d^2)}$. In particular, there is a constant $c_2$ such that for every $k\leq 2^{c_2n/d^2}$, there exists a lift $H$ of every Ramanujan graph in a cyclic group of order $k$ with $H$ being almost Ramanujan. We use this to design a quasi-polynomial time algorithm to construct almost Ramanujan expanders deterministically.
The existence of expanding lifts in cyclic groups of order $k=2^{O(n/d^2)}$ can be viewed as a lower bound on the order $k_0$ of the largest abelian group that produces expanding lifts. Our results show that the lower bound matches the upper bound for $k_0$ (upto $d^3$ in the exponent).
The effect of points fattening on Hirzebruch surfaces
Published in Math. Nachr. 288 (2015), 577-583
• View Publication
• BIB
The purpose of this note is to study initial sequences of zero-dimensional subschemes of Hirzebruch surfaces and classify subschemes whose initial sequence has the minimal possible growth.
The opaque square
Published
• View Publication
• BIB
The problem of finding small sets that block every line passing through a unit square was first considered by Mazurkiewicz in 1916. We call such a set {\em opaque} or a {\em barrier} for the square. The shortest known barrier has length $\sqrt{2}+ \frac{\sqrt{6}}{2}= 2.6389\ldots$. The current best lower bound for the length of a (not necessarily connected) barrier is $2$, as established by Jones about 50 years ago. No better lower bound is known even if the barrier is restricted to lie in the square or in its close vicinity. Under a suitable locality assumption, we replace this lower bound by $2+10^{-12}$, which represents the first, albeit small, step in a long time toward finding the length of the shortest barrier. A sharper bound is obtained for interior barriers: the length of any interior barrier for the unit square is at least $2 + 10^{-5}$. Two of the key elements in our proofs are: (i) formulas established by Sylvester for the measure of all lines that meet two disjoint planar convex bodies, and (ii) a procedure for detecting lines that are witness to the invalidity of a short bogus barrier for the square.
Frame patterns in n-cycles
In this paper, we study the distribution of the number of occurrences of the simplest frame pattern, called the $μ$ pattern, in $n$-cycles. Given an $n$-cycle $C$, we say that a pair $\langle i,j \rangle$ matches the $μ$ pattern if $i < j$ and as we traverse around $C$ in a clockwise direction starting at $i$ and ending at $j$, we never encounter a $k$ with $i < k < j$. We say that $ \langle i,j \rangle$ is a nontrivial $μ$-match if $i+1 < j$. Also, an $n$-cycle $C$ is incontractible if there is no $i$ such that $i+1$ immediately follows $i$ in $C$.
We show that the number of incontractible $n$-cycles in the symmetric group $S_n$ is $D_{n-1}$, where $D_n$ is the number of derangements in $S_n$. Further, we prove that the number of $n$-cycles in $S_n$ with exactly $k$ $μ$-matches can be expressed as a linear combination of binomial coefficients of the form $\binom{n-1}{i}$ where $i \leq 2k+1$. We also show that the generating function $NTI_{n,μ}(q)$ of $q$ raised to the number of nontrivial $μ$-matches in $C$ over all incontractible $n$-cycles in $S_n$ is a new $q$-analogue of $D_{n-1}$, which is different from the $q$-analogues of the derangement numbers that have been studied by Garsia and Remmel and by Wachs. We show that there is a rather surprising connection between the charge statistic on permutations due to Lascoux and Schüzenberger and our polynomials in that the coefficient of the smallest power of $q$ in $NTI_{2k+1,μ}(q)$ is the number of permutations in $S_{2k+1}$ whose charge path is a Dyck path. Finally, we show that $NTI_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}}$ and $NT_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}}$ are the number of partitions of $k$ for sufficiently large $n$.
Random perturbation of low rank matrices: Improving classical bounds
Matrix perturbation inequalities, such as Weyl's theorem (concerning the singular values) and the Davis-Kahan theorem (concerning the singular vectors), play essential roles in quantitative science; in particular, these bounds have found application in data analysis as well as related areas of engineering and computer science. In many situations, the perturbation is assumed to be random, and the original matrix has certain structural properties (such as having low rank). We show that, in this scenario, classical perturbation results, such as Weyl and Davis-Kahan, can be improved significantly. We believe many of our new bounds are close to optimal and also discuss some applications.
Geometric complexity of embeddings in ${\mathbb R}^d$
Published in Geom. Funct. Anal. 24 (2014), no. 5, 1406-1430
• View Publication
• BIB
Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any $n$-complex with $N$ simplices which topologically embeds in ${\mathbb R}^{2n}$, $n>2$, can be PL embedded in ${\mathbb R}^{2n}$ with refinement complexity $O(e^{N^{4+ε}})$. Families of simplicial $n$-complexes $K$ are constructed such that any embedding of $K$ into ${\mathbb R}^{2n}$ has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of $K$. This contrasts embeddings in the stable range, $K\subset {\mathbb R}^{2n+k}$, $k>0$, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.
Fractional matching in hypergraphs
Published
• View Publication
• BIB
We find the exact formula for the minimal number of edges of hypergraph which guaranteed fractional matching of cardinality $s$ in the case when $sn$ is integer.
Source Code for Computing Giambelli's Formula for Type $E$ Peterson Varieties
This document is a companion to the paper "Monk's Rule and Giambelli's Formula for Peterson Varieties of All Lie Types." We provide the source code for computing the Giambelli's formula in types $E_6$ $E_7$ and $E_8$.
Spectral results for the dominating induced matching problem
A matching M is a dominating induced matching of a graph, if every edge of the graph is either in $M$ or has a common end-vertex with exactly one edge in $M$. The concept of complete dominating induced matching is introduced as graphs where the vertex set can be partitioned into two subsets, one of them inducing an $1$-regular graph and the other defining an independent set and such that all the remaining edges connect each vertex of one set to each vertex of the other. The principal eigenvectors of the adjacency, Laplacian and signless Laplacian matrices of graphs with complete dominating induced matchings are characterized and, therefore, the polynomial time recognition of graphs with complete dominating induced matchings is stated. The adjacency, Laplacian and signless Laplacian spectrum of graphs with complete dominating induced matchings are characterized. Finally, several upper and lower bounds on the cardinality of a dominating induced matching obtained from the eigenvalues of the adjacency, Laplacian and signless Laplacian matrices are deduced and examples for which some of these bounds are tight are presented.
Large Independent Sets in Triangle-Free Planar Graphs
Every triangle-free planar graph on n vertices has an independent set of size at least (n+1)/3, and this lower bound is tight. We give an algorithm that, given a triangle-free planar graph G on n vertices and an integer k>=0, decides whether G has an independent set of size at least (n+k)/3, in time 2^{O(sqrt{k})}n. Thus, the problem is fixed-parameter tractable when parameterized by k. Furthermore, as a corollary of the result used to prove the correctness of the algorithm, we show that there exists epsilon>0 such that every planar graph of girth at least five on n vertices has an independent set of size at least n/(3-epsilon).
Minors for alternating dimaps
Published
• View Publication
• BIB
We develop a theory of minors for alternating dimaps --- orientably embedded digraphs where, at each vertex, the incident edges (taken in the order given by the embedding) are directed alternately into, and out of, the vertex. We show that they are related by the triality relation of Tutte. They do not commute in general, though do in many circumstances, and we characterise the situations where they do. The relationship with triality is reminiscent of similar relationships for binary functions, due to the author, so we characterise those alternating dimaps which correspond to binary functions. We give a characterisation of alternating dimaps of at most a given genus, using a finite set of excluded minors. We also use the minor operations to define simple Tutte invariants for alternating dimaps and characterise them. We establish a connection with the Tutte polynomial, and pose the problem of characterising universal Tutte-like invariants for alternating dimaps based on these minor operations.