solidot新版网站常见问题，请点击这里查看。

## 信息流

•   01-01 THE NEW YORKER 96

The New Yorker’s television critic comments on a scene from the show’s latest season.

收起

• This paper concerns singular, complex projective, irreducible symplectic varieties. The generalized Beauville-Bogomolov form satisfies the Fujiki relations and has the same rank as in the smooth case. As a consequence, we see that these varieties admit only very special fibrations. Our results give new evidence that the correct definition of singular analogs of irreducible symplectic manifolds is the one from Greb-Kebekus-Peternell.

收起

• We study a nonlinear, nonhomogeneous elliptic equation with an asymmetric reaction term depending on a positive parameter, coupled with Robin boundary conditions. Under appropriate hypotheses on both the leading differential operator and the reaction, we prove that, if the parameter is small enough, the problem admits at least four nontrivial solutions: two of such solutions are positive, one is negative, and one is sign-changing. Our approach is variational, based on critical point theory, Morse theory, and truncation techniques.

收起

•   10-19 Hacker News 9

Dollar General Hits a Gold Mine in Rural America

收起

• This paper investigates distributed optimization of dynamically coupled networks. We propose distributed algorithms to address two complementary cases: linear systems with controllable subsystems and nonlinear systems in the strict-feedback form. The proposed controllers are verified by two case studies on an optimal power flow problem and a multizone building temperature regulation problem, respectively.

收起

• We introduce the local and global indices of Dirac operators for the rational Cherednik algebra $\mathsf{H}_{t,c}(G,\mathfrak{h})$, where $G$ is a complex reflection group acting on a finite-dimensional vector space $\mathfrak{h}$. We investigate precise relations between the (local) Dirac index of a simple module in the category $\mathcal{O}$ of $\mathsf{H}_{t,c}(G,\mathfrak{h})$, the graded $G$-character of the module, the Euler-Poincar\'e pairing, and the composition series polynomials for standard modules. In the global theory, we introduce integral-reflection modules for $\mathsf{H}_{t,c}(G,\mathfrak{h})$ constructed from finite-dimensional $G$-modules. We define and compute the index of a Dirac operator on the integral-reflection module and show that the index is, in a sense, independent of the parameter function $c$. The study of the kernel of these global Dirac operators leads naturally to a notion of dualised generalised Dunkl-Opdam operators.

收起

• Cyclic sieving is a well-known phenomenon where certain interesting polynomials, especially $q$-analogues, have useful interpretations related to actions and representations of the cyclic group. We define sieving for an arbitrary group $G$ and study it for the dihedral group $I_2(n)$ of order $2n$. This requires understanding the generators of the representation ring of the dihedral group. For $n$ odd, we exhibit several instances of "dihedral sieving" which involve the generalized Fibonomial coefficients, recently studied by Amdeberhan, Chen, Moll, and Sagan.

收起

• An anonymous reader quotes a report from The Verge: Google's AI subsidiary DeepMind has unveiled the latest version of its Go-playing software, AlphaGo Zero. The new program is a significantly better player than the version that beat the game's world champion earlier this year, but, more importantly, it's also entirely self-taught. DeepMind says this means the company is one step closer to creating general purpose algorithms that can intelligently tackle some of the hardest problems in science, from designing new drugs to more accurately modeling the effects of climate change. The original AlphaGo demonstrated superhuman Go-playing ability, but needed the expertise of human players to get there. Namely, it used a dataset of more than 100,000 Go games as a starting point for its own knowledge. AlphaGo Zero, by comparison, has only been programmed with the basic rules of Go. Everything else it learned from scratch. As described in a paper published in Nature today, Zero developed its Go

收起

