Stability of mode-locked kinks in the ac driven and damped sine-Gordon lattice

Kink dynamics in the underdamped and strongly discrete sine-Gordon lattice that is driven by the oscillating force is studied. The investigation is focused mostly on the properties of the mode-locked states in the {\it overband} case, when the driving frequency lies above the linear band. With the help of Floquet theory it is demonstrated that the destabilizing of the mode-locked state happens either through the Hopf bifurcation or through the tangential bifurcation. It is also observed that in the overband case the standing mode-locked kink state maintains its stability for the bias amplitudes that are by the order of magnitude larger than the amplitudes in the low-frequency case.Comment: To appear in Springer Series on Wave Phenomena, special volume devoted to the LENCOS'12 conference; 6 figure

NASA space station automation: AI-based technology review

Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures

Fractional and unquantized dc voltage generation in THz-driven semiconductor superlattices

We consider the spontaneous creation of a dc voltage across a strongly coupled semiconductor superlattice subjected to THz radiation. We show that the dc voltage may be approximately proportional either to an integer or to a half- integer multiple of the frequency of the applied ac field, depending on the ratio of the characteristic scattering rates of conducting electrons. For the case of an ac field frequency less than the characteristic scattering rates, we demonstrate the generation of an unquantized dc voltage.Comment: 6 pages, 3 figures, RevTEX, EPSF. Revised version v3: corrected typo

NASA space station automation: AI-based technology review. Executive summary

Research and Development projects in automation technology for the Space Station are described. Artificial Intelligence (AI) based technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics

Superselectors: Efficient Constructions and Applications

We introduce a new combinatorial structure: the superselector. We show that superselectors subsume several important combinatorial structures used in the past few years to solve problems in group testing, compressed sensing, multi-channel conflict resolution and data security. We prove close upper and lower bounds on the size of superselectors and we provide efficient algorithms for their constructions. Albeit our bounds are very general, when they are instantiated on the combinatorial structures that are particular cases of superselectors (e.g., (p,k,n)-selectors, (d,\ell)-list-disjunct matrices, MUT_k(r)-families, FUT(k, a)-families, etc.) they match the best known bounds in terms of size of the structures (the relevant parameter in the applications). For appropriate values of parameters, our results also provide the first efficient deterministic algorithms for the construction of such structures

On Deterministic Sketching and Streaming for Sparse Recovery and Norm Estimation

We study classic streaming and sparse recovery problems using deterministic linear sketches, including l1/l1 and linf/l1 sparse recovery problems (the latter also being known as l1-heavy hitters), norm estimation, and approximate inner product. We focus on devising a fixed matrix A in R^{m x n} and a deterministic recovery/estimation procedure which work for all possible input vectors simultaneously. Our results improve upon existing work, the following being our main contributions: * A proof that linf/l1 sparse recovery and inner product estimation are equivalent, and that incoherent matrices can be used to solve both problems. Our upper bound for the number of measurements is m=O(eps^{-2}*min{log n, (log n / log(1/eps))^2}). We can also obtain fast sketching and recovery algorithms by making use of the Fast Johnson-Lindenstrauss transform. Both our running times and number of measurements improve upon previous work. We can also obtain better error guarantees than previous work in terms of a smaller tail of the input vector. * A new lower bound for the number of linear measurements required to solve l1/l1 sparse recovery. We show Omega(k/eps^2 + klog(n/k)/eps) measurements are required to recover an x' with |x - x'|_1 <= (1+eps)|x_{tail(k)}|_1, where x_{tail(k)} is x projected onto all but its largest k coordinates in magnitude. * A tight bound of m = Theta(eps^{-2}log(eps^2 n)) on the number of measurements required to solve deterministic norm estimation, i.e., to recover |x|_2 +/- eps|x|_1. For all the problems we study, tight bounds are already known for the randomized complexity from previous work, except in the case of l1/l1 sparse recovery, where a nearly tight bound is known. Our work thus aims to study the deterministic complexities of these problems

