Symbolic framework for linear active circuits based on port equivalence using limit variables

Published versio

The role of the energy equation in the fragmentation of protostellar discs during stellar encounters

In this paper, we use high-resolution smoothed particle hydrodynamics (SPH) simulations to investigate the response of a marginally stable self-gravitating protostellar disc to a close parabolic encounter with a companion discless star. Our main aim is to test whether close brown dwarfs or massive planets can form out of the fragmentation of such discs. We follow the thermal evolution of the disc by including the effects of heating due to compression and shocks and a simple prescription for cooling and find results that contrast with previous isothermal simulations. In the present case we find that fragmentation is inhibited by the interaction, due to the strong effect of tidal heating, which results in a strong stabilization of the disc. A similar behaviour was also previously observed in other simulations involving discs in binary systems. As in the case of isolated discs, it appears that the condition for fragmentation ultimately depends on the cooling rate.Comment: 9 pages, 10 figures, accepted in MNRA

MgB2 tunnel junctions and 19 K low-noise dc superconducting quantum interference devices

Point contact junctions made from two pieces of MgB2 can be adjusted to exhibit either superconductor-insulator-superconductor (SIS) or superconductor-normal metal-superconductor (SNS) current-voltage characteristics. The SIS characteristics are in good agreement with the standard tunneling model for s-wave superconductors, and yield an energy gap of (2.02 +/- 0.08) meV. The SNS characteristics are in good agreement with the predictions of the resistively-shunted junction model. DC Superconducting QUantum Interference Devices made from two SNS junctions yield magnetic field noise as low as 35 fT/Hz^{1/2} at 19 K.Comment: 4 pages, 4 figure

A novel procedure for fast surface structural analysis based on LEED intensity data

By evaluating LEED intensities from different diffraction beams taken only at discrete energy intervals (which may be as large as 15–20 eV) the same degree of reliability in surface structure determination can be reached as with the conventional techniques based on analysis of continuous I/V-spectra. The minimum of the corresponding R-factor can be found by a least-squares fit method, as will be exemplified with a system in which 8 structural parameters were subject to simultaneous refinement

Computer-aided verification in mechanism design

In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated strategizing. While incentive properties are simple to state, their proofs are specific to the mechanism and can be quite complex. This raises two concerns. From a practical perspective, checking a complex proof can be a tedious process, often requiring experts knowledgeable in mechanism design. Furthermore, from a modeling perspective, if unsophisticated agents are unconvinced of incentive properties, they may strategize in unpredictable ways. To address both concerns, we explore techniques from computer-aided verification to construct formal proofs of incentive properties. Because formal proofs can be automatically checked, agents do not need to manually check the properties, or even understand the proof. To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and Malekian. This mechanism presents new challenges for formal verification, including essential use of randomness from both the execution of the mechanism and from the prior type distributions. As an immediate consequence, our work also formalizes Bayesian incentive compatibility for the entire family of mechanisms derived via this reduction. Finally, as an intermediate step in our formalization, we provide the first formal verification of incentive compatibility for the celebrated Vickrey-Clarke-Groves mechanism

Budget feasible mechanisms on matroids

Motivated by many practical applications, in this paper we study budget feasible mechanisms where the goal is to procure independent sets from matroids. More specifically, we are given a matroid =(,) where each ground (indivisible) element is a selfish agent. The cost of each element (i.e., for selling the item or performing a service) is only known to the element itself. There is a buyer with a budget having additive valuations over the set of elements E. The goal is to design an incentive compatible (truthful) budget feasible mechanism which procures an independent set of the matroid under the given budget that yields the largest value possible to the buyer. Our result is a deterministic, polynomial-time, individually rational, truthful and budget feasible mechanism with 4-approximation to the optimal independent set. Then, we extend our mechanism to the setting of matroid intersections in which the goal is to procure common independent sets from multiple matroids. We show that, given a polynomial time deterministic blackbox that returns -approximation solutions to the matroid intersection problem, there exists a deterministic, polynomial time, individually rational, truthful and budget feasible mechanism with (3+1) -approximation to the optimal common independent set

An efficient method for LEED crystallography

Determination of periodic surface structures from analysis of LEED intensity data is usually based on the evaluation of continuous I/V-spectra for a large number of model structures for which all the structural parameters have to be refined simultaneously until the best agreement with the experimental data, as quantified by the minimum of R-factor, is achieved. It is demonstrated that analysis based on intensity data taken only at discrete energy intervals (of up to about 20 eV) leads to no loss in accuracy if compared with the evaluation of continuous I/V-spectra. The introduction of a novel RDE-factor permits in addition to replace the “grid search” technique by a “least-squares” optimisation scheme which enables automatic search of the R-factor minimum at considerably reduced computational efforts. The strength of this technique becomes particularly evident with more complex structures as is demonstrated for Ni(110)-(2 × 1)O and other systems