title: Experimental non-locality in a quantum network

abstract: Non-locality stands nowadays not only as one of the cornerstones of quantum theory, but also plays a crucial role in quantum information processing. Several experimental investigations of nonlocality have been carried out over the years. In spite of their fundamental relevance, however, all previous experiments do not consider a crucial ingredient that is ubiquitous in quantum networks: the fact that correlations between distant parties are mediated by several, typically independent, sources of quantum states. Here, using a photonic setup we investigate a quantum network consisting of three spatially separated nodes whose correlations are mediated by two independent sources. This scenario allows for the emergence of a new kind of non-local correlations that we experimentally witness by violating a novel Bell inequality. Our results provide the first experimental proof-of-principle of generalizations of Bell's theorem for networks, a topic that has attracted growing attention and promises a novel route for quantum communication protocols.


title: Moderate deviations for Ewens-Pitman exchangeable random partitions

abstract: Consider a population of individuals belonging to an infinity number of types, and assume that type proportions follow the two-parameter Poisson-Dirichlet distribution. A sample of size n is selected from the population. The total number of different types and the number of types appearing in the sample with a fixed frequency are important statistics. In this paper we establish the moderate deviation principles for these quantities. The corresponding rate functions are explicitly identified, which help revealing a critical scale and understanding the exact role of the parameters. Conditional, or posterior, counterparts of moderate deviation principles are also established.


title: Magnetic resonance with squeezed microwaves

abstract: Vacuum fluctuations of the electromagnetic field set a fundamental limit to the sensitivity of a variety of measurements, including magnetic resonance spectroscopy. We report the use of squeezed microwave fields, which are engineered quantum states of light for which fluctuations in one field quadrature are reduced below the vacuum level, to enhance the detection sensitivity of an ensemble of electronic spins at millikelvin temperatures.} By shining a squeezed vacuum state on the input port of a microwave resonator containing the spins, we obtain a $1.2$\,dB noise reduction at the spectrometer output compared to the case of a vacuum input. This result constitutes a proof of principle of the application of quantum metrology to magnetic resonance spectroscopy.


title: Detecting Multiple Replicating Signals using Adaptive Filtering Procedures

abstract: Replicability is a fundamental quality of scientific discoveries: we are interested in those signals that are detectable in different laboratories, study populations, across time etc. Unlike meta-analysis which accounts for experimental variability but does not guarantee replicability, testing a partial conjunction (PC) null aims specifically to identify the signals that are discovered in multiple studies. In many contemporary applications, e.g., comparing multiple high-throughput genetic experiments, a large number $M$ of PC nulls need to be tested simultaneously, calling for a multiple comparisons correction. However, standard multiple testing adjustments on the $M$ PC $p$-values can be severely conservative, especially when $M$ is large and the signals are sparse. We introduce AdaFilter, a new multiple testing procedure that increases power by adaptively filtering out unlikely candidates of PC nulls. We prove that AdaFilter can control FWER and FDR as long as data across studies are independent, and has much higher power than other existing methods. We illustrate the application of AdaFilter with three examples: microarray studies of Duchenne muscular dystrophy, single-cell RNA sequencing of T cells in lung cancer tumors and GWAS for metabolomics.


title: Definable discrete sets with large continuum

abstract: Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a $\Delta^1_2$ maximal $\mathcal R$-discrete set, and thus the existence of such sets is compatible with the negation of the continuum hypothesis. As an application we find a $\Pi^1_1$ maximal orthogonal family of Borel probability measures in said extension. The basis of this is a new Ramsey theoretic result.


title: Engineering a Distributed Full-Text Index

abstract: We present a distributed full-text index for big data applications in a distributed environment. Our index can answer different types of pattern matching queries (existential, counting and enumeration). We perform experiments on inputs up to 100 GiB using up to 512 processors, and compare our index with the distributed suffix array by Arroyuelo et al. [Parall. Comput. 40(9): 471--495, 2014]. The result is that our index answers counting queries up to 5.5 times faster than the distributed suffix array, while using about the same space. We also provide a succinct variant of our index that uses only one third of the memory compared with our non-succinct variant, at the expense of only 20% slower query times.


title: Strange quark asymmetry in the proton in chiral effective theory

abstract: We perform a comprehensive analysis of the strange-antistrange parton distribution function (PDF) asymmetry in the proton in the framework of chiral effective theory, including the full set of lowest order kaon loop diagrams with off-shell and contact interactions, in addition to the usual on-shell contributions previously discussed in the literature. We identify the presence of $\delta$-function contributions to the $\bar s$ PDF at $x=0$, with a corresponding valence-like component of the $s$-quark PDF at larger $x$, which allows greater flexibility for the shape of $s-\bar s$. Expanding the moments of the PDFs in terms of the pseudoscalar kaon mass, we compute the leading nonanalytic behavior of the number and momentum integrals of the $s$ and $\bar s$ distributions, consistent with the chiral symmetry of QCD. We discuss the implications of our results for the understanding of the NuTeV anomaly and for the phenomenology of strange quark PDFs in global QCD analysis.


title: Magnetodielectric detection of magnetic quadrupole order in Ba(TiO)Cu$_4$(PO$_4$)$_4$ with Cu$_4$O$_{12}$ square cupolas

abstract: In vortex-like spin arrangements, multiple spins can combine into emergent multipole moments. Such multipole moments have broken space-inversion and time-reversal symmetries, and can therefore exhibit linear magnetoelectric (ME) activity. Three types of such multipole moments are known: toroidal, monopole, and quadrupole moments. So far, however, the ME-activity of these multipole moments has only been established experimentally for the toroidal moment. Here, we propose a magnetic square cupola cluster, in which four corner-sharing square-coordinated metal-ligand fragments form a noncoplanar buckled structure, as a promising structural unit that carries an ME-active multipole moment. We substantiate this idea by observing clear magnetodielectric signals associated with an antiferroic ME-active magnetic quadrupole order in the real material Ba(TiO)Cu$_4$(PO$_4$)$_4$. The present result serves as a useful guide for exploring and designing new ME-active materials based on vortex-like spin arrangements.


title: Model Driven Web Application Development With Agile Practices

abstract: Model driven development is an effective method due to its benefits such as code transformation, increasing productivity and reducing human based error possibilities. Meanwhile, agile software development increases the software flexibility and customer satisfaction by using iterative method. Can these two development approaches be combined to develop web applications efficiently? What are the challenges and what are the benefits of this approach? In this paper, we answer these two crucial problems; combining model driven development and agile software development results in not only fast development and easiness of the user interface design but also efficient job tracking. We also defined an agile model based approach for web applications whose implementation study has been carried out to support the answers we gave these two crucial problems.


title: Recovering the fundamental plane of galaxies by $f(R)$ gravity

abstract: The fundamental plane (FP) of galaxies can be recovered in the framework of $f(R)$ gravity avoiding the issues related to dark matter to fit the observations. In particular, the power-law version $f(R)\propto R^n$, resulting from the existence of Noether symmetries for $f(R)$, is sufficient to implement the approach. In fact, relations between the FP parameters and the corrected Newtonian potential, coming from $R^n$, can be found and justified from a physical point of view. Specifically, we analyze the velocity distribution of elliptical galaxies and obtain that $r_c$, the scale-length depending on the gravitational system properties, is proportional to $r_e$, the galaxy effective radius. This fact points out that the gravitational corrections induced by $f(R)$ can lead photometry and dynamics of the system. Furthermore, the main byproduct of such an approach is that gravity could work in different ways depending on the scales of self-gravitating systems.


title: String Cadences

abstract: We say a string has a cadence if a certain character is repeated at regular intervals, possibly with intervening occurrences of that character. We call the cadence anchored if the first interval must be the same length as the others. We give a sub-quadratic algorithm for determining whether a string has any cadence consisting of at least three occurrences of a character, and a nearly linear algorithm for finding all anchored cadences.


title: Across the deconfinement

abstract: The deconfinement transition at vanishing chemical potential can be reliably studied by lattice simulations and its general features are by now well known. On the contrary, what happens at finite density is still largely unknown and we will review the results obtained in the last year regarding the dependence, for small density, of the (pseudo)critical temperature on the baryonic chemical potential.


title: Sectional and intermediate Ricci curvature lower bounds via Optimal Transport

abstract: The goal of the paper is to give an optimal transport characterization of sectional curvature lower (and upper) bounds for smooth $n$-dimensional Riemannian manifolds. More generally we characterize, via optimal transport, lower bounds on the so called $p$-Ricci curvature which corresponds to taking the trace of the Riemann curvature tensor on $p$-dimensional planes, $1\leq p\leq n$. Such characterization roughly consists on a convexity condition of the $p$-Renyi entropy along $L^{2}$-Wasserstein geodesics, where the role of reference measure is played by the $p$-dimensional Hausdorff measure. As application we establish a new Brunn-Minkowski type inequality involving $p$-dimensional submanifolds and the $p$-dimensional Hausdorff measure.


title: On the distribution of maximal gaps between primes in residue classes

abstract: Let $q>r\ge1$ be coprime positive integers. We empirically study the maximal gaps $G_{q,r}(x)$ between primes $p=qn+r\le x$, $n\in{\mathbb N}$. Extensive computations suggest that almost always $G_{q,r}(x)<\varphi(q)\log^2x$. More precisely, the vast majority of maximal gaps are near a trend curve $T$ predicted using a generalization of Wolf's conjecture: $$G_{q,r}(x) ~\sim~ T(q,x)={\varphi(q)x\over{\rm li}(x)} \Big(2\log{{\rm li}(x)\over\varphi(q)} - \log x + b\Big),$$ where $b = b(q,x) = O_q(1)$. The distribution of properly rescaled maximal gaps $G_{q,r}(x)$ is close to the Gumbel extreme value distribution. However, the question whether there exists a limiting distribution of $G_{q,r}(x)$ is open. We discuss possible generalizations of Cramer's, Shanks, and Firoozbakht's conjectures to primes in residue classes.


title: Proposal for Automatic License and Number Plate Recognition System for Vehicle Identification

