Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Complexity of LP in Terms of the Face Lattice
Published in Journal of Applied and Industrial Mathematics, 10(3), pp 370-379, 2016
• View Publication
• BIB
Let $X$ be a finite set in $Z^d$. We consider the problem of optimizing linear function $f(x) = c^T x$ on $X$, where $c\in Z^d$ is an input vector. We call it a problem $X$. A problem $X$ is related with linear program $\max\limits_{x \in P} f(x)$, where polytope $P$ is a convex hull of $X$. The key parameters for evaluating the complexity of a problem $X$ are the dimension $d$, the cardinality $|X|$, and the encoding size $S(X) = \log_2 \left(\max\limits_{x\in X} \|x\|_{\infty}\right)$. We show that if the (time and space) complexity of some algorithm $A$ for solving a problem $X$ is defined only in terms of combinatorial structure of $P$ and the size $S(X)$, then for every $d$ and $n$ there exists polynomially (in $d$, $\log n$, and $S$) solvable problem $Y$ with $\dim Y = d$, $|Y| = n$, such that the algorithm $A$ requires exponential time or space for solving $Y$.
Bounds on Kronecker and $q$-binomial coefficients
Published
• View Publication
• BIB
We present a lower bound on the Kronecker coefficients for tensor squares of the symmetric group via the characters of~$S_n$, which we apply to obtain various explicit estimates. Notably, we extend Sylvester's unimodality of $q$-binomial coefficients $\binom{n}{k}_q$ as polynomials in~$q$ to derive sharp bounds on the differences of their consecutive coefficients. We then derive effective asymptotic lower bounds for a wider class of Kronecker coefficients.
Determinantal identities for flagged Schur and Schubert polynomials
Published in European Journal of Mathematics 2:1, 227-245 (2016)
• View Publication
• BIB
We prove new determinantal identities for a family of flagged Schur polynomials. As a corollary of these identities we obtain determinantal expressions of Schubert polynomials for certain vexillary permutations.
Generalizations of an Expansion Formula for Top to Random Shuffles
Published in Annals of Combinatorics (2016), 20(4), 899-916
• View Publication
• BIB
In the top to random shuffle, the first a cards are removed from a deck of n cards 12 \cdots n and then inserted back into the deck. This action can be studied by treating the top to random shuffle as an element B_a, which we define formally in Section 2, of the algebra Q[S_n]. For a = 1, Adriano Garsia in "On the Powers of Top to Random Shuffling" (2002) derived an expansion formula for B_1^k for k \leq n, though his proof for the formula was non-bijective. We prove, bijectively, an expansion formula for the arbitrary finite product B_{a_1}B_{a_2} \cdots B_{a_k} where a_1, \ldots, a_k are positive integers, from which an improved version of Garsia's aforementioned formula follows. We show some applications of this formula for B_{a_1}B_{a_2} \cdots B_{a_k}, which include enumeration and calculating probabilities. Then for an arbitrary group G we define the group of G-permutations S_n^G := G \wr S_n and further generalize the aforementioned expansion formula to the algebra Q[S_n^G] for the case of finite G, and we show how other similar expansion formulae in Q[S_n] can be generalized to Q[S_n^G].
Distance magic labeling in complete 4-partite graphs
Published
• View Publication
• BIB
Let $G$ be a complete $k$-partite simple undirected graph with parts of sizes $p_1\le p_2...\le p_k$. Let $P_j=\sum_{i=1}^jp_i$ for $j=1,...,k$. It is conjectured that $G$ has distance magic labeling if and only if $\sum_{i=1}^{P_j} (n-i+1)\ge j{{n+1}\choose{2}}/k$ for all $j=1,...,k$. The conjecture is proved for $k=4$, extending earlier results for $k=2,3$.
A monotonicity property for generalized Fibonacci sequences
Published
• View Publication
• BIB
Given k>1, let a_n be the sequence defined by the recurrence a_n=c_1a_{n-1}+c_2a_{n-2}+...+c_ka_{n-k} for n>=k, with initial values a_0=a_1=...=a_{k-2}=0 and a_{k-1}= 1. We show under a couple of assumptions concerning the constants c_i that the ratio of the n-th root of a_n to the (n-1)-st root of a_{n-1} is strictly decreasing for all n>=N, for some N depending on the sequence, and has limit 1. In particular, this holds in the cases when all of the c_i are unity or when all of the c_i are zero except for the first and last, which are unity. Furthermore, when k=3 or k=4, it is shown that one may take N to be an integer less than 12 in each of these cases.
The Saxl Conjecture and the Dominance Order
Published
• View Publication
• BIB
In 2012 Jan Saxl conjectured that all irreducible representations of the symmetric group occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. We make progress on this conjecture by proving the occurrence of all those irreducibles which correspond to partitions that are comparable to the staircase partition in the dominance order. Moreover, we use our result to show the occurrence of all irreducibles corresponding to hook partitions. This generalizes results by Pak, Panova, and Vallejo from 2013.
Detection of Core-Periphery Structure in Networks Using Spectral Methods and Geodesic Paths
Published in European Journal of Applied Mathematics, Volume 27, Issue 6 (Network Analysis and Modelling) December 2016, pp. 846-887
• View Publication
• BIB
We introduce several novel and computationally efficient methods for detecting "core--periphery structure" in networks. Core--periphery structure is a type of mesoscale structure that includes densely-connected core vertices and sparsely-connected peripheral vertices. Core vertices tend to be well-connected both among themselves and to peripheral vertices, which tend not to be well-connected to other vertices. Our first method, which is based on transportation in networks, aggregates information from many geodesic paths in a network and yields a score for each vertex that reflects the likelihood that a vertex is a core vertex. Our second method is based on a low-rank approximation of a network's adjacency matrix, which can often be expressed as a tensor-product matrix. Our third approach uses the bottom eigenvector of the random-walk Laplacian to infer a coreness score and a classification into core and peripheral vertices. We also design an objective function to (1) help classify vertices into core or peripheral vertices and (2) provide a goodness-of-fit criterion for classifications into core versus peripheral vertices. To examine the performance of our methods, we apply our algorithms to both synthetically-generated networks and a variety of networks constructed from real-world data sets.
Unimodality, log-concavity, real-rootedness and beyond
Published
• View Publication
• BIB
This is a survey on recent developments on unimodality, log-concavity and real-rootedness in combinatorics. Stanley and Brenti have written extensive surveys of various techniques that can be used to prove real-rootedness, log-concavity or unimodality. After a brief introduction, we will complement these surveys with a survey over some new techniques that have been developed, as well as problems and conjectures that have been solved. This is a draft of a chapter to appear in Handbook of Enumerative Combinatorics, published by CRC Press.
A conjecture of Han on 3-cores and modular forms
Published
• View Publication
• BIB
In his study of Nekrasov-Okounkov type formulas on "partition theoretic" expressions for families of infinite products, Han discovered seemingly unrelated $q$-series that are supported on precisely the same terms as these infinite products. In earlier work with Ono, Han proved one instance of this occurrence that exhibited a relation between numbers $a(n)$ that are given in terms of hook lengths of partitions, with numbers $b(n)$ that equal the number of 3-core partitions of $n$. Recently Han revisited the $q$-series with coefficients $a(n)$ and $b(n)$, and numerically found a third $q$-series whose coefficients appear to be supported on the same terms. Here we prove Han's Conjecture about this third series by proving a general theorem about this phenomenon.
Mutually orthogonal latin squares with large holes
Published
• View Publication
• BIB
Two latin squares are orthogonal if, when they are superimposed, every ordered pair of symbols appears exactly once. This definition extends naturally to `incomplete' latin squares each having a hole on the same rows, columns, and symbols. If an incomplete latin square of order $n$ has a hole of order $m$, then it is an easy observation that $n \ge 2m$. More generally, if a set of $t$ incomplete mutually orthogonal latin squares of order $n$ have a common hole of order $m$, then $n \ge (t+1)m$. In this article, we prove such sets of incomplete squares exist for all $n,m \gg 0$ satisfying $n \ge 8(t+1)^2 m$.
Non-existence of (76,30,8,14) strongly regular graph
Published in Linear Algebra Appl. 527 (2017), 53-72
• View Publication
• BIB
We prove the non-existence of strongly regular graph with parameters $(76,30,8,14)$. We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural properties of the graph, and then use these properties to show that the graph cannot exist.
Gröbner Bases and Nullstellensätze for Graph-Coloring Ideals
Published
• View Publication
• BIB
We revisit a well-known family of polynomial ideals encoding the problem of graph-$k$-colorability. Our paper describes how the inherent combinatorial structure of the ideals implies several interesting algebraic properties. Specifically, we provide lower bounds on the difficulty of computing Gröbner bases and Nullstellensatz certificates for the coloring ideals of general graphs. For chordal graphs, however, we explicitly describe a Gröbner basis for the coloring ideal, and provide a polynomial-time algorithm.
On the number of 5-cycles in a tournament
Published
• View Publication
• BIB
We find an exact formula for the number of directed 5-cycles in a tournament in terms of its edge score sequence. We use this formula to find both upper and lower bounds on the number of 5-cycles in any $n$-tournament. In particular, we show that the maximum number of 5-cycles is asymptotically equal to $\frac{3}{4}{n \choose 5}$, the expected number 5-cycles in a random tournament ($p=\frac{1}{2}$), with equality (up to order of magnitude) for almost all tournaments. Note that this means that almost all $n$-tournaments contain the maximum number of $5$-cycles.
On $k$-Fibonacci sums by matrix methods
In this paper, some $k$-Fibonacci and $k$-Lucas with arithmetic indexes sums are derived by using the matrices $R_{a}=\left[ \begin{array}{lr} L_{k,a} & -(-1)^{a} \\ 1 & 0 \end{array}\right]$ and $S_{a}=\frac{1}{2}\left[ \begin{array}{lr} L_{k,a} & Δ_{a} \\ 1 & L_{k,a} \end{array}\right]$, where $Δ_{a}=L_{k,a}^{2}-4(-1)^{a}$.
The most notable side of this paper is our proof method, since all the identities used in the proofs of main theorems are proved previously by using the matrices $R_{a}$ and $S_{a}$, with $a$ an natural number. Although the identities we proved are known, our proofs are not encountered in the $k$-Fibonacci and $k$-Lucas numbers literature.
Local And Global Colorability of Graphs
Published
• View Publication
• BIB
It is shown that for any fixed $c \geq 3$ and $r$, the maximum possible chromatic number of a graph on $n$ vertices in which every subgraph of radius at most $r$ is $c$ colorable is $\tildeΘ\left(n ^ {\frac{1}{r+1}} \right)$ (that is, $n^\frac{1}{r+1}$ up to a factor poly-logarithmic in $n$). The proof is based on a careful analysis of the local and global colorability of random graphs and implies, in particular, that a random $n$-vertex graph with the right edge probability has typically a chromatic number as above and yet most balls of radius $r$ in it are $2$-degenerate.
Distance-regular graphs
Published in Electron. J. Combin. (2016) #DS22
• View Publication
• BIB
This is a survey of distance-regular graphs. We present an introduction to distance-regular graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of distance-regular graphs since the monograph 'BCN' [Brouwer, A.E., Cohen, A.M., Neumaier, A., Distance-Regular Graphs, Springer-Verlag, Berlin, 1989] was written.
Geometric and measure-theoretical structures of maps with mostly contracting center
Published
• View Publication
• BIB
We show that every diffeomorphism with mostly contracting center direction exhibits a geometric-combinatorial structure, which we call \emph{skeleton}, that determines the number, basins and supports of the physical measures. Furthermore, the skeleton allows us to describe how the physical measure bifurcate as the diffeomorphism changes. In particular, we use this to construct examples with any given number of physical measures, with basins densely intermingled, and to analyse how these measures collapse into each other - through explosions of their basins - as the dynamics varies. This theory also allows us to prove that, in the absence of collapses, the basins are continuous functions of the diffeomorphism.
Properties of stochastic Kronecker graphs
Published
• View Publication
• BIB
The stochastic Kronecker graph model introduced by Leskovec et al. is a random graph with vertex set $\mathbb Z_2^n$, where two vertices $u$ and $v$ are connected with probability $α^{{u}\cdot{v}}γ^{(1-{u})\cdot(1-{v})}β^{n-{u}\cdot{v}-(1-{u})\cdot(1-{v})}$ independently of the presence or absence of any other edge, for fixed parameters $0<α,β,γ<1$. They have shown empirically that the degree sequence resembles a power law degree distribution. In this paper we show that the stochastic Kronecker graph a.a.s. does not feature a power law degree distribution for any parameters $0<α,β,γ<1$. In addition, we analyze the number of subgraphs present in the stochastic Kronecker graph and study the typical neighborhood of any given vertex.
Relative cohomology of bi-arrangements
Published in Trans. Amer. Math. Soc. 369 (2017), no. 11, 8105-8160
• View Publication
• BIB
A bi-arrangement of hyperplanes in a complex affine space is the data of two sets of hyperplanes along with a coloring information on the strata. To such a bi-arrangement, one naturally associates a relative cohomology group, that we call its motive. The motivation for studying such relative cohomology groups comes from the notion of motivic period. More generally, we suggest the systematic study of the motive of a bi-arrangement of hypersurfaces in a complex manifold. We provide combinatorial and cohomological tools to compute the structure of these motives. Our main object is the Orlik-Solomon bi-complex of a bi-arrangement, which generalizes the Orlik-Solomon algebra of an arrangement. Loosely speaking, our main result states that "the motive of an exact bi-arrangement is computed by its Orlik-Solomon bi-complex", which generalizes classical facts involving the Orlik-Solomon algebra of an arrangement. We show how this formalism allows us to explicitly compute motives arising from the study of multiple zeta values and sketch a more general application to periods of mixed Tate motives.