Non Equilibrium Electronic Distribution in Single Electron Devices

The electronic distribution in devices with sufficiently small diemnsions may not be in thermal equilibrium with their surroundings. Systems where the occupancies of electronic states are solely determined by tunneling processes are analyzed. It is shown that the effective temperature of the device may be higher, or lower, than that of its environment, depending on the applied voltage and the energy dependence of the tunneling rates. The I-V characteristics become asymmetric. Comparison with recent experiments is made

Metal-insulator Crossover Behavior at the Surface of NiS_2

We have performed a detailed high-resolution electron spectroscopic investigation of NiS$_2$ and related Se-substituted compounds NiS$_{2-x}$Se$_x$, which are known to be gapped insulators in the bulk at all temperatures. A large spectral weight at the Fermi energy of the room temperature spectrum, in conjunction with the extreme surface sensitivity of the experimental probe, however, suggests that the surface layer is metallic at 300 K. Interestingly, the evolution of the spectral function with decreasing temperature is characterized by a continuous depletion of the single-particle spectral weight at the Fermi energy and the development of a gap-like structure below a characteristic temperature, providing evidence for a metal-insulator crossover behavior at the surfaces of NiS$_2$ and of related compounds. These results provide a consistent description of the unusual transport properties observed in these systems.Comment: 12 pages, 3 figure

Boosting local search thanks to {CDCL}

International audienceIn this paper, a novel hybrid and complete approach for propositional satisfiability, called SAT HYS (Sat Hybrid Solver), is introduced. It efficiently combines the strength of both local search and CDCL based SAT solvers. Considering the consistent partial assignment under construction by the CDCL SAT solver, local search is used to extend it to a model of the Boolean formula, while the CDCL component is used by the local search one as a strategy to escape from a local minimum. Additionally, both solvers heavily cooperate thanks to relevant information gathered during search. Experimentations on SAT instances taken from the last competitions demonstrate the efficiency and the robustness of our hybrid solver with respect to the state-of-the-art CDCL based, local search and hybrid SAT solvers

Cerebral small vessel disease burden is associated with decreased abundance of gut Barnesiella intestinihominis bacterium in the Framingham Heart Study

A bidirectional communication exists between the brain and the gut, in which the gut microbiota influences cognitive function and vice-versa. Gut dysbiosis has been linked to several diseases, including Alzheimer\u27s disease and related dementias (ADRD). However, the relationship between gut dysbiosis and markers of cerebral small vessel disease (cSVD), a major contributor to ADRD, is unknown. In this cross-sectional study, we examined the connection between the gut microbiome, cognitive, and neuroimaging markers of cSVD in the Framingham Heart Study (FHS). Markers of cSVD included white matter hyperintensities (WMH), peak width of skeletonized mean diffusivity (PSMD), and executive function (EF), estimated as the difference between the trail-making tests B and A. We included 972 FHS participants with MRI scans, neurocognitive measures, and stool samples and quantified the gut microbiota composition using 16S rRNA sequencing. We used multivariable association and differential abundance analyses adjusting for age, sex, BMI, and education level to estimate the association between gut microbiota and WMH, PSMD, and EF measures. Our results suggest an increased abundance of Pseudobutyrivibrio and Ruminococcus genera was associated with lower WMH and PSMD (p values \u3c 0.001), as well as better executive function (p values \u3c 0.01). In addition, in both differential and multivariable analyses, we found that the gram-negative bacterium Barnesiella intestinihominis was strongly associated with markers indicating a higher cSVD burden. Finally, functional analyses using PICRUSt implicated various KEGG pathways, including microbial quorum sensing, AMP/GMP-activated protein kinase, phenylpyruvate, and β-hydroxybutyrate production previously associated with cognitive performance and dementia. Our study provides important insights into the association between the gut microbiome and cSVD, but further studies are needed to replicate the findings