-
Regularized boundary integral equation methods for open-arc scattering problems in thermoelasticity
Authors:
Yixuan X. Kong,
José Pinto,
Tao Yin
Abstract:
This paper devotes to developing novel boundary integral equation (BIE) solvers for the problem of thermoelastic scattering by open-arcs with four different boundary conditions in two dimensions. The proposed methodology is inspired by the Calderón formulas, whose eigenvalues are shown to accumulate at particular points depending only on Lamé parameters, satisfied by the thermoelastic boundary int…
▽ More
This paper devotes to developing novel boundary integral equation (BIE) solvers for the problem of thermoelastic scattering by open-arcs with four different boundary conditions in two dimensions. The proposed methodology is inspired by the Calderón formulas, whose eigenvalues are shown to accumulate at particular points depending only on Lamé parameters, satisfied by the thermoelastic boundary integral operators (BIOs) on both closed- and open-surfaces. Regularized BIEs in terms of weighted BIOs on open-arc that explicitly exhibits the edge singularity behavior, depending on the types of boundary conditions, of the unknown potentials are constructed to effectively reduce the required iteration number to solve the corresponding discretized linear systems. We implement the new formulations utilizing regularizations of singular integrals, which reduces the strongly- and hyper-singular integrals into weakly-singular integrals. Combined with spectrally accurate quadrature rules, numerical examples are presented to illustrate the accuracy and efficiency of the proposed solvers.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
A Quasi-Optimal Shape Design Method for Lattice Structure Construction
Authors:
Sifan Chen,
Yuan Kong,
Qiang Zou
Abstract:
Lattice structures, known for their superior mechanical properties, are widely used in industries such as aerospace, automotive, and biomedical. Their advantages primarily lie in the interconnected struts at the micro-scale. The robust construction of these struts is crucial for downstream design and manufacturing applications, as it provides a detailed shape description necessary for precise simu…
▽ More
Lattice structures, known for their superior mechanical properties, are widely used in industries such as aerospace, automotive, and biomedical. Their advantages primarily lie in the interconnected struts at the micro-scale. The robust construction of these struts is crucial for downstream design and manufacturing applications, as it provides a detailed shape description necessary for precise simulation and fabrication. However, constructing lattice structures presents significant challenges, particularly at nodes where multiple struts intersect. The complexity of these intersections can lead to robustness issues. To address this challenge, this paper presents an optimization-based approach that simplifies the construction of lattice structures by cutting struts and connecting them to optimized node shapes. By utilizing the recent Grey Wolf optimization method -- a type of meta-heuristic method -- for node shape design, the approach ensures robust model construction and optimal shape design. Its effectiveness has been validated through a series of case studies with increasing topological and geometric complexity.
△ Less
Submitted 25 January, 2025;
originally announced February 2025.
-
Regular structures of an intractable enumeration problem: a diagonal recurrence relation of monomer-polymer coverings on two-dimensional rectangular lattices
Authors:
Yong Kong
Abstract:
The enumeration of polymer coverings on two-dimensional rectangular lattices is considered as "intractable". We prove that the number of coverings of $s$ polymer satisfies a simple recurrence relation $ \sum_{i=0}^{2s} (-1)^i \binom{2s}{i} a_{n-i, m-i} = 2^s {(2s)!} / {s!} $ on a $n \times m$ rectangular lattice with open boundary conditions in both directions.
The enumeration of polymer coverings on two-dimensional rectangular lattices is considered as "intractable". We prove that the number of coverings of $s$ polymer satisfies a simple recurrence relation $ \sum_{i=0}^{2s} (-1)^i \binom{2s}{i} a_{n-i, m-i} = 2^s {(2s)!} / {s!} $ on a $n \times m$ rectangular lattice with open boundary conditions in both directions.
△ Less
Submitted 5 November, 2024;
originally announced November 2024.
-
Recurrence solution of monomer-polymer models on two-dimensional rectangular lattices
Authors:
Yong Kong
Abstract:
The problem of counting polymer coverings on the rectangular lattices is investigated. In this model, a linear rigid polymer covers $k$ adjacent lattice sites such that no two polymers occupy a common site. Those unoccupied lattice sites are considered as monomers. We prove that for a given number of polymers ($k$-mers), the number of arrangements for the polymers on two-dimensional rectangular la…
▽ More
The problem of counting polymer coverings on the rectangular lattices is investigated. In this model, a linear rigid polymer covers $k$ adjacent lattice sites such that no two polymers occupy a common site. Those unoccupied lattice sites are considered as monomers. We prove that for a given number of polymers ($k$-mers), the number of arrangements for the polymers on two-dimensional rectangular lattices satisfies simple recurrence relations. These recurrence relations are quite general and apply for arbitrary polymer length ($k$) and the width of the lattices ($n$). The well-studied monomer-dimer problem is a special case of the monomer-polymer model when $k=2$. It is known the enumeration of monomer-dimer configurations in planar lattices is #P-complete. The recurrence relations shown here have the potential for hints for the solution of long-standing problems in this class of computational complexity.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Multiple consecutive runs of multi-state trials: distributions of $(k_1, k_2, \dots, k_\ell)$ patterns
Authors:
Yong Kong
Abstract:
The pattern $(k_1, k_2, \dots, k_\ell)$ is defined to have at least $k_1$ consecutive $1$'s followed by at least $k_2$ consecutive $2$'s, $\dots$, followed by at least $k_\ell$ consecutive $\ell$'s. By iteratively applying the method that was developed previously to decouple the combinatorial complexity involved in studying complicated patterns in random sequences, the distribution of pattern…
▽ More
The pattern $(k_1, k_2, \dots, k_\ell)$ is defined to have at least $k_1$ consecutive $1$'s followed by at least $k_2$ consecutive $2$'s, $\dots$, followed by at least $k_\ell$ consecutive $\ell$'s. By iteratively applying the method that was developed previously to decouple the combinatorial complexity involved in studying complicated patterns in random sequences, the distribution of pattern $(k_1, k_2, \dots, k_\ell)$ is derived for arbitrary $\ell$. Numerical examples are provided to illustrate the results.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Adventitious angles problem: the lonely fractional derived angle
Authors:
Yong Kong,
Shaowei Zhang
Abstract:
In the "classical" adventitious angle problem, for a given set of three angles $a$, $b$, and $c$ measured in integral degrees in an isosceles triangle, a fourth angle $θ$ (the derived angle), also measured in integral degrees, is sought. We generalize the problem to find $θ$ in fractional degrees. We show that the triplet $(a, b, c) = (45^\circ, 45^\circ, 15^\circ)$ is the only combination that le…
▽ More
In the "classical" adventitious angle problem, for a given set of three angles $a$, $b$, and $c$ measured in integral degrees in an isosceles triangle, a fourth angle $θ$ (the derived angle), also measured in integral degrees, is sought. We generalize the problem to find $θ$ in fractional degrees. We show that the triplet $(a, b, c) = (45^\circ, 45^\circ, 15^\circ)$ is the only combination that leads to $θ= 7\frac{1}{2}^\circ$ as the fractional derived angle.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Distributions of successions of arbitrary multisets
Authors:
Yong Kong
Abstract:
By using the matrix formulation of the two-step approach to distributions of patterns in random sequences, recurrence and explicit formulas for the generating functions of successions in random permutations of arbitrary multisets are derived. Explicit formulas for the mean and variance are also obtained.
By using the matrix formulation of the two-step approach to distributions of patterns in random sequences, recurrence and explicit formulas for the generating functions of successions in random permutations of arbitrary multisets are derived. Explicit formulas for the mean and variance are also obtained.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Joint distribution of rises, falls, and number of runs in random sequences
Authors:
Yong Kong
Abstract:
By using the matrix formulation of the two-step approach to the distributions of runs, a recursive relation and an explicit expression are derived for the generating function of the joint distribution of rises and falls for multivariate random sequences in terms of generating functions of individual letters, from which the generating functions of the joint distribution of rises, falls, and number…
▽ More
By using the matrix formulation of the two-step approach to the distributions of runs, a recursive relation and an explicit expression are derived for the generating function of the joint distribution of rises and falls for multivariate random sequences in terms of generating functions of individual letters, from which the generating functions of the joint distribution of rises, falls, and number of runs are obtained. An explicit formula for the joint distribution of rises and falls with arbitrary specification is also obtained.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
The m-th Longest Runs of Multivariate Random Sequences
Authors:
Yong Kong
Abstract:
The distributions of the $m$-th longest runs of multivariate random sequences are considered. For random sequences made up of $k$ kinds of letters, the lengths of the runs are sorted in two ways to give two definitions of run length ordering. In one definition, the lengths of the runs are sorted separately for each letter type. In the second definition, the lengths of all the runs are sorted toget…
▽ More
The distributions of the $m$-th longest runs of multivariate random sequences are considered. For random sequences made up of $k$ kinds of letters, the lengths of the runs are sorted in two ways to give two definitions of run length ordering. In one definition, the lengths of the runs are sorted separately for each letter type. In the second definition, the lengths of all the runs are sorted together. Exact formulas are developed for the distributions of the m-th longest runs for both definitions. The derivations are based on a two-step method that is applicable to various other runs-related distributions, such as joint distributions of several letter types and multiple run lengths of a single letter type.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Peer Expectation in Robust Forecast Aggregation: The Possibility/Impossibility
Authors:
Yuqing Kong
Abstract:
Recently a growing literature study a new forecast aggregation setting where each forecaster is additionally asked ``what's your expectation for the average of other forecasters' forecasts?''. However, most theoretic results in this setting focus on the scenarios where the additional second-order information helps optimally aggregate the forecasts. Here we adopt an adversarial approach and follow…
▽ More
Recently a growing literature study a new forecast aggregation setting where each forecaster is additionally asked ``what's your expectation for the average of other forecasters' forecasts?''. However, most theoretic results in this setting focus on the scenarios where the additional second-order information helps optimally aggregate the forecasts. Here we adopt an adversarial approach and follow the robust forecast aggregation framework proposed by Arielia, Babichenkoa, and Smorodinsky 2018. We delicately analyze the possibility/impossibility of the new setting when there are two forecasters that either are refinement-ordered or receive conditionally independent and identically distributed (c.i.i.d.) signals. We also extend the setting to a higher level of expectation setting where we can additionally ask ``what's your expectation for the other forecaster's expectation for ...''. The results show that in the above settings, the additional second-order information can significantly improve the aggregation accuracy, and the higher the order, the higher the improvement.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
A matheuristic algorithm for the single-source capacitated facility location problem and its variants
Authors:
Yunfeng Kong
Abstract:
This article presents a matheuristic algorithm for the single-source capacitated facility location problem (SSCFLP) and its variants: SSCFLP with K facilities (SSCKFLP), SSCFLP with contiguous service areas (CFLSAP), and SSCFLP with K facilities and contiguous service areas (CKFLSAP). The algorithm starts from an initial solution, and iteratively improves the solution by exactly solving large neig…
▽ More
This article presents a matheuristic algorithm for the single-source capacitated facility location problem (SSCFLP) and its variants: SSCFLP with K facilities (SSCKFLP), SSCFLP with contiguous service areas (CFLSAP), and SSCFLP with K facilities and contiguous service areas (CKFLSAP). The algorithm starts from an initial solution, and iteratively improves the solution by exactly solving large neighborhood-based sub-problems. The performance of the algorithm is tested on 5 sets of SSCFLP benchmark instances. Among the 272 instances, 191 optimal solutions are found, and 35 best-known solutions are updated. For the largest set of instances with 300-1000 facilities and 300-1500 customers (Avella and Boccia 2009), the proposed algorithm outperforms existing methods in terms of the solution quality and the computational time. Furthermore, based on two geographic areas, two sets of instances are generated to test the algorithm for solving SSCFLP and its variants. The solutions found by the proposed algorithm approximate optimal solutions or the lower bounds with average gaps of 0.07% for SSCFLP, 0.22% for CFLSAP, 0.04% for SSCKFLP, and 0.13% for CKFLSAP.
△ Less
Submitted 24 December, 2021;
originally announced December 2021.
-
Dealing With Ratio Metrics in A/B Testing at the Presence of Intra-User Correlation and Segments
Authors:
Keyu Nie,
Yinfei Kong,
Ted Tao Yuan,
Pauline Berry Burke
Abstract:
We study ratio metrics in A/B testing at the presence of correlation among observations coming from the same user and provides practical guidance especially when two metrics contradict each other. We propose new estimating methods to quantitatively measure the intra-user correlation (within segments). With the accurately estimated correlation, a uniformly minimum-variance unbiased estimator of the…
▽ More
We study ratio metrics in A/B testing at the presence of correlation among observations coming from the same user and provides practical guidance especially when two metrics contradict each other. We propose new estimating methods to quantitatively measure the intra-user correlation (within segments). With the accurately estimated correlation, a uniformly minimum-variance unbiased estimator of the population mean, called correlation-adjusted mean, is proposed to account for such correlation structure. It is proved theoretically and numerically better than the other two unbiased estimators, naive mean and normalized mean (averaging within users first and then across users). The correlation-adjusted mean method is unbiased and has reduced variance so it gains additional power. Several simulation studies are designed to show the estimation accuracy of the correlation structure, effectiveness in reducing variance, and capability of obtaining more power. An application to the eBay data is conducted to conclude this paper.
△ Less
Submitted 22 July, 2020; v1 submitted 8 November, 2019;
originally announced November 2019.
-
String-Averaging Algorithms for Convex Feasibility with Infinitely Many Sets
Authors:
T. Yung Kong,
Homeira Pajoohesh,
Gabor T. Herman
Abstract:
Algorithms for convex feasibility find or approximate a point in the intersection of given closed convex sets. Typically there are only finitely many convex sets, but the case of infinitely many convex sets also has some applications. In this context, a \emph{string} is a finite sequence of points each of which is obtained from the previous point by considering one of the convex sets. In a \emph{s…
▽ More
Algorithms for convex feasibility find or approximate a point in the intersection of given closed convex sets. Typically there are only finitely many convex sets, but the case of infinitely many convex sets also has some applications. In this context, a \emph{string} is a finite sequence of points each of which is obtained from the previous point by considering one of the convex sets. In a \emph{string-averaging} algorithm, an iterative step from a first point to a second point computes a number of strings, all starting with the first point, and then calculates a (weighted) average of those strings' end-points: This average is that iterative step's second point, which is used as the first point for the next iterative step. For string-averaging algorithms based on strings in which each point either is the projection of the previous point on one of the convex sets or is equal to the previous point, we present theorems that provide answers to the following question: "How can the iterative steps be specified so that the string-averaging algorithm generates a convergent sequence whose limit lies in the intersection of the sets of a given convex feasibility problem?" This paper focuses on the case where the given collection of convex sets is infinite, whereas prior work on the same question that we are aware of has assumed the collection of convex sets is finite (or has been applicable only to a small subset of the algorithms we consider). The string-averaging algorithms that are shown to generate a convergent sequence whose limit lies in the intersection are also shown to be perturbation resilient, so they can be superiorized to generate sequences that also converge to a point of the intersection but in a manner that is superior with respect to some application-dependent criterion.
△ Less
Submitted 16 November, 2018; v1 submitted 30 June, 2018;
originally announced July 2018.
-
Transform the Non-linear Programming Problem to the Initial-value Problem to Solve
Authors:
Sheng Zhang,
Fei Liao,
Yi-Nan Kong,
Kai-Feng He
Abstract:
A dynamic method to solve the Non-linear Programming (NLP) problem with Equality Constraints (ECs) and Inequality Constraints (IECs) is proposed. Inspired by the Lyapunov continuous-time dynamics stability theory in the control field, the optimal solution is analogized to the stable equilibrium point of a finite-dimensional dynamic system and it is solved in an asymptotic manner. Under the premise…
▽ More
A dynamic method to solve the Non-linear Programming (NLP) problem with Equality Constraints (ECs) and Inequality Constraints (IECs) is proposed. Inspired by the Lyapunov continuous-time dynamics stability theory in the control field, the optimal solution is analogized to the stable equilibrium point of a finite-dimensional dynamic system and it is solved in an asymptotic manner. Under the premise that the Karush-Kuhn-Tucker (KKT) optimality condition exists, the Dynamic Optimization Equation (DOE), which has the same dimension to that of the optimization parameter vector, is established and its solution will converge to the optimal solution of the NLP globally with a theoretical guarantee. Using the matrix pseudo-inverse, the DOE is valid even without the linearly independent regularity requirement on the nonlinear constraints. In addition, the analytic expressions of the Lagrange multipliers and KKT multipliers, which adjoin the ECs and the IECs respectively during the entire optimization process, are also derived. Via the proposed method, the NLP may be transformed to the Initial-value Problem (IVP) to be solved, with mature Ordinary Differential Equation (ODE) integration methods. Illustrative examples are solved and it is shown that the dynamic method developed may produce the right numerical solutions with high efficiency.
△ Less
Submitted 1 October, 2021; v1 submitted 25 April, 2018;
originally announced April 2018.
-
Phase-only signal reconstruction by MagnitudeCut
Authors:
Jiasong Wu,
Jieyuan Liu,
Youyong Kong,
Xu Han,
Lotfi Senhadji,
Huazhong Shu
Abstract:
In this paper, we present a new algorithm, called MagnitudeCut, for recovering a signal from the phase of its Fourier transform. We casted our recovering problem into a new convex optimization problem, and then solved it by the block coordinate descent algorithm and the interior point algorithm, in which the iteration process consists of matrix vector product and inner product. We used the new met…
▽ More
In this paper, we present a new algorithm, called MagnitudeCut, for recovering a signal from the phase of its Fourier transform. We casted our recovering problem into a new convex optimization problem, and then solved it by the block coordinate descent algorithm and the interior point algorithm, in which the iteration process consists of matrix vector product and inner product. We used the new method for reconstruction of a set of signal/image. The simulation results reveal that the proposed MagnitudeCut method can reconstruct the original signal with fewer sampling number of the phase information than that of the Greedy algorithm and iterative method under the same reconstruction error. Moreover, our algorithm can also reconstruct the symmetric image from its Fourier phase.
△ Less
Submitted 1 March, 2016;
originally announced March 2016.
-
Integration of algebroidal functions
Authors:
Daochun Sun,
Yingying Huo,
Yinying Kong,
Fujie Chai
Abstract:
In this paper, we introduce the integration of algebroidal functions on Riemann surfaces for the first time. Some properties of integration are obtained. By giving the definition of residues and integral function element, we obtain the condition that the integral is independent of path. At last, we prove that the integral of an irreducible algebroidal function is also an irreducible algebroidal fu…
▽ More
In this paper, we introduce the integration of algebroidal functions on Riemann surfaces for the first time. Some properties of integration are obtained. By giving the definition of residues and integral function element, we obtain the condition that the integral is independent of path. At last, we prove that the integral of an irreducible algebroidal function is also an irreducible algebroidal function if all the residues at critical points are zeros.
△ Less
Submitted 24 December, 2015;
originally announced February 2016.
-
Sharp Moser-Trudinger inequalities on Riemannian manifolds with Negative curvature
Authors:
Qiaohua Yang,
Dan Su,
Yinying Kong
Abstract:
Let $M$ be a complete, simply connected Riemannian manifold with negative curvature. We obtain some Moser-Trudinger inequalities with sharp constants on $M$.
Let $M$ be a complete, simply connected Riemannian manifold with negative curvature. We obtain some Moser-Trudinger inequalities with sharp constants on $M$.
△ Less
Submitted 2 July, 2024; v1 submitted 1 March, 2015;
originally announced March 2015.
-
Statistical distributions of pyrosequencing
Authors:
Yong Kong
Abstract:
Pyrosequencing is emerging as one of the important next-generation sequencing technologies. We derive the statistical distributions of this technique in terms of nucleotide probabilities of the target sequences. We give exact distributions both for fixed number of flow cycles and for fixed sequence length. Explicit formulas are derived for the mean and variance of these distributions. In both case…
▽ More
Pyrosequencing is emerging as one of the important next-generation sequencing technologies. We derive the statistical distributions of this technique in terms of nucleotide probabilities of the target sequences. We give exact distributions both for fixed number of flow cycles and for fixed sequence length. Explicit formulas are derived for the mean and variance of these distributions. In both cases, the distributions can be approximated accurately by normal distributions with the same mean and variance. The statistical distributions will be useful for instrument and software development for pyrosequencing platforms.
△ Less
Submitted 5 November, 2014;
originally announced November 2014.
-
Distributions of positive signals in pyrosequencing
Authors:
Yong Kong
Abstract:
Pyrosequencing is one of the important next-generation sequencing technologies. We derive the distribution of the number of positive signals in pyrograms of this sequencing technology as a function of flow cycle numbers and nucleotide probabilities of the target sequences. As for the distribution of sequence length, we also derive the distribution of positive signals for the fixed flow cycle model…
▽ More
Pyrosequencing is one of the important next-generation sequencing technologies. We derive the distribution of the number of positive signals in pyrograms of this sequencing technology as a function of flow cycle numbers and nucleotide probabilities of the target sequences. As for the distribution of sequence length, we also derive the distribution of positive signals for the fixed flow cycle model. Explicit formulas are derived for the mean and variance of the distributions. A simple result for the mean of the distribution is that the mean number of positive signals in a pyrogram is approximately twice the number of flow cycles, regardless of nucleotide probabilities. The statistical distributions will be useful for instrument and software development for pyrosequencing and other related platforms.
△ Less
Submitted 5 November, 2014;
originally announced November 2014.
-
Length distribution of sequencing by synthesis: fixed flow cycle model
Authors:
Yong Kong
Abstract:
Sequencing by synthesis is the underlying technology for many next-generation DNA sequencing platforms. We developed a new model, the fixed flow cycle model, to derive the distributions of sequence length for a given number of flow cycles under the general conditions where the nucleotide incorporation is probabilistic and may be incomplete, as in some single-molecule sequencing technologies. Unlik…
▽ More
Sequencing by synthesis is the underlying technology for many next-generation DNA sequencing platforms. We developed a new model, the fixed flow cycle model, to derive the distributions of sequence length for a given number of flow cycles under the general conditions where the nucleotide incorporation is probabilistic and may be incomplete, as in some single-molecule sequencing technologies. Unlike the previous model, the new model yields the probability distribution for the sequence length. Explicit closed form formulas are derived for the mean and variance of the distribution.
△ Less
Submitted 5 November, 2014;
originally announced November 2014.
-
Statistical distributions of sequencing by synthesis with probabilistic nucleotide incorporation
Authors:
Yong Kong
Abstract:
Sequencing by synthesis is used in many next-generation DNA sequencing technologies. Some of the technologies, especially those exploring the principle of single-molecule sequencing, allow incomplete nucleotide incorporation in each cycle. We derive statistical distributions for sequencing by synthesis by taking into account the possibility that nucleotide incorporation may not be complete in each…
▽ More
Sequencing by synthesis is used in many next-generation DNA sequencing technologies. Some of the technologies, especially those exploring the principle of single-molecule sequencing, allow incomplete nucleotide incorporation in each cycle. We derive statistical distributions for sequencing by synthesis by taking into account the possibility that nucleotide incorporation may not be complete in each flow cycle. The statistical distributions are expressed in terms of nucleotide probabilities of the target sequences and the nucleotide incorporation probabilities for each nucleotide. We give exact distributions both for fixed number of flow cycles and for fixed sequence length. Explicit formulas are derived for the mean and variance of these distributions. The results are generalizations of our previous work for pyrosequencing. Incomplete nucleotide incorporation leads to significant change in the mean and variance of the distributions, but still they can be approximated by normal distributions with the same mean and variance. The results are also generalized to handle sequence context dependent incorporation. The statistical distributions will be useful for instrument and software development for sequencing by synthesis platforms.
△ Less
Submitted 5 November, 2014;
originally announced November 2014.
-
Packing dimers on $(2p + 1) \times (2q + 1) $ lattices
Authors:
Yong Kong
Abstract:
We use computational method to investigate the number of ways to pack dimers on \emph{odd-by-odd} lattices. In this case, there is always a single vacancy in the lattices. We show that the dimer configuration numbers on $(2k+1) \times (2k+1)$ \emph{odd} square lattices have some remarkable number-theoretical properties in parallel to those of close-packed dimers on $2k \times 2k$ \emph{even} squar…
▽ More
We use computational method to investigate the number of ways to pack dimers on \emph{odd-by-odd} lattices. In this case, there is always a single vacancy in the lattices. We show that the dimer configuration numbers on $(2k+1) \times (2k+1)$ \emph{odd} square lattices have some remarkable number-theoretical properties in parallel to those of close-packed dimers on $2k \times 2k$ \emph{even} square lattices, for which exact solution exists. Furthermore, we demonstrate that there is an unambiguous logarithm term in the finite size correction of free energy of odd-by-odd lattice strips with any width $n \ge 1$. This logarithm term determines the distinct behavior of the free energy of odd square lattices. These findings reveal a deep and previously unexplored connection between statistical physics models and number theory, and indicate the possibility that the monomer-dimer problem might be solvable.
△ Less
Submitted 29 October, 2014;
originally announced October 2014.
