Solidot 公告
请在发布文章时用HTML代码加上至少一条新闻来源的链接；原创性消息，可加入相关信息（如涉及公司的网址）的链接。有任何问题，邮件至：he.fang#zhiding.cn
ken：feigaobox@gmail.com
注意：收到邮件乱码的用户请修改客户端的默认字体编码，从"简体中文（GB2312）"修改为"Unicode（UTF8）"。
投 票
快速链接
信息流

Amazon is planning to release at least 8 new voicecontrolled hardware devices before the end of the year, according to CNBC. "The devices include, among others, a microwave oven, an amplifier, a receiver, a subwoofer, and an incar gadget, people familiar with the matter said," reports CNBC. "All of the devices will be Alexaenabled, meaning they can easily connect to the voice assistant. Some of the devices will also have Alexa built in." From the report: Amazon is expected to reveal some of these devices at an event later this month, according to an internal document describing the plans. The new devices reflect Amazon's ambition to make its Alexa voice technology ubiquitous by focusing on areas where people spend most of their time  at home and in the car. Alexa was initially considered a geeky experiment at Amazon. Now it is now one of the most popular voice assistants, leading the growth of the burgeoning smart speaker market, which is expected to be worth $30 billion by 2024,
收起

An anonymous reader quotes a report from TechCrunch: Altaba, the holding company of what Verizon left behind after its acquisition of Yahoo, said it has settled three ongoing legal cases relating to Yahoo's previously disclosed data breaches. In a Monday filing with the Securities and Exchange Commission, the former web giant turned investment company said it has agreed to end litigation for $47 million, which the company said will "mark a significant milestone" in cleaning up its remaining liabilities. The deal is subject to court approval, which attorneys for both sides asked the court to approve the deal within 45 days, according to a filing submitted Friday. One of the data breaches occurred in mid2013, where data on all of the company's three billion users was stolen. The other breach occurred a year later and resulted in 500 million accounts being stolen, including email addresses and passwords.
收起

C64 OS has one goal. Make a Commodore 64 feel fast and useful in today's modern world. It's a very high bar. The C64 was introduced in 1982 and has an 8bit, 1MHz, 6510 CPU with just 64 kilobytes of directly addressable memory. It has a screen resolution of 320x200 pixels, and a fixed palette of 16 colors. But, it is an incredibly versatile machine. And it enjoys an active userbase and a great variety of modern hardware expansions. The C64 has had many operating systems written for it, So why write another? Some of these projects were designed to be experimental, or to demonstrate a point, rather than to solve a problem or to make using the C64 better. Others had good intentions but pushed the machine in ways it wasn't designed for, compromising on speed and usability in the pursuit of features available on more powerful computers. The aim of C64 OS is to work with the limitations of the Commodore 64 and enable it to become useful. It never ceases to amaze me how much
收起

Two separate reports are saying Apple's yettobereleased AirPower charger is facing overheating issues. The product, designed to simultaneously charge an iPhone, Apple Watch, and AirPods, was announced more than a year ago at Apple's 2017 iPhone event. Apple has yet to provide any additional information on AirPower, even during its iPhone event last week. The company even appears to have wiped all mention of it from its website. CNBC reports: Tech writer Sonny Dickson, who has a track record of accurately reporting on Apple, said over the weekend that Apple has struggled with heat management, which affects accuracy and charging speed. Dickson thinks it's unlikely Apple will make its endofyear release deadline. Daring Fireball's John Gruber said something similar. Gruber said the charging pad, which uses a multicoil design, is "getting too hot  way too hot." "There are engineers who looked at AirPower's design and said it could never work, thermally. ... I think they've either ha
收起

Several Xiaomi smartphone users are reporting that they are seeing ads in the Settings app of MIUI, a fork of the Android operating system that the Chinese phone maker ships on most of its smartphones. According to some users, ads started to appear at various locations  including the lock screen  on MIUI earlier this year. In a thread on Reddit over the weekend, a user noted that an ad has started to appear in the Settings app as well. The post, which has gleaned over 5,000 upvotes, sees plenty of users corroborate the claim. Xiaomi, known for selling inexpensive but highquality smartphones, is the fourth largest smartphone vendor in the world. Its handsets are immensely popular in emerging markets such as India, where it has been the largest smartphone maker for the last four quarters. In June this year, a senior executive at the company, the name of which means little rice, stated plans to enter the US market next year.
收起

