More Like this

1. Interpolation for Curves in Projective Space with Bounded Error

   https://doi.org/10.1093/imrn/rnz136  

   Larson, Eric (July 2019, International Mathematics Research Notices)

   Abstract Given $$n$$ general points $$p_1, p_2, \ldots , p_n \in{\mathbb{P}}^r$$ it is natural to ask whether there is a curve of given degree $$d$$ and genus $$g$$ passing through them; by counting dimensions a natural conjecture is that such a curve exists if and only if $$\begin{equation*}n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor.\end{equation*}$$The case of curves with nonspecial hyperplane section was recently studied in [2], where the above conjecture was shown to hold with exactly three exceptions. In this paper, we prove a “bounded-error analog” for special linear series on general curves; more precisely we show that existence of such a curve subject to the stronger inequality $$\begin{equation*}n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor - 3.\end{equation*}$$Note that the $-3$ cannot be replaced with $-2$ without introducing exceptions (as a canonical curve in $${\mathbb{P}}^3$$ can only pass through nine general points, while a naive dimension count predicts twelve). We also use the same technique to prove that the twist of the normal bundle $$N_C(-1)$$ satisfies interpolation for curves whose degree is sufficiently large relative to their genus, and deduce from this that the number of general points contained in the hyperplane section of a general curve is at least $$\begin{equation*}\min\left(d, \frac{(r - 1)^2 d - (r - 2)^2 g - (2r^2 - 5r + 12)}{(r - 2)^2}\right).\end{equation*}$$ As explained in [7], these results play a key role in the author’s proof of the maximal rank conjecture [9]. 

   more » « less
2. Combinatorics of Generalized Exponents

   https://doi.org/10.1093/imrn/rny157  

   Lecouvey, Cédric; Lenart, Cristian (July 2018, International Mathematics Research Notices)

   Abstract We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type $$A_{n-1}$$, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type $$C_{n}$$, we obtain a combinatorial description of the generalized exponents based on the so-called distinguished vertices in crystals of type $$A_{2n-1}$$, which we also connect to symplectic King tableaux. This gives a combinatorial proof of the positivity of Lusztig $$t$$-analogs associated to zero-weight spaces in the irreducible representations of symplectic Lie algebras. We also present three applications of our combinatorial formula and discuss some implications to relating two type $$C$$ branching rules. Our methods are expected to extend to the orthogonal types. 

   more » « less
3. Triforce and corners

   https://doi.org/10.1017/s0305004119000173  

   FOX, JACOB; SAH, ASHWIN; SAWHNEY, MEHTAAB; STONER, DAVID; ZHAO, YUFEI (July 2020, Mathematical Proceedings of the Cambridge Philosophical Society)

   Abstract May the triforce be the 3-uniform hypergraph on six vertices with edges {123′, 12′3, 1′23}. We show that the minimum triforce density in a 3-uniform hypergraph of edge density δ is δ 4– o (1) but not O ( δ 4 ). Let M ( δ ) be the maximum number such that the following holds: for every ∊ > 0 and $$G = {\mathbb{F}}_2^n$$ with n sufficiently large, if A ⊆ G × G with A ≥ δ | G | 2 , then there exists a nonzero “popular difference” d ∈ G such that the number of “corners” ( x , y ), ( x + d , y ), ( x , y + d ) ∈ A is at least ( M ( δ )–∊)| G | 2 . As a corollary via a recent result of Mandache, we conclude that M ( δ ) = δ 4– o (1) and M ( δ ) = ω ( δ 4 ). On the other hand, for 0 < δ < 1/2 and sufficiently large N , there exists A ⊆ [ N ] 3 with | A | ≥ δN 3 such that for every d ≠ 0, the number of corners ( x , y , z ), ( x + d , y , z ), ( x , y + d , z ), ( x , y , z + d ) ∈ A is at most δ c log(1/ δ ) N 3 . A similar bound holds in higher dimensions, or for any configuration with at least 5 points or affine dimension at least 3. 

   more » « less