abstract: In this paper, we propose an automatic and mechanized license and number plate recognition (LNPR) system which can extract the license plate number of the vehicles passing through a given location using image processing algorithms. No additional devices such as GPS or radio frequency identification (RFID) need to be installed for implementing the proposed system. Using special cameras, the system takes pictures from each passing vehicle and forwards the image to the computer for being processed by the LPR software. Plate recognition software uses different algorithms such as localization, orientation, normalization, segmentation and finally optical character recognition (OCR). The resulting data is applied to compare with the records on a database. Experimental results reveal that the presented system successfully detects and recognizes the vehicle number plate on real images. This system can also be used for security and traffic control.


title: From phonemes to images: levels of representation in a recurrent neural model of visually-grounded language learning

abstract: We present a model of visually-grounded language learning based on stacked gated recurrent neural networks which learns to predict visual features given an image description in the form of a sequence of phonemes. The learning task resembles that faced by human language learners who need to discover both structure and meaning from noisy and ambiguous data across modalities. We show that our model indeed learns to predict features of the visual context given phonetically transcribed image descriptions, and show that it represents linguistic information in a hierarchy of levels: lower layers in the stack are comparatively more sensitive to form, whereas higher layers are more sensitive to meaning.


title: Efficient molecular dynamics simulations with many-body potentials on graphics processing units

abstract: Graphics processing units have been extensively used to accelerate classical molecular dynamics simulations. However, there is much less progress on the acceleration of force evaluations for many-body potentials compared to pairwise ones. In the conventional force evaluation algorithm for many-body potentials, the force, virial stress, and heat current for a given atom are accumulated within different loops, which could result in write conflict between different threads in a CUDA kernel. In this work, we provide a new force evaluation algorithm, which is based on an explicit pairwise force expression for many-body potentials derived recently [Phys. Rev. B 92 (2015) 094301]. In our algorithm, the force, virial stress, and heat current for a given atom can be accumulated within a single thread and is free of write conflicts. We discuss the formulations and algorithms and evaluate their performance. A new open-source code, GPUMD, is developed based on the proposed formulations. For the Tersoff many-body potential, the double precision performance of GPUMD using a Tesla K40 card is equivalent to that of the LAMMPS (Large-scale Atomic/Molecular Massively Parallel Simulator) molecular dynamics code running with about 100 CPU cores (Intel Xeon CPU X5670 @ 2.93 GHz).


title: Attention and Anticipation in Fast Visual-Inertial Navigation

abstract: We study a Visual-Inertial Navigation (VIN) problem in which a robot needs to estimate its state using an on-board camera and an inertial sensor, without any prior knowledge of the external environment. We consider the case in which the robot can allocate limited resources to VIN, due to tight computational constraints. Therefore, we answer the following question: under limited resources, what are the most relevant visual cues to maximize the performance of visual-inertial navigation? Our approach has four key ingredients. First, it is task-driven, in that the selection of the visual cues is guided by a metric quantifying the VIN performance. Second, it exploits the notion of anticipation, since it uses a simplified model for forward-simulation of robot dynamics, predicting the utility of a set of visual cues over a future time horizon. Third, it is efficient and easy to implement, since it leads to a greedy algorithm for the selection of the most relevant visual cues. Fourth, it provides formal performance guarantees: we leverage submodularity to prove that the greedy selection cannot be far from the optimal (combinatorial) selection. Simulations and real experiments on agile drones show that our approach ensures state-of-the-art VIN performance while maintaining a lean processing time. In the easy scenarios, our approach outperforms appearance-based feature selection in terms of localization errors. In the most challenging scenarios, it enables accurate visual-inertial navigation while appearance-based feature selection fails to track robot's motion during aggressive maneuvers.


title: Pure E and B polarization maps via Wiener filtering

abstract: In order to draw scientific conclusions from observations of cosmic microwave background (CMB) polarization, it is necessary to separate the contributions of the E and B components of the data. For data with incomplete sky coverage, there are ambiguous modes, which can be sourced by either E or B signals. Techniques exist for producing "pure" E and B maps, which are guaranteed to be free of cross-contamination, although the standard method, which involves constructing an eigenbasis, has a high computational cost. We show that such pure maps can be thought of as resulting from the application of a Wiener filter to the data. This perspective leads to far more efficient methods of producing pure maps. Moreover, by expressing the idea of purification in the general framework of Wiener filtering (i.e., maximization of a posterior probability), it leads to a variety of generalizations of the notion of pure E and B maps, e.g., accounting for noise or other contaminants in the data as well as correlations with temperature anisotropy.


title: Notions of Anonymous Existence in Martin-L\"of Type Theory

abstract: As the groupoid model of Hofmann and Streicher proves, identity proofs in intensional Martin-L\"of type theory cannot generally be shown to be unique. Inspired by a theorem by Hedberg, we give some simple characterizations of types that do have unique identity proofs. A key ingredient in these constructions are weakly constant endofunctions on identity types. We study such endofunctions on arbitrary types and show that they always factor through a propositional type, the truncated or squashed domain. Such a factorization is impossible for weakly constant functions in general (a result by Shulman), but we present several non-trivial cases in which it can be done. Based on these results, we define a new notion of anonymous existence in type theory and compare different forms of existence carefully. In addition, we show possibly surprising consequences of the judgmental computation rule of the truncation, in particular in the context of homotopy type theory. All the results have been formalized and verified in the dependently typed programming language Agda.


title: Techniques And Results For The Calibration Of The MST Prototype For The Cherenkov Telescope Array

abstract: The next generation instrument for ground-based gamma-ray astronomy will be the Cherenkov Telescope Array (CTA), consisting of approximately 100 telescopes in three sizes, built on two sites with one each in the Northern and Southern Hemi- spheres. Up to 40 of these will be Medium Size Telescopes (MSTs) which will dominate sensitivity in the core energy range. Since 2012, a full size mechanical prototype for the modified 12 m Davies-Cotton design MST has been in operation in Berlin. This doc- ument describes the techniques which have been implemented to calibrate and optimise the mechanical and optical performance of the prototype, and gives the results of over three years of observations and measurements. Pointing calibration techniques will be discussed, along with the development of a bending model, and calibration of the CCD cameras used for pointing measurements. Additionally alignment of mirror segments using the Bokeh method is shown.


title: Near Optimal Adaptive Shortest Path Routing with Stochastic Links States under Adversarial Attack

abstract: We consider the shortest path routing (SPR) of a network with stochastically time varying link metrics under potential adversarial attacks. Due to potential denial of service attacks, the distributions of link states could be stochastic (benign) or adversarial at different temporal and spatial locations. Without any \emph{a priori}, designing an adaptive SPR protocol to cope with all possible situations in practice optimally is a very challenging issue. In this paper, we present the first solution by formulating it as a multi-armed bandit (MAB) problem. By introducing a novel control parameter into the exploration phase for each link, a martingale inequality is applied in the our combinatorial adversarial MAB framework. As such, our proposed algorithms could automatically detect features of the environment within a unified framework and find the optimal SPR strategies with almost optimal learning performance in all possible cases over time. Moreover, we study important issues related to the practical implementation, such as decoupling route selection with multi-path route probing, cooperative learning among multiple sources, the "cold-start" issue and delayed feedback of our algorithm. Nonetheless, the proposed SPR algorithms can be implemented with low complexity and they are proved to scale very well with the network size. Comparing to existing approaches in a typical network scenario under jamming attacks, our algorithm has a 65.3\% improvement of network delay given a learning period and a 81.5\% improvement of learning duration under a specified network delay.


title: Survey on the Use of Typological Information in Natural Language Processing

abstract: In recent years linguistic typology, which classifies the world's languages according to their functional and structural properties, has been widely used to support multilingual NLP. While the growing importance of typological information in supporting multilingual tasks has been recognised, no systematic survey of existing typological resources and their use in NLP has been published. This paper provides such a survey as well as discussion which we hope will both inform and inspire future work in the area.


title: Small $x$ gluon shadowing from LHC data on coherent $\mathrm{J/}\psi$ photoproduction

abstract: The cross section for coherent $\mathrm{J/}\psi$ photoproduction in Pb-Pb collisions is the sum of two contributions, one from low-, the other from high-energy photon-nucleus interactions. A novel method to disentangle both contributions allowing one to extract the coherent photo-nuclear cross section for coherent $\mathrm{J/}\psi$ production, $\sigma_{\gamma \rm Pb}$, is presented. The utility of the method is demonstrated using measurements from peripheral and ultra-peripheral Pb-Pb collisions at the LHC. Applying the proposed method to the available data it is possible to obtain $\sigma_{\gamma \rm Pb}$ up to a photon-lead centre-of-mass energy of 470 GeV, which corresponds to $x$ of 4.4x10$^{-5}$. To illustrate a possible use of the extracted photo-nuclear cross sections, the corresponding nuclear suppression factors are computed and they are compared to predictions of gluon shadowing calculated in the leading-twist approximation approach.


title: A general relativistic signature in the galaxy bispectrum: the local effects of observing on the lightcone

abstract: Next-generation galaxy surveys will increasingly rely on the galaxy bispectrum to improve cosmological constraints, especially on primordial non-Gaussianity. A key theoretical requirement that remains to be developed is the analysis of general relativistic effects on the bispectrum, which arise from observing galaxies on the past lightcone, {as well as from relativistic corrections to the dynamics}. {As an initial step towards a fully relativistic analysis of the galaxy bispectrum, we compute for the first time the local relativistic lightcone effects on the bispectrum,} which come from Doppler and gravitational potential contributions. For the galaxy bispectrum, the problem is much more complex than for the power spectrum, since we need the lightcone corrections at second order. Mode-coupling contributions at second order mean that relativistic corrections can be non-negligible at smaller scales than in the case of the power spectrum. In a primordial Gaussian universe, we show that the local lightcone corrections for squeezed shapes at $z\sim1$ mean that the bispectrum can differ from the Newtonian prediction by $\gtrsim 10\%$ when the short modes are $k\lesssim (50\,{\rm Mpc})^{-1}$. These relativistic projection effects, if ignored in the analysis of observations, could be mistaken for primordial non-Gaussianity. For upcoming surveys which probe equality scales and beyond, {all relativistic lightcone effects and relativistic dynamical corrections should be included} for an accurate measurement of primordial non-Gaussianity.


