Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Graph-truncations of $3$-polytopes
In this paper we study the operation of cutting off edges of a simple $3$-polytope $P$ along the graph $Γ$. We give the criterion when the resulting polytope is simple and when it is flag. As a corollary we prove the analog of Eberhard's theorem about the realization of polygon vectors of simple $3$-polytopes for flag polytopes.
Valid plane trees: Combinatorial models for RNA secondary structures with Watson-Crick base pairs
Published
• View Publication
• BIB
The combinatorics of RNA plays a central role in biology. Mathematical biologists have several commonly-used models for RNA: words in a fixed alphabet (representing the primary sequence of nucleotides) and plane trees (representing the secondary structure, or folding of the RNA sequence). This paper considers an augmented version of the standard model of plane trees, one that incorporates some observed constraints on how the folding can occur. In particular we assume the alphabet consists of complementary pairs, for instance the Watson-Crick pairs A-U and C-G of RNA.
Given a word in the alphabet, a valid plane tree is a tree for which, when the word is folded around the tree, each edge matches two complementary letters. Consider the graph whose vertices are valid plane trees for a fixed word and whose edges are given by Condon, Heitsch, and Hoos's local moves. We prove this graph is connected.
We give an explicit algorithm to construct a valid plane tree from a primary sequence, assuming that at least one valid plane tree exists. The tree produced by our algorithm has other useful characterizations, including a uniqueness condition defined by local moves. We also study enumerative properties of valid plane trees, analyzing how the number of valid plane trees depends on the choice of sequence length and alphabet size. Finally we show that the proportion of words with at least one valid plane tree goes to zero as the word size increases. We also give some open questions.
Cyclotomic difference sets in finite fields
Published
• View Publication
• BIB
The classical problem of whether $m$th-powers with or without zero in a finite field $\mathbb{F}_q$ form a difference set has been extensively studied, and is related to many topics, such as flag transitive finite projective planes. In this paper new necessary and sufficient conditions are established including those via a system of polynomial equations on Gauss sums. The author thereby solves the problem for even $q$ which is neglected in the literature, and extends the nonexistence list for even $m$ up to $22$. Moreover, conjectures toward the complete classification are posed.
Regular maps of high density
Published
• View Publication
• BIB
A regular map is a surface together with an embedded graph, having properties similar to those of the surface and graph of a platonic solid. We analyze regular maps with reflection symmetry and a graph of density strictly exceeding 1/2, and we conclude that all regular maps of this type belong to a family of maps naturally defined on the Fermat curves x^n+y^n+z^n=0, excepting the one corresponding to the tetrahedron.
Calculation of the Number of all Pairs of Disjoint S-permutation Matrices
Published in Applied Mathematics and Computation, Volume 268, 2015, Pages 1-11
• View Publication
• BIB
The concept of S-permutation matrix is considered. A general formula for counting all disjoint pairs of $n^2 \times n^2$ S-permutation matrices as a function of the positive integer $n$ is formulated and proven in this paper. To do that, the graph theory techniques have been used. It has been shown that to count the number of disjoint pairs of $n^2 \times n^2$ S-permutation matrices, it is sufficient to obtain some numerical characteristics of all $n\times n$ bipartite graphs.
Bounds on Geometric Eigenvalues of Graphs
The smallest nonzero eigenvalue of the normalized Laplacian matrix of a graph has been extensively studied and shown to have many connections to properties of the graph. We here study a generalization of this eigenvalue, denoted $λ(G, X)$, introduced by Mendel and Naor in 2010, obtained by embedding the vertices of the graph $G$ into a metric space $X$. We consider general bounds on $λ(G, X)$ and $λ(G, H)$, where $H$ is a graph under the standard distance metric, generalizing some existing results for the standard eigenvalue. We consider how $λ(G, H)$ is affected by changes to $G$ or $H$, and show $λ(G, H)$ is not monotone in either $G$ or $H$.
On the equivalence of linear sets
Let $L$ be a linear set of pseudoregulus type in a line $\ell$ in $Σ^*=\mathrm{PG}(t-1,q^t)$, $t=5$ or $t>6$. We provide examples of $q$-order canonical subgeometries $Σ_1,\, Σ_2 \subset Σ^*$ such that there is a $(t-3)$-space $Γ\subset Σ^*\setminus (Σ_1 \cup Σ_2 \cup \ell)$ with the property that for $i=1,2$, $L$ is the projection of $Σ_i$ from center $Γ$ and there exists no collineation $φ$ of $Σ^*$ such that $Γ^φ=Γ$ and $Σ_1^φ=Σ_2$.
Condition (ii) given in Theorem 3 in Lavrauw and Van de Voorde (Des. Codes Cryptogr. 56:89-104, 2010) states the existence of a collineation between the projecting configurations (each of them consisting of a center and a subgeometry), which give rise by means of projections to two linear sets. It follows from our examples that this condition is not necessary for the equivalence of two linear sets as stated there. We characterize the linear sets for which the condition above is actually necessary.
Average case complexity of DNFs and Shannon semi-effect for narrow subclasses of boolean functions
In this paper we establish some bounds on the complexity of disjunctive normal forms of boolean function from narrow subclasses (e.g. functions takes value 0 in a limited number of points). The bounds are obtained by reduction the initial problem to a simple set covering problem. The nature of the complexity bounds provided is tightly connected with Shannon effect and semi-effect for this classes.
Transversal designs and induced decompositions of graphs
We prove that for every complete multipartite graph $F$ there exist very dense graphs $G_n$ on $n$ vertices, namely with as many as ${n\choose 2}-cn$ edges for all $n$, for some constant $c=c(F)$, such that $G_n$ can be decomposed into edge-disjoint induced subgraphs isomorphic to~$F$. This result identifies and structurally explains a gap between the growth rates $O(n)$ and $Ω(n^{3/2})$ on the minimum number of non-edges in graphs admitting an induced $F$-decomposition.
Topological properties on the diameters of the integer simplex
Published
• View Publication
• BIB
Wide diameter $d_ω(G)$ and fault-diameter $D_ω(G)$ of an interconnection network $G$ have been recently studied by many authors. We determine the wide diameter and fault-diameter of the integer simplex $T_m^n$. Note that $d_1(T_m^n)=D_1(T_m^n)= d(T_m^n)$, where $d(T_m^n)$ is the diameter of $T_m^n$. We prove that $d_ω(T_m^n)=D_ω(T_m^n)= d(T_m^n)+1$ when $2\leqω\leq n$. Since a triangular pyramid $TP_L$ is $T_L^3$, we have $d_ω(TP_L)=D_ω(TP_L)= d(TP_L)+1$ when $2\leqω\leq 3$.
Hankel determinant solutions to several discrete integrable systems and the Laurent Property
Published in SIAM J. Discrete Math. 29(1): 667--682, 2015
• View Publication
• BIB
Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence and a system related to so-called $A_1$ $Q$-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somos-5 recurrence can be viewed as a specified Bäcklund transformation of the Somos-4 recurrence. The related topics about Somos polynomials are also studied.
Incidences between points and lines on a two-dimensional variety
Published
• View Publication
• BIB
We present a direct and fairly simple proof of the following incidence bound: Let $P$ be a set of $m$ points and $L$ a set of $n$ lines in ${\mathbb R}^d$, for $d\ge 3$, which lie in a common algebraic two-dimensional surface of degree $D$ that does not contain any 2-flat, so that no 2-flat contains more than $s \le D$ lines of $L$. Then the number of incidences between $P$ and $L$ is $$ I(P,L)=O\left(m^{1/2}n^{1/2}D^{1/2} + m^{2/3}\min\{n,D^{2}\}^{1/3}s^{1/3} + m + n\right). $$ When $d=3$, this improves the bound of Guth and Katz~\cite{GK2} for this special case, when $D$ is not too large.
A supplementary feature of this work is a review, with detailed proofs, of several basic (and folklore) properties of ruled surfaces in three dimensions.
On Lipschitz Bijections between Boolean Functions
Published
• View Publication
• BIB
For two functions $f,g:\{0,1\}^n\to\{0,1\}$ a mapping $ψ:\{0,1\}^n\to\{0,1\}^n$ is said to be a $\textit{mapping from $f$ to $g$}$ if it is a bijection and $f(z)=g(ψ(z))$ for every $z\in\{0,1\}^n$. In this paper we study Lipschitz mappings between boolean functions.
Our first result gives a construction of a $C$-Lipschitz mapping from the ${\sf Majority}$ function to the ${\sf Dictator}$ function for some universal constant $C$. On the other hand, there is no $n/2$-Lipschitz mapping in the other direction, namely from the ${\sf Dictator}$ function to the ${\sf Majority}$ function. This answers an open problem posed by Daniel Varga in the paper of Benjamini et al. (FOCS 2014).
We also show a mapping from ${\sf Dictator}$ to ${\sf XOR}$ that is 3-local, 2-Lipschitz, and its inverse is $O(\log(n))$-Lipschitz, where by $L$-local mapping we mean that each of its output bits depends on at most $L$ input bits.
Next, we consider the problem of finding functions such that any mapping between them must have large \emph{average stretch}, where the average stretch of a mapping $φ$ is defined as ${\sf avgStretch}(φ) = {\mathbb E}_{x,i}[dist(φ(x),φ(x+e_i)]$. We show that any mapping $φ$ from ${\sf XOR}$ to ${\sf Majority}$ must satisfy ${\sf avgStretch}(φ) \geq Ω(\sqrt{n})$. In some sense, this gives a "function analogue" to the question of Benjamini et al. (FOCS 2014), who asked whether there exists a set $A \subset \{0,1\}^n$ of density 0.5 such that any bijection from $\{0,1\}^{n-1}$ to $A$ has large average stretch.
Finally, we show that for a random balanced function $f:\{0,1\}^n\to\{0,1\}^n$ with high probability there is a mapping $φ$ from ${\sf Dictator}$ to $f$ such that both $φ$ and $φ^{-1}$ have constant average stretch. In particular, this implies that one cannot obtain lower bounds on average stretch by taking uniformly random functions.
Non-Abelian Analogs of Lattice Rounding
Published
• View Publication
• BIB
Lattice rounding in Euclidean space can be viewed as finding the nearest point in the orbit of an action by a discrete group, relative to the norm inherited from the ambient space. Using this point of view, we initiate the study of non-abelian analogs of lattice rounding involving matrix groups. In one direction, we give an algorithm for solving a normed word problem when the inputs are random products over a basis set, and give theoretical justification for its success. In another direction, we prove a general inapproximability result which essentially rules out strong approximation algorithms (i.e., whose approximation factors depend only on dimension) analogous to LLL in the general case.
The Tropical Commuting Variety
Published in Linear Algebra and its Applications, 507 (2016), 300-321
• View Publication
• BIB
We study tropical commuting matrices from two viewpoints: linear algebra and algebraic geometry. In classical linear algebra, there exist various criteria to test whether two square matrices commute. We ask for similar criteria in the realm of tropical linear algebra, giving conditions for two tropical matrices that are polytropes to commute. From the algebro-geometric perspective, we explicitly compute the tropicalization of the classical variety of commuting matrices in dimension 2 and 3.
Domination and Closure
An expansive, monotone operator is dominating; if it is also idempotent it is a closure operator. Although they have distinct properties, these two kinds of discrete operators are also intertwined. Every closure operator is dominating; every dominating operator embodies a closure. Both can be the basis of continuous set transformations. Dominating operators that exhibit categorical pull-back constitute a Galois connection and must be antimatroid closure operators. Applications involving social networks and learning spaces are suggested
Rational generating series for affine permutation pattern avoidance
Published
• View Publication
• BIB
We consider the set of affine permutations that avoid a fixed permutation pattern. Crites has given a simple characterization for when this set is infinite. We find the generating series for this set using the Coxeter length statistic and prove that it can always be represented as a rational function. We also give a characterization of the patterns for which the coefficients of the generating series are periodic. The proofs exploit a new polyhedral encoding for the affine symmetric group.
A proof of the stability of extremal graphs, Simonovits' stability from Szemerédi's regularity
The following sharpening of Turán's theorem is proved. Let $T_{n,p}$ denote the complete $p$--partite graph of order $n$ having the maximum number of edges. If $G$ is an $n$-vertex $K_{p+1}$-free graph with $e(T_{n,p})-t$ edges then there exists an (at most) $p$-chromatic subgraph $H_0$ such that $e(H_0)\geq e(G)-t$.
Using this result we present a concise, contemporary proof (i.e., one applying Szemerédi's regularity lemma) for the classical stability result of Simonovits.
Thermodynamics of the six-vertex model in an L-shaped domain
Published in Comm. Math. Phys. 339 (2015), 699-728
• View Publication
• BIB
We consider the six-vertex model in an L-shaped domain of the square lattice, with domain wall boundary conditions. For free-fermion vertex weights the partition function can be expressed in terms of some Hankel determinant, or equivalently as a Coulomb gas with discrete measure and a non-polynomial potential with two hard walls. We use Coulomb gas methods to study the partition function in the thermodynamic limit. We obtain the free energy of the six-vertex model as a function of the parameters describing the geometry of the scaled L-shaped domain. Under variations of these parameters the system undergoes a third-order phase transition. The result can also be considered in the context of dimer models, for the perfect matchings of the Aztec diamond graph with a cut-off corner.
Nonsimplicities and the perturbed wedge
In 2010 Santos described the construction of a counterexample to the Hirsch conjecture, and in 2012 Santos and Weibel provided the coordinates for the 40 facets of a 20-dimensional counterexample. In this paper we explore technical details of the construction using Santos and Weibel's work as the motivating example.
Santos presented the construction in the dual setting. Here we return to the primal setting, in which Santos' construction calls for repeated application of a perturbed wedge operation, a wedge over a facet followed by a perturbation of one or more other facets. We show that the starting point for the construction is a counterexample "P5" to the nonrevisiting conjecture in dimension 5. However, this polytope P5 is not a simple polytope; it contains two nonsimple vertices. As we repeatedly apply the perturbed wedge, the nonsimplicities grow in dimension while their excess is reduced. Finally in dimension 20, the resulting polytope is simple and its diameter exceeds the Hirsch bound by 1.
These notes are a technical companion to the work of Santos and Weibel.