-
Perturbation Analysis and Neural Network-Based Initial Condition Estimation for the Sine-Gordon Equation
Authors:
Junhong Ha,
Sudeok Shon
Abstract:
The sine-Gordon equation is a fundamental nonlinear partial differential equation that governs soliton dynamics and phase evolution in a variety of physical systems, including Josephson junctions and superconducting circuits. In this study, we analyze the effects of external perturbations such as damping and driving forces on the stability of soliton solutions. Using a rigorous Hilbert space frame…
▽ More
The sine-Gordon equation is a fundamental nonlinear partial differential equation that governs soliton dynamics and phase evolution in a variety of physical systems, including Josephson junctions and superconducting circuits. In this study, we analyze the effects of external perturbations such as damping and driving forces on the stability of soliton solutions. Using a rigorous Hilbert space framework, we establish well-posedness and derive regularity results for the perturbed equation. In particular, we provide sufficient conditions for the boundedness of the perturbation function, which plays a crucial role in determining the persistence of the soliton structure. Furthermore, we propose a neural network-based approach for solving the inverse problem of estimating unknown initial conditions. By training a data-driven model on simulated PDE solutions, we demonstrate that the network can accurately recover the initial states from limited or noisy observations. Numerical simulations validate the theoretical results and highlight the potential of combining mathematical analysis with machine learning techniques to study nonlinear wave phenomena. This approach offers valuable insights into soliton behavior and has potential applications in the design of quantum computing systems based on Josephson junctions.
△ Less
Submitted 31 March, 2025;
originally announced April 2025.
-
Neural network-enhanced $hr$-adaptive finite element algorithm for parabolic equations
Authors:
Jiaxiong Hao,
Yunqing Huang,
Nianyu Yi,
Peimeng Yin
Abstract:
In this paper, we present a novel enhancement to the conventional $hr$-adaptive finite element methods for parabolic equations, integrating traditional $h$-adaptive and $r$-adaptive methods via neural networks. A major challenge in $hr$-adaptive finite element methods lies in projecting the previous step's finite element solution onto the updated mesh. This projection depends on the new mesh and m…
▽ More
In this paper, we present a novel enhancement to the conventional $hr$-adaptive finite element methods for parabolic equations, integrating traditional $h$-adaptive and $r$-adaptive methods via neural networks. A major challenge in $hr$-adaptive finite element methods lies in projecting the previous step's finite element solution onto the updated mesh. This projection depends on the new mesh and must be recomputed for each adaptive iteration. To address this, we introduce a neural network to construct a mesh-free surrogate of the previous step finite element solution. Since the neural network is mesh-free, it only requires training once per time step, with its parameters initialized using the optimizer from the previous time step. This approach effectively overcomes the interpolation challenges associated with non-nested meshes in computation, making node insertion and movement more convenient and efficient. The new algorithm also emphasizes SIZING and GENERATE, allowing each refinement to roughly double the number of mesh nodes of the previous iteration and then redistribute them to form a new mesh that effectively captures the singularities. It significantly reduces the time required for repeated refinement and achieves the desired accuracy in no more than seven space-adaptive iterations per time step. Numerical experiments confirm the efficiency of the proposed algorithm in capturing dynamic changes of singularities.
△ Less
Submitted 16 March, 2025;
originally announced March 2025.
-
On the Convergence of Adam-Type Algorithm for Bilevel Optimization under Unbounded Smoothness
Authors:
Xiaochuan Gong,
Jie Hao,
Mingrui Liu
Abstract:
Adam has become one of the most popular optimizers for training modern deep neural networks, such as transformers. However, its applicability is largely restricted to single-level optimization problems. In this paper, we aim to extend vanilla Adam to tackle bilevel optimization problems, which have important applications in machine learning, such as meta-learning. In particular, we study stochasti…
▽ More
Adam has become one of the most popular optimizers for training modern deep neural networks, such as transformers. However, its applicability is largely restricted to single-level optimization problems. In this paper, we aim to extend vanilla Adam to tackle bilevel optimization problems, which have important applications in machine learning, such as meta-learning. In particular, we study stochastic bilevel optimization problems where the lower-level function is strongly convex and the upper-level objective is nonconvex with potentially unbounded smoothness. This unbounded smooth objective function covers a broad class of neural networks, including transformers, which may exhibit non-Lipschitz gradients. In this work, we introduce AdamBO, a single-loop Adam-type method that achieves $\widetilde{O}(ε^{-4})$ oracle complexity to find $ε$-stationary points, where the oracle calls involve stochastic gradient or Hessian/Jacobian-vector product evaluations. The key to our analysis is a novel randomness decoupling lemma that provides refined control over the lower-level variable. We conduct extensive experiments on various machine learning tasks involving bilevel formulations with recurrent neural networks (RNNs) and transformers, demonstrating the effectiveness of our proposed Adam-type algorithm.
△ Less
Submitted 5 March, 2025;
originally announced March 2025.
-
A Nearly Optimal Single Loop Algorithm for Stochastic Bilevel Optimization under Unbounded Smoothness
Authors:
Xiaochuan Gong,
Jie Hao,
Mingrui Liu
Abstract:
This paper studies the problem of stochastic bilevel optimization where the upper-level function is nonconvex with potentially unbounded smoothness and the lower-level function is strongly convex. This problem is motivated by meta-learning applied to sequential data, such as text classification using recurrent neural networks, where the smoothness constant of the upper-level loss function scales l…
▽ More
This paper studies the problem of stochastic bilevel optimization where the upper-level function is nonconvex with potentially unbounded smoothness and the lower-level function is strongly convex. This problem is motivated by meta-learning applied to sequential data, such as text classification using recurrent neural networks, where the smoothness constant of the upper-level loss function scales linearly with the gradient norm and can be potentially unbounded. Existing algorithm crucially relies on the nested loop design, which requires significant tuning efforts and is not practical. In this paper, we address this issue by proposing a Single Loop bIlevel oPtimizer (SLIP). The proposed algorithm first updates the lower-level variable by a few steps of stochastic gradient descent, and then simultaneously updates the upper-level variable by normalized stochastic gradient descent with momentum and the lower-level variable by stochastic gradient descent. Under standard assumptions, we show that our algorithm finds an $ε$-stationary point within $\widetilde{O}(1/ε^4)$\footnote{Here $\widetilde{O}(\cdot)$ compresses logarithmic factors of $1/ε$ and $1/δ$, where $δ\in(0,1)$ denotes the failure probability.} oracle calls of stochastic gradient or Hessian-vector product, both in expectation and with high probability. This complexity result is nearly optimal up to logarithmic factors without mean-square smoothness of the stochastic gradient oracle. Our proof relies on (i) a refined characterization and control of the lower-level variable and (ii) establishing a novel connection between bilevel optimization and stochastic optimization under distributional drift. Our experiments on various tasks show that our algorithm significantly outperforms strong baselines in bilevel optimization.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
$L^2$-Wasserstein contraction of modified Euler schemes for SDEs with high diffusivity and applications
Authors:
Jianhai Bao,
Jiaqing Hao
Abstract:
In this paper, we are concerned with a modified Euler scheme for the SDE under consideration, where the drift is of super-linear growth and dissipative merely outside a closed ball. By adopting the synchronous coupling, along with the construction of an equivalent quasi-metric, the $L^2$-Wasserstein contraction of the modified Euler scheme is addressed provided that the diffusivity is large enough…
▽ More
In this paper, we are concerned with a modified Euler scheme for the SDE under consideration, where the drift is of super-linear growth and dissipative merely outside a closed ball. By adopting the synchronous coupling, along with the construction of an equivalent quasi-metric, the $L^2$-Wasserstein contraction of the modified Euler scheme is addressed provided that the diffusivity is large enough. In particular, as a by-product, the $L^2$ Wasserstein contraction of the projected (truncated) Euler scheme and the tamed Euler algorithm is treated under much more explicit conditions imposed on drifts. The theory derived on the $L^2$-Wasserstein contraction has numerous applications on various aspects. In addition to applications on Poincaré inequalities (with respect to the numerical transition kernel and the numerical invariant probability measure), concentration inequalities for empirical averages, and bounds concerning the KL-divergence, in this paper we present another two potential applications. One concerns the non-asymptotic $L^2$-Wasserstein bound corresponding to the projected Euler scheme and the tamed Euler recursion, respectively, which further implies the $L^2$-Wasserstein error bound between the exact invariant probability measure and the numerical counterpart. It is worthy to emphasize that the associated convergence rate is improved greatly in contrast to the existing literature. Another application is devoted to the strong law of large numbers of additive functionals related to the modified Euler algorithm, where the observable functions involved are allowed to be of polynomial growth, and the associated convergence rate is also enhanced remarkably.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
An Accelerated Algorithm for Stochastic Bilevel Optimization under Unbounded Smoothness
Authors:
Xiaochuan Gong,
Jie Hao,
Mingrui Liu
Abstract:
This paper investigates a class of stochastic bilevel optimization problems where the upper-level function is nonconvex with potentially unbounded smoothness and the lower-level problem is strongly convex. These problems have significant applications in sequential data learning, such as text classification using recurrent neural networks. The unbounded smoothness is characterized by the smoothness…
▽ More
This paper investigates a class of stochastic bilevel optimization problems where the upper-level function is nonconvex with potentially unbounded smoothness and the lower-level problem is strongly convex. These problems have significant applications in sequential data learning, such as text classification using recurrent neural networks. The unbounded smoothness is characterized by the smoothness constant of the upper-level function scaling linearly with the gradient norm, lacking a uniform upper bound. Existing state-of-the-art algorithms require $\widetilde{O}(1/ε^4)$ oracle calls of stochastic gradient or Hessian/Jacobian-vector product to find an $ε$-stationary point. However, it remains unclear if we can further improve the convergence rate when the assumptions for the function in the population level also hold for each random realization almost surely. To address this issue, we propose a new Accelerated Bilevel Optimization algorithm named AccBO. The algorithm updates the upper-level variable by normalized stochastic gradient descent with recursive momentum and the lower-level variable by the stochastic Nesterov accelerated gradient descent algorithm with averaging. We prove that our algorithm achieves an oracle complexity of $\widetilde{O}(1/ε^3)$ to find an $ε$-stationary point, when the lower-level stochastic gradient's variance is $O(ε)$. Our proof relies on a novel lemma characterizing the dynamics of stochastic Nesterov accelerated gradient descent algorithm under distribution drift with high probability for the lower-level variable, which is of independent interest and also plays a crucial role in analyzing the hypergradient estimation error over time. Experimental results on various tasks confirm that our proposed algorithm achieves the predicted theoretical acceleration and significantly outperforms baselines in bilevel optimization.
△ Less
Submitted 15 January, 2025; v1 submitted 27 September, 2024;
originally announced September 2024.
-
An efficient optimization model and tabu search-based global optimization approach for continuous p-dispersion problem
Authors:
Xiangjing Lai,
Zhenheng Lin,
Jin-Kao Hao,
Qinghua Wu
Abstract:
Continuous p-dispersion problems with and without boundary constraints are NP-hard optimization problems with numerous real-world applications, notably in facility location and circle packing, which are widely studied in mathematics and operations research. In this work, we concentrate on general cases with a non-convex multiply-connected region that are rarely studied in the literature due to the…
▽ More
Continuous p-dispersion problems with and without boundary constraints are NP-hard optimization problems with numerous real-world applications, notably in facility location and circle packing, which are widely studied in mathematics and operations research. In this work, we concentrate on general cases with a non-convex multiply-connected region that are rarely studied in the literature due to their intractability and the absence of an efficient optimization model. Using the penalty function approach, we design a unified and almost everywhere differentiable optimization model for these complex problems and propose a tabu search-based global optimization (TSGO) algorithm for solving them. Computational results over a variety of benchmark instances show that the proposed model works very well, allowing popular local optimization methods (e.g., the quasi-Newton methods and the conjugate gradient methods) to reach high-precision solutions due to the differentiability of the model. These results further demonstrate that the proposed TSGO algorithm is very efficient and significantly outperforms several popular global optimization algorithms in the literature, improving the best-known solutions for several existing instances in a short computational time. Experimental analyses are conducted to show the influence of several key ingredients of the algorithm on computational performance.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Uniform-in-time estimates for mean-field type SDEs and applications
Authors:
Jianhai Bao,
Jiaqing Hao
Abstract:
Via constructing an asymptotic coupling by reflection, in this paper we establish uniform-in-time estimates on probability distances for mean-field type SDEs, where the drift terms under consideration are dissipative merely in the long distance. As applications, we (i) explore the long time probability distance estimate between an SDE and its delay version; (ii) investigate the issue on uniform-in…
▽ More
Via constructing an asymptotic coupling by reflection, in this paper we establish uniform-in-time estimates on probability distances for mean-field type SDEs, where the drift terms under consideration are dissipative merely in the long distance. As applications, we (i) explore the long time probability distance estimate between an SDE and its delay version; (ii) investigate the issue on uniform-in-time propagation of chaos for McKean-Vlasov SDEs, where the drifts might be singular with respect to the spatial variables and need not to be of convolution type; (iii) tackle the discretization error bounds in an infinite-time horizon for stochastic algorithms (e.g. backward/tamed/adaptive Euler-Maruyama schemes as three typical candidates) associated with McKean-Vlasov SDEs.
△ Less
Submitted 25 September, 2024; v1 submitted 7 May, 2024;
originally announced May 2024.
-
Limit theorems for SDEs with irregular drifts
Authors:
Jianhai Bao,
Jiaqing Hao
Abstract:
In this paper, concerning SDEs with Hölder continuous drifts, which are merely dissipative at infinity, and SDEs with piecewise continuous drifts, we investigate the strong law of large numbers and the central limit theorem for underlying additive functionals and reveal the corresponding rates of convergence. To establish the limit theorems under consideration, the exponentially contractive proper…
▽ More
In this paper, concerning SDEs with Hölder continuous drifts, which are merely dissipative at infinity, and SDEs with piecewise continuous drifts, we investigate the strong law of large numbers and the central limit theorem for underlying additive functionals and reveal the corresponding rates of convergence. To establish the limit theorems under consideration, the exponentially contractive property of solution processes under the (quasi-)Wasserstein distance plays an indispensable role. In order to achieve such contractive property, which is new and interesting in its own right for SDEs with Hölder continuous drifts or piecewise continuous drifts, the reflection coupling method is employed and meanwhile a sophisticated test function is built.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Utilizing Graph Sparsification for Pre-processing in Maxcut QUBO Solver
Authors:
Vorapong Suppakitpaisarn,
Jin-Kao Hao
Abstract:
We suggest employing graph sparsification as a pre-processing step for maxcut programs using the QUBO solver. Quantum(-inspired) algorithms are recognized for their potential efficiency in handling quadratic unconstrained binary optimization (QUBO). Given that maxcut is an NP-hard problem and can be readily expressed using QUBO, it stands out as an exemplary case to demonstrate the effectiveness o…
▽ More
We suggest employing graph sparsification as a pre-processing step for maxcut programs using the QUBO solver. Quantum(-inspired) algorithms are recognized for their potential efficiency in handling quadratic unconstrained binary optimization (QUBO). Given that maxcut is an NP-hard problem and can be readily expressed using QUBO, it stands out as an exemplary case to demonstrate the effectiveness of quantum(-inspired) QUBO approaches. Here, the non-zero count in the QUBO matrix corresponds to the graph's edge count. Given that many quantum(-inspired) solvers operate through cloud services, transmitting data for dense graphs can be costly. By introducing the graph sparsification method, we aim to mitigate these communication costs. Experimental results on classical, quantum-inspired, and quantum solvers indicate that this approach substantially reduces communication overheads and yields an objective value close to the optimal solution.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Bilevel Optimization under Unbounded Smoothness: A New Algorithm and Convergence Analysis
Authors:
Jie Hao,
Xiaochuan Gong,
Mingrui Liu
Abstract:
Bilevel optimization is an important formulation for many machine learning problems. Current bilevel optimization algorithms assume that the gradient of the upper-level function is Lipschitz. However, recent studies reveal that certain neural networks such as recurrent neural networks (RNNs) and long-short-term memory networks (LSTMs) exhibit potential unbounded smoothness, rendering conventional…
▽ More
Bilevel optimization is an important formulation for many machine learning problems. Current bilevel optimization algorithms assume that the gradient of the upper-level function is Lipschitz. However, recent studies reveal that certain neural networks such as recurrent neural networks (RNNs) and long-short-term memory networks (LSTMs) exhibit potential unbounded smoothness, rendering conventional bilevel optimization algorithms unsuitable. In this paper, we design a new bilevel optimization algorithm, namely BO-REP, to address this challenge. This algorithm updates the upper-level variable using normalized momentum and incorporates two novel techniques for updating the lower-level variable: \textit{initialization refinement} and \textit{periodic updates}. Specifically, once the upper-level variable is initialized, a subroutine is invoked to obtain a refined estimate of the corresponding optimal lower-level variable, and the lower-level variable is updated only after every specific period instead of each iteration. When the upper-level problem is nonconvex and unbounded smooth, and the lower-level problem is strongly convex, we prove that our algorithm requires $\widetilde{\mathcal{O}}(1/ε^4)$ iterations to find an $ε$-stationary point in the stochastic setting, where each iteration involves calling a stochastic gradient or Hessian-vector product oracle. Notably, this result matches the state-of-the-art complexity results under the bounded smoothness setting and without mean-squared smoothness of the stochastic gradient, up to logarithmic factors. Our proof relies on novel technical lemmas for the periodically updated lower-level variable, which are of independent interest. Our experiments on hyper-representation learning, hyperparameter optimization, and data hyper-cleaning for text classification tasks demonstrate the effectiveness of our proposed algorithm.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Identifying Subgroups of ICU Patients Using End-to-End Multivariate Time-Series Clustering Algorithm Based on Real-World Vital Signs Data
Authors:
Tongyue Shi,
Zhilong Zhang,
Wentie Liu,
Junhua Fang,
Jianguo Hao,
Shuai Jin,
Huiying Zhao,
Guilan Kong
Abstract:
This study employed the MIMIC-IV database as data source to investigate the use of dynamic, high-frequency, multivariate time-series vital signs data, including temperature, heart rate, mean blood pressure, respiratory rate, and SpO2, monitored first 8 hours data in the ICU stay. Various clustering algorithms were compared, and an end-to-end multivariate time series clustering system called Time2F…
▽ More
This study employed the MIMIC-IV database as data source to investigate the use of dynamic, high-frequency, multivariate time-series vital signs data, including temperature, heart rate, mean blood pressure, respiratory rate, and SpO2, monitored first 8 hours data in the ICU stay. Various clustering algorithms were compared, and an end-to-end multivariate time series clustering system called Time2Feat, combined with K-Means, was chosen as the most effective method to cluster patients in the ICU. In clustering analysis, data of 8,080 patients admitted between 2008 and 2016 was used for model development and 2,038 patients admitted between 2017 and 2019 for model validation. By analyzing the differences in clinical mortality prognosis among different categories, varying risks of ICU mortality and hospital mortality were found between different subgroups. Furthermore, the study visualized the trajectory of vital signs changes. The findings of this study provide valuable insights into the potential use of multivariate time-series clustering systems in patient management and monitoring in the ICU setting.
△ Less
Submitted 11 July, 2023; v1 submitted 3 June, 2023;
originally announced June 2023.
-
Reweighted Interacting Langevin Diffusions: an Accelerated Sampling Methodfor Optimization
Authors:
Junlong Lyu,
Zhitang Chen,
Wenlong Lyu,
Jianye Hao
Abstract:
We proposed a new technique to accelerate sampling methods for solving difficult optimization problems. Our method investigates the intrinsic connection between posterior distribution sampling and optimization with Langevin dynamics, and then we propose an interacting particle scheme that approximates a Reweighted Interacting Langevin Diffusion system (RILD). The underlying system is designed by a…
▽ More
We proposed a new technique to accelerate sampling methods for solving difficult optimization problems. Our method investigates the intrinsic connection between posterior distribution sampling and optimization with Langevin dynamics, and then we propose an interacting particle scheme that approximates a Reweighted Interacting Langevin Diffusion system (RILD). The underlying system is designed by adding a multiplicative source term into the classical Langevin operator, leading to a higher convergence rate and a more concentrated invariant measure. We analyze the convergence rate of our algorithm and the improvement compared to existing results in the asymptotic situation. We also design various tests to verify our theoretical results, showing the advantages of accelerating convergence and breaking through barriers of suspicious local minimums, especially in high-dimensional non-convex settings. Our algorithms and analysis shed some light on combining gradient and genetic algorithms using Partial Differential Equations (PDEs) with provable guarantees.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Authors:
Zeren Huang,
Wenhao Chen,
Weinan Zhang,
Chuhan Shi,
Furui Liu,
Hui-Ling Zhen,
Mingxuan Yuan,
Jianye Hao,
Yong Yu,
Jun Wang
Abstract:
Deriving a good variable selection strategy in branch-and-bound is essential for the efficiency of modern mixed-integer programming (MIP) solvers. With MIP branching data collected during the previous solution process, learning to branch methods have recently become superior over heuristics. As branch-and-bound is naturally a sequential decision making task, one should learn to optimize the utilit…
▽ More
Deriving a good variable selection strategy in branch-and-bound is essential for the efficiency of modern mixed-integer programming (MIP) solvers. With MIP branching data collected during the previous solution process, learning to branch methods have recently become superior over heuristics. As branch-and-bound is naturally a sequential decision making task, one should learn to optimize the utility of the whole MIP solving process instead of being myopic on each step. In this work, we formulate learning to branch as an offline reinforcement learning (RL) problem, and propose a long-sighted hybrid search scheme to construct the offline MIP dataset, which values the long-term utilities of branching decisions. During the policy training phase, we deploy a ranking-based reward assignment scheme to distinguish the promising samples from the long-term or short-term view, and train the branching model named Branch Ranking via offline policy learning. Experiments on synthetic MIP benchmarks and real-world tasks demonstrate that Branch Rankink is more efficient and robust, and can better generalize to large scales of MIP instances compared to the widely used heuristics and state-of-the-art learning-based branching models.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
Entire solutions of the generalized Hessian inequality
Authors:
Xiang Li,
Jing Hao,
Jiguang Bao
Abstract:
In this paper, we discuss the more general Hessian inequality $σ_{k}^{\frac{1}{k}}(λ(D_i (A\left(|Du|\right) D_j u)))\geq f(u)$ including the Laplacian, p-Laplacian, mean curvature, Hessian, k-mean curvature operators, and provide a necessary and sufficient condition on the global solvability, which can be regarded as generalized Keller-Osserman conditions.
In this paper, we discuss the more general Hessian inequality $σ_{k}^{\frac{1}{k}}(λ(D_i (A\left(|Du|\right) D_j u)))\geq f(u)$ including the Laplacian, p-Laplacian, mean curvature, Hessian, k-mean curvature operators, and provide a necessary and sufficient condition on the global solvability, which can be regarded as generalized Keller-Osserman conditions.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Equations of motion for cracked beams and shallow arches
Authors:
Semion Gutman,
Junhong Ha,
Sudeok Shon
Abstract:
Cracks in beams and shallow arches are modeled by massless rotational springs. First, we introduce a specially designed linear operator that "absorbs" the boundary conditions at the cracks. Then the equations of motion are derived from the first principles using the Extended Hamilton's Principle, accounting for non-conservative forces. The variational formulation of the equations is stated in term…
▽ More
Cracks in beams and shallow arches are modeled by massless rotational springs. First, we introduce a specially designed linear operator that "absorbs" the boundary conditions at the cracks. Then the equations of motion are derived from the first principles using the Extended Hamilton's Principle, accounting for non-conservative forces. The variational formulation of the equations is stated in terms of the subdifferentials of the bending and axial potential energies. The equations are given in their abstract (weak), as well as in classical forms.
△ Less
Submitted 21 October, 2021;
originally announced October 2021.
-
Variational setting for cracked beams and shallow arches
Authors:
Semion Gutman,
Junhong Ha,
Sudeok Shon
Abstract:
We develop a rigorous mathematical framework for the weak formulation of cracked beams and shallow arches problems. First, we discuss the crack modeling by means of massless rotational springs. Then we introduce Hilbert spaces, which are sufficiently wide to accommodate such representations. Our main result is the introduction of a specially designed linear operator that "absorbs" the boundary con…
▽ More
We develop a rigorous mathematical framework for the weak formulation of cracked beams and shallow arches problems. First, we discuss the crack modeling by means of massless rotational springs. Then we introduce Hilbert spaces, which are sufficiently wide to accommodate such representations. Our main result is the introduction of a specially designed linear operator that "absorbs" the boundary conditions at the cracks.
We also provide mathematical justification and derivation of the Modified Shifrin's method for an efficient computation of the eigenvalues and the eigenfunctions for cracked beams.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Learning to Select Cuts for Efficient Mixed-Integer Programming
Authors:
Zeren Huang,
Kerong Wang,
Furui Liu,
Hui-ling Zhen,
Weinan Zhang,
Mingxuan Yuan,
Jianye Hao,
Yong Yu,
Jun Wang
Abstract:
Cutting plane methods play a significant role in modern solvers for tackling mixed-integer programming (MIP) problems. Proper selection of cuts would remove infeasible solutions in the early stage, thus largely reducing the computational burden without hurting the solution accuracy. However, the major cut selection approaches heavily rely on heuristics, which strongly depend on the specific proble…
▽ More
Cutting plane methods play a significant role in modern solvers for tackling mixed-integer programming (MIP) problems. Proper selection of cuts would remove infeasible solutions in the early stage, thus largely reducing the computational burden without hurting the solution accuracy. However, the major cut selection approaches heavily rely on heuristics, which strongly depend on the specific problem at hand and thus limit their generalization capability. In this paper, we propose a data-driven and generalizable cut selection approach, named Cut Ranking, in the settings of multiple instance learning. To measure the quality of the candidate cuts, a scoring function, which takes the instance-specific cut features as inputs, is trained and applied in cut ranking and selection. In order to evaluate our method, we conduct extensive experiments on both synthetic datasets and real-world datasets. Compared with commonly used heuristics for cut selection, the learning-based policy has shown to be more effective, and is capable of generalizing over multiple problems with different properties. Cut Ranking has been deployed in an industrial solver for large-scale MIPs. In the online A/B testing of the product planning problems with more than $10^7$ variables and constraints daily, Cut Ranking has achieved the average speedup ratio of 12.42% over the production solver without any accuracy loss of solution.
△ Less
Submitted 8 October, 2021; v1 submitted 28 May, 2021;
originally announced May 2021.
-
Combinatorial proofs of the Ramanujan type congruences modulo 3
Authors:
Robert X. J. Hao
Abstract:
The partition statistic $V_R$-rank is introduced to give combinatorial proofs of the Ramanujan type congruences mod 3 for certain classes of partition functions.
The partition statistic $V_R$-rank is introduced to give combinatorial proofs of the Ramanujan type congruences mod 3 for certain classes of partition functions.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
A crank for bipartitions with designated summands
Authors:
R. X. J. Hao,
E. Y. Y. Shen
Abstract:
Andrews, Lewis and Lovejoy introduced the partition function $PD(n)$ as the number of partitions of $n$ with designated summands. A bipartition of $n$ is an ordered pair of partitions $(π_1, π_2)$ with the sum of all of the parts being $n$. In this paper, we introduce a generalized crank named the $pd$-crank for bipartitions with designated summands and give some inequalities for the $pd$-crank of…
▽ More
Andrews, Lewis and Lovejoy introduced the partition function $PD(n)$ as the number of partitions of $n$ with designated summands. A bipartition of $n$ is an ordered pair of partitions $(π_1, π_2)$ with the sum of all of the parts being $n$. In this paper, we introduce a generalized crank named the $pd$-crank for bipartitions with designated summands and give some inequalities for the $pd$-crank of bipartitions with designated summands modulo 2 and 3. We also define the $pd$-crank moments weighted by the parity of $pd$-cranks $μ_{2k,bd}(-1,n)$ and show the positivity of $(-1)^nμ_{2k,bd}(-1,n)$. Let $M_{bd}(m,n)$ denote the number of bipartitions of $n$ with designated summands with $pd$-crank $m$. We prove a monotonicity property of $pd$-cranks of bipartitions with designated summands and find that the sequence $\{M_{bd}(m,n)\}_{|m|\leq n}$ is unimodal for $n\not= 1,5,7$.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Leveraging Vehicle Connectivity and Autonomy to Stabilize Flow in Mixed Traffic Conditions: Accounting for Human-driven Vehicle Driver Behavioral Heterogeneity and Perception-reaction Time Delay
Authors:
Yujie Li,
Sikai Chen,
Paul Young Joun Ha,
Jiqian Dong,
Aaron Steinfeld,
Samuel Labi
Abstract:
The erratic nature of human driving tends to trigger undesired waves that amplify as successive driver reactions propagate from the errant vehicle to vehicles upstream. Known as phantom jams, this phenomenon has been identified in the literature as one of the main causes of traffic congestion. This paper is based on the premise that vehicle automation and connectivity can help mitigate such jams.…
▽ More
The erratic nature of human driving tends to trigger undesired waves that amplify as successive driver reactions propagate from the errant vehicle to vehicles upstream. Known as phantom jams, this phenomenon has been identified in the literature as one of the main causes of traffic congestion. This paper is based on the premise that vehicle automation and connectivity can help mitigate such jams. In the paper, we design a controller for use in a connected and autonomous vehicle (CAV) to stabilize the flow of human-driven vehicles (HDVs) that are upstream of the CAV, and consequently to lower collision risk in the upstream traffic environment. In modeling the HDV dynamics in the mixed traffic stream, we duly consider HDV driver heterogeneity and the time delays associated with their perception reaction time. We can find that the maximum number of HDVs that a CAV can stabilize is lower when human drivers potential time delay and heterogeneity are considered, compared to the scenario where such are not considered. This result suggests that heterogeneity and time delay in HDV behavior impairs the CAVs capability to stabilize traffic. Therefore, in designing CAV controllers for traffic stabilization, it is essential to consider such uncertainty-related conditions. In our demonstration, we also show that the designed controller can significantly improve both the stability of the mixed traffic stream and the safety of both CAVs and HDVs in the stream. The results are useful for real-time calibration of the model parameters that characterize HDV movements in the mixed stream.
△ Less
Submitted 17 August, 2020; v1 submitted 10 August, 2020;
originally announced August 2020.
-
A rank of partitions with overline designated summands
Authors:
Robert. X. J. Hao,
Erin Y. Y. Shen,
Wenston J. T. Zang
Abstract:
Andrews, Lewis and Lovejoy introduced the partition function $PD(n)$ as the number of partitions of $n$ with designated summands. In a recent work, Lin studied a partition function $PD_{t}(n)$ which counts the number of tagged parts over all the partitions of $n$ with designated summands. He proved that $PD_{t}(3n+2)$ is divisible by $3$. In this paper, we first introduce a structure named partiti…
▽ More
Andrews, Lewis and Lovejoy introduced the partition function $PD(n)$ as the number of partitions of $n$ with designated summands. In a recent work, Lin studied a partition function $PD_{t}(n)$ which counts the number of tagged parts over all the partitions of $n$ with designated summands. He proved that $PD_{t}(3n+2)$ is divisible by $3$. In this paper, we first introduce a structure named partitions with overline designated summands, which is counted by $PD_t(n)$. We then define a generalized rank of partitions with overline designated summands and give a combinatorial interpretation of the congruence for $PD_t(3n+2)$.
△ Less
Submitted 7 July, 2020; v1 submitted 7 April, 2020;
originally announced April 2020.
-
Strong equivalences of approximation numbers and tractability of weighted anisotropic Sobolev embeddings
Authors:
JiDong Hao,
Heping Wang
Abstract:
In this paper, we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences ${\bf a}=\{a_j\}_{j\geq1}$ and ${\bf b}=\{b_j\}_{j\geq1}$ of positive numbers. We obtain strong equivalences of the approximation numbers, and necessary and sufficient conditions on ${\bf a}$, ${\bf b}$ to achieve various notions of tractability of the weighted anisotro…
▽ More
In this paper, we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences ${\bf a}=\{a_j\}_{j\geq1}$ and ${\bf b}=\{b_j\}_{j\geq1}$ of positive numbers. We obtain strong equivalences of the approximation numbers, and necessary and sufficient conditions on ${\bf a}$, ${\bf b}$ to achieve various notions of tractability of the weighted anisotropic Sobolev embeddings.
△ Less
Submitted 1 July, 2019;
originally announced July 2019.
-
Many solutions to the $S$-unit equation $a+1=c$
Authors:
Junsoo Ha,
Kannan Soundararajan
Abstract:
We show that there are arbitrarily large sets $S$ of $s$ primes for which the number of solutions to $a+1=c$ where all prime factors of $ac$ lie in $S$ has $\gg \exp( s^{1/4}/\log s)$ solutions.
We show that there are arbitrarily large sets $S$ of $s$ primes for which the number of solutions to $a+1=c$ where all prime factors of $ac$ lie in $S$ has $\gg \exp( s^{1/4}/\log s)$ solutions.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
Dual Loomis-Whitney inequalities via information theory
Authors:
Jing Hao,
Varun Jog
Abstract:
We establish lower bounds on the volume and the surface area of a geometric body using the size of its slices along different directions. In the first part of the paper, we derive volume bounds for convex bodies using generalized subadditivity properties of entropy combined with entropy bounds for log-concave random variables. In the second part, we investigate a new notion of Fisher information w…
▽ More
We establish lower bounds on the volume and the surface area of a geometric body using the size of its slices along different directions. In the first part of the paper, we derive volume bounds for convex bodies using generalized subadditivity properties of entropy combined with entropy bounds for log-concave random variables. In the second part, we investigate a new notion of Fisher information which we call the $L_1$-Fisher information, and show that certain superadditivity properties of the $L_1$-Fisher information lead to lower bounds for the surface areas of polyconvex sets in terms of its slices.
△ Less
Submitted 20 January, 2019;
originally announced January 2019.
-
On the modular Erdős-Burgess constant
Authors:
Jun Hao,
Haoli Wang,
Lizhen Zhang
Abstract:
Let $n$ be a positive integer. For any integer $a$, we say that $a$ is idempotent modulo $n$ if $a^2\equiv a\pmod n$. The $n$-modular Erdős-Burgess constant is the smallest positive integer $\ell$ such that any $\ell$ integers contain one or more integers whose product is idempotent modulo $n$. We gave a sharp lower bound of the $n$-modular Erdős-Burgess constant, in particular, we determined the…
▽ More
Let $n$ be a positive integer. For any integer $a$, we say that $a$ is idempotent modulo $n$ if $a^2\equiv a\pmod n$. The $n$-modular Erdős-Burgess constant is the smallest positive integer $\ell$ such that any $\ell$ integers contain one or more integers whose product is idempotent modulo $n$. We gave a sharp lower bound of the $n$-modular Erdős-Burgess constant, in particular, we determined the $n$-modular Erdős-Burgess constant in the case when $n$ is a prime power or a product of pairwise distinct primes.
△ Less
Submitted 19 July, 2018;
originally announced July 2018.
-
On the Erdős-Burgess constant of the multiplicative semigroup of a factor ring of $\mathbb{F}_q[x]$
Authors:
Haoli Wang,
Jun Hao,
Lizhen Zhang
Abstract:
Let $\mathcal{S}$ be a commutative semigroup endowed with a binary associative operation $+$. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. The {\sl Erdős-Burgess constant} of $\mathcal{S}$ is defined as the smallest $\ell\in \mathbb{N}\cup \{\infty\}$ such that any sequence $T$ of terms from $S$ and of length $\ell$ contains a nonempty subsequence the sum of whose terms is…
▽ More
Let $\mathcal{S}$ be a commutative semigroup endowed with a binary associative operation $+$. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. The {\sl Erdős-Burgess constant} of $\mathcal{S}$ is defined as the smallest $\ell\in \mathbb{N}\cup \{\infty\}$ such that any sequence $T$ of terms from $S$ and of length $\ell$ contains a nonempty subsequence the sum of whose terms is idempotent. Let $q$ be a prime power, and let $\F_q[x]$ be the polynomial ring over the finite field $\F_q$. Let $R=\F_q[x]\diagup K$ be a quotient ring of $\F_q[x]$ modulo any ideal $K$. We gave a sharp lower bound of the Erdős-Burgess constant of the multiplicative semigroup of the ring $R$, in particular, we determined the Erdős-Burgess constant in the case when $K$ is the power of a prime ideal or a product of pairwise distinct prime ideals in $\F_q[x]$.
△ Less
Submitted 18 July, 2018; v1 submitted 6 May, 2018;
originally announced May 2018.
-
An entropy inequality for symmetric random variables
Authors:
Jing Hao,
Varun Jog
Abstract:
We establish a lower bound on the entropy of weighted sums of (possibly dependent) random variables $(X_1, X_2, \dots, X_n)$ possessing a symmetric joint distribution. Our lower bound is in terms of the joint entropy of $(X_1, X_2, \dots, X_n)$. We show that for $n \geq 3$, the lower bound is tight if and only if $X_i$'s are i.i.d.\ Gaussian random variables. For $n=2$ there are numerous other cas…
▽ More
We establish a lower bound on the entropy of weighted sums of (possibly dependent) random variables $(X_1, X_2, \dots, X_n)$ possessing a symmetric joint distribution. Our lower bound is in terms of the joint entropy of $(X_1, X_2, \dots, X_n)$. We show that for $n \geq 3$, the lower bound is tight if and only if $X_i$'s are i.i.d.\ Gaussian random variables. For $n=2$ there are numerous other cases of equality apart from i.i.d.\ Gaussians, which we completely characterize. Going beyond sums, we also present an inequality for certain linear transformations of $(X_1, \dots, X_n)$. Our primary technical contribution lies in the analysis of the equality cases, and our approach relies on the geometry and the symmetry of the problem.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
The $a$-values of the Riemann zeta function near the critical line
Authors:
Junsoo Ha,
Yoonbok Lee
Abstract:
We study the value distribution of the Riemann zeta function near the line $\Re s = 1/2$. We find an asymptotic formula for the number of $a$-values in the rectangle $ 1/2 + h_1 / (\log T)^θ\leq \Re s \leq 1/2+ h_2 /(\log T)^θ$, $T \leq \Im s \leq 2T$ for fixed $h_1, h_2>0$ and $ 0 < θ<1/13$. To prove it, we need an extension of the valid range of Lamzouri, Lester and Radziwiłł's recent results on…
▽ More
We study the value distribution of the Riemann zeta function near the line $\Re s = 1/2$. We find an asymptotic formula for the number of $a$-values in the rectangle $ 1/2 + h_1 / (\log T)^θ\leq \Re s \leq 1/2+ h_2 /(\log T)^θ$, $T \leq \Im s \leq 2T$ for fixed $h_1, h_2>0$ and $ 0 < θ<1/13$. To prove it, we need an extension of the valid range of Lamzouri, Lester and Radziwiłł's recent results on the discrepancy between the distribution of $ζ(s)$ and its random model. We also propose the secondary main term for the Selberg's central limit theorem by providing sharper estimates on the line $\Re s = 1/2 + 1/(\log T)^θ$.
△ Less
Submitted 24 November, 2017;
originally announced November 2017.
-
Multiscale Abstraction, Planning and Control using Diffusion Wavelets for Stochastic Optimal Control Problems
Authors:
Jung-Su Ha,
Han-Lim Choi
Abstract:
This work presents a multiscale framework to solve a class of stochastic optimal control problems in the context of robot motion planning and control in a complex environment. In order to handle complications resulting from a large decision space and complex environmental geometry, two key concepts are adopted: (a) a diffusion wavelet representation of the Markov chain for hierarchical abstraction…
▽ More
This work presents a multiscale framework to solve a class of stochastic optimal control problems in the context of robot motion planning and control in a complex environment. In order to handle complications resulting from a large decision space and complex environmental geometry, two key concepts are adopted: (a) a diffusion wavelet representation of the Markov chain for hierarchical abstraction of the state space; and (b) a desirability function-based representation of the Markov decision process (MDP) to efficiently calculate the optimal policy. In the proposed framework, a global plan that compressively takes into account the long time/length-scale state transition is first obtained by approximately solving an MDP whose desirability function is represented by coarse scale bases in the hierarchical abstraction. Then, a detailed local plan is computed by solving an MDP that considers wavelet bases associated with a focused region of the state space, guided by the global plan. The resulting multiscale plan is utilized to finally compute a continuous-time optimal control policy within a receding horizon implementation. Two numerical examples are presented to demonstrate the applicability and validity of the proposed approach.
△ Less
Submitted 13 March, 2017; v1 submitted 21 October, 2016;
originally announced October 2016.
-
Irreducible polynomials with several prescribed coefficients
Authors:
Junsoo Ha
Abstract:
We study the number of irreducible polynomials over $\mathbf{F}_{q}$ with some coefficients prescribed. Using the technique developed by Bourgain, we show that there is an irreducible polynomial of degree $n$ with $r$ coefficients prescribed in any location when $r \leq \left[\left(1/4 - ε\right)n \right]$ for any $ε>0$ and $q$ is large; and when $r\leqδn$ for some $δ>0$ and for any $q$. The resul…
▽ More
We study the number of irreducible polynomials over $\mathbf{F}_{q}$ with some coefficients prescribed. Using the technique developed by Bourgain, we show that there is an irreducible polynomial of degree $n$ with $r$ coefficients prescribed in any location when $r \leq \left[\left(1/4 - ε\right)n \right]$ for any $ε>0$ and $q$ is large; and when $r\leqδn$ for some $δ>0$ and for any $q$. The result is improved from the earlier work of Pollack that the similar result holds for $r\leq\left[(1-ε)\sqrt{n}\right]$.
△ Less
Submitted 25 January, 2016;
originally announced January 2016.
-
Geometric Permutations of Non-Overlapping Unit Balls Revisited
Authors:
Jae-Soon Ha,
Otfried Cheong,
Xavier Goaoc,
Jungwoo Yang
Abstract:
Given four congruent balls $A, B, C, D$ in $R^{d}$ that have disjoint interior and admit a line that intersects them in the order $ABCD$, we show that the distance between the centers of consecutive balls is smaller than the distance between the centers of $A$ and $D$. This allows us to give a new short proof that $n$ interior-disjoint congruent balls admit at most three geometric permutations, tw…
▽ More
Given four congruent balls $A, B, C, D$ in $R^{d}$ that have disjoint interior and admit a line that intersects them in the order $ABCD$, we show that the distance between the centers of consecutive balls is smaller than the distance between the centers of $A$ and $D$. This allows us to give a new short proof that $n$ interior-disjoint congruent balls admit at most three geometric permutations, two if $n\ge 7$. We also make a conjecture that would imply that $n\geq 4$ such balls admit at most two geometric permutations, and show that if the conjecture is false, then there is a counter-example of a highly degenerate nature.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
A Multi-parent Memetic Algorithm for the Linear Ordering Problem
Authors:
Tao Ye,
Tao Wang,
Zhipeng Lu,
Jin-Kao Hao
Abstract:
In this paper, we present a multi-parent memetic algorithm (denoted by MPM) for solving the classic Linear Ordering Problem (LOP). The MPM algorithm integrates in particular a multi-parent recombination operator for generating offspring solutions and a distance-and-quality based criterion for pool updating. Our MPM algorithm is assessed on 8 sets of 484 widely used LOP instances and compared with…
▽ More
In this paper, we present a multi-parent memetic algorithm (denoted by MPM) for solving the classic Linear Ordering Problem (LOP). The MPM algorithm integrates in particular a multi-parent recombination operator for generating offspring solutions and a distance-and-quality based criterion for pool updating. Our MPM algorithm is assessed on 8 sets of 484 widely used LOP instances and compared with several state-of-the-art algorithms in the literature, showing the efficacy of the MPM algorithm. Specifically, for the 255 instances whose optimal solutions are unknown, the MPM is able to detect better solutions than the previous best-known ones for 66 instances, while matching the previous best-known results for 163 instances. Furthermore, some additional experiments are carried out to analyze the key elements and important parameters of MPM.
△ Less
Submitted 18 May, 2014;
originally announced May 2014.
-
Regularity Analysis for an Abstract System of Coupled Hyperbolic and Parabolic Equations
Authors:
Jianghao Hao,
Zhuangyi Liu,
Jiongmin Yong
Abstract:
In this paper, we provide a complete regularity analysis for an abstract system of coupled hyperbolic and parabolic equations in a complex Hilbert space. We are able to decompose the unit square of the parameters into three parts where the semigroup associated with the system is analytic, of specific order Gevrey classes, and non-smoothing, respectively. Moreover, we will show that the orders of G…
▽ More
In this paper, we provide a complete regularity analysis for an abstract system of coupled hyperbolic and parabolic equations in a complex Hilbert space. We are able to decompose the unit square of the parameters into three parts where the semigroup associated with the system is analytic, of specific order Gevrey classes, and non-smoothing, respectively. Moreover, we will show that the orders of Gevrey class are sharp, under proper conditions.
△ Less
Submitted 24 April, 2014;
originally announced April 2014.
-
Telescoping Sums, Permutations, and First Occurrence Distributions
Authors:
Anant Godbole,
Jie Hao
Abstract:
Telescoping sums very naturally lead to probability distributions on ${\mathbb Z}^+$. But are these distributions typically cosmetic and devoid of motivation? In this paper we give three examples of "first occurrence" distributions, each defined by telescoping sums, and that each arise from concrete questions about the structure of permutations.
Telescoping sums very naturally lead to probability distributions on ${\mathbb Z}^+$. But are these distributions typically cosmetic and devoid of motivation? In this paper we give three examples of "first occurrence" distributions, each defined by telescoping sums, and that each arise from concrete questions about the structure of permutations.
△ Less
Submitted 29 March, 2014;
originally announced March 2014.
-
Distribution of the Maximum and Minimum of a Random Number of Bounded Random Variables
Authors:
Jie Hao,
Anant Godbole
Abstract:
We study a new family of random variables, that each arise as the distribution of the maximum or minimum of a random number $N$ of i.i.d.~random variables $X_1,X_2,\ldots,X_N$, each distributed as a variable $X$ with support on $[0,1]$. The general scheme is first outlined, and several special cases are studied in detail. Wherever appropriate, we find estimates of the parameter $θ$ in the one-para…
▽ More
We study a new family of random variables, that each arise as the distribution of the maximum or minimum of a random number $N$ of i.i.d.~random variables $X_1,X_2,\ldots,X_N$, each distributed as a variable $X$ with support on $[0,1]$. The general scheme is first outlined, and several special cases are studied in detail. Wherever appropriate, we find estimates of the parameter $θ$ in the one-parameter family in question.
△ Less
Submitted 5 March, 2014;
originally announced March 2014.
-
Context-free Grammars and Multivariate Stable Polynomials over Stirling Permutations
Authors:
William Y. C. Chen,
Robert X. J. Hao,
Harold R. L. Yang
Abstract:
Recently, Haglund and Visontai established the stability of the multivariate Eulerian polynomials as the generating polynomials of the Stirling permutations, which serves as a unification of some results of Bóna, Brenti, Janson, Kuba, and Panholzer concerning Stirling permutations. Let $B_n(x)$ be the generating polynomials of the descent statistic over Legendre-Stirling permutations, and let…
▽ More
Recently, Haglund and Visontai established the stability of the multivariate Eulerian polynomials as the generating polynomials of the Stirling permutations, which serves as a unification of some results of Bóna, Brenti, Janson, Kuba, and Panholzer concerning Stirling permutations. Let $B_n(x)$ be the generating polynomials of the descent statistic over Legendre-Stirling permutations, and let $T_n(x)=2^nC_n(x/2)$, where $C_n(x)$ are the second-order Eulerian polynomials. Haglund and Visontai proposed the problems of finding multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. We obtain context-free grammars leading to multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. Moreover, the grammars enable us to obtain combinatorial interpretations of the multivariate polynomials in terms of Legendre-Stirling permutations and marked Stirling permutations. Such stable multivariate polynomials provide solutions to two problems posed by Haglund and Visontai.
△ Less
Submitted 7 August, 2012; v1 submitted 7 August, 2012;
originally announced August 2012.
