Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Infinite graphic matroids Part I
Published
• View Publication
• BIB
An infinite matroid is graphic if all of its finite minors are graphic and the intersection of any circuit with any cocircuit is finite. We show that a matroid is graphic if and only if it can be represented by a graph-like topological space: that is, a graph-like space in the sense of Thomassen and Vella. This extends Tutte's characterization of finite graphic matroids.
The representation we construct has many pleasant topological properties. Working in the representing space, we prove that any circuit in a 3-connected graphic matroid is countable.
On the Characterization of f-Ideals
Published
• View Publication
• BIB
In this paper, we give the complete characterization of f-ideals of degree d greater or equal to 2.
General removal lemma
We formulate and prove a general result in spirit of hypergraph removal lemma for measurable functions of several variables.
A Lower Bound on the Crossing Number of Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper, we consider the embedding of a complete $d$-uniform geometric hypergraph with $n$ vertices in general position in $\mathbb{R}^d$, where each hyperedge is represented as a $(d-1)$-simplex, and a pair of hyperedges is defined to cross if they are vertex-disjoint and contains a common point in the relative interior of the simplices corresponding to them. As a corollary of the Van Kampen-Flores Theorem, it can be seen that such a hypergraph contains $Ω(\frac{2^d}{\sqrt{d}})$ $n\choose 2d$ crossing pairs of hyperedges. Using Gale Transform and Ham Sandwich Theorem, we improve this lower bound to $Ω(\frac{2^d \log d}{\sqrt{d}})$ $n\choose 2d$.
An Alternate method to find the chromatic number of a Finite, Connected Graph
A new algorithm to obtain the chromatic number of a finite, connected graph is proposed in this paper. The algorithm is based on contraction of non adjacent vertices.
Shellable drawings and the cylindrical crossing number of $K_n$
The Harary-Hill Conjecture States that the number of crossings in any drawing of the complete graph $ K_n $ in the plane is at least $Z(n):=\frac{1}{4}\left\lfloor \frac{n}{2}\right\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor \frac{n-2}{2}\right\rfloor\left\lfloor \frac{n-3}{2}\right\rfloor$. In this paper, we settle the Harary-Hill conjecture for {\em shellable drawings}. We say that a drawing $D$ of $ K_n $ is {\em $ s $-shellable} if there exist a subset $ S = \{v_1,v_2,\ldots,v_ s\}$ of the vertices and a region $R$ of $D$ with the following property: For all $1 \leq i < j \leq s$, if $D_{ij}$ is the drawing obtained from $D$ by removing $v_1,v_2,\ldots v_{i-1},v_{j+1},\ldots,v_{s}$, then $v_i$ and $v_j$ are on the boundary of the region of $D_{ij}$ that contains $R$. For $ s\geq n/2 $, we prove that the number of crossings of any $ s $-shellable drawing of $ K_n $ is at least the long-conjectured value Z(n). Furthermore, we prove that all cylindrical, $ x $-bounded, monotone, and 2-page drawings of $ K_n $ are $ s $-shellable for some $ s\geq n/2 $ and thus they all have at least $ Z(n) $ crossings. The techniques developed provide a unified proof of the Harary-Hill conjecture for these classes of drawings.
New and simple algorithms for stable flow problems
Published
• View Publication
• BIB
Stable flows generalize the well-known concept of stable matchings to markets in which transactions may involve several agents, forwarding flow from one to another. An instance of the problem consists of a capacitated directed network, in which vertices express their preferences over their incident edges. A network flow is stable if there is no group of vertices that all could benefit from rerouting the flow along a walk.
Fleiner established that a stable flow always exists by reducing it to the stable allocation problem. We present an augmenting-path algorithm for computing a stable flow, the first algorithm that achieves polynomial running time for this problem without using stable allocation as a black-box subroutine. We further consider the problem of finding a stable flow such that the flow value on every edge is within a given interval. For this problem, we present an elegant graph transformation and based on this, we devise a simple and fast algorithm, which also can be used to find a solution to the stable marriage problem with forced and forbidden edges.
Finally, we study the stable multicommodity flow model introduced by Király and Pap. The original model is highly involved and allows for commodity-dependent preference lists at the vertices and commodity-specific edge capacities. We present several graph-based reductions that show equivalence to a significantly simpler model. We further show that it is NP-complete to decide whether an integral solution exists.
A note on Jacobians, Tutte polynomials, and two-variable zeta functions of graphs
Published in Exp. Math. 24 (2015), no. 1, 1-7
• View Publication
• BIB
We address questions posed by Lorenzini about relations between Jacobians, Tutte polynomials, and the Brill-Noether theory of finite graphs, as encoded in his two-variable zeta functions. In particular, we give examples showing that none of these invariants is determined by the other two.
Laurent polynomials, Eulerian numbers, and Bernstein's theorem
Published
• View Publication
• BIB
Erman, Smith, and Várilly-Alvarado showed that the expected number of doubly monic Laurent polynomials $f(z) = z^{-m} + a_{-m+1}z^{-m+1} + \cdots + a_{n-1}z^{n-1} + z^n$ whose first $m+n-1$ powers have vanishing constant term is the Eulerian number $\brac{m+n-1}{m-1}$, as well as a more refined result about sparse Laurent polynomials. We give an alternate proof of these results using Bernstein's theorem that clarifies the connection between these objects. In the process, we show that a refinement of Eulerian numbers gives a combinatorial interpretation for volumes of certain rational hyperplane sections of the hypercube.
On the share of closed IL formulas which are also in GL
Published in Arch. Math. Logic 54 (2015), no. 7, 741-767
• View Publication
• BIB
Normal forms for wide classes of closed IL formulas were given in [4]. Here we quantify asymptotically, in exact numbers, how wide those classes are. As a consequence, we show that the "majority" of closed IL formulas have GL-equivalents, and by that, they have the same normal forms as GL formulas. Our approach is entirely syntactical, except for applying the results of [4]. As a byproduct we devise a convenient way of computing asymptotic behaviors of somewhat general classes of formulas given by their grammar rules. Its applications do not require any knowledge of the recurrence relations, generating functions, or the asymptotic enumeration methods, as all these are incorporated into two fundamental parameters.
On the shape of subword complexity sequences of finite words
The subword complexity of a word $w$ over a finite alphabet $\mathcal{A}$ is a function that assigns for each positive integer $n$, the number of distinct subwords of length $n$ in $w$. The subword complexity of a word is a good measure of the randomness of the word and gives insight to what the word itself looks like. In this paper, we discuss the properties of subword complexity sequences, and consider different variables that influence their shape. We also compute the number of distinct subword complexity sequences for certain lengths of words over different alphabets, and state some conjectures about the growth of these numbers.
A new proof of Andrews' conjecture for $_4φ_3$-series
In terms of Sear's transformation formula for $_4φ_3$-series, we give new proofs of a summation formula for ${_4φ_3}$-series due to Andrews [2] and another summation formula for${_4φ_3}$-series conjectured in the same paper. Meanwhile, other several related results are also derived.
Centralizers of the infinite symmetric group
Published
• View Publication
• BIB
We review and introduce several approaches to the study of centralizer algebras of the infinite symmetric group $S_\infty$. Our study is led by the double commutant relationships between finite symmetric groups and partition algebras; each approach produces a centralizer algebra that is contained in a partition algebra. Our goal is to incorporate invariants of $S_\infty$, which ties our work to the study of symmetric functions in non-commuting variables. We resultantly explore sequence spaces as permutation modules, which yields families of non-unitary representations of $S_\infty$.
Determination of a Type of Permutation Trinomials over Finite Fields
Published
• View Publication
• BIB
Let $f=a{\tt x} +b{\tt x}^q+{\tt x}^{2q-1}\in\Bbb F_q[{\tt x}]$. We find explicit conditions on $a$ and $b$ that are necessary and sufficient for $f$ to be a permutation polynomial of $\Bbb F_{q^2}$. This result allows us to solve a related problem. Let $g_{n,q}\in\Bbb F_p[{\tt x}]$ ($n\ge 0$, $p=\text{char}\,\Bbb F_q$) be the polynomial defined by the functional equation $\sum_{c\in\Bbb F_q}({\tt x}+c)^n=g_{n,q}({\tt x}^q-{\tt x})$. We determine all $n$ of the form $n=q^α-q^β-1$, $α>β\ge 0$, for which $g_{n,q}$ is a permutation polynomial of $\Bbb F_{q^2}$.
Partial difference equations over compact Abelian groups, II: step-polynomial solutions
This paper continues an earlier work on the structure of solutions to two classes of functional equation. Let $Z$ be a compact Abelian group and $U_1$, \ldots, $U_k \leq Z$ be closed subgroups. Given $f:Z\to\mathbb{T}$ and $w \in Z$, one defines the differenced function \[d_wf(z) := f(z+w) - f(z).\] In this notation, we shall study solutions to the system of difference equations \[d_{u_1}\cdots d_{u_k}f \equiv 0 \quad \forall (u_1,\ldots,u_k) \in \prod_{i\leq k}U_i,\] and to the zero-sum problem \[f_1 + \cdots + f_k = 0\] for functions $f_i:Z\to \mathbb{T}$ that are $U_i$-invariant for each $i$.
Part I of this work showed that the $Z$-modules of solutions to these problems can be described using a general theory of `almost modest $¶$-modules'. Much of the global structure of these solution $Z$-modules could then be extracted from results about the closure of this general class under certain natural operations, such as forming cohomology groups. The main result of the present paper is that solutions to either problem can always be decomposed into summands which either solve a simpler system of equations, or have some special `step polynomial' structure. This will be proved by augmenting the definition of `almost modest $\mathcal{P}$-modules' further, to isolate a subclass in which elements can be represented by the desired `step polynomials'. We will then find that this subclass is closed under the same operations.
Eigenvalues of Non-Regular Linear-Quasirandom Hypergraphs
Published
• View Publication
• BIB
Chung, Graham, and Wilson proved that a graph is quasirandom if and only if there is a large gap between its first and second largest eigenvalue. Recently, the authors extended this characterization to k-uniform hypergraphs, but only for the so-called coregular k-uniform hypergraphs. In this paper, we extend this characterization to all k-uniform hypergraphs, not just the coregular ones. Specifically, we prove that if a k-uniform hypergraph satisfies the correct count of a specially defined four-cycle, then there is a gap between its first and second largest eigenvalue.
Circular Planar Electrical Networks II: Positivity Phenomena
Curtis-Ingerman-Morrow characterize response matrices for circular planar electrical networks as symmetric square matrices with row sums zero and non-negative circular minors. In this paper, we study this positivity phenomenon more closely, from both algebraic and combinatorial perspectives. Extending work of Postnikov, we introduce electrical positroids, which are the sets of circular minors which can simultaneously be positive in a response matrix. We give a self-contained axiomatic description of these electrical positroids. In the second part of the paper, we discuss a naturally arising example of a Laurent phenomenon algebra, as studied by Lam-Pylyavskyy. We investigate the clusters in this algebra, building off of initial work by Kenyon-Wilson, using an analogue of weak separation, as was originally introduced by Leclerc-Zelevinsky.
Hypercontractivity of spherical averages in Hamming space
Published
• View Publication
• BIB
Consider the linear space of functions on the binary hypercube and the linear operator $S_δ$ acting by averaging a function over a Hamming sphere of radius $δn$ around every point. It is shown that this operator has a dimension-independent bound on the norm $L_p \to L_2$ with $p = 1+(1-2δ)^2$. This result evidently parallels a classical estimate of Bonami and Gross for $L_p \to L_q$ norms for the operator of convolution with a Bernoulli noise. The estimate for $S_δ$ is harder to obtain since the latter is neither a part of a semigroup, nor a tensor power. The result is shown by a detailed study of the eigenvalues of $S_δ$ and $L_p\to L_2$ norms of the Fourier multiplier operators $Π_a$ with symbol equal to a characteristic function of the Hamming sphere of radius $a$ (in the notation common in boolean analysis $Π_a f=f^{=a}$, where $f^{=a}$ is a degree-$a$ component of function $f$). A sample application of the result is given: Any set $A\subset \FF_2^n$ with the property that $A+A$ contains a large portion of some Hamming sphere (counted with multiplicity) must have cardinality a constant multiple of $2^n$.
Permutation Statistics and Multiple Pattern Avoidance
Published
• View Publication
• BIB
For a set of permutation patterns $Π$, let $F^\text{st}_n(Π,q)$ be the st-polynomial of permutations avoiding all patterns in $Π$. Suppose $312\inΠ$. For a class of permutation statistics which includes inversion and descent statistics, we give a formula that expresses $F^\text{st}_n(Π;q)$ in terms of these st-polynomials where we take some subblocks of the patterns in $Π$. Using this formula, we can construct many examples of nontrivial st-Wilf equivalences. In particular, this disproves a conjecture by Dokos, Dwyer, Johnson, Sagan, and Selsor that all $\text{inv}$-Wilf equivalences are trivial.
The Koszul property of pinched Veronese varieties
Let $K$ be an arbitrary field. Let $n,d \ge 2$ be positive integers. Let $V(n,d)$ be the set of all lattice points $\mathbf b = (b_1, ..., b_n)$ in ${\mathbb N}^n$ such that $\sum_{i=1}^n b_i = d$. Let $Γ= V(n,d) \setminus \{ \mathbf a \}$ for some element $\mathbf a \in V(n,d)$. In this paper we prove that the semigroup ring $K[Γ]$ is Koszul unless $d \ge 3$ and ${\mathbf a} = (0, ...,0, 2, d-2)$ or one of its permutations. This generalizes results of Caviglia, Conca, and Tancer.