On the Triality Theory for a Quartic Polynomial Optimization Problem

This paper presents a detailed proof of the triality theorem for a class of fourth-order polynomial optimization problems. The method is based on linear algebra but it solves an open problem on the double-min duality left in 2003. Results show that the triality theory holds strongly in a tri-duality form if the primal problem and its canonical dual have the same dimension; otherwise, both the canonical min-max duality and the double-max duality still hold strongly, but the double-min duality holds weakly in a symmetrical form. Four numerical examples are presented to illustrate that this theory can be used to identify not only the global minimum, but also the largest local minimum and local maximum.Comment: 16 pages, 1 figure; J. Industrial and Management Optimization, 2011. arXiv admin note: substantial text overlap with arXiv:1104.297

Optimal Controlled Teleportation

We give the analytic expressions of maximal probabilities of successfully controlled teleportating an unknown qubit via every kind of tripartite states. Besides, another kind of localizable entanglement is also determined. Furthermore, we give the sufficient and necessary condition that a three-qubit state can be collapsed to an EPR pair by a measurement on one qubit, and characterize the three-qubit states that can be used as quantum channel for controlled teleporting a qubit of unknown information with unit probability and with unit fidelity.Comment: 4 page

Quantifier Elimination over Finite Fields Using Gr\"obner Bases

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite fields. We analyze the theoretical complexity of the algorithm and show its application in the formal analysis of a biological controller model.Comment: A shorter version is to appear in International Conference on Algebraic Informatics 201

Estimating Economies of Scope Using Profit Function: A Dual Approach of the Normalized Quadratic Profit Function

Replaced with revised version of paper 06/26/06.Research Methods/ Statistical Methods,

Performance of bolted steel-beam to CFST-column joints using stiffened angles in column-removal scenario

This paper presents three experimental investigations on the performance of steel-beam to CFST-column joints using stiffened angle, long bolts and fin plate under a middle column removal scenario. Three specimens were designed and tested. The failure modes and catenary action are investigated in detail. The test results show that increasing the angle plate thickness at the joint could not only improve its performance significantly, but also trigger an early formation of catenary action. Increasing the length of short-limb had influence on the deformation ability of the proposed joint, rather than the load capacity. The buckling of stiffeners could prevent the brittle failure of the joints. With the contribution of catenary action, the joint shows much higher rotation capacities than that required in DoD design guidance. The initial stiffness of the joint was calculated using an analytical model with consideration of bolt pretension. Good agreement to the test results is achieved. A numerical analysis is also carried out, whose results show that adding additional row of bolts would improve the redundancy of the joint under column loss. An equivalent dynamic response evaluation of the joints was also performed. The results show that dynamic amplification coefficient should be worked out considering catenary action under large deformation