621 research outputs found
On the theory of electric dc-conductivity : linear and non-linear microscopic evolution and macroscopic behaviour
We consider the Schrodinger time evolution of charged particles subject to a
static substrate potential and to a homogeneous, macroscopic electric field (a
magnetic field may also be present). We investigate the microscopic velocities
and the resulting macroscopic current. We show that the microscopic velocities
are in general non-linear with respect to the electric field. One kind of
non-linearity arises from the highly non-linear adiabatic evolution and (or)
from an admixture of parts of it in so-called intermediate states, and the
other kind from non-quadratic transition rates between adiabatic states. The
resulting macroscopic dc-current may or may not be linear in the field. Three
cases can be distinguished : (a) The microscopic non-linearities can be
neglected. This is assumed to be the case in linear response theory (Kubo
formalism, ...). We give arguments which make it plausible that often such an
assumption is indeed justified, in particular for the current parallel to the
field. (b) The microscopic non-linearitites lead to macroscopic
non-linearities. An example is the onset of dissipation by increasing the
electric field in the breakdown of the quantum Hall effect. (c) The macroscopic
current is linear although the microscopic non-linearities constitute an
essential part of it and cannot be neglected. We show that the Hall current of
a quantized Hall plateau belongs to this case. This illustrates that
macroscopic linearity does not necessarily result from microscopic linearity.
In the second and third cases linear response theory is inadequate. We
elucidate also some other problems related to linear response theory.Comment: 24 pages, 6 figures, some typing errors have been corrected. Remark :
in eq. (1) of the printed article an obvious typing error remain
Parameterizing by the Number of Numbers
The usefulness of parameterized algorithmics has often depended on what
Niedermeier has called, "the art of problem parameterization". In this paper we
introduce and explore a novel but general form of parameterization: the number
of numbers. Several classic numerical problems, such as Subset Sum, Partition,
3-Partition, Numerical 3-Dimensional Matching, and Numerical Matching with
Target Sums, have multisets of integers as input. We initiate the study of
parameterizing these problems by the number of distinct integers in the input.
We rely on an FPT result for ILPF to show that all the above-mentioned problems
are fixed-parameter tractable when parameterized in this way. In various
applied settings, problem inputs often consist in part of multisets of integers
or multisets of weighted objects (such as edges in a graph, or jobs to be
scheduled). Such number-of-numbers parameterized problems often reduce to
subproblems about transition systems of various kinds, parameterized by the
size of the system description. We consider several core problems of this kind
relevant to number-of-numbers parameterization. Our main hardness result
considers the problem: given a non-deterministic Mealy machine M (a finite
state automaton outputting a letter on each transition), an input word x, and a
census requirement c for the output word specifying how many times each letter
of the output alphabet should be written, decide whether there exists a
computation of M reading x that outputs a word y that meets the requirement c.
We show that this problem is hard for W[1]. If the question is whether there
exists an input word x such that a computation of M on x outputs a word that
meets c, the problem becomes fixed-parameter tractable
Quotients of group rings arising from two-dimensional representations
Wetensch. publicatieFaculteit der Wiskunde en Natuurwetenschappe
A faster pseudo-primality test
We propose a pseudo-primality test using cyclic extensions of . For every positive integer , this test achieves the
security of Miller-Rabin tests at the cost of Miller-Rabin
tests.Comment: Published in Rendiconti del Circolo Matematico di Palermo Journal,
Springe
Combinatorial Voter Control in Elections
Voter control problems model situations such as an external agent trying to
affect the result of an election by adding voters, for example by convincing
some voters to vote who would otherwise not attend the election. Traditionally,
voters are added one at a time, with the goal of making a distinguished
alternative win by adding a minimum number of voters. In this paper, we
initiate the study of combinatorial variants of control by adding voters: In
our setting, when we choose to add a voter~, we also have to add a whole
bundle of voters associated with . We study the computational
complexity of this problem for two of the most basic voting rules, namely the
Plurality rule and the Condorcet rule.Comment: An extended abstract appears in MFCS 201
A Multivariate Approach for Checking Resiliency in Access Control
In recent years, several combinatorial problems were introduced in the area
of access control. Typically, such problems deal with an authorization policy,
seen as a relation , where means that
user is authorized to access resource . Li, Tripunitara and Wang (2009)
introduced the Resiliency Checking Problem (RCP), in which we are given an
authorization policy, a subset of resources , as well as
integers , and . It asks whether upon removal of
any set of at most users, there still exist pairwise disjoint sets of
at most users such that each set has collectively access to all resources
in . This problem possesses several parameters which appear to take small
values in practice. We thus analyze the parameterized complexity of RCP with
respect to these parameters, by considering all possible combinations of . In all but one case, we are able to settle whether the problem is in
FPT, XP, W[2]-hard, para-NP-hard or para-coNP-hard. We also consider the
restricted case where for which we determine the complexity for all
possible combinations of the parameters
Slide reduction, revisited—filling the gaps in svp approximation
We show how to generalize Gama and Nguyen's slide reduction algorithm [STOC
'08] for solving the approximate Shortest Vector Problem over lattices (SVP).
As a result, we show the fastest provably correct algorithm for
-approximate SVP for all approximation factors . This is the range of approximation factors most
relevant for cryptography
Brightness of a phase-conjugating mirror behind a random medium
A random-matrix theory is presented for the reflection of light by a
disordered medium backed by a phase-conjugating mirror. Two regimes are
distinguished, depending on the relative magnitude of the inverse dwell time of
a photon in the disordered medium and the frequency shift acquired at the
mirror. The qualitatively different dependence of the reflectance on the degree
of disorder in the two regimes suggests a distinctive experimental test for
cancellation of phase shifts in a random medium.Comment: 4 pages LaTeX. 2 Postscript figures include
Stochastic Vehicle Routing with Recourse
We study the classic Vehicle Routing Problem in the setting of stochastic
optimization with recourse. StochVRP is a two-stage optimization problem, where
demand is satisfied using two routes: fixed and recourse. The fixed route is
computed using only a demand distribution. Then after observing the demand
instantiations, a recourse route is computed -- but costs here become more
expensive by a factor lambda.
We present an O(log^2 n log(n lambda))-approximation algorithm for this
stochastic routing problem, under arbitrary distributions. The main idea in
this result is relating StochVRP to a special case of submodular orienteering,
called knapsack rank-function orienteering. We also give a better approximation
ratio for knapsack rank-function orienteering than what follows from prior
work. Finally, we provide a Unique Games Conjecture based omega(1) hardness of
approximation for StochVRP, even on star-like metrics on which our algorithm
achieves a logarithmic approximation.Comment: 20 Pages, 1 figure Revision corrects the statement and proof of
Theorem 1.
A New Lower Bound for Deterministic Truthful Scheduling
We study the problem of truthfully scheduling tasks to selfish
unrelated machines, under the objective of makespan minimization, as was
introduced in the seminal work of Nisan and Ronen [STOC'99]. Closing the
current gap of on the approximation ratio of deterministic truthful
mechanisms is a notorious open problem in the field of algorithmic mechanism
design. We provide the first such improvement in more than a decade, since the
lower bounds of (for ) and (for ) by
Christodoulou et al. [SODA'07] and Koutsoupias and Vidali [MFCS'07],
respectively. More specifically, we show that the currently best lower bound of
can be achieved even for just machines; for we already get
the first improvement, namely ; and allowing the number of machines to
grow arbitrarily large we can get a lower bound of .Comment: 15 page
- …