4. L oo p D e l t a : E m b e dd i n g L o c a li t y - a w a r e O pp o r t un i s t i c D e l t a C o m p r e ss i o n i n I n li n e D e dup li c a t i o n f o r Hi g h l y E ffic i e n t D a t a R e du c t i o n

   Zhang, Yucheng; Jiang, Hong; Feng, Dan; Jiang Nan; Qui, Taorong; Huang, Wei (July 2023, USENIX annual technical conference)

   A s a c om pl e men t t o da ta d edupli cat ion , de lta c om p ress i on fu r- t he r r edu c es t h e dat a vo l u m e by c o m pr e ssi n g n o n - dup li c a t e d ata chunk s r e l a t iv e to t h e i r s i m il a r chunk s (bas e chunk s). H ow ever, ex is t i n g p o s t - d e dup li c a t i o n d e l t a c o m pr e ssi o n a p- p ro a ches fo r bac kup s t or ag e e i t h e r su ffe r f ro m t h e l ow s i m - il a r i t y b e twee n m any de te c ted c hun ks o r m i ss so me po t e n - t i a l s i m il a r c hunks , o r su ffer f r om l ow (ba ckup and r es t ore ) th r oug hpu t du e t o extr a I/ Os f or r e a d i n g b a se c hun ks o r a dd a dd i t i on a l s e r v i c e - d i s r up t ive op e r a t i on s to b a ck up s ys t em s. I n t h i s pa p e r, w e pr opo se L oop D e l t a t o a dd ress the above - m e n t i on e d prob l e m s by an e nha nced em b e ddi n g d e l t a c o m p - r e ss i on sc heme i n d e dup li c a t i on i n a non - i n t ru s ive way. T h e e nha nce d d elt a c o mpr ess ion s che m e co m b in e s f our key t e c h - ni qu e s : (1) du a l - l o c a li t y - b a s e d s i m il a r i t y t r a c k i n g to d e t ect po t e n t i a l si m il a r chun k s b y e x p l o i t i n g both l o g i c a l and ph y - s i c a l l o c a li t y, ( 2 ) l o c a li t y - a wa r e pr e f e t c h i n g to pr efe tc h ba se c hun ks to a vo i d ex t ra I/ Os fo r r e a d i n g ba s e chun ks on t h e w r i t e p at h , (3) c a che -aware fil t e r to avo i d ext r a I/Os f or b a se c hunk s on t he read p at h, a nd (4) i nver sed de l ta co mpressi on t o perf orm de lt a co mpress i o n fo r d at a chunk s t hat a re o th e r wi se f o r b i dd e n to s er ve as ba se c hunk s by r ew r i t i n g t e c hn i qu e s d e s i g n e d t o i m p r ove r es t o re pe rf o rma nc e. E x p e r i m e n t a l re su lts indi ca te t hat L oop D e l t a i ncr ea se s t he c o m pr e ss i o n r a t i o by 1 .2410 .97 t i m e s on t op of d e dup li c a - t i on , wi t hou t no t a b l y a ffe c t i n g th e ba ck up th rou ghpu t, a nd i t i m p r ove s t he res to re p er fo r m an ce b y 1.23.57 t i m e 

   more » « less
5. Product of Simplices and sets of positive upper density in ℝ ^d

   https://doi.org/10.1017/S0305004117000184  

   LYALL, NEIL; MAGYAR, ÁKOS (July 2018, Mathematical Proceedings of the Cambridge Philosophical Society)

   Abstract We establish that any subset of ℝ d of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of any fixed two-dimensional rectangle provided d ⩾ 4. We further present an extension of this result to configurations that are the product of two non-degenerate simplices; specifically we show that if Δ k 1 and Δ k 2 are two fixed non-degenerate simplices of k 1 + 1 and k 2 + 1 points respectively, then any subset of ℝ d of positive upper Banach density with d ⩾ k 1 + k 2 + 6 will necessarily contain an isometric copy of all sufficiently large dilates of Δ k 1 × Δ k 2 . A new direct proof of the fact that any subset of ℝ d of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of any fixed non-degenerate simplex of k + 1 points provided d ⩾ k + 1, a result originally due to Bourgain, is also presented. 

   more » « less