Paul Alcorn reporting for Tom's Hardware: AMD listed the Ryzen 7 2800H and the Ryzen 5 2600H on its website. These new processors bring the inherent goodness of the Raven Ridge architecture, found in the Ryzen 5 2400G and the Ryzen 3 2200G, to gaming notebooks. As such, these processors come with AMD's Zen compute cores paired with the Vega graphics architecture, and they are also AMD's first processors to support DDR43200 as a base specification. Both new models feature a similar design as their desktop counterparts, albeit with slightly redesigned in frequencies to adjust for the flimsy cooling in mobile form factors and battery life limitations. That's reflected in the processors' reduced 45W TDP (thermal design power), which is much lower than the 65W TDP found on the desktop parts. AMD does give vendors some wiggle room with a configurable TDP (cTDP) range that spans between 35W and 45W. The Ryzen 7 2800H is analogous to the 2400G, but it comes with a 3.3 GHz base and 3.8 GHz boo
收起

On Friday, FCC Chairman Ajit Pai called California's net neutrality bill "illegal," saying it "poses a risk to the rest of the country." The bill recently passed California's state Assembly and now awaits the signature of Governor Jerry Brown. In response to Pai's speech, Scott Wiener, California's Senator who authored the bill, said they are "necessary and legal because Chairman Pai abdicated his responsibility to ensure an open internet." "Unlike Pai's FCC, California isn't run by the big telecom and cable companies," Wiener also said. "Pai can take whatever potshots at California he wants. The reality is that California is the world's innovation capital, and unlike the crony capitalism promoted by the Trump administration, California understands exactly what it takes to foster an open innovation economy with a level playing field." Ars Technica reports: Pai targeted the California rules in a speech at the Maine Heritage Policy Center. Pai derided what he called "nannystate Californ
收起

Amazon.com is investigating internal leaks as it fights to root out fake reviews and other seller scams from its website, the company told WSJ. From the report: Employees of Amazon, primarily with the aid of intermediaries, are offering internal data and other confidential information that can give an edge to independent merchants selling their products on the site, according to sellers who have been offered and purchased the data, brokers who provide it and people familiar with internal investigations. The practice, which violates company policy, is particularly pronounced in China, according to some of these people, because the number of sellers there is skyrocketing. As well, Amazon employees in China have relatively small salaries, which may embolden them to take risks. In exchange for payments ranging from roughly $80 to more than $2,000, brokers for Amazon employees in Shenzhen are offering internal sales metrics and reviewers' email addresses, as well as a service to delete nega
收起

In a series of three recent papers, astronomers have identified the final chunks of all the ordinary matter in the universe. From a report: And despite the fact that it took so long to identify it all, researchers spotted it right where they had expected it to be all along: in extensive tendrils of hot gas that span the otherwise empty chasms between galaxies, more properly known as the warmhot intergalactic medium, or WHIM. Early indications that there might be extensive spans of effectively invisible gas between galaxies came from computer simulations done in 1998. "We wanted to see what was happening to all the gas in the universe," said Jeremiah Ostriker, a cosmologist at Princeton University who constructed one of those simulations along with his colleague Renyue Cen. The two ran simulations of gas movements in the universe acted on by gravity, light, supernova explosions and all the forces that move matter in space. "We concluded that the gas will accumulate in filaments that sh
收起

Home cooking would be making a comeback if it ever really went away. From a report: Restaurants are getting dinged by the convenience of Netflix, the advent of premade meals, the spread of online grocery delivery, plus crushing student debt and a focus on healthy eating. Eightytwo percent of American meals are prepared at home  more than were cooked 10 years ago, according to researcher NPD Group. The latest peak in restaurantgoing was in 2000, when the average American dined out 216 times a year. That figure fell to 185 for the year ended in February, NPD said. Don't be fooled by reports of rising U.S. restaurant sales at big chains like McDonald's. Increases have been driven by price hikes, not more customers. Traffic for the industry was down 1.1 percent in July, the 29th straight month of declines, according to MillerPulse data. "It's counterintuitive because you see a lot of things in the press about restaurant sales increasing," said David Portalatin, a foodindustry adviser
收起