• Starting from measured data, we develop a method to compute the fine structure of the spectrum of the Koopman operator with rigorous convergence guarantees. The method is based on the observation that, in the measure-preserving ergodic setting, the moments of the spectral measure associated to a given observable are computable from a single trajectory of this observable. Having finitely many moments available, we use the classical Christoffel-Darboux kernel to separate the atomic and absolutely continuous parts of the spectrum, supported by convergence guarantees as the number of moments tends to infinity. In addition, we propose a technique to detect the singular continuous part of the spectrum as well as two methods to approximate the spectral measure with guaranteed convergence in the weak topology, irrespective of whether the singular continuous part is present or not. The proposed method is simple to implement and readily applicable to large-scale systems since the computational c

收起

• We describe the macroscopic behavior of evolutions by crystalline curvature of planar sets in a chessboard--like medium, modeled by a periodic forcing term. We show that the underlying microstructure may produce both pinning and confinement effects on the geometric motion.

收起

• We find the number of compositions over finite abelian groups under two types of restrictions: (i) each part belongs to a given subset and (ii) small runs of consecutive parts must have given properties. Waring's problem over finite fields can be converted to type~(i) compositions, whereas Carlitz and locally Mullen compositions can be formulated as type~(ii) compositions. We use the multisection formula to translate the problem from integers to group elements, the transfer matrix method to do exact counting, and finally the Perron-Frobenius theorem to derive asymptotics. We also exhibit bijections involving certain restricted classes of compositions.

收起

• We consider the problem of minimizing a convex function over the intersection of finitely many simple sets which are easy to project onto. This is an important problem arising in various domains such as machine learning. The main difficulty lies in finding the projection of a point in the intersection of many sets. Existing approaches yield an infeasible point with an iteration-complexity of $O(1/\varepsilon^2)$ for nonsmooth problems with no guarantees on the in-feasibility. By reformulating the problem through exact penalty functions, we derive first-order algorithms which not only guarantees that the distance to the intersection is small but also improve the complexity to $O(1/\varepsilon)$ and $O(1/\sqrt{\varepsilon})$ for smooth functions. For composite and smooth problems, this is achieved through a saddle-point reformulation where the proximal operators required by the primal-dual algorithms can be computed in closed form. We illustrate the benefits of our approach on a graph tr

收起

• Kimura and Yoshida treated a model in which the finite variation part of a two-dimensional semimartingale is expressed by time-integration of latent processes. They proposed a correlation estimator between the latent processes and proved its consistency and asymptotic mixed normality. In this paper, we discuss the confidence interval of the correlation estimator to detect the correlation. %between latent processes. We propose two types of estimators for asymptotic variance of the correlation estimator and prove their consistency in a high frequency setting. Our model includes doubly stochastic Poisson processes whose intensity processes are correlated It\^o processes. We compare our estimators based on the simulation of the doubly stochastic Poisson processes.

收起

• Perhaps we’re not alone in the universe; it’s just that everyone else is snoozing

收起

• We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zero-error capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lov\'asz theta number.

收起

• We consider the problem of computing the Fourier transform of high-dimensional vectors, distributedly over a cluster of machines consisting of a master node and multiple worker nodes, where the worker nodes can only store and process a fraction of the inputs. We show that by exploiting the algebraic structure of the Fourier transform operation and leveraging concepts from coding theory, one can efficiently deal with the straggler effects. In particular, we propose a computation strategy, named as coded FFT, which achieves the optimal recovery threshold, defined as the minimum number of workers that the master node needs to wait for in order to compute the output. This is the first code that achieves the optimum robustness in terms of tolerating stragglers or failures for computing Fourier transforms. Furthermore, the reconstruction process for coded FFT can be mapped to MDS decoding, which can be solved efficiently. Moreover, we extend coded FFT to settings including computing general

收起

• This paper studies sheaf cohomology on coarse spaces.

收起

•   10-19 Ars Technica 7

Ars staffers got as little as $0.76 and as much as$12.02. How much did you get?

收起

• The deficiency of a group is the maximum over all presentations for that group of the number of generators minus the number of relators. Every finite group has non-positive deficiency. We show that every non-positive integer is the deficiency of a finite group -- in fact, of a finite $p$-group for every prime $p$. This completes Kotschick's classification of the integers which are deficiencies of fundamental groups of compact Kaehler manifolds.