title: Topological superfluidity of lattice fermions inside a Bose-Einstein condensate

abstract: We calculate the phase diagram of identical fermions in a 2-dimensional (2D) lattice immersed in a 3D Bose-Einstein condensate (BEC). The fermions exchange density fluctuations in the BEC, which gives rise to an attractive induced interaction. The resulting zero temperature phase diagram exhibits topological $p_x+ip_y$ superfluid phases as well as a phase separation region. We show how to use the flexibility of the Bose-Fermi mixture to tune the induced interaction, so that it maximises the pairing between nearest neighbour sites, whereas phase separation originating from long range interactions is suppressed. Finally, we calculate the Berezinskii-Kosterlitz-Thouless (BKT) critical temperature of the topological superfluid in the lattice and discuss experimental realisations.


title: Heegaard Floer invariants in codimension one

abstract: Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, defined using twisted coefficients, is a diffeomorphism invariant of $X$. We show how this invariant can be used to obstruct embeddings of certain types of $3$-manifolds, including those obtained as a connected sum of a rational homology $3$-sphere and any number of copies of $S^1 \times S^2$. We also give similar obstructions to embeddings in certain open $4$-manifolds, including exotic $\mathbb{R}^4$s.


title: Filtration Relative, l'Id\'eal de Bernstein et ses pentes

abstract: Let $ f_i: X \rightarrow {\bf C}$, for $i$ integer between $ 1$ and $ p $, be analytic functions defined on a complex analytic variety $X$. Let us consider $ {\cal D}_X $ the ring of linear differential operators and $ {\cal D}_X [s_1, \ldots, s_p] = {\bf C}_X [s_1, \ldots, s_p] \otimes_ {\bf C} {\cal D}_X$. Let $ m $ be a section of a holonomic $ {\cal D}_X $-Module. We denote $ {\cal B}(m, x_0, f_1, \ldots, f_p) $ the ideal of $ { \bf C} [s_1, \ldots, s_p] $ constituted by the polynomials $ b $ satisfying in the neighborhood of $ x_0 \in X$ : $$ B (s_1, \ldots, s_p) m f_1^{ s_1} \ldots f_p ^{s_p} \in {\cal D}_X [s_1, \ldots, s_p] \, m f_1^{s_1 + 1} \ldots f_p^{s_p + 1} \; . $$ This ideal is called Bernstein's ideal. C. Sabbah shows the existence for every $ x_0 \in X $ of a finite set $ {\cal H} $ of linear forms with coefficients in $ {\bf N} $, such that: $$ \prod_{H \in {\cal H}} \prod_{i \in I_{\cal H}} (H (s_1, \ldots, s_p) + \alpha_{H , i}) \in {\cal B} (m, x_0, f_1, \ldots, f_p) \; , $$ where $\alpha_{H,i} $ are complex numbers. The purpose of this article is to show in particular the existence of a minimal set $ {\cal H} $. In addition, when $ m $ is a section of a holonomic regular ${\cal D}_X$-Module, we will precise geometrically this set from the characteristic variety of ${\cal D}_X$-Module generated by $m$. We introduce and study especially the relative characteristic variety of the $ {\cal D}_X [s_1, \ldots, s_p] $ - Modules related to our problem. This allows to specify the structure of the Bernstein's ideals.


title: Nonlinear Quantum Optics in Optomechanical Nanoscale Waveguides

abstract: We explore the possibility of achieving a significant nonlinear phase shift among photons propagating in nanoscale waveguides exploiting interactions among photons that are mediated by vibrational modes and induced through Stimulated Brillouin Scattering (SBS). We introduce a configuration that allows slowing down the photons by several orders of magnitude via SBS involving sound waves and two pump fields. We extract the conditions for maintaining vanishing amplitude gain or loss for slowly propagating photons while keeping the influence of thermal phonons to the minimum. The nonlinear phase among two counter-propagating photons can be used to realize a deterministic phase gate.


title: L'id\'eal de Bernstein d'un arrangement libre d'hyperplans lin\'eaires

abstract: Let $ V $ a vector space of dimension $n$. A family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplans $V$ defines an arrangement $ {\cal A} $ of $ V $. For $ i \in \{ 1, \ldots, p \} $, let $ l_i $ be a linear form on $V$ with $H_i$ as kernel. We denote by $A_V ({\bf C}) $, the Weyl algebra of algebraic differential operators on $V$. Following J. Bernstein, the ideal constituted by polynomials $ b \in {\bf C} [s_1, \ldots, s_p] $ such that : $$ \; \; b (s_1, \ldots, s_p) \, l_1^{s_1} \ldots l_p^{s_p} \in A_n ({\bf C}) [s_1, \ldots, s_p] \, l_1^ {s_1 + 1} \ldots l_p^{s_p + 1} \; , $$ is not reduced to zero. This ideal does not depend on the choice of linear forms $ l_i $. The goal of this article is to determine this ideal when $ {\cal A} $ is a free arrangement constituted by linear hyperplans within the meaning of K. Saito.


title: Id\'eal de Bernstein d'un arrangement central g\'en\'erique d'hyperplans

abstract: Let $ V $ a vector space of dimension $n$. A $V$ family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplanes being distinct two by two defines an arrangement $ {\cal A}_p = {\cal A} ( H_1, \ldots ,H_p ) $ of $ V $. For $ i \in \{ 1, \ldots, p \} $, let $ l_i $ be a linear form on $V$ with $H_i$ as kernel. This arrangement is generic if the intersection of every sub-family of $n$ hyperplanes of the arranfement is reduced to zero. Let $A_V ({\bf C}) $, be the Weyl algebra of algebraic differential operators with coefficients in the symetric algebra denoted $S$ of the dual of $V$. Following J. Bernstein, the ideal constituted by polynomials $ b \in {\bf C} [s_1, \ldots, s_p] $ such that : $$ \; \; b (s_1, \ldots, s_p) \, l_1^{s_1} \ldots l_p^{s_p} \in A_V ({\bf C}) [s_1, \ldots, s_p] \, l_1^ {s_1 + 1} \ldots l_p^{s_p + 1} $$ is not reduced to zero. This ideal does not depend on the choice of linear forms $l_i $ which define the hypersurfaces $H_i$. The goal of this article is to precise this ideal.


title: Chaotic Behavior of Stiff ODEs and Their Derivatives: An Illustrative Example

abstract: In the following, an illustrative example concerning difficulties in differentiating stiff ODEs is presented. In the given example, the solution of a completely deterministic system becomes chaotic due to computational noise introduced by the numerical algorithm.