The latenight dark skies at Sriharikota, India, lit up in bright orange hues as the PSLVC42 lifted off and vanished into the thick black clouds, carrying two satellites from the United Kingdom  NovaSAR and S14 from the first launch pad at the Satish Dhawan Space Centre, SHAR. Local news outlet reports: The lightest version of the PSLV, flying in its corealone version without the six strapon motors, the PSLVC42 rose into the skies at 10.08 p.m. Almost 18 minutes later, the two satellites were placed in the desired orbit by ISRO. This was the 12th such launch of a corealone version of the PSLV by ISRO. "This was a spectacular mission. We have placed the satellite in a very, very precise orbit," R. Hutton, Mission Director, said. The two satellites, owned by Surrey Satellite Technology Ltd (SSTL) were placed in a circular orbit around the poles, 583 km (362 miles) from Earth. The commercial arm of ISRO, Antrix Corporation earned more than â220 crore ($30.5 million) on this
收起

An anonymous reader shares a report: The Billboard charts have long been the gold standard by which musicians measure their success, but as recent tantrums by the likes of Nicki Minaj have highlighted, the rising influence of streaming services is upending that model  and giving diehard fans a way to manipulate the data. A recent release by the Korean pop group BTS prompted its superfandom, millions strong across the globe, to do just that by launching a sophisticated campaign to make sure the boy band reached No. 1. The strategy employed by the socalled BTS Army went largely like this: Fans in the US created accounts on music streaming services to play BTS's music and distributed the account logins to fans in other countries via Twitter, email, or the instant messaging platform Slack. The recipients then streamed BTS's music continuously, often on multiple devices and sometimes with a virtual private network (VPN), which can fake, or "spoof," locations by rerouting a user's traffi
收起

We consider binary spatially coupled (SC) low density measurement matrices for low complexity reconstruction of sparse signals via the interval passing algorithm (IPA). The IPA is known to fail due to the presence of harmful substructures in the Tanner graph of a binary sparse measurement matrix, so called termatiko sets. In this work we construct arraybased (AB) SC sparse measurement matrices via algebraic lifts of graphs, such that the number of termatiko sets in the Tanner graph is minimized. To this end, we show for the columnweightthree case that the most critical termatiko sets can be removed by eliminating all length12 cycles associated with the Tanner graph, via algebraic lifting. As a consequence, IPAbased reconstruction with SC measurement matrices is able to provide an almost error free reconstruction for significantly denser signal vectors compared to uncoupled AB LDPC measurement matrices.
收起

This paper studies the propagation connectivity of a random hypergraph $\mathbb{G}$ containing both 2edges and 3hyperedges. We find an exact threshold of the propagation connectivity of $\mathbb{G}$: If $I_{\epsilon,r}<1$, then $\mathbb{G}$ is not propagation connected with high probability; while if $I_{\epsilon,r}>1$, then $\mathbb{G}$ is propagation connected with high probability, where $I_{\epsilon,r}$ is a constant dependent on the parameters of 2 and 3edge probabilities.
收起

We establish adiabatic theorems with and without spectral gap condition for general  typically dissipative  linear operators $A(t): D(A(t)) \subset X \to X$ with timeindependent domains $D(A(t)) = D$ in some Banach space $X$. Compared to the previously known adiabatic theorems  especially those without spectral gap condition  we do not require the considered spectral values $\lambda(t)$ of $A(t)$ to be (weakly) semisimple. We also impose only fairly weak regularity conditions. Applications are given to slowly timevarying open quantum systems and to adiabatic switching processes.
收起

