Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The Arctic curve for Aztec rectangles with defects via the Tangent Method
Published in J Stat Phys 176, 639-678 (2019)
• View Publication
• BIB
The Tangent Method of Colomo and Sportiello is applied to the study of the asymptotics of domino tilings of large Aztec rectangles, with some fixed distribution of defects along a boundary. The associated Non-Intersecting Lattice Path configurations are made of Schröder paths whose weights involve two parameters $γ$ and $q$ keeping track respectively of one particular type of step and of the area below the paths. We derive the arctic curve for an arbitrary distribution of defects, and illustrate our result with a number of examples involving different classes of boundary defects.
Find Subtrees of Specified Weight and Cycles of Specified Length in Linear Time
We apply the Euler tour technique to find subtrees of specified weight as follows. Let $k, g, N_1, N_2 \in \mathbb{N}$ such that $1 \leq k \leq N_2$, $g + h > 2$ and $2k - 4g - h + 3 \leq N_2 \leq 2k + g + h - 2$, where $h := 2N_1 - N_2$. Let $T$ be a tree of $N_1$ vertices and let $c : V(T) \rightarrow \mathbb{N}$ be vertex weights such that $c(T) := \sum_{v \in V(T)} c(v) = N_2$ and $c(v) \leq k$ for all $v \in V(T)$. We prove that a subtree $S$ of $T$ of weight $k - g + 1 \leq c(S) \leq k$ exists and can be found in linear time. We apply it to show, among others, the following: (i) Every planar hamiltonian graph $G = (V(G), E(G))$ with minimum degree $δ\geq 4$ has a cycle of length $k$ for every $k \in \{\lfloor \frac{|V(G)|}{2} \rfloor, \dots, \lceil \frac{|V(G)|}{2} \rceil + 3\}$ with $3 \leq k \leq |V(G)|$. (ii) Every $3$-connected planar hamiltonian graph $G$ with $δ\geq 4$ and $|V(G)| \geq 8$ even has a cycle of length $\frac{|V(G)|}{2} - 1$ or $\frac{|V(G)|}{2} - 2$. Each of these cycles can be found in linear time if a Hamilton cycle of the graph is given. This work was partially motivated by conjectures of Bondy and Malkevitch on cycle spectra of 4-connected planar graphs.
Matroid connectivity and singularities of configuration hypersurfaces
Published in Lett. Math. Phys. 111,1 (2021)
• View Publication
• BIB
Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen-Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions.
A Combinatorial Identity for Rooted Labeled Forests
Published in Aequationes Math. (July 2019)
• View Publication
• BIB
In this brief note a straightforward combinatorial proof for an identity directly connecting rooted forests and unordered set partitions is provided. Furthermore, references that put this type of identity in the context of forest volumes and multinomial identities are given.
A Cheeger inequality for graphs based on a reflection principle
Published in Involve 13 (2020) 475-486
• View Publication
• BIB
Given a graph with a designated set of boundary vertices, we define a new notion of a Neumann Laplace operator on a graph using a reflection principle. We show that the first eigenvalue of this Neumann graph Laplacian satisfies a Cheeger inequality.
Asymptotic Hecke algebras and Lusztig-Vogan bijection via affine matrix-ball construction
Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished (or Duflo) involution in each Kazhdan-Lusztig cell of affine symmetric groups. We then use AMBC to give the first known canonical presentation for the asymptotic Hecke algebras of extended affine symmetric groups. As an application, we show that AMBC gives a conceptual way to compute Lusztig-Vogan bijection. For the latter we build upon prior works of Achar and Rush.
A constructive solution to a problem of ranking tournaments
A tournament is an oriented complete graph. The problem of ranking tournaments was firstly investigated by P. Erdős and J. W. Moon. By probabilistic methods, the existence of "unrankable" tournaments was proved. On the other hand, they also mentioned the problem of explicit constructions. However, there seems to be only a few of explicit constructions of such tournaments. In this note, we give a construction of many such tournaments by using skew Hadamard difference sets which have been investigated in combinatorial design theory.
On a theorem of Baxter and Zeilberger via a result of Roselle
We provide a new proof of a result of Baxter and Zeilberger showing that inv and maj on permutations are jointly independently asymptotically normally distributed. The main feature of our argument is that it uses a generating function due to Roselle, answering a question raised by Romik and Zeilberger.
Characterizing the Integrality Gap of the Subtour LP for the Circulant Traveling Salesman Problem
We consider the integrality gap of the subtour LP relaxation of the Traveling Salesman Problem restricted to circulant instances. De Klerk and Dobre conjectured that the value of the optimal solution to the subtour LP on these instances is equal to an entirely combinatorial lower bound from Van der Veen, Van Dal, and Sierksma. We prove this conjecture by giving an explicit optimal solution to the subtour LP. We then use it to show that the integrality gap of the subtour LP is 2 on circulant instances, making such instances one of the few non-trivial classes of TSP instances for which the integrality gap of the subtour LP is exactly known. We also show that the degree constraints do not strengthen the subtour LP on circulant instances, mimicking the parsimonious property of metric, symmetric TSP instances shown in Goemans and Bertsimas in a distinctly non-metric set of instances.
Integral cographs and applications
A graph is called integral if all the eigenvalues of its adjacency matrix are integers. In this paper, we show a cograph that has a balanced cotree $T_{G}(a_{1},\ldots,a_{r-1},0|0,\ldots,0,a_{r})$ is integral computing its spectrum. As an application, these integral cographs can be used to estimate the eigenvalues of any cograph.
Moderate deviations of subgraph counts in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$
The main contribution of this article is an asymptotic expression for the rate associated with moderate deviations of subgraph counts in the Erdős-Rényi random graph $G(n,m)$. Our approach is based on applying Freedman's inequalities for the probability of deviations of martingales to a martingale representation of subgraph count deviations. In addition, we prove that subgraph count deviations of different subgraphs are all linked, via the deviations of two specific graphs, the path of length two and the triangle. We also deduce new bounds for the related $G(n,p)$ model.
Enumerating Unique Computational Graphs via an Iterative Graph Invariant
In this report, we describe a novel graph invariant for computational graphs (colored directed acylic graphs) and how we used it to generate all distinct computational graphs up to isomorphism for small graphs. The algorithm iteratively applies isomorphism-invariant operations, which take into account the graph structure and coloring, and outputs a fixed-length hash that is identical for all isomorphic computational graphs. While the algorithm cannot perfectly distinguish all pairs of non-isomorphic computational graphs, we suggest that it may be useful as a heuristic for comparing graphs.
Lagrangian densities of short 3-uniform linear paths and Turán numbers of their extensions
For a fixed positive integer $n$ and an $r$-uniform hypergraph $H$, the Turán number $ex(n,H)$ is the maximum number of edges in an $H$-free $r$-uniform hypergraph on $n$ vertices, and the Lagrangian density of $H$ is defined as $π_λ(H)=\sup \{r! λ(G) : G \;\text{is an}\; H\text{-free} \;r\text{-uniform hypergraph}\}$, where $λ(G)$ is the Lagrangian of $G$. For an $r$-uniform hypergraph $H$ on $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ on $t$ vertices is perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. Let $P_t=\{e_1, e_2, \dots, e_t\}$ be the linear $3$-uniform path of length $t$, that is, $|e_i|=3$, $|e_i \cap e_{i+1}|=1$ and $e_i \cap e_j=\emptyset$ if $|i-j|\ge 2$. We show that $P_3$ and $P_4$ are perfect, this supports a conjecture in \cite{yanpeng} proposing that all $3$-uniform linear hypergraphs are perfect. Applying the results on Lagrangian densities, we determine the Turán numbers of their extensions.
Enumerative combinatorics on determinants and signed bigrassmannian polynomials
Published in Math. J. Okayama Univ. 57 (2015), 159--172
• Search Publication
As an application of linear algebra for enumerative combinatorics, we introduce two new ideas, signed bigrassmannian polynomials and bigrassmannian determinant. First, a signed bigrassmannian polynomial is a variant of the statistic given by the number of bigrassmannian permutations below a permutation in Bruhat order as Reading suggested (2002) and afterward the author developed (2011). Second, bigrassmannian determinant is a $q$-analog of the determinant with respect to our statistic. It plays a key role for a determinantal expression of those polynomials. We further show that bigrassmannian determinant satisfies weighted condensation as a generalization of Dodgson, Jacobi-Desnanot and Robbins-Rumsey (1986).
Double coverings of arrangement complements and $2$-torsion in Milnor fiber homology
Published in European Journal of Mathematics 6 (2020) 1097-1109
• View Publication
• BIB
We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence.
Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.
$3$-uniform hypergraphs without a cycle of length five
In this paper we show that the maximum number of hyperedges in a $3$-uniform hypergraph on $n$ vertices without a (Berge) cycle of length five is less than $(0.254 + o(1))n^{3/2}$, improving an estimate of Bollobás and Győri.
We obtain this result by showing that not many $3$-paths can start from certain subgraphs of the shadow.
Reflexponents
Certain classical generating functions for elements of reflection groups can be expressed using fundamental invariants called exponents. We give new analogues of such generating functions that accommodate orbits of reflecting hyperplanes using similar invariants we call reflexponents. Our verifications are case-by-case.
On the additive period length of the Sprague-Grundy function of certain Nim-like games
We examine the structure of the additive period of the Sprague-Grundy function of Nim-like games, among them Wythoff's Game, and deduce a bound for the length of the period and preperiod.
Braces of Perfect Matching Width 2
Perfect matching width is a treewidth-like parameter designed for graphs with perfect matchings. The concept was originally introduced by Norine for the study of non-bipartite Pfaffian graphs. Additionally, perfect matching width appears to be a useful structural tool for investigating matching minors, a specialised version of minors related to perfect matchings. In this paper we lay the groundwork for understanding the interaction of perfect matching width and matching minors by establishing tight connections between the perfect matching width of any matching covered graph $G$ and the perfect matching width of its bricks and braces (a matching theoretic version of blocks) and proving that perfect matching width is almost monotone under the matching minor relation. As an application, we give several characterisations for braces of perfect matching width two, including one that allows for a polynomial time recognition algorithm.
A Generalization of the "Raboter" Operation
We generalize an operation described by Sloane on the binary representation of an integer to other bases, thus finding several new sequences.