title: On time dependent Schr{\"o}dinger equations: global well-posedness and growth of Sobolev norms

abstract: In this paper we consider time dependent Schr{\"o}dinger linear PDEs of the form i$\partial$t$\psi$ = L(t)$\psi$, where L(t) is a continuous family of self-adjoint operators. We give conditions for well-posedness and polynomial growth for the evolution in abstract Sobolev spaces. If L(t) = H + V (t) where V (t) is a perturbation smooth in time and H is a self-adjoint positive operator whose spectrum can be enclosed in spectral clusters whose distance is increasing, we prove that the Sobolev norms of the solution grow at most as t $\epsilon$ when t $\rightarrow$ $\infty$, for any $\epsilon$ \textgreater{} 0. If V (t) is analytic in time we improve the bound to (log t) $\gamma$ , for some $\gamma$ \textgreater{} 0. The proof follows the strategy, due to Howland, Joye and Nenciu, of the adiabatic approximation of the flow. We recover most of known results and obtain new estimates for several models including 1-degree of freedom Schr{\"o}dinger operators on R and Schr{\"o}dinger operators on Zoll manifolds.


title: Implementing High-Order FIR Filters in FPGAs

abstract: Contemporary field-programmable gate arrays (FPGAs) are predestined for the application of finite impulse response (FIR) filters. Their embedded digital signal processing (DSP) blocks for multiply-accumulate operations enable efficient fixed-point computations, in cases where the filter structure is accurately mapped to the dedicated hardware architecture. This brief presents a generic systolic structure for high-order FIR filters, efficiently exploiting the hardware resources of an FPGA in terms of routability and timing. Although this seems to be an easily implementable task, the synthesizing tools require an adaptation of the straightforward digital filter implementation for an optimal mapping. Using the example of a symmetric FIR filter with 90 taps, we demonstrate the performance of the proposed structure with FPGAs from Xilinx and Altera. The implementation utilizes less than 1% of slice logic and runs at clock frequencies up to 526 MHz. Moreover, an enhancement of the structure ultimately provides an extended dynamic range for the quantized coefficients without the costs of additional slice logic.


title: Equations of state for supernovae and compact stars

abstract: We review various theoretical approaches for the equation of state (EoS) of dense matter, relevant for the description of core-collapse supernovae, compact stars and compact star mergers. The emphasis is put on models that are applicable to all of these scenarios. Such EoS models have to cover large ranges in baryon number density, temperature and isospin asymmetry. The characteristics of matter change dramatically within these ranges, from a mixture of nucleons, nuclei, and electrons to uniform, strongly interacting matter containing nucleons, and possibly other particles such as hyperons or quarks. As the development of an EoS requires joint efforts from many directions we consider different theoretical approaches and discuss relevant experimental and observational constraints which provide insights for future research. Finally, results from applications of the discussed EoS models are summarized.


title: Modulation Classification via Subspace Detection in MIMO Systems

abstract: The problem of efficient modulation classification (MC) in multiple-input multiple-output (MIMO) systems is considered. Per-layer likelihood-based MC is proposed by employing subspace decomposition to partially decouple the transmitted streams. When detecting the modulation type of the stream of interest, a dense constellation is assumed on all remaining streams. The proposed classifier outperforms existing MC schemes at a lower complexity cost, and can be efficiently implemented in the context of joint MC and subspace data detection.


title: Notes on the computation of periodic orbits using Newton and Melnikov's method

abstract: These notes were written during the 9th and 10th sessions of the subject Dynamical Systems II coursed at DTU (Denmark) during the Winter Semester 2015-2016, and later extended in February 2017. They aim to provide students with a theoretical and numerical background for the computation of periodic orbits using Newton's method. We focus on periodically perturbed quasi-integrable systems (using the forced pendulum as an example) and hence we take advantage of the Melnikov method to get first guesses. However, these well known techniques are general enough to be applied in other type of systems. Periodic orbits are computed by solving a fixed-point equation for the stroboscopic map, which is very fast and precise. We also consider computing the Poincar\'e map and compare both strategies. In both cases we show how to compute the Jacobian of the maps, which is necessary for the Newton method, by means of variational equations and the implicit function theorem. Some exercises are proposed along the notes, whose solutions can be found in github.com/a-granados. The notes themselves do not contain any reference, although everything described here is well known in the Dynamical Systems community. A typical reference for the Melnikov method for subharmonic orbits is the book [GucHol83]. More about the variational equations and their numerical applications can be found in the notes [Sim].


title: The Rado Path Decomposition Theorem

abstract: We discuss a theorem of Rado: Every r-coloring of the pairs of natural numbers has a path decomposition.


title: Pulsar Magnetospheres and Pulsar Winds

abstract: Surprisingly, the chronology of nearly 50 years of the pulsar magnetosphere and pulsar wind research is quite similar to the history of our civilization. Using this analogy, I have tried to outline the main results obtained in this field. In addition to my talk, the possibility of particle acceleration due to different processes in the pulsar magnetosphere is discussed in more detail.


title: The K\"ahler-Ricci flow on Fano bundles

abstract: We study the behavior of the K\"ahler-Ricci flow on some Fano bundle which is a trivial bundle on one Zariski open set. We show that if the fiber is $\mathbb{P}^{m}$ blown up at one point or some weighted projective space blown up at the orbifold point and the initial metric is in a suitable k\"ahler class, then the fibers collapse in finite time and the metrics converge sub-sequentially in Gromov-Hausdorff sense to a metric on the base.


title: Thermal Equilibrium in D-dimensions: From Fluids and Polymers to Kinetic Wealth Exchange Models

abstract: In this paper we discuss some examples of systems composed of $N$ units, which exchange a conserved quantity $x$ according to some given stochastic rule, from some standard kinetic model of condensed matter physics to the kinetic exchange models used for studying the wealth dynamics of social systems. The focus is on the similarity of the equilibrium state of the various examples considered, which all relax toward a canonical Gibbs-Boltzmann equilibrium distribution for the quantity $x$, given by a $\Gamma$-distribution with shape parameter $\alpha = D/2$, which implicitly defines an effective dimension $D$ of the system. We study various systems exploring (continuous) values of $D$ in the interval $[1,\infty)$.


title: DOTmark - A Benchmark for Discrete Optimal Transport

abstract: The Wasserstein metric or earth mover's distance (EMD) is a useful tool in statistics, machine learning and computer science with many applications to biological or medical imaging, among others. Especially in the light of increasingly complex data, the computation of these distances via optimal transport is often the limiting factor. Inspired by this challenge, a variety of new approaches to optimal transport has been proposed in recent years and along with these new methods comes the need for a meaningful comparison. In this paper, we introduce a benchmark for discrete optimal transport, called DOTmark, which is designed to serve as a neutral collection of problems, where discrete optimal transport methods can be tested, compared to one another, and brought to their limits on large-scale instances. It consists of a variety of grayscale images, in various resolutions and classes, such as several types of randomly generated images, classical test images and real data from microscopy. Along with the DOTmark we present a survey and a performance test for a cross section of established methods ranging from more traditional algorithms, such as the transportation simplex, to recently developed approaches, such as the shielding neighborhood method, and including also a comparison with commercial solvers.


title: On the General Analytical Solution of the Kinematic Cosserat Equations

abstract: Based on a Lie symmetry analysis, we construct a closed form solution to the kinematic part of the (partial differential) Cosserat equations describing the mechanical behavior of elastic rods. The solution depends on two arbitrary analytical vector functions and is analytical everywhere except a certain domain of the independent variables in which one of the arbitrary vector functions satisfies a simple explicitly given algebraic relation. As our main theoretical result, in addition to the construction of the solution, we proof its generality. Based on this observation, a hybrid semi-analytical solver for highly viscous two-way coupled fluid-rod problems is developed which allows for the interactive high-fidelity simulations of flagellated microswimmers as a result of a substantial reduction of the numerical stiffness.


title: Optimal Attack Strategies Subject to Detection Constraints Against Cyber-Physical Systems

abstract: This paper studies an attacker against a cyber-physical system (CPS) whose goal is to move the state of a CPS to a target state while ensuring that his or her probability of being detected does not exceed a given bound. The attacker's probability of being detected is related to the nonnegative bias induced by his or her attack on the CPS' detection statistic. We formulate a linear quadratic cost function that captures the attacker's control goal and establish constraints on the induced bias that reflect the attacker's detection-avoidance objectives. When the attacker is constrained to be detected at the false-alarm rate of the detector, we show that the optimal attack strategy reduces to a linear feedback of the attacker's state estimate. In the case that the attacker's bias is upper bounded by a positive constant, we provide two algorithms -- an optimal algorithm and a sub-optimal, less computationally intensive algorithm -- to find suitable attack sequences. Finally, we illustrate our attack strategies in numerical examples based on a remotely-controlled helicopter under attack.


title: Power law cosmology model comparison with CMB scale information

abstract: Despite the ability of the cosmological concordance model ($\Lambda$CDM) to describe the cosmological observations exceedingly well, power law expansion of the Universe scale radius, $R(t)\propto t^n$, has been proposed as an alternative framework. We examine here these models, analyzing their ability to fit cosmological data using robust model comparison criteria. Type Ia supernovae (SNIa), baryonic acoustic oscillations (BAO) and acoustic scale information from the cosmic microwave background (CMB) have been used. We find that SNIa data either alone or combined with BAO can be well reproduced by both $\Lambda$CDM and power law expansion models with $n\sim 1.5$, while the constant expansion rate model $(n=1)$ is clearly disfavored. Allowing for some redshift evolution in the SNIa luminosity essentially removes any clear preference for a specific model. The CMB data are well known to provide the most stringent constraints on standard cosmological models, in particular, through the position of the first peak of the temperature angular power spectrum, corresponding to the sound horizon at recombination, a scale physically related to the BAO scale. Models with $n\geq 1$ lead to a divergence of the sound horizon and do not naturally provide the relevant scales for the BAO and the CMB. We retain an empirical footing to overcome this issue: we let the data choose the preferred values for these scales, while we recompute the ionization history in power law models, to obtain the distance to the CMB. In doing so, we find that the scale coming from the BAO data is not consistent with the observed position of the first peak of the CMB temperature angular power spectrum for any power law cosmology. Therefore, we conclude that when the three standard probes are combined, the $\Lambda$CDM model is very strongly favored over any of these alternative models, which are then essentially ruled out.


title: Measuring Masses in Semi-Invisible Final States at Electron-Positron Colliders

abstract: Mass measurement of a particle whose decay products including invisible particles is a challenging task at colliders. For a new physics model involving a dark matter candidate $N$ and a $Z_2$ symmetry that stabilizes it, a typical new process at $e^+e^-$ colliders is the pair production $e^+e^- \to Y\bar{Y}$ followed by decay processes $Y\to aN$ and $\bar{Y}\to b\bar{N}$, where $a$ and $b$ are visible but $N$ is invisible. In this work, we propose a new method to measure the physical masses in this topology by making use of the kinematic equations given by momentum-energy conservation and on-shell conditions. For each event, the solvability of these equations determines a limited region on the trial $m_Y$-$m_N$ plane. The edge of this region can be used to define two variables, $m_Y^\mathrm{edge}$ and $m_N^\mathrm{edge}$, whose distributions are utilized to derive the measurement values of $m_Y$ and $m_N$. The measurement deviations and uncertainties are also estimated after including detector effects and background contamination.


title: Differential Inequalities in Multi-Agent Coordination and Opinion Dynamics Modeling

abstract: Distributed algorithms of multi-agent coordination have attracted substantial attention from the research community; the simplest and most thoroughly studied of them are consensus protocols in the form of differential or difference equations over general time-varying weighted graphs. These graphs are usually characterized algebraically by their associated Laplacian matrices. Network algorithms with similar algebraic graph theoretic structures, called being of Laplacian-type in this paper, also arise in other related multi-agent control problems, such as aggregation and containment control, target surrounding, distributed optimization and modeling of opinion evolution in social groups. In spite of their similarities, each of such algorithms has often been studied using separate mathematical techniques. In this paper, a novel approach is offered, allowing a unified and elegant way to examine many Laplacian-type algorithms for multi-agent coordination. This approach is based on the analysis of some differential or difference inequalities that have to be satisfied by the some "outputs" of the agents (e.g. the distances to the desired set in aggregation problems). Although such inequalities may have many unbounded solutions, under natural graphic connectivity conditions all their bounded solutions converge (and even reach consensus), entailing the convergence of the corresponding distributed algorithms. In the theory of differential equations the absence of bounded non-convergent solutions is referred to as the equation's dichotomy. In this paper, we establish the dichotomy criteria of Laplacian-type differential and difference inequalities and show that these criteria enable one to extend a number of recent results, concerned with Laplacian-type algorithms for multi-agent coordination and modeling opinion formation in social groups.


title: Dark Matter in a Constrained $E_6$ Inspired SUSY Model

abstract: We investigate dark matter in a constrained $E_6$ inspired supersymmetric model with an exact custodial symmetry and compare with the CMSSM. The breakdown of $E_6$ leads to an additional $U(1)_N$ symmetry and a discrete matter parity. The custodial and matter symmetries imply there are two stable dark matter candidates, though one may be extremely light and contribute negligibly to the relic density. We demonstrate that a predominantly Higgsino, or mixed bino-Higgsino, neutralino can account for all of the relic abundance of dark matter, while fitting a 125 GeV SM-like Higgs and evading LHC limits on new states. However we show that the recent LUX 2016 limit on direct detection places severe constraints on the mixed bino-Higgsino scenarios that explain all of the dark matter. Nonetheless we still reveal interesting scenarios where the gluino, neutralino and chargino are light and discoverable at the LHC, but the full relic abundance is not accounted for. At the same time we also show that there is a huge volume of parameter space, with a predominantly Higgsino dark matter candidate that explains all the relic abundance, that will be discoverable with XENON1T. Finally we demonstrate that for the $E_6$ inspired model the exotic leptoquarks could still be light and within range of future LHC searches.


title: Unidimensional factor models imply weaker partial correlations than zero-order correlations

abstract: In a unidimensional factor model it is assumed that the set of indicators that loads on this factor are conditionally independent given the latent factor. Two indicators are, however, never conditionally independent given (a set of) other indicators that load on this factor, as this would require one of the indicators that is conditioned on to correlate one with the latent factor. Although partial correlations between two indicators given the other indicators can thus never equal zero (Holland and Rosenbaum, 1986), we show in this paper that the partial correlations do need to be always weaker than the zero-order correlations. More precisely, we prove that the partial correlation between two observed variables that load on one factor given all other observed variables that load on this factor, is always closer to zero than the zero-order correlation between these two variables.


title: Cubulating random groups in the square model

abstract: Our main result is that for densities $<\frac{3}{10}$ a random group in the square model has the Haagerup property and is residually finite. Moreover, we generalize the Isoperimetric Inequality, to some class of non-planar diagrams and, using this, we introduce a system of modified hypergraphs providing the structure of a space with walls on the Cayley complex of a random group. Then we show that the natural action of a random group on this space with walls is proper, which gives the proper action of a random group on a CAT(0) cube complex.


title: A system of state-dependent delay differential equation modelling forest growth II: boundedness of solutions

abstract: In this article we consider a class of state-dependent delay differential equations which is modelling the dynamics of the number of adult trees in forests. We prove the boundedness of solutions for a single species model as well as a two-species model.


title: Machine learning applied to single-shot x-ray diagnostics in an XFEL

abstract: X-ray free-electron lasers (XFELs) are the only sources currently able to produce bright few-fs pulses with tunable photon energies from 100 eV to more than 10 keV. Due to the stochastic SASE operating principles and other technical issues the output pulses are subject to large fluctuations, making it necessary to characterize the x-ray pulses on every shot for data sorting purposes. We present a technique that applies machine learning tools to predict x-ray pulse properties using simple electron beam and x-ray parameters as input. Using this technique at the Linac Coherent Light Source (LCLS), we report mean errors below 0.3 eV for the prediction of the photon energy at 530 eV and below 1.6 fs for the prediction of the delay between two x-ray pulses. We also demonstrate spectral shape prediction with a mean agreement of 97%. This approach could potentially be used at the next generation of high-repetition-rate XFELs to provide accurate knowledge of complex x-ray pulses at the full repetition rate.


title: Sobolev type inequalities, Euler-Hilbert-Sobolev and Sobolev-Lorentz-Zygmund spaces on homogeneous groups

abstract: We define Euler-Hilbert-Sobolev spaces and obtain embedding results on homogeneous groups using Euler operators, which are homogeneous differential operators of order zero. Sharp remainder terms of $L^{p}$ and weighted Sobolev type and Sobolev-Rellich inequalities on homogeneous groups are given. Most inequalities are obtained with best constants. As consequences, we obtain analogues of the generalised classical Sobolev type and Sobolev-Rellich inequalities. We also discuss applications of logarithmic Hardy inequalities to Sobolev-Lorentz-Zygmund spaces. The obtained results are new already in the anisotropic $\mathbb R^{n}$ as well as in the isotropic $\mathbb R^{n}$ due to the freedom in the choice of any homogeneous quasi-norm.


title: The oldest example of $\pi=3+1/8$ in Sumer: Calculation of the area of a circular plot

abstract: In this paper I shall show that the formula 0:4,48 times circumference squared for the area of a circle, which occurs in a few Babylonian mathematical texts, can be traced back to at the latest the twenty-third century BCE.


title: A note on measures vanishing at infinity

abstract: In this paper, we review the basic properties of measures vanishing at infinity and prove a version of the Riemann--Lebesgue lemma for Fourier transformable measures.


title: Study of Black Phosphorus Using Angle-Resolved Polarized Raman Spectroscopy with 442 nm Excitation

abstract: We investigated 10 to 200 nm thick black phosphorus flakes on SiO2/Si and polyimide substrates by Angle-resolved Polarized Raman spectra (ARPRS) using 442 nm excitation wavelength. The results revealed that ARPRS with 442 nm excitation can provide unambiguous, convenient, non-destructive and fast determination of BP's crystallographic orientation. The substrate and thickness dependencies of Raman spectra and Raman tensor elements were studied. These dependencies were shown to be influenced by Raman excitation laser heating effect. By comparing with in-situ Raman measurements at elevated temperatures, we were able to quantify the laser-heating effect, which is significant and hard to avoid for Raman measurements of BP on polyimide substrates due to the poor thermal conductivity of the substrate. Thermal processing by substrate heating was shown to have a significant impact on BP on SiO2/Si substrate, but not for BP on polyimide due to smaller thermal expansion mismatch. Our results give important insights on Raman Spectroscopy characterizations of BP on different substrates.


title: Deterministic parallel algorithms for fooling polylogarithmic juntas and the Lovasz Local Lemma

abstract: Many randomized algorithms can be derandomized efficiently using either the method of conditional expectations or probability spaces with low (almost-) independence. A series of papers, beginning with Luby (1993) and continuing with Berger & Rompel (1991) and Chari et al. (2000), showed that these techniques can be combined to give deterministic parallel algorithms for combinatorial optimization problems involving sums of $w$-juntas. We improve these algorithms through derandomized variable partitioning and a new code construction for fooling Fourier characters over $GF(2)$. This reduces the processor complexity to essentially independent of $w$ while the running time is reduced from exponential in $w$ to linear in $w$. As a key subroutine, we give a new algorithm to generate a probability space which can fool a given set of neighborhoods. Schulman (1992) gave an NC algorithm to do so for neighborhoods of size $w \leq O(\log n)$. Our new algorithm is NC1, with essentially optimal time and processor complexity, when $w = O(\log n)$; it remains NC up to $w = \text{polylog}(n)$. This answers an open problem of Schulman. One major application of these algorithms is an NC algorithm for the Lov\'{a}sz Local Lemma. Previous NC algorithms, including the seminal algorithm of Moser & Tardos (2010) and the work of Chandrasekaran et. al (2013), required that (essentially) the bad-events could span only $O(\log n)$ variables; we relax this to $\text{polylog}(n)$ variables. We use this for an $\text{NC}^2$ algorithm for defective vertex coloring, which works for arbitrary degree graphs.


title: Supercongruences involving Lucas sequences

abstract: For $A,B\in\mathbb Z$, the Lucas sequence $u_n(A,B)\ (n=0,1,2,\ldots)$ are defined by $u_0(A,B)=0$, $u_1(A,B)=1$, and $u_{n+1}(A,B) = Au_n(A,B)-Bu_{n-1}(A,B)$ $(n=1,2,3,\ldots).$ For any odd prime $p$ and positive integer $n$, we establish the new result $$\frac{u_{pn}(A,B) - (\frac{A^2-4B}p) u_n(A,B)}{pn} \in \mathbb Z_p,$$ where $(\frac{\cdot}p)$ is the Legendre symbol and $\mathbb Z_p$ is the ring of $p$-adic integers. Let $p$ be an odd prime and let $n$ be a positive integer. For any integer $m\not\equiv0\pmod p$, we show that $$\frac1{pn}\bigg(\sum_{k=0}^{pn-1} \frac{\binom{2k}k}{m^k} -\left(\frac{\Delta}p\right) \sum_{r=0}^{n-1}\frac{\binom{2r}r}{m^r}\bigg)\in\mathbb Z_p$$ and furthermore $$\frac1n\bigg(\sum_{k=0}^{pn-1} \frac{\binom{2k}k}{m^k} -\left(\frac{\Delta}p\right) \sum_{r=0}^{n-1}\frac{\binom{2r}r}{m^r}\bigg)\equiv \frac{\binom{2n-1}{n-1}}{m^{n-1}} u_{p-(\frac{\Delta}p)}(m-2,1) \pmod{p^2}$$ where $\Delta=m(m-4)$. We also pose some conjectures for further research.


title: Constellations of primes generated by twin primes

abstract: We study a special set of constellations of primes generated by twin primes.


title: Comparison of different eigensolvers for calculating vibrational spectra using low-rank, sum-of-product basis functions

abstract: Vibrational spectra and wavefunctions of polyatomic molecules can be calculated at low memory cost using low-rank sum-of-product (SOP) decompositions to represent basis functions generated using an iterative eigensolver. Using a SOP tensor format does not determine the iterative eigensolver. The choice of the interative eigensolver is limited by the need to restrict the rank of the SOP basis functions at every stage of the calculation. We have adapted, implemented and compared different reduced-rank algorithms based on standard iterative methods (block-Davidson algorithm, Chebyshev iteration) to calculate vibrational energy levels and wavefunctions of the 12-dimensional acetonitrile molecule. The effect of using low-rank SOP basis functions on the different methods is analyzed and the numerical results are compared with those obtained with the reduced rank block power method introduced in J. Chem. Phys. 140, 174111 (2014). Relative merits of the different algorithms are presented, showing that the advantage of using a more sophisticated method, although mitigated by the use of reduced-rank sum-of-product functions, is noticeable in terms of CPU time.


title: Scaling Limits for Partial Sums of Power Series

abstract: In this thesis we show that the partial sums of the Maclaurin series for a certain class of entire functions possess scaling limits in various directions in the complex plane. In doing so we obtain information about the zeros of the partial sums. We will only assume that these entire functions have a certain asymptotic behavior at infinity. With this information we will partially verify for this class of functions a conjecture on the location of the zeros of their partial sums known as the Saff-Varga Width Conjecture. The thesis begins by introducing the basics (and the not-so-basics) of the topic and includes a detailed survey of the relevant literature. The body of the thesis is then divided into chapters which look at different asymptotic regimes. Following that a chapter is dedicated to applying the results obtained to several well-known functions including the sine and cosine functions, Bessel functions, confluent hypergeometric functions, Airy functions, and parabolic cylinder functions. This chapter includes many figures which clearly illustrate the behavior we're interested in. The thesis closes with an appendix which aims to serve as an instructive introduction to the Laplace method of asymptotic analysis of integrals.


title: Valley splitting of single-electron Si MOS quantum dots

abstract: Silicon-based metal-oxide-semiconductor quantum dots are prominent candidates for high-fidelity, manufacturable qubits. Due to silicon's band structure, additional low-energy states persist in these devices, presenting both challenges and opportunities. Although the physics governing these valley states has been the subject of intense study, quantitative agreement between experiment and theory remains elusive. Here, we present data from a new experiment probing the valley states of quantum dot devices and develop a theory that is in quantitative agreement with both the new experiment and a recently reported one. Through sampling millions of realistic cases of interface roughness, our method provides evidence that, despite radically different processing, the valley physics between the two samples is essentially the same. This work provides the first evidence that valley splitting can be deterministically predicted and controlled in metal oxide semiconductor quantum dots, a critical requirement for such systems to realize a reliable qubit platform.


title: Photon Hall Scattering from Alkaline-earth-like atoms and Alkali-like ions

abstract: We investigate the possibility of observing a magneto-transverse scattering of photons from alkaline-earth-like atoms as well as alkali-like ions and provide orders of magnitude. The transverse magneto-scattering is physically induced by the interference between two possible quantum transitions of an outer electron in a S-state, one dispersive electric-dipole transition to a P-orbital state and a second resonant electric-quadrupole transition to a P-orbital state. In contrast with previous mechanisms proposed for such an atomic photonic Hall effect, no real photons are scattered by the electric-dipole allowed transition, which increases the ratio of Hall current to background photons significantly. The main experimental challenge is to overcome the small detection threshold, with only 10^{-5} photons scattered per atom per second.


title: Frobenius techniques in birational geometry

abstract: This is a survey for the 2015 AMS Summer Institute on Algebraic Geometry about the Frobenius type techniques recently used extensively in positive characteristic algebraic geometry. We first explain the basic ideas through simple versions of the fundamental definitions and statements, and then we survey most of the recent algebraic geometry results obtained using these techniques.


title: Control of the Oscillatory Interlayer Exchange Interaction with Terahertz Radiation

abstract: The oscillatory interlayer exchange interaction between two magnetic layers separated by a metallic spacer is one of the few coherent quantum phenomena that persist at room temperature. Here we show that this interaction can be controlled dynamically by illuminating the sample (e.g. a spin valve) with radiation in the 10-100 THz range. We predict that the exchange interaction can be changed from ferromagnetic to anti-ferromagnetic (and vice versa) by tuning the amplitude and/or the frequency of the radiation. Our chief theoretical result is an expression that relates the dynamical exchange interaction to the static one that has already been extensively measured.


title: On uniqueness sets for spaces of holomorphic functions

abstract: In this article are improved and refined some of our results prior to our recent article from the journal "Russian Mathematics (Izvestiya VUZ. Matematika)" in 2015 at the expense of our latest results in 2016 on lower estimates of subharmonic functions by the logarithm module nonzero holomorphic function.


title: Crossing the Road Without Traffic Lights: An Android-based Safety Device

abstract: In the absence of pedestrian crossing lights, finding a safe moment to cross the road is often hazardous and challenging, especially for people with visual impairments. We present a reliable low-cost solution, an Android device attached to a traffic sign or lighting pole near the crossing, indicating whether it is safe to cross the road. The indication can be by sound, display, vibration, and various communication modalities provided by the Android device. The integral system camera is aimed at approaching traffic. Optical flow is computed from the incoming video stream, and projected onto an influx map, automatically acquired during a brief training period. The crossing safety is determined based on a 1-dimensional temporal signal derived from the projection. We implemented the complete system on a Samsung Galaxy K-Zoom Android smartphone, and obtained real-time operation. The system achieves promising experimental results, providing pedestrians with sufficiently early warning of approaching vehicles. The system can serve as a stand-alone safety device, that can be installed where pedestrian crossing lights are ruled out. Requiring no dedicated infrastructure, it can be powered by a solar panel and remotely maintained via the cellular network.


title: Rotating Optical Tubes: An Archimedes' Screw for Atoms

abstract: The classical dynamics of a cold atom trapped inside a vertical rotating helical optical tube (HOT) is investigated by taking also into account the gravitational field. The resulting equations of motion are solved numerically. The rotation induces a vertical motion for an atom initially at rest. The motion is a result of the action of two inertial forces, namely the centrifugal force and the Coriolis force. Both inertial forces force the atom to rotate in a direction opposite to that of the angular velocity of the HOT. The frequency and the turning points of the atom's global oscillation can be controlled by the value and the direction of the angular velocity of the HOT. However, at large values of the angular velocity of the HOT the atom can escape from the global oscillation and be transported along the axis of the HOT. In this case, the rotating HOT operates as an Optical Archimedes' Screw (OAS) for atoms.


title: Flat SML modules and reflexive functors

abstract: We give some functorial characterizations of flat strict Mittag-Leffler modules. We characterize reflexive functors of modules with similar tools, definitions and theorems.


title: Generating functions for symmetric and shifted symmetric functions

abstract: We describe generating functions for several important families of classical symmetric functions and shifted Schur functions. The approach is originated from vertex operator realization of symmetric functions and offers a unified method to treat various families of symmetric functions and their shifted analogues.


title: Particle dynamics in self-generated dunes over a range of hydraulic and sediment transport conditions using LES--DEM

abstract: Direct measurement of vertical and longitudinal sediment fluxes on migrating sandy bedforms are extremely difficult to perform in both the field and laboratory. In this study we use the LES--DEM (large eddy simulation--discrete element method) solver SediFoam to examine the individual particle motions and resulting fluxes in a domain of self-generated dunes. In SediFoam, the motions of, and collisions among, the sediment grains as well as their interactions with surrounding turbulent flows are resolved. The numerical simulations are performed over a range of transport settings, spanning bedform inception through washout conditions, to examine the individual particle dynamics. The space-time evolution of dune surfaces is demonstrated. The self-generated dunes are stable at relatively low Reynolds numbers, but then become increasingly unstable at higher Reynolds numbers; eventually washing out as the number of bypass grains and particles in suspension increase. Data from the simulation are used to examine the vertical entrainment rate of particles and the fractionation of total sediment load into bed and suspended fractions as a function of transport conditions. The study also compares the sediment transport rate obtained using the bedform geometry and celerity to the true transport rate at different transport stages.


title: Continuous dependence and uniqueness for lateral Cauchy problems for linear integro-differential parabolic equations

abstract: Via Carleman estimates we prove uniqueness and continuous dependence results for lateral Cauchy problems for linear integro-differential parabolic equations without initial conditions. The additional information supplied prescribes the conormal derivative of the temperature on a relatively open subset of the lateral boundary of the space-time domain.


title: Strong anisotropy within a Heisenberg model in the J=1/2 insulating state of Sr2Ir0.8Ru0.2O4

abstract: The dispersive magnetic excitations in Sr2IrO4 have previously been well described within an isospin-1/2 Heisenberg model on a square lattice that revealed parallels with La2CuO4. Here we investigate the inelastic spectra of Sr2Ir0.8Ru0.2O4 with resonant inelastic x-ray scattering (RIXS) at the Ir L3-edge. The results are well described using linear spin-wave theory within a similar Heisenberg model applicable to Sr2IrO4, however the disorder induced by the substitution of 20% Ir4+ ions for Ru4+ removes longer range exchange interactions. A large spin-gap (40 meV) is measured indicating strong anisotropy from spin-orbit coupling that is manifest due to the altered magnetic structure in Sr2Ir0.8Ru0.2O4 with c-axis aligned moments compared to the basal plane moments in the parent. Collectively the results indicate the robustness of a Heisenberg model description even when the magnetic structure is altered and the J=1/2 moments diluted.


title: The Effective Field Theory of nonsingular cosmology

abstract: In this paper, we explore the nonsingular cosmology within the framework of the Effective Field Theory(EFT) of cosmological perturbations. Due to the recently proved no-go theorem, any nonsingular cosmological models based on the cubic Galileon suffer from pathologies. We show how the EFT could help us clarify the origin of the no-go theorem, and offer us solutions to break the no-go. Particularly, we point out that the gradient instability can be removed by using some spatial derivative operators in EFT. Based on the EFT description, we obtain a realistic healthy nonsingular cosmological model, and show the perturbation spectrum can be consistent with the observations.


title: Disconnecting structure and dynamics in glassy thin films

abstract: Nanometrically thin glassy films depart strikingly from the behavior of their bulk counterparts. We investigate whether the dynamical differences between bulk and thin film glasses can be understood by differences in local microscopic structure. We employ machine-learning methods that have previously identified strong correlations between local structure and particle rearrangement dynamics in bulk systems. We show that these methods completely fail to detect key aspects of thin-film glassy dynamics. Furthermore, we show that no combination of local structural features drawn from a very general set of two- and multi-point functions is able to distinguish between particles at the center of film and those in intermediate layers where the dynamics are strongly perturbed.


title: $SL(2, Z)$ invariant rotating $(m,n)$ strings in $AdS_3\times S^3$ with mixed flux

abstract: We study rigidly rotating and pulsating $(m,n)$ strings in $AdS_3 \times S^3$ with mixed three form flux. The $AdS_3 \times S^3$ background with mixed three form flux is obtained in the near horizon limit of $SL(2,Z)$-transformed solution, corresponding to the bound state of NS5-branes and fundamental strings. We study the probe $(m,n)-$string in this background by solving the manifest $SL(2,Z)-$covariant form of the action. We find out the dyonic giant magnon and single spike solutions corresponding to the equations of motion of a probe string in this background and find out various relationships among the conserved charges. We further study a class of pulsating $(m,n)$ string in $AdS_3$ with mixed three form flux.


title: On the Abundance Problem for $3$-folds in characteristic $p>5$

abstract: In this article we prove two cases of the abundance conjecture for $3$-folds in characteristic $p>5$: $(i)$ $(X, \Delta)$ is KLT and $\kappa(X, K_X+\Delta)=1$, and $(ii)$ $(X, 0)$ is KLT, $K_X\equiv 0$ and $X$ is not uniruled.


title: Runge-Kutta discontinuous Galerkin methods for the special relativistic magnetohydrodynamics

abstract: This paper develops $P^K$-based non-central and central Runge-Kutta discontinuous Galerkin (DG) methods with WENO limiter for the one- and two-dimensional special relativistic magnetohydrodynamical (RMHD) equations, $K=1,2,3$. The non-central DG methods are locally divergence-free, while the central DG are "exactly" divergence-free but have to find two approximate solutions defined on mutually dual meshes. The adaptive WENO limiter first identifies the "troubled" cells by using a modified TVB minmod function, and then uses the WENO technique to locally reconstruct a new polynomial of degree $(2K+1)$ inside the "troubled" cells replacing the DG solution by based on the cell average values of the DG solutions in the neighboring cells as well as the original cell averages of the "troubled" cells. The WENO limiting procedure does not destroy the locally or "exactly" divergence-free property of magnetic field and is only employed for finite "troubled" cells so that the computational cost can be as little as possible. Several test problems in one and two dimensions are solved by using our non-central and central Runge-Kutta DG methods with WENO limiter. The numerical results demonstrate that our methods are stable, accurate, and robust in resolving complex wave structures.


title: Finite atomic lattices and their monomial ideals

abstract: This paper primarily studies monomial ideals by their associated lcm-lattices. It first introduces notions of weak coordinatizations of finite atomic lattices which have weaker hypotheses than coordinatizations and shows the characterizations of all such weak coordinatizations. It then defines a finite super-atomic lattice in $\mathcal{L}(n)$, investigates the structures of $\mathcal{L}(n)$ by their super-atomic lattices and proposes an algorithm to calculate all the super-atomic lattices in $\mathcal{L}(n)$. It finally presents a specific labeling of finite atomic lattice and obtains the conditions that the specific labelings of finite atomic lattices are the weak coordinatizations or the coordinatizations by using the terminology of super-atomic lattices.


title: Complexity of syntactical tree fragments of Independence-Friendly logic

abstract: A dichotomy result of Sevenster (2014) completely classified the quantifier prefixes of regular Independence-Friendly (IF) logic according to the patterns of quantifier dependence they contain. On one hand, prefixes that contain "Henkin" or "signalling" patterns were shown to characterize fragments of IF logic that capture NP-complete problems; all the remaining prefixes were shown instead to be essentially first-order. In the present paper we develop the machinery which is needed in order to extend the results of Sevenster to non-prenex, regular IF sentences. This involves shifting attention from quantifier prefixes to a (rather general) class of syntactical tree prefixes. We partially classify the fragments of regular IF logic that are thus determined by syntactical trees; in particular, a) we identify three tree prefixes that are neither signalling nor Henkin, and yet express NP-complete problems and other second-order concepts; and b) we give more general criteria for checking the first-orderness of an IF sentence.