收起

• Financial models are studied where each asset may potentially lose value relative to any other. Conditioning on non-devaluation, each asset can serve as proper num\'eraire and classical valuation rules can be formulated. It is shown when and how these local valuation rules can be aggregated to obtain global arbitrage-free valuation formulas.

收起

• Anchored, floating turbines allow offshore wind installations in deep waters.

收起

• Over the moduli space of smooth curves, the double ramification cycle can be defined by pulling back the unit section of the universal jacobian along the Abel-Jacobi map. This breaks down over the boundary since the Abel-Jacobi map fails to extend. We construct a `universal' resolution of the Abel-Jacobi map, and thereby extend the double ramification cycle to the whole of the moduli of stable curves. In the non-twisted case, we show that our extension coincides with the cycle constructed by Li, Graber, Vakil via a virtual fundamental class on a space of rubber maps.

收起

• We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: let $X,Y$ be two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ be a relatively compact open set where $Y$ does not vanish, then $X$ has zero Poincar\'e-Hopf index in $U$. We prove that conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are colinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, and assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on the $C^3$ case of the conjecture and indeed we discuss a global strategy to attack this problem.

收起

• Motivated mainly by the localization over an open bounded set $\Omega$ of $\mathbb R^n$ of solutions of the Schr\"odinger equations, we consider the Schr\"odinger equation over $\Omega$ with a very singular potential $V(x) \ge C d (x, \partial \Omega)^{-r}$ with $r\ge 2$ and a convective flow $\vec U$. We prove the existence and uniqueness of a very weak solution of the equation, when the right hand side datum $f(x)$ is in $L^1 (\Omega, d(\cdot, \partial \Omega))$, even if no boundary condition is a priori prescribed. We prove that, in fact, the solution necessarily satisfies (in a suitable way) the Dirichlet condition $u = 0$ on $\partial \Omega$. These results improve some of the results of the previous paper by the authors in collaboration with Roger Temam. In addition, we prove some new results dealing with the $m$-accretivity in $L^1 (\Omega, d(\cdot, \partial \Omega)^ \alpha)$, where $\alpha \in [0,1]$, of the associated operator, the corresponding parabolic problem and the study

收起

•   10-19 Ars Technica 8

Tesla slams such abuse but expresses doubts regarding the men's claims.

收起

• Estimator selection has become a crucial issue in non parametric estimation. Two widely used methods are penalized empirical risk minimization (such as penalized log-likelihood estimation) or pairwise comparison (such as Lepski's method). Our aim in this paper is twofold. First we explain some general ideas about the calibration issue of estimator selection methods. We review some known results, putting the emphasis on the concept of minimal penalty which is helpful to design data-driven selection criteria. Secondly we present a new method for bandwidth selection within the framework of kernel density density estimation which is in some sense intermediate between these two main methods mentioned above. We provide some theoretical results which lead to some fully data-driven selection strategy.

收起

• We consider hyperelastic problems and their numerical solution using a conforming finite element discretization and iterative linearization algorithms. For these problems, we present equilibrated, weakly symmetric, $H(\rm{div)}$-conforming stress tensor reconstructions, obtained from local problems on patches around vertices using the Arnold--Falk--Winther finite element spaces. We distinguish two stress reconstructions, one for the discrete stress and one representing the linearization error. The reconstructions are independent of the mechanical behavior law. Based on these stress tensor reconstructions, we derive an a posteriori error estimate distinguishing the discretization, linearization, and quadrature error estimates, and propose an adaptive algorithm balancing these different error sources. We prove the efficiency of the estimate, and confirm it on a numerical test with analytical solution for the linear elasticity problem. We then apply the adaptive algorithm to a more applic

收起

• The entropy is one of the fundamental states of a fluid and, in the viscous case, the equation that it satisfies is highly singular in the region close to the vacuum. In spite of its importance in the gas dynamics, the mathematical analyses on the behavior of the entropy near the vacuum region, were rarely carried out; in particular, in the presence of vacuum, either at the far field or at some isolated interior points, it was unknown if the entropy remains its boundedness. The results obtained in this paper indicate that the ideal gases retain their uniform boundedness of the entropy, locally or globally in time, if the vacuum occurs at the far field only and the density decays slowly enough at the far field. Precisely, we consider the Cauchy problem to the one-dimensional full compressible Navier-Stokes equations without heat conduction, and establish the local and global existence and uniqueness of entropy-bounded solutions, in the presence of vacuum at the far field only. It is als

收起

• We investigate the initial value problem for a defocusing nonlinear Schr\"odinger equation with weighted exponential nonlinearity $$i\partial_t u+\Delta u=\frac{u}{|x|^b}(e^{\alpha|u|^2}-1); \qquad (t,x) \in \mathbb{R}\times\mathbb{R}^2,$$ where $0< b <1$ and $\alpha=2\pi(2-b)$. We establish local and global well-posedness in the subcritical and critical regimes.

收起

• The Semi-Algebraic framework for the approximate Canonical Polyadic (CP) decomposition via SImultaneaous matrix diagonalization (SECSI) is an efficient tool for the computation of the CP decomposition. The SECSI framework reformulates the CP decomposition into a set of joint eigenvalue decomposition (JEVD) problems. Solving all JEVDs, we obtain multiple estimates of the factor matrices and the best estimate is chosen in a subsequent step by using an exhaustive search or some heuristic strategy that reduces the computational complexity. Moreover, the SECSI framework retains the option of choosing the number of JEVDs to be solved, thus providing an adjustable complexity-accuracy trade-off. In this work, we provide an analytical performance analysis of the SECSI framework for the computation of the approximate CP decomposition of a noise corrupted low-rank tensor, where we derive closed-form expressions of the relative mean square error for each of the estimated factor matrices. These exp

收起

• The processes of the averaged regression quantiles and of their modifications provide useful tools in the regression models when the covariates are not fully under our control. As an application we mention the probabilistic risk assessment in the situation when the return depends on some exogenous variables. The processes enable to evaluate the expected $\alpha$-shortfall ($0\leq\alpha\leq 1$) and other measures of the risk, recently generally accepted in the financial literature, but also help to measure the risk in environment analysis and elsewhere.

收起

• An anonymous reader quotes a report from The Guardian: The abundance of flying insects has plunged by three-quarters over the past 25 years, according to a new study that has shocked scientists. Insects are an integral part of life on Earth as both pollinators and prey for other wildlife and it was known that some species such as butterflies were declining. But the newly revealed scale of the losses to all insects has prompted warnings that the world is "on course for ecological Armageddon," with profound impacts on human society. The new data was gathered in nature reserves across Germany but has implications for all landscapes dominated by agriculture, the researchers said. The cause of the huge decline is as yet unclear, although the destruction of wild areas and widespread use of pesticides are the most likely factors and climate change may play a role. The scientists were able to rule out weather and changes to landscape in the reserves as causes, but data on pesticide levels has

收起

• We consider random Schr\"odinger operators with Dirichlet boundary conditions outside lattice approximations of a smooth Euclidean domain and study the behavior of its lowest-lying eigenvalues in the limit when the lattice spacing tends to zero. Under a suitable moment assumption on the random potential and regularity of the spatial dependence of its mean, we prove that the eigenvalues of the random operator converge to those of a deterministic Schr\"odinger operator. Assuming also regularity of the variance, the fluctuation of the random eigenvalues around their mean are shown to obey a multivariate central limit theorem. This extends the authors' recent work where similar conclusions have been obtained for bounded random potentials.

收起

•   10-19 THE NEW YORKER 8

Amy Davidson Sorkin on Donald Trump’s bragging about his condolence call to the wife of Sergeant La David T. Johnson, who was killed in Niger.

收起

• The aim of this paper is to give fine asymptotics for random variables with moments of Gamma type. Among the examples we consider are random determinants of Laguerre and Jacobi beta ensembles with varying dimensions (the number of observed variables and the number of measurements vary and may be different). In addition to the Dyson threefold way of classical random matrix models (GOE, GUE, GSE), we study random determinants of random matrices of the so-called tenfold way, including the Bogoliubov-de Gennes and chiral ensembles from mesoscopic physics. We show that fixed-trace matrix ensembles can be analysed as well. Finally, we add fine asymptotics for the $p(n)$-dimensional volume of the simplex with $p(n)+1$ points in ${\Bbb R}^n$ distributed according to special distributions, which is strongly correlated to Gram matrix ensembles. We use the framework of mod-$\varphi$ convergence to obtain extended limit theorems, Berry-Esseen bounds, precise moderate deviations, large and moderate

收起

•   10-18 Hacker News 9

Dyslexia: scientists claim cause of condition may lie in the eyes

收起

•   10-18 Hacker News 9

Documenting the Web together

收起

•   10-17 LWN 9

DragonFly BSD 5.0 has been released. "Preliminary HAMMER2 support has been released into the wild as-of the 5.0 release. This support is considered EXPERIMENTAL and should generally not yet be used for production machines and important data. The boot loader will support both UFS and HAMMER2 /boot. The installer will still use a UFS /boot even for a HAMMER2 installation because the /boot partition is typically very small and HAMMER2, like HAMMER1, does not instantly free space when files are deleted or replaced. DragonFly 5.0 has single-image HAMMER2 support, with live dedup (for cp's), compression, fast recovery, snapshot, and boot support. HAMMER2 does not yet support multi-volume or clustering, though commands for it exist. Please use non-clustered single images for now."

收起

•   10-17 OSnews 9

DragonFlyBSD 5.0 is the first release with preliminary boot support for HAMMER2, the project's new filesystem. Preliminary HAMMER2 support has been released into the wild as-of the 5.0 release. This support is considered EXPERIMENTAL and should generally not yet be used for production machines and important data. The boot loader will support both UFS and HAMMER2 /boot. The installer will still use a UFS /boot even for a HAMMER2 installation because the /boot partition is typically very small and HAMMER2, like HAMMER1, does not instantly free space when files are deleted or replaced.

收起

•   10-13 IEEE 8

Adding a tail to a cockroach-inspired robot helps it flip itself over with ease

收起

•   10-12 Ars Technica 33

That’s “not how it works,” FCC commissioner tells the president.

收起

• The California Department of Motor Vehicles is changing its rules to allow companies to test autonomous vehicles without a driver behind the wheel -- and to let the public use autonomous vehicles. From a report: The DMV released a revised version of its regulations and has started a 15-day public comment period, ending October 25, 2017. California law requires the DMV to work on regulations to cover testing and public use of autonomous vehicles, and the regulator said that this is the first step. "We are excited to take the next step in furthering the development of this potentially life-saving technology in California," the state's Transportation Secretary, Brian Kelly, said in a statement. California's DMV took pains in its announcement to highlight that it wasn't trying to overstep the National Highway Traffic Safety Administration, which has the final say on developing and enforcing compliance with Federal Motor Vehicle Safety Standards. Rather, the California regulations, are goin

收起

• A Palo Alto startup that stopped trying to be an "Android killer" last year after raising $185 million has apparently pivoted to developing autonomous vehicle technology. From a report: The company now known as Cyngn has changed its name from Cyanogen and recently got a permit to test its self-driving tech on California roads, according to a report Wednesday on Axios. It's being led by Lior Tal, the former chief operating officer who took over as CEO last fall when Kirt McMaster left. The rest of the startup's current team of about 30 people appear to have joined since the strategy shift, Axios reported, citing LinkedIn records. Some of them are former Facebook people, like Tal, and alumni of automakers who include Mercedes-Benz. No new funding has been disclosed for the reinvented company. It lists on its website investors who backed it before it pivoted, including Andreessen Horowitz, Benchmark Capital, Redpoint Ventures, Index Ventures, Qualcomm and Chinese social networking company 收起 • 10-12 Slashdot 40 Facebook is going to ship a standalone VR headset called Oculus Go next year. The headset, which won't require a PC or phone to run, will be available early next year for$199. From a report: Facebook CEO Mark Zuckerberg officially announced the new product during his keynote speech at Facebook's fourth Oculus Connect virtual reality (VR) developer conference in San Jose, Calif. Wednesday, where he framed the device as an important step towards bringing VR to the masses. "We want to get a billion people in virtual reality," Zuckerberg said. Facebook VP of VR Hugo Barra said that the company developed custom lenses for the headset, which allow for a wide field of view. The display is a fast-switch LCD screen with a resolution of 2560x1440 pixels, and it comes with integrated headphones. The company will be shipping first headsets to developers in November.

收起

• Jon Brodkin reports via Ars Technica: A Federal Communications Commission decision to eliminate price caps imposed on some business broadband providers should be struck down, advocacy groups told federal judges last week. The FCC failed to justify its claim that a market can be competitive even when there is only one Internet provider, the groups said. Led by Chairman Ajit Pai, the FCC's Republican majority voted in April of this year to eliminate price caps in a county if 50 percent of potential customers "are within a half mile of a location served by a competitive provider." That means business customers with just one choice are often considered to be located in a competitive market and thus no longer benefit from price controls. The decision affects Business Data Services (BDS), a dedicated, point-to-point broadband link that is delivered over copper-based TDM networks by incumbent phone companies like AT&T, Verizon, and CenturyLink. But the FCC's claim that "potential competit

收起

•   10-12 Ars Technica 33

The quote seems clear, but now he’s changing his tune.

收起

•   10-12 MIT Technology 33

It can operate at a record 1,400 ˚C, enabling the use of liquid metals for thermal storage.

收起

•   10-12 Slashdot 32

An anonymous reader quotes a report from Engadget: 10.9 million U.S. driver's licenses were stolen in the massive breach that Equifax suffered in mid-May, according to a new report by The Wall Street Journal. In addition, WSJ has revealed that the attackers got a hold of 15.2 million UK customers' records, though only 693,665 among them had enough info in the system for the breach to be a real threat to their privacy. Affected customers provided most of the driver's licenses on file to verify their identities when they disputed their credit-report information through an Equifax web page. That page was one of the entry points the attackers used to gain entry into the credit reporting agency's system.

收起

•   10-12 Hacker News 35

Eloquent JavaScript, 3rd edition

收起

•   10-12 Hacker News 34

Competitive Self-Play

收起

•   10-12 Hacker News 35

Cthulhu: Organizing Go Code in a Scalable Repo

收起

•   10-12 Hacker News 35

GitHub Discover

收起

•   10-12 THE NEW YORKER 37

Masha Gessen on how Donald Trump’s threat against NBC is part of a pattern of attempts to sabotage freedom of the press.

收起

•   10-12 THE NEW YORKER 34

Jia Tolentino on the sexual-assault allegations against Harvey Weinstein and the way powerful men like Weinstein wield power dynamics to prey on women.

收起

•   10-12 Ars Technica 35

A great starter kit for newbies, if you can stand the lack of good music playback.

收起

• This paper gives a classification of all pairs $(\mathfrak g, \mathfrak h)$ with $\mathfrak g$ a simple real Lie algebra and $\mathfrak h < \mathfrak g$ a reductive subalgebra for which there exists a minimal parabolic subalgebra $\mathfrak p < \mathfrak g$ such that $\mathfrak g = \mathfrak h + \mathfrak p$ as vector sum.

收起

• We generalize the definition of CM cycles beyond the small and big CM ones studied by various authors and give a uniform formula for the CM values of Green functions associated to these special cycles in general using the idea of regularized theta lifts.

收起

• Given a Moebius homeomorphism $f : \partial X \to \partial Y$ between boundaries of proper, geodesically complete CAT(-1) spaces $X,Y$, we describe an extension $\hat{f} : X \to Y$ of $f$, called the circumcenter map of $f$, which is constructed using circumcenters of expanding sets. The extension $\hat{f}$ is shown to coincide with the $(1, \log 2)$-quasi-isometric extension constructed in [biswas3], and is locally $1/2$-Holder continuous. When $X,Y$ are complete, simply connected manifolds with sectional curvatures $K$ satisfying $-b^2 \leq K \leq -1$ for some $b \geq 1$ then the extension $\hat{f} : X \to Y$ is a $(1, (1 - \frac{1}{b})\log 2)$-quasi-isometry. Circumcenter extension of Moebius maps is natural with respect to composition with isometries.

收起

•   10-11 MIT Technology 30

It can operate at a record 1,400 ˚C, enabling the use of liquid metals for thermal storage.

收起

• According to CNBC, Amazon is working with Phrame, a maker of smart license plates that allow items to be delivered to a car's trunk, to build a smart doorbell that would give delivery drivers one-time access to a person's home to drop off items. From the report: Phrame's product fits around a license plate and contains a secure box that holds the keys to the car. Users unlock the box with their smartphone, and can grant access to others -- such as delivery drivers -- remotely. The new initiatives are part of Amazon's effort to go beyond convenience and fix problems associated with unattended delivery. As more consumers shop online and have their packages shipped to their homes, valuable items are often left unattended for hours. Web retailers are dealing with products getting damaged by bad weather as well as the rise of so-called porch pirates, who steal items from doorsteps. Amazon also has an incentive to reduce the number of lost packages, as they can be costly.

收起

•   10-11 Hacker News 28

Books from 1923 to 1941 Now Liberated

收起

• The correspondence between Gorenstein Fano toric varieties and reflexive polytopes has been generalized by Ilten and S\"u{\ss} to a correspondence between Gorenstein Fano complexity-one $T$-varieties and Fano divisorial polytopes. Motivated by the finiteness of reflexive polytopes in fixed dimension, we show that over a fixed base polytope, there are only finitely many Fano divisorial polytopes, up to equivalence. We classify two-dimensional Fano divisorial polytopes, recovering Huggenberger's classification of Gorenstein del Pezzo $\mathbb{K}^*$-surfaces. Furthermore, we show that any three-dimensional Fano divisorial polytope is equivalent to one involving only eight functions.

收起

• Inspired by code vertex operator algebras (VOAs) and their representation theory, we define code algebras, a new class of commutative non-associative algebras constructed from binary linear codes. Let $C$ be a binary linear code of length $n$. A basis for the code algebra $A_C$ consists of $n$ idempotents and a vector for each non-constant codeword of $C$. We show that code algebras are almost always simple and, under mild conditions on their structure constants, admit an associating bilinear form. We determine the Pierce decomposition and the fusion rules for the idempotents in the basis, and we give a construction to find additional idempotents, called the $s$-map, which comes from the code structure. For a general code algebra, we classify the eigenvalues and eigenvectors of the smallest examples of the $s$-map construction, and hence show that certain code algebras are axial algebras. We give some examples, including that for a Hamming code $H_8$ where the code algebra $A_{H_8}$ is

收起

• We prove that for a strongly pseudoconvex domain $D\subset\mathbb C^n$, the infinitesimal Carath\'{e}odory metric $g_C(z,v)$ and the infinitesimal Kobayashi metric $g_K(z,v)$ coincide if $z$ is sufficiently close to $bD$ and if $v$ is sufficiently close to being tangential to $bD$. Also, we show that every two close points of $D$ sufficiently close to the boundary and whose difference is almost tangential to $bD$ can be joined by a (unique up to reparameterization) complex geodesic of $D$ which is also a holomorphic retract of $D$. The same continues to hold if $D$ is a worm domain, as long as the points are sufficiently close to a strongly pseudoconvex boundary point. We also show that a strongly pseudoconvex boundary point of a worm domain can be globally exposed; this has consequences for the behavior of the squeezing function.

收起

•   10-11 Hacker News 34

Black Annex: A QBasic Game for the 21st Century (2013)

收起

• By Langlands and Deligne we know that the local constants are extendible functions. Therefore, to give an explicit formula of the local constant of an induced representation of a local Galois group of a non-Archimedean local field $F$ of characteristic zero, we have to compute the lambda function $\lambda_{K/F}$ for a finite extension $K/F$. In this paper, when a finite extension $K/F$ is Galois, we give a formula for $\lambda_{K/F}$.

收起

• Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main ideas and the combinatorial point of view.

收起

• We prove near-tight concentration of measure for polynomial functions of the Ising model under high temperature. For any degree $d$, we show that a degree-$d$ polynomial of a $n$-spin Ising model exhibits exponential tails that scale as $\exp(-r^{2/d})$ at radius $r=\tilde{\Omega}_d(n^{d/2})$. Our concentration radius is optimal up to logarithmic factors for constant $d$, improving known results by polynomial factors in the number of spins. We demonstrate the efficacy of polynomial functions as statistics for testing the strength of interactions in social networks in both synthetic and real world data.

收起

•   10-11 Ars Technica 30

Benign iOS prompts are indistinguishable from those generated by malicious apps.

收起

•   10-11 Hacker News 32

Ask HN: My house might burn down in the next 24 hours. Suggestions?

收起

•   10-11 Hacker News 32

Bubble – Visual Programming

收起

•   10-11 Hacker News 29

Disabling the Intel Management Engine

收起

•   10-11 OSnews 30

The Intel Management Engine ('IME' or 'ME') is an out-of-band co-processor integrated in all post-2006 Intel-CPU-based PCs. It has full network and memory access and runs proprietary, signed, closed-source software at ring -2, independently of the BIOS, main CPU and platform operating system - a fact which many regard as an unacceptable security risk (particularly given that at least one remotely exploitable security hole has already been reported). In this mini-guide, I'll run through the process of disabling the IME on your target PC. Apparently, the IME co-processor runs... MINIX 3. That is incredibly fascinating. This means every post-2006 Intel PC runs MINIX.

收起

•   10-11 Ars Technica 28

Story claims Jobs arranged the \$9 billion acquisition in his will.

收起

• An anonymous reader quotes a report from Electrek: Today, the new Dutch government presented its detailed plan for the coming years and it includes making all new cars emission-free by 2030 -- virtually banning petrol- and diesel-powered cars in favor of battery-powered vehicles. The four coalition parties have been negotiating their plans since the election in March and now after over 200 days, they have finally released the plan they agreed upon. NL Times posted all the main points of the plan and in "transportation," it includes: By 2030 all cars in the Netherlands must be emission free. While some local publications are reporting "all cars," we are told that it would be for "all new cars" as it is the case for the countries with similar bans under consideration. The potential for the ban has been under consideration in the country since last year. The year 2025, like in Norway, has been mentioned, but they apparently decided for the less ambitious goal of 2030.

收起

•   10-11 Ars Technica 27

Makes no mention of subsidies fossil fuel industry enjoys.

收起

•   10-11 Hacker News 28

End-To-End Encrypted RPC/PubSub Over Tor

收起

• phalse phace writes: You know those 400,000 Britons that were exposed in Equifax's data breach? Well, it turns out the number is actually closer to 700,000. The Telegraph reports: "Equifax has just admitted that almost double the number of UK customers had their information stolen in a major data breach earlier this year than it originally thought, and that millions more could have had their details compromised. The company originally estimated that the number of people affected in the UK was 'fewer than 400,000.' But on Tuesday night it emerged that cyber criminals had targeted 15.2 million records in the UK. It said 693,665 people could have had their data exposed, including email addresses, passwords, driving license numbers, phone numbers. The stolen data included partial credit card details of less than 15,000 customers."

收起

•   10-11 Ars Technica 32

Bryan Fuller (Hannibal, American Gods) will reboot obscure 80s anthology, Amazing Stories.

收起

•   10-11 THE NEW YORKER 28

Julia Edelman humorously explains all the things that could go wrong, were she to lose her headphones.

收起