Lie $n$algebras are the $L_\infty$ analogs of chain Lie algebras from rational homotopy theory. Henriques showed that finite type Lie $n$algebras can be integrated to produce certain simplicial Banach manifolds, known as Lie $\infty$groups, via a smooth analog of Sullivan's realization functor. In this paper, we provide an explicit proof that the category of finite type Lie $n$algebras and (weak) $L_\infty$morphisms admits the structure of a category of fibrant objects (CFO) for a homotopy theory. Roughly speaking, this CFO structure can be thought of as the transfer of the classical projective CFO structure on nonnegatively graded chain complexes via the tangent functor. In particular, the weak equivalences are precisely the $L_\infty$ quasiisomorphisms. Along the way, we give explicit constructions for pullbacks and factorizations of $L_\infty$morphisms between finite type Lie $n$algebras. We also analyze Postnikov towers and MaurerCartan/deformation functors associated to
收起

In this paper we consider a link between BaskakovDurrmeyer type operators and corresponding Kantorovich type modifications of their classical variants. We prove a useful representation for Kantorovich variants of arbitrary order which leads to a simple proof of convexity properties for the linking operators. This also solves an open problem. Another open problem is presented at the end of the paper.
收起

In this work, we consider the bilinear Schr\"odinger equation on compact graphs. We study new hypotheses leading to the global exact controllability of the equation in suitable Sobolev's spaces. Afterwards, we introduce the "energetic controllability", a weaker notion of controllability useful when the global exact controllability fails. We provide examples of the main results involving for instance star graphs.
收起

We propose a new infinite class of generalized binary tensor fields. The first representative of this class is the known Fr\"olicherNijenhuis bracket. Also, this new family of tensors reduces to the generalized Nijenhuis torsions recently introduced independently in [5] and [12]. We also conjecture that our generalized binary tensors vanish over nilpotent triangular operator fields.
收起

We establish adiabatic theorems with and without spectral gap condition for general  typically dissipative  linear operators $A(t): D(A(t)) \subset X \to X$ with timedependent domains $D(A(t))$ in some Banach space $X$. In these theorems, we do not require the considered spectral values $\lambda(t)$ of $A(t)$ to be (weakly) semisimple. We then apply our general theorems to the special case of skewadjoint operators $A(t) = 1/i A_{a(t)}$ defined by symmetric sesquilinear forms $a(t)$ and thus generalize, in a very simple way, the only adiabatic theorem for operators with timedependent domains known so far.
收起

Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure of an infinitesimally affine space. This structure is comprised of two pieces of data: a sequence of symmetric and reflexive relations defining the tuples of mutual infinitesimally close points, called an infinitesimal structure, and an action of affine combinations on these tuples. For smooth manifolds the only natural infinitesimal structure that has been considered so far is the one generated by the first neighbourhood of the diagonal. In this paper we construct natural infinitesimal structures for higherorder neighbourhoods of the diagonal and show that on any manifold any symmetric affine connection extends to a secondorder infinitesimally affine structure.
收起

We consider Yamabetype equations on the Riemannian product of constant curvature metrics on $\textbf{S}^n \times\textbf{ S}^n$, and study solutions which are invariant by the cohomogeneity one diagonal action of $O(n+1)$. We obtain multiplicity results for both positive and nodal solutions. In particular we prove the existence of nodal solutions of the Yamabe equation on these products which depend nontrivially on both factors
收起

Learning algorithm design for statebased games is investigated. A heuristic uncoupled learning algorithm, which is a two memory better reply with inertia dynamics, is proposed. Under certain reasonable conditions it is proved that for any initial state, if all agents in the statebased game follow the proposed learning algorithm, the action state pair converges almost surely to an action invariant set of recurrent state equilibria. The design relies on global and local searches with finite memory, inertia, and randomness. Finally, existence of timeefficient universal learning algorithm is studied. A class of statebased games is presented to show that there is no universal learning algorithm converging to a recurrent state equilibrium.
收起

Stochastic games are repeated games in which a state variable follows a Markov chain controlled by both players. The model was initially proposed by Shapley (1953) who proved the existence of the discounted values. In spite of the great interest that it generated, the convergence of the values was proved more than 20 years later, by Bewley and Kohlberg (1976). The importance of this limit raised a few years later, when Mertens and Neyman (1981) proved it to be a deep and robust notion. A characterization has been missing since then. In this paper, we provide one.
收起