title: 1.3mm polarized emission in the circumstellar disk of a massive protostar

abstract: We present the first resolved observations of the 1.3mm polarized emission from the disk-like structure surrounding the high-mass protostar Cepheus A HW2. These CARMA data partially resolve the dust polarization, suggesting an uniform morphology of polarization vectors with an average position angle of 57 degrees and an average polarization fraction of 2.0%. The distribution of the polarization vectors can be attributed to (1) the direct emission of magnetically aligned grains of dust by a uniform magnetic field, or (2) the pattern produced by the scattering of an inclined disk. We show that both models can explain the observations, and perhaps a combination of the two mechanisms produce the polarized emission. A third model including a toroidal magnetic field does not match the observations. Assuming scattering is the polarization mechanism, these observations suggest that during the first few 10000 years of high-mass star formation, grain sizes can grow from 1 to several 10s micron.


title: A note on the multiplicative gamma process

abstract: Adaptive dimensionality reduction in high-dimensional problems is a key topic in statistics. The multiplicative gamma process takes a relevant step in this direction, but improved studies on its properties are required to ease implementation. This note addresses such aim.


title: From integral estimates of functions to uniformly and locally averaged

abstract: Problems pointwise estimates from above functions or its averages often arise in the function theory under known integral restrictions on the growth of this function. We offer an approach to such problems based on the integral Jensen's inequality with the convex function


title: Nonlinear modes disentangle glassy and Goldstone modes in structural glasses

abstract: One outstanding problem in the physics of glassy solids is understanding the statistics and properties of the low-energy excitations that stem from the disorder that characterizes these systems' microstructure. In this work we introduce a family of algebraic equations whose solutions represent collective displacement directions (modes) in the multi-dimensional configuration space of a structural glass. We explain why solutions of the algebraic equations, coined nonlinear glassy modes, are quasi-localized low-energy excitations. We present an iterative method to solve the algebraic equations, and use it to study the energetic and structural properties of a selected subset of their solutions constructed by starting from a normal mode analysis of the potential energy of a model glass. Our key result is that the structure and energies associated with harmonic glassy vibrational modes and their nonlinear counterparts converge in the limit of very low frequencies. As nonlinear modes never suffer hybridizations, our result implies that the presented theoretical framework constitutes a robust alternative definition of `soft glassy modes' in the thermodynamic limit, in which Goldstone modes overwhelm and destroy the identity of low-frequency harmonic glassy modes.


title: Remarks on the $\Gamma $-regularization of Non-convex and Non-semi-continuous Functions on Topological Vector Spaces

abstract: We show that the minimization problem of any non-convex and non-lower semi-continuous function on a compact convex subset of a locally convex real topological vector space can be studied via an associated convex and lower semi-continuous function $\Gamma \left( h\right) $. This observation uses the notion of $\Gamma $-regularization as a key ingredient. As an application we obtain, on any locally convex real space, a generalization of the Lanford III-Robinson theorem which has only been proven for separable real Banach spaces. The latter is a characterization of subdifferentials of convex continuous functions.