To every translation surface, we associate a saddle connection graph, which is a subgraph of the arc graph. We prove that every isomorphism between two saddle connection graphs is induced by an affine homeomorphism between the underlying translation surfaces. We also investigate the automorphism group of the saddle connection graph, and the corresponding quotient graph.
收起

This paper concerns with the computation of a Wasserstein barycenter, the centroid of a collection of discrete probability distributions that minimizes the average of the $\ell_2$Wasserstein distance, for which the support points are not prespecified. It is known to be a severe bottleneck in the D2clustering due to the largescale and nonconvexity. In this paper, we develop a proximal alternating minimization (ALM) method for computing an approximate Wasserstein barycenter, and provide its global convergence analysis. When the unknown support points of the barycenter have low cardinality, our method can achieve a good accuracy at a reduced computational cost. Numerical comparisons with the existing representative method on synthetic data and several classes of real data show that our method can yield a little better objective values within much less computing time, and the computed approximate barycenter provides better leverage in the D2clustering.
收起

Through careful analysis of an argument of BrookeTaylor and Rosicky, we show that the powerful image of any accessible functor is closed under colimits of $\kappa$chains, $\kappa$ a sufficiently large almost measurable cardinal. This condition on powerful images, by methods resembling those of Lieberman and Rosicky, implies $\kappa$locality of Galois types. As this, in turn, implies sufficient measurability of $\kappa$, via a paper of Boney and Unger, we obtain an equivalence: a purely categorytheoretic characterization of almost measurable cardinals.
收起

We study almost squareness and the strong diameter two property in the setting of projective (symmetric) tensor product. We prove that almost squareness is preserved by taking projective tensor product, providing nontrivial examples of ASQ projective tensor product spaces. Furthermore, we give sufficient conditions for a projective symmetric tensor product to have the strong diameter two property which extend most of the known results and provide new examples of such spaces with the strong diameter two property.
收起

When the obstacle problem of clamped Kirchhoff plates is discretized by a partition of unity method, the resulting discrete variational inequalities can be solved by a primaldual active set algorithm. In this paper we develop and analyze additive Schwarz preconditioners for the systems that appear in each iteration of the primaldual active set algorithm. Numerical results that corroborate the theoretical estimates are also presented.
收起

Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{\phi_\lambda \}$ an $L^2$normalized sequence of Laplace eigenfunctions, $\Delta_g\phi_\lambda =\lambda^2 \phi_\lambda$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(M,H)$, even when $H=\{x\}$, for which $$ \Big\int_H\phi_\lambda d\sigma_H\Big=O\Big(\frac{\lambda^{\frac{k1}{2}}}{\sqrt{\log \lambda}}\Big)\qquad \text{or}\qquad \phi_\lambda(x)=O\Big(\frac{\lambda ^{\frac{n1}{2}}}{\sqrt{\log \lambda}}\Big), $$ as $\lambda\to \infty$. These conditions require no global assumption on the manifold $M$ and instead relate to the structure of the set of recurrent directions in the unit normal bundle to $H$. Our results extend all previously known conditions guaranteeing improvements on averages, including those on supnorms. For example, we show that if $(M,g)$ is a surface with Anosov geodesic flow, then there are logarithmically improved averages for any $H\subset M$. We a
收起

We develop a robust and efficient iterative method for hyperelastodynamics based on a novel continuum formulation recently developed. The numerical scheme is constructed based on the variational multiscale formulation and the generalized$\alpha$ method. Within the nonlinear solution procedure, a block factorization is performed for the consistent tangent matrix to decouple the kinematics from the balance laws. Within the linear solution procedure, another block factorization is performed to decouple the mass balance equation from the linear momentum balance equations. A nested block preconditioning technique is proposed to combine the Schur complement reduction approach with the fully coupled approach. This preconditioning technique, together with the Krylov subspace method, constitutes a novel iterative method for solving hyperelastodynamics. We demonstrate the efficacy of the proposed preconditioning technique by comparing with the SIMPLE preconditioner and the onelevel domain de
收起