title: Finding Euler Tours in the StrSort Model

abstract: We present a first algorithm for finding Euler tours in undirected graphs in the StrSort model. This model is a relaxation of the semi streaming model. The graph is given as a stream of its edges and can only be read sequentially, but while doing a pass over the stream we are allowed to write out another stream which will be the input for the next pass. In addition, items in the stream are sorted between passes. This model was introduced by Aggarwal et al. in 2004. Here we apply this model to the problem of finding an Euler tour in a graph (or to decide that the graph does not admit an Euler tour). The algorithm works in two steps. In the first step, a single pass is conducted while a linear (in the number of vertices $n$) amount of RAM is required. In the second step, $\mathcal O(\log(n))$ passes are conducted while only $\mathcal O(\log(n))$ RAM is required. We use an alteration of the algorithm of Atallah and Vishkin from 1984 for finding Euler tours in parallel. It finds a partition of edge-disjoint circuits and arranges them in a tree expressing their connectivity. Then the circuits are merged according to this tree. In order to minimize the needed amount of RAM, we evade the need to store the entire tree and use techniques suggested by Aggarwal et al. to exchange information concerning the merging of circuits.


title: From integral estimates of functions to uniform. I. Exact versions

abstract: We give a general method to obtain from the integral restrictions of functions sharp pointwise and uniform estimates of these functions. This scheme is illustrated by the examples for Fock\,--\,Bargmann spaces of entire functions of several variables and Bergman spaces in balls and polydiscs.


title: Maximum entropy models capture melodic styles

abstract: We introduce a Maximum Entropy model able to capture the statistics of melodies in music. The model can be used to generate new melodies that emulate the style of the musical corpus which was used to train it. Instead of using the $n-$body interactions of $(n-1)-$order Markov models, traditionally used in automatic music generation, we use a $k-$nearest neighbour model with pairwise interactions only. In that way, we keep the number of parameters low and avoid over-fitting problems typical of Markov models. We show that long-range musical phrases don't need to be explicitly enforced using high-order Markov interactions, but can instead emerge from multiple, competing, pairwise interactions. We validate our Maximum Entropy model by contrasting how much the generated sequences capture the style of the original corpus without plagiarizing it. To this end we use a data-compression approach to discriminate the levels of borrowing and innovation featured by the artificial sequences. The results show that our modelling scheme outperforms both fixed-order and variable-order Markov models. This shows that, despite being based only on pairwise interactions, this Maximum Entropy scheme opens the possibility to generate musically sensible alterations of the original phrases, providing a way to generate innovation.


title: The strong Feller property for singular stochastic PDEs

abstract: We show that the Markov semigroups generated by a large class of singular stochastic PDEs satisfy the strong Feller property. These include for example the KPZ equation and the dynamical $\Phi^4_3$ model. As a corollary, we prove that the Brownian bridge measure is the unique invariant measure for the KPZ equation with periodic boundary conditions.


title: Sequential pattern formation governed by signaling gradients

abstract: Rhythmic and sequential segmentation of the embryonic body plan is a vital developmental patterning process in all vertebrate species. However, a theoretical framework capturing the emergence of dynamic patterns of gene expression from the interplay of cell oscillations with tissue elongation and shortening and with signaling gradients, is still missing. Here we show that a set of coupled genetic oscillators in an elongating tissue that is regulated by diffusing and advected signaling molecules can account for segmentation as a self-organized patterning process. This system can form a finite number of segments and the dynamics of segmentation and the total number of segments formed depend strongly on kinetic parameters describing tissue elongation and signaling molecules. The model accounts for existing experimental perturbations to signaling gradients, and makes testable predictions about novel perturbations. The variety of different patterns formed in our model can account for the variability of segmentation between different animal species.


title: Is psychosis caused by defective dissociation? An Artificial Life model for schizophrenia

abstract: Both neurobiological and environmental factors are known to play a role in the origin of schizophrenia, but no model has been proposed that accounts for both. This work presents a functional model of schizophrenia that merges psychodynamic elements with ingredients borrowed from the theory of psychological traumas, and evidences the interplay of traumatic experiences and defective mental functions in the pathogenesis of the disorder. Our model foresees that dissociation is a standard tool used by the mind to protect itself from emotional pain. In case of repeated traumas, the mind learns to adopt selective forms of dissociation to avoid pain without losing touch with external reality. We conjecture that this process is defective in schizophrenia, where dissociation is either too weak, giving rise to positive symptoms, or too strong, causing negative symptoms.


title: Uniform Avoidance Coupling of Simple Random Walks

abstract: We start by introducing avoidance coupling of Markov chains, with an overview of existing results. We then introduce and motivate a new notion, uniform avoidance coupling. We show that the only Markovian avoidance coupling on a cycle is of this type, and that uniform avoidance coupling of simple random walks is impossible on trees, and prove that it is possible on several classes of graphs. We also derive a condition on the vertex neighborhoods in a graph equivalent to that graph admitting a uniform avoidance coupling of simple random walks, and an algorithm that tests this with run time polynomial in the number of vertices.


title: Single-atom spectroscopy of phosphorus dopants implanted into graphene

abstract: One of the keys behind the success of the modern semiconductor technology has been the ion implantation of silicon, which allows its electronic properties to be tailored. For similar purposes, heteroatoms have been introduced into carbon nanomaterials both during growth and using post-growth methods. However, due to the nature of the samples, it has been challenging to determine whether the heteroatoms have been incorporated into the lattice as intended, with direct observations so far being limited to N and B dopants, and incidental Si impurities. Furthermore, ion implantation of these materials is more challenging due to the requirement of very low ion energies and atomically clean surfaces. Here, we provide the first atomic-resolution imaging and electron energy loss spectroscopy (EELS) evidence of phosphorus atoms incorporated into the graphene lattice by low-energy ion irradiation. The measured P L-edge response of an single-atom EELS spectrum map shows excellent agreement with an ab initio spectrum simulation, conclusively identifying the P in a buckled substitutional configuration. Our results demonstrate the viability of phosphorus as a lattice dopant in $sp^2$-bonded carbon structures and provide its unmistakeable fingerprint for further studies.


title: Reproducing pairs of measurable functions and partial inner product spaces

abstract: We continue the analysis of reproducing pairs of weakly measurable functions, which generalize continuous frames. More precisely, we examine the case where the defining measurable functions take their values in a partial inner product space (PIP spaces). Several examples, both discrete and continuous, are presented.


title: Computing All Distinct Squares in Linear Time for Integer Alphabets

abstract: Given a string on an integer alphabet, we present an algorithm that computes the set of all distinct squares belonging to this string in time linear to the string length. As an application, we show how to compute the tree topology of the minimal augmented suffix tree in linear time. Asides from that, we elaborate an algorithm computing the longest previous table in a succinct representation using compressed working space.


title: Quantum authentication with key recycling

abstract: We show that a family of quantum authentication protocols introduced in [Barnum et al., FOCS 2002] can be used to construct a secure quantum channel and additionally recycle all of the secret key if the message is successfully authenticated, and recycle part of the key if tampering is detected. We give a full security proof that constructs the secure channel given only insecure noisy channels and a shared secret key. We also prove that the number of recycled key bits is optimal for this family of protocols, i.e., there exists an adversarial strategy to obtain all non-recycled bits. Previous works recycled less key and only gave partial security proofs, since they did not consider all possible distinguishers (environments) that may be used to distinguish the real setting from the ideal secure quantum channel and secret key resource.


title: Finite-dimensional representations of minimal nilpotent W-algebras and zigzag algebras

abstract: Let $\frak g$ be a simple finite-dimensional Lie algebra over an algebraically closed field $\mathbb F$ of characteristic 0. We denote by $\operatorname{U}(\frak g)$ the universal enveloping algebra of $\frak g$. To any nilpotent element $e\in \frak g$ one can attach an associative (and noncommutative as a general rule) algebra $\operatorname{U}({\frak g},~e)$ which is in a proper sense a "tensor factor" of $\operatorname{U}(\frak g)$. In this article we consider the case in which $\frak g$ is simple and $e$ belongs of the minimal nonzero nilpotent orbit of $\frak g$. Under these assumptions $\operatorname{U}({\frak g}, e)$ was described explicitly in terms of generators and relations. One can expect that the representation theory of $\operatorname{U}({\frak g}, e)$ would be very similar to the representation theory of $\operatorname{U}(\frak g)$. For example one can guess that the category of finite-dimensional $\operatorname{U}({\frak g}, e)$-modules is semisimple. The goal of this article is to show that this is the case if $\frak g$ is not simply-laced. We also show that, if $\frak g$ is simply-laced and is not of type $A_n$, then the regular block of finite-dimensional $\operatorname{U}({\frak g}, e)$-modules is equivalent to the category of finite-dimensional modules of a zigzag algebra.


title: Long-time existence for Yang-Mills flow

abstract: We establish that finite-time singularities do not occur in four-dimensional Yang-Mills flow, confirming the conjecture of Schlatter, Struwe, and Tahvildar-Zadeh. The proof relies on a weighted energy identity and sharp decay estimates in the neck region.


title: Statistics of Robust Optimization: A Generalized Empirical Likelihood Approach

abstract: We study statistical inference and distributionally robust solution methods for stochastic optimization problems, focusing on confidence intervals for optimal values and solutions that achieve exact coverage asymptotically. We develop a generalized empirical likelihood framework---based on distributional uncertainty sets constructed from nonparametric $f$-divergence balls---for Hadamard differentiable functionals, and in particular, stochastic optimization problems. As consequences of this theory, we provide a principled method for choosing the size of distributional uncertainty regions to provide one- and two-sided confidence intervals that achieve exact coverage. We also give an asymptotic expansion for our distributionally robust formulation, showing how robustification regularizes problems by their variance. Finally, we show that optimizers of the distributionally robust formulations we study enjoy (essentially) the same consistency properties as those in classical sample average approximations. Our general approach applies to quickly mixing stationary sequences, including geometrically ergodic Harris recurrent Markov chains.


title: Perron's method for nonlocal fully nonlinear equations

abstract: This paper is concerned with existence of viscosity solutions of non-translation invariant nonlocal fully nonlinear equations. We construct a discontinuous viscosity solution of such nonlocal equation by Perron's method. If the equation is uniformly elliptic in the sense of \cite{SS}, we prove the discontinuous viscosity solution is H\"older continuous and thus it is a viscosity solution.


title: On the dynamic suction pumping of blood cells in tubular hearts

abstract: Around the third week after gestation in embryonic development, the human heart consists only of a valvless tube, unlike a fully developed adult heart, which is multi-chambered. At this stage in development, the heart valves have not formed and so net flow of blood through the heart must be driven by a different mechanism. It is hypothesized that there are two possible mechanisms that drive blood flow at this stage - Liebau pumping (dynamic suction pumping or valveless pumping) and peristaltic pumping. We implement the immersed boundary method with adaptive mesh refinement (IBAMR) to numerically study the effect of hematocrit on the circulation around a valveless. Both peristalsis and dynamic suction pumping are considered. In the case of dynamic suction pumping, the heart and circulatory system is simplified as a flexible tube attached to a relatively rigid racetrack. For some Womersley number (Wo) regimes, there is significant net flow around the racetrack. We find that the addition of flexible blood cells does not significantly affect flow rates within the tube for Wo $\leq$ 10. On the other hand, peristalsis consistently drives blood around the racetrack for all Wo and for all hematocrit considered.


title: Arithmetic expanders and deviation bounds for random tensors

abstract: We prove hypergraph variants of the celebrated Alon-Roichman theorem on spectral expansion of sparse random Cayley graphs. One of these variants implies that for every prime $p\geq 3$ and any $\varepsilon > 0$, there exists a set of directions $D\subseteq \mathbb{F}_p^n$ of size $O_{p,\varepsilon}(p^{(1-1/p +o(1))n})$ such that for every set $A\subseteq \mathbb{F}_p^n$ of density $\alpha$, the fraction of lines in $A$ with direction in $D$ is within $\varepsilon\alpha$ of the fraction of all lines in $A$. Our proof uses new deviation bounds for sums of independent random multi-linear forms taking values in a generalization of the Birkhoff polytope. The proof of our deviation bound is based on Dudley's integral inequality and a probabilistic construction of $\varepsilon$-nets. Using the polynomial method we prove that a Cayley hypergraph with edges generated by a set~$D$ as above requires $|D| \geq \Omega_p(n^{p-1})$ for (our notion of) spectral expansion for hypergraphs.


title: Electronic Properties of Nano and Molecular Quantum Devices

abstract: The exploring and understanding the electronic properties of molecules connected to metallic leads is a vital part of nanoscience if molecule is to have a future. This thesis documents a study for various families of organic and organometallic molecules, which offer unique concepts and new insights into the electronic properties of molecular junctions. Different families of molecules were studied using a combination of density functional theory DFT and nonequilibrium Greens function formalism of transport theory.The main results of this thesis are as follows. A quantum circuit rule for combining quantum interference effects in the conductive properties of oligo phenyleneethynylene OPE type molecules possessing three aromatic rings was investigated both theoretically and experimentally. The theoretical and experimental studies of conductance and the decay of conductance as a function of molecular length within a homologous series of oligoynes. The single molecule conductances of a series of bis-terpyridine complexes featuring Ru, Fe, and Co metal ions and trimethylsilylethynyl or thiomethyl surface contact groups have been determined theoretically and experimentally.


title: Elliptic Curves in Recreational Number Theory

abstract: Several problems which could be thought of as belonging to recreational mathematics are described. They are all such that solutions to the problem depend on finding rational points on elliptic curves. Many of the problems considered lead to the search for points of very large height on the curves, which (as yet) have not been found.


title: Observation of the spin-polarized surface state in a noncentrosymmetric superconductor BiPd

abstract: Recently, noncentrosymmetric superconductor BiPd has attracted considerable research interest due to the possibility of hosting topological superconductivity. Here we report a systematic high-resolution angle-resolved photoemission spectroscopy (ARPES) and spin-resolved ARPES study of the normal state electronic and spin properties of BiPd. Our experimental results show the presence of a surface state at higher-binding energy with the location of Dirac point at around 700 meV below the Fermi level. The detailed photon energy, temperature-dependent and spin-resolved ARPES measurements complemented by our first principles calculations demonstrate the existence of the spin polarized surface states at high-binding energy. The absence of such spin-polarized surface states near the Fermi level negates the possibility of a topological superconducting behavior on the surface. Our direct experimental observation of spin-polarized surface states in BiPd provides critical information that will guide the future search for topological superconductivity in noncentrosymmetric materials.