title: Control of helicity of high-harmonic radiation using bichromatic circularly polarized laser fields

abstract: High-harmonic generation in two-colour ($\omega-2\omega$) counter-rotating circularly polarised laser fields opens the path to generate isolated attosecond pulses and attosecond pulse trains with controlled ellipticity. The generated harmonics have alternating helicity, and the ellipticity of the generated attosecond pulse depends sensitively on the relative intensities of two adjacent, counter-rotating harmonic lines. For the $s$-type ground state, such as in Helium, the successive harmonics have nearly equal amplitude, yielding isolated attosecond pulses and attosecond pulse trains with linear polarisation, rotated by 120$^{{\circ}}$ from pulse to pulse. In this work, we suggest a solution to overcome the limitation associated with the $s$-type ground state. It is based on modifying the three propensity rules associated with the three steps of the harmonic generation process: ionisation, propagation, and recombination. We control the first step by seeding high harmonic generation with XUV light tuned well below the ionisation threshold, which generates virtual excitations with the angular momentum co-rotating with the $\omega$-field. We control the propagation step by increasing the intensity of the $\omega$-field relative to the $2\omega$-field, further enhancing the chance of the $\omega$-field being absorbed versus the $2\omega$-field, thus favouring the emission co-rotating with the seed and the $\omega-$field. We demonstrate our proposed control scheme using Helium atom as a target and solving time-dependent Schr{\"o}dinger equation in two and three-dimensions.


title: Non-contact Vital Signs Monitoring through Visible Light Sensing

abstract: This paper presents a non-contact vital signs (respiration and heartbeat) monitoring system that utilizes visible light sensing (VLS) technology. We have for the first time demonstrated the ability to wirelessly (non-contact) sense vital signs using only reflected incoherent light signals from a human subject. The VLS-based system is implemented by using simple visible light source, photodetector and data acquisition/processing unit, and is used with the developed signal processing algorithms to turn slight variations in reflected light power into accurate measurements of respiration and heart rate. To assess the accuracy of our method, the results were compared with reliable measurements using a contact-based monitoring device (ground truth). More than 94% of accuracy was observed in test results including both breathing and heartbeat rates in different scenarios as compared to the state-of-the-art baseline methods such as contact-based vitals monitoring devices. These competitive results have demonstrated that VLS-based vitals monitoring innovation is indeed a viable, powerful, attractive, low-cost and safe method. This study represents a substantive departure from the traditional ways of doing non-contact vitals monitoring methods (e.g., radio-frequency-based radars and imaging-based cameras) and is poised to make big contributions to this area. Since vital signs monitoring is a ubiquitous element of medicine, this work would also impact the entire health care community, from patients in their homes, to doctor's offices, to large medical institutions and industries. This technology has potential to address numerous conditions and situations in which vital signs are critical indicators such as sleep apnea and human-computer-interaction applications.


title: IP-Glasma Phenomenology Beyond 2D

abstract: We present a novel formulation of the IP-Glasma initial state model in 3+1D in which the 2+1D boost invariant IP-Glasma is generalized through JIMWLK rapidity evolution of the pre-collision Wilson lines \cite{Schenke:2016ksl}. In order to consistently accommodate a non-boost-invariant system, the initial conditions are generalized to 3+1D. By breaking boost invariance, the 3+1D model no longer trivially satisfies Gauss' law at the initial time, and we now enforce it locally. We compare the time evolution of the chromo-electric and chromo-magnetic fields as well as the transverse and longitudinal pressures in the 3+1D case with the boost invariant result.


title: About the lower bounds for the multiple testing problem

abstract: Given an observed random variable, consider the problem of recovering its distribution among a family of candidate ones. The two-point inequality, Fano's lemma and more recently an inequality due to Venkataramanan and Johnson (2018) allow to bound the maximal probability of error over the family from below. The aim of this paper is to give a very short and simple proof of all these results simultaneously and improve in passing the inequality of Venkataramanan and Johnson.


title: A Unified Framework for Sparse Relaxed Regularized Regression: SR3

abstract: Regularized regression problems are ubiquitous in statistical modeling, signal processing, and machine learning. Sparse regression in particular has been instrumental in scientific model discovery, including compressed sensing applications, variable selection, and high-dimensional analysis. We propose a broad framework for sparse relaxed regularized regression, called SR3. The key idea is to solve a relaxation of the regularized problem, which has three advantages over the state-of-the-art: (1) solutions of the relaxed problem are superior with respect to errors, false positives, and conditioning, (2) relaxation allows extremely fast algorithms for both convex and nonconvex formulations, and (3) the methods apply to composite regularizers such as total variation (TV) and its nonconvex variants. We demonstrate the advantages of SR3 (computational efficiency, higher accuracy, faster convergence rates, greater flexibility) across a range of regularized regression problems with synthetic and real data, including applications in compressed sensing, LASSO, matrix completion, TV regularization, and group sparsity. To promote reproducible research, we also provide a companion MATLAB package that implements these examples.


title: ViLDAR - Visible Light Sensing Based Speed Estimation using Vehicle's Headlamps

abstract: The introduction of light emitting diodes (LED) in automotive exterior lighting systems provides opportunities to develop viable alternatives to conventional communication and sensing technologies. Most of the advanced driver-assist and autonomous vehicle technologies are based on Radio Detection and Ranging (RADAR) or Light Detection and Ranging (LiDAR) systems that use radio frequency or laser signals, respectively. While reliable and real-time information on vehicle speeds is critical for traffic operations management and autonomous vehicles safety, RADAR or LiDAR systems have some deficiencies especially in curved road scenarios where the incidence angle is rapidly varying. In this paper, we propose a novel speed estimation system so-called the Visible Light Detection and Ranging (ViLDAR) that builds upon sensing visible light variation of the vehicle's headlamp. We determine the accuracy of the proposed speed estimator in straight and curved road scenarios. We further present how the algorithm design parameters and the channel noise level affect the speed estimation accuracy. For wide incidence angles, the simulation results show that the ViLDAR outperforms RADAR/LiDAR systems in both straight and curved road scenarios. A provisional patent (US#62/541,913) has been obtained for this work.


title: The Schr\"oder case of the generalized Delta conjecture

abstract: We prove the Schr\"oder case, i.e. the case $\langle \cdot,e_{n-d}h_d \rangle$, of the conjecture of Haglund, Remmel and Wilson (Haglund et al. 2018) for $\Delta_{h_m}\Delta_{e_{n-k-1}}'e_n$ in terms of decorated partially labelled Dyck paths, which we call \emph{generalized Delta conjecture}. This result extends the Schr\"oder case of the Delta conjecture proved in (D'Adderio, Vanden Wyngaerd 2017), which in turn generalized the $q,t$-Schr\"oder of Haglund (Haglund 2004). The proof gives a recursion for these polynomials that extends the ones known for the aforementioned special cases. Also, we give another combinatorial interpretation of the same polynomial in terms of a new bounce statistic. Moreover, we give two more interpretations of the same polynomial in terms of doubly decorated parallelogram polyominoes, extending some of the results in (D'Adderio, Iraci 2017), which in turn extended results in (Aval et al. 2014). Also, we provide combinatorial bijections explaining some of the equivalences among these interpretations.


title: Symmetric exclusion as a random environment: invariance principle

abstract: We establish an invariance principle for a one-dimensional random walk in a dynamical random environment given by a speed-change exclusion process. The jump probabilities of the walk depend on the configuration of the exclusion in a finite box around the walker. The environment starts from equilibrium. After a suitable space-time rescaling, the random walk converges to a sum of two independent processes, a Brownian motion and a Gaussian process with stationary increments.


title: Mesoscale modelling of soft flowing crystals

abstract: We outline the main ideas behind the numerical modelling of soft-flowing crystals, with special attention to their application to microfluidic devices for the design of novel mesoscale porous materials.


title: On the Gorensteinization of Schubert Varieties via Boundary Divisors

abstract: We will describe a one-step "Gorensteinization" process for a Schubert variety by blowing-up along its boundary divisor. The local question involves Kazhdan-Lusztig varieties which can be degenerated to affine toric schemes defined using the Stanley-Reisner ideal of a subword complex. The blow-up along the boundary in this toric case is in fact Gorenstein. We show that there exists a degeneration of the blow-up of the Kazhdan-Lusztig variety to this Gorenstein scheme, allowing us to extend this result to Schubert varieties in general. The potential use of this one-step Gorensteinization to describe the non-Gorenstein locus of Schubert varieties is discussed, as well as the relationship between Gorensteinizations and the convergence of the Nash blow-up process in the toric case.


title: Differential structure associated to axiomatic Sobolev spaces

abstract: The aim of this note is to explain in which sense an axiomatic Sobolev space over a general metric measure space (\`a la Gol'dshtein-Troyanov) induces - under suitable locality assumptions - a first-order differential structure.


title: Fredholm Groupoids and Layer Potentials on Conical Domains

abstract: We show that layer potential groupoids for conical domains constructed in an earlier paper (Carvalho-Qiao, Central European J. Math., 2013) are Fredholm groupoids, which enables us to deal with many analysis problems on singular spaces in a unified treatment. As an application, we obtain Fredholm criteria for operators on layer potential groupoids.


title: Stochastic Stability in Schelling's Segregation Model with Markovian Asynchronous Update

abstract: We investigate the dependence of steady-state properties of Schelling's segregation model on the agents' activation order. Our basic formalism is the Pollicott-Weiss version of Schelling's segregation model. Our main result modifies this baseline scenario by incorporating contagion in the decision to move: (pairs of) agents are connected by a second, agent influence network. Pair activation is specified by a random walk on this network. The considered schedulers choose the next pair nonadaptively. We can complement this result by an example of adaptive scheduler (even one that is quite fair) that is able to preclude maximal segregation. Thus scheduler nonadaptiveness seems to be required for the validity of the original result under arbitrary asynchronous scheduling. The analysis (and our result) are part of an adversarial scheduling approach we are advocating to evolutionary games and social simulations.


title: H\"older continuity for the Parabolic Anderson Model with space-time homogeneous Gaussian noise

abstract: In this article, we consider the Parabolic Anderson Model with constant initial condition, driven by a space-time homogeneous Gaussian noise, with general covariance function in time and spatial spectral measure satisfying Dalang's condition. First, we prove that the solution (in the Skorohod sense) exists and is continuous in $L^p(\Omega)$. Then, we show that the solution has a modification whose sample paths are H\"older continuous in space and time, with optimal exponents, and under the minimal condition on the spatial spectral measure of the noise (which is the same as the condition encountered in the case of the white noise in time). This improves similar results which were obtained in Hu, Huang, Nualart and Tindel (2015), and Song (2017) under more restrictive conditions, and with sub-optimal exponents for H\"older continuity.


title: Piecewise Deterministic Markov Processes and their invariant measures

abstract: Piecewise Deterministic Markov Processes (PDMPs) are studied in a general framework. First, different constructions are proven to be equivalent. Second, we introduce a coupling between two PDMPs following the same differential flow which implies quantitative bounds on the total variation between the marginal distributions of the two processes. Finally two results are established regarding the invariant measures of PDMPs. A practical condition to show that a probability measure is invariant for the associated PDMP semi-group is presented. In a second time, a bound on the invariant probability measures in $V$-norm of two PDMPs following the same differential flow is established. This last result is then applied to study the asymptotic bias of some non-exact PDMP MCMC methods.


title: WFIRST Coronagraph Technology Requirements: Status Update and Systems Engineering Approach

abstract: The coronagraphic instrument (CGI) on the Wide-Field Infrared Survey Telescope (WFIRST) will demonstrate technologies and methods for high-contrast direct imaging and spectroscopy of exoplanet systems in reflected light, including polarimetry of circumstellar disks. The WFIRST management and CGI engineering and science investigation teams have developed requirements for the instrument, motivated by the objectives and technology development needs of potential future flagship exoplanet characterization missions such as the NASA Habitable Exoplanet Imaging Mission (HabEx) and the Large UV/Optical/IR Surveyor (LUVOIR). The requirements have been refined to support recommendations from the WFIRST Independent External Technical/Management/Cost Review (WIETR) that the WFIRST CGI be classified as a technology demonstration instrument instead of a science instrument. This paper provides a description of how the CGI requirements flow from the top of the overall WFIRST mission structure through the Level 2 requirements, where the focus here is on capturing the detailed context and rationales for the CGI Level 2 requirements. The WFIRST requirements flow starts with the top Program Level Requirements Appendix (PLRA), which contains both high-level mission objectives as well as the CGI-specific baseline technical and data requirements (BTR and BDR, respectively)... We also present the process and collaborative tools used in the L2 requirements development and management, including the collection and organization of science inputs, an open-source approach to managing the requirements database, and automating documentation. The tools created for the CGI L2 requirements have the potential to improve the design and planning of other projects, streamlining requirement management and maintenance. [Abstract Abbreviated]


title: Quasi-abelian hearts of twin cotorsion pairs on triangulated categories

abstract: We prove that, under a mild assumption, the heart H of a twin cotorsion pair ((S,T),(U,V)) on a triangulated category C is a quasi-abelian category. If C is also Krull-Schmidt and T=U, we show that the heart of the cotorsion pair (S,T) is equivalent to the Gabriel-Zisman localisation of H at the class of its regular morphisms. In particular, suppose C is a cluster category with a rigid object R and [X_R] the ideal of morphisms factoring through X_R=Ker(Hom(R,-)), then applications of our results show that C/[X_R] is a quasi-abelian category. We also obtain a new proof of an equivalence between the localisation of this category at its class of regular morphisms and a certain subfactor category of C.


title: Hierarchical Reinforcement Learning Framework towards Multi-agent Navigation

abstract: In this paper, we propose a navigation algorithm oriented to multi-agent environment. This algorithm is expressed as a hierarchical framework that contains a Hidden Markov Model (HMM) and a Deep Reinforcement Learning (DRL) structure. For simplification, we term our method Hierarchical Navigation Reinforcement Network (HNRN). In high- level architecture, we train an HMM to evaluate the agent's perception to obtain a score. According to this score, adaptive control action will be chosen. While in low-level architecture, two sub-systems are introduced, one is a differential target- driven system, which aims at heading to the target; the other is a collision avoidance DRL system, which is used for avoiding dynamic obstacles. The advantage of this hierarchical structure is decoupling the target-driven and collision avoidance tasks, leading to a faster and more stable model to be trained. The experiments indicate that our algorithm has higher learning efficiency and rate of success than traditional Velocity Obstacle (VO) algorithms or hybrid DRL method.


title: Two family of explicit blowup solutions for 3D incompressible Navier-Stokes equations

abstract: In this paper, we give two family of explicit blowup solution for $3$D incompressible Navier-Stokes equations in $\RR^3$. Here one family of solutions admit the smooth initial data, and the initial data of another family of solutions are not smooth. The energy of those solutions is infinite.


title: Finite time blowup explicit solution for 3D incompressible Euler equations

abstract: This paper construct a family of explicit self-similar blowup axisymmetric solutions for the 3D incompressible Euler equations in R^3. Those singular solutions admit infinite energy.


title: Fractional differential inclusions with a new class of set-valued contractions

abstract: The aim of this study to investigate the existence of solutions for the following nonlocal integral boundary value problem of Caputo type fractional differential inclusions. To achieve our goals, we take advantage of fixed point theorems for multivalued mappings satisfying a new class of contractive conditions in the setting of complete metric spaces. We derive new fixed point results which extend and improve many results in the literature by means of this new class of contractions. We also supply some examples to support the new theory.


title: Motion Planning for Multiple Unit-Ball Robots in $\mathbb{R}^d$

abstract: We present a decoupled algorithm for motion planning for a collection of unit-balls moving among polyhedral obstacles in $\mathbb{R}^d$, for any $d \ge 2$. We assume that the robots have revolving areas in the vicinity of their start and target positions: Revolving areas are regions where robots can maneuver in order to give way to another moving robot. Given that this assumption is fulfilled, the algorithm is complete, namely it is guaranteed to find a solution or report that none exists. A key goal in our design is to make the revolving areas as economical as possible and in particular to allow different revolving areas to overlap. This makes the analysis rather involved but in return makes the algorithm conceptually fairly simple. We show that for the case of $m$ unit-discs moving among polygonal obstacles of total complexity $n$ in $\mathbb{R}^2$, the algorithm can be executed in $O(n^2m + m(m+n)\log(m+n))$ time. We implemented the algorithm for this case and tested it on several scenarios, for which we show experimental results for up to $1000$ robots. Finally, we address the problem of choosing the order of execution of the paths in decoupled algorithms that locally solve interferences and show that finding the optimal order of execution is NP-hard. This motivated us to develop a heuristic for choosing the order; we describe the heuristic and demonstrate its effectiveness in certain scenarios.


title: Nonlinear mechanics of triblock copolymer elastomers: from molecular simulations to network models

abstract: We introduce an entropic network model for copolymer elastomers based on the evolution of microscopic chain conformations during deformation. We show that the stress results from additive contributions due to chain stretch at the global as well as entanglement level. When these parameters are computed with molecular simulations, the theory quantitatively predicts the macroscopic stress response. The model requires only one elastic modulus to describe both physically crosslinked triblock networks and uncrosslinked homopolymers.


title: Molecular mobility in driven monomeric and polymeric glasses

abstract: We show that in monomeric supercooled liquids and glasses that are plastically flowing at a constant shear stress $\sigma$ while being deformed with strain rate $\dot{\epsilon}$, the microscopic structural relaxation time $\tau_{\rm str}$ is given by the universal relation $\sigma/G_\infty\dot{\epsilon}$ with $G_\infty$ a modulus. This equality holds for all rheological regimes from temperatures above the glass transition all the way to the athermal limit, and arises from the competing effects of elastic loading and viscous dissipation. In macromolecular (polymeric) glasses, however, the stress decouples from this relaxation time and $\tau_{\rm str}$ is in fact further reduced even though $\sigma$ rises during glassy strain hardening. We develop expressions to capture both effects and thus provide a framework for analyzing mobility measurements in glassy materials.


title: Vortices in vacuumless systems

abstract: We investigate the presence of vortex solutions in potentials without vacuum state. The study is conducted considering Maxwell and Chern-Simons dynamics. Also, we use a first order formalism that helps us to find the solutions and their respective electromagnetic fields and energy densities. As a bonus, we get to calculate the energy without knowing the explicit solutions. Even though the solutions present a large "tail" which goes far away from the origin, the magnetic flux remains a well defined topological invariant.


title: A Geo-Aware Server Assignment Problem for Mobile Edge Computing

abstract: As mobile devices have become the preferred tool for communication, work, and entertainment, traffic at the edge of the network is growing more rapidly than ever. To improve user experience, commodity servers are deployed in the edge to form a decentralized network of mini datacenters each serving a localized region. A challenge is how to place these servers geographically to maximize the offloading benefit and be close to the users they respectively serve. We introduce a formulation for this problem to serve applications that involve pairwise communication between mobile devices at different geolocations. We explore several heuristic solutions and compare them in an evaluation using both real-world and synthetic datasets.


title: Beyond the Born-Markov approximation: dissipative dynamics of a single qubit

abstract: We propose a numerical technique based on a combination of short-iterative Lanczos and exact diagonalization methods, suitable for simulating the time evolution of the reduced density matrix of a single qubit interacting with an environment. By choosing a mode discretization method and a flexible bath states truncation scheme, we are able to include in the physical description multiple-excitation processes, beyond weak coupling and Markov approximations. We apply our technique to the simulation of three different model Hamiltonians, which are relevant in the field of adiabatic quantum computation. We compare our results with those obtained on the basis of the widely used Lindblad master equation, as well as with well-known exact and approximated approaches. We show that our method is able to recover the thermodynamic behavior of the qubit-bath system, beyond the Born-Markov approximation. Finally, we show that even in the case of the adiabatic quantum annealing of a single qubit the bath can be beneficial in reaching the reduced system ground state.


title: A highly magnified gravitationally lensed red quasar at z = 2.5 with significant flux anomaly: Uncovering a missing population

abstract: We present the discovery of a gravitationally lensed dust-reddened QSO at $z=2.517$ discovered in a survey for red QSOs by infrared selection. $Hubble~Space~Telescope$ imaging in the WFC3/IR F160W and F125W filters reveals a quadruply lensed system in a cusp configuration. We find that compared to the central image of the cusp, the nearby, brightest image is anomalous by a factor of $\sim7-11$. Although the source is extremely bright in the mid-infrared, a magnification by a factor of $\sim50-120$ places an upper limit of 1.35 mJy on the intrinsic mid-infrared brightness, well below the $WISE~W4$ detection limit of 6 mJy. We find that this QSO is moderately reddened, with $E(B-V)=0.7$ and that $\sim1\%$ of the intrinsic spectrum is leaked back into the line of sight resulting in an upturn in its UV spectrum. We conclude that the QSO's reddening is intrinsic and not due to the lens. Consistent with previous red quasar samples, this source exhibits outflows in its spectrum as well as morphological properties suggestive of it being in a merger-driven transitional phase. Depending on how $L_{\rm bol}$ is computed, the quasar's accretion rate may be as high as $0.26~L_{\rm Edd}$. We detect two Lyman limit systems, at $z=2.102$ and $z=2.431$, with absorption by metal lines likely at small impact parameter to the QSO, and a putative lens redshift of $z=0.599$. Given the rarity of quad lenses, the discovery of this source allows detailed study of a less luminous, more typical infrared-selected quasar at high redshift.


title: Reionization in the dark and the light from Cosmic Microwave Background

abstract: We explore the constraints on the history of reionization from Planck 2015 Cosmic Microwave Background (CMB) data and we derive the forecasts for future CMB observations. We consider a class of monotonic histories of reionization as parametrized by two additional extra parameters with respect to the average optical depth used in the instantaneous reionization modeling. We investigate the degeneracies between the history of reionization and selected extensions of the standard cosmological model. In particular, we consider the degeneracies with the total mass of the neutrino sector and we discuss the possible correlation between the dark matter annihilation and the duration of reionization in the CMB. We use an extension to poly-reion model that was proposed in Hazra and Smoot, JCAP 1711, 028 (2017). We compare the constraints from Planck 2015 data with the predicted constraints from possible future CMB mission as LiteBIRD, and we also use the proposed CORE-like specifications as an example of what higher resolution can bring in addition. We find that the degeneracy between the average optical depth and the duration of reionization will be substantially removed by both concepts. Degeneracies between the reionization history and either the total neutrino mass and properties of dark matter annihilation will also be improved by future surveys. We find only marginal improvement in the constraints on reionization history for the higher resolution in the case of long duration of reionization.


title: Generalized ladder operators for the perturbed harmonic oscillator

abstract: In this paper, we construct corrections to the raising and lowering (i.e. ladder) operators for a quantum harmonic oscillator subjected to a polynomial type perturbation of any degree and to any order in perturbation theory. We apply our formalism to a couple of examples, namely q and p 4 perturbations, and obtain the explicit form of those operators. We also compute the expectation values of position and momentum for the above perturbations. This construction is essential for defining coherent and squeezed states for the perturbed oscillator. Furthermore, this is the first time that corrections to ladder operators for a harmonic oscillator with a generic perturbation and to an arbitrary order of perturbation theory have been constructed.


title: Construction of Regular Non-Atomic Strictly-Positive Measures in Second-Countable Non-Atomic Locally Compact Hausdorff Spaces

abstract: This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set functions defined recursively on an ascending sequence of rings of subsets with a premeasure limit that is extendable to a measure with the desired properties. Non-atomicity of the space provides a non-trivial way to ensure that the limit is a premeasure.


title: The Inverse First Passage Time Problem for killed Brownian motion

abstract: The classical inverse first passage time problem asks whether, for a Brownian motion $(B_t)_{t\geq 0}$ and a positive random variable $\xi$, there exists a barrier $b:\mathbb{R}_+\to\mathbb{R}$ such that $\mathbb{P}\{B_s>b(s), 0\leq s \leq t\}=\mathbb{P}\{\xi>t\}$, for all $t\geq 0$. We study a variant of the inverse first passage time problem for killed Brownian motion. We show that if $\lambda>0$ is a killing rate parameter and $\mathbb{1}_{(-\infty,0]}$ is the indicator of the set $(-\infty,0]$ then, under certain compatibility assumptions, there exists a unique continuous function $b:\mathbb{R}_+\to\mathbb{R}$ such that $\mathbb{E}\left[-\lambda \int_0^t \mathbb{1}_{(-\infty,0]}(B_s-b(s))\,ds\right] = \mathbb{P}\{\zeta>t\}$ holds for all $t\geq 0$. This is a significant improvement of a result of the first two authors (Annals of Applied Probability 24(1):1--33, 2014). The main difficulty arises because $\mathbb{1}_{(-\infty,0]}$ is discontinuous. We associate a semi-linear parabolic partial differential equation (PDE) coupled with an integral constraint to this version of the inverse first passage time problem. We prove the existence and uniqueness of weak solutions to this constrained PDE system. In addition, we use the recent Feynman-Kac representation results of Glau (Finance and Stochastics 20(4):1021--1059, 2016) to prove that the weak solutions give the correct probabilistic interpretation.


title: Specular-to-Diffuse Translation for Multi-View Reconstruction

abstract: Most multi-view 3D reconstruction algorithms, especially when shape-from-shading cues are used, assume that object appearance is predominantly diffuse. To alleviate this restriction, we introduce S2Dnet, a generative adversarial network for transferring multiple views of objects with specular reflection into diffuse ones, so that multi-view reconstruction methods can be applied more effectively. Our network extends unsupervised image-to-image translation to multi-view "specular to diffuse" translation. To preserve object appearance across multiple views, we introduce a Multi-View Coherence loss (MVC) that evaluates the similarity and faithfulness of local patches after the view-transformation. Our MVC loss ensures that the similarity of local correspondences among multi-view images is preserved under the image-to-image translation. As a result, our network yields significantly better results than several single-view baseline techniques. In addition, we carefully design and generate a large synthetic training data set using physically-based rendering. During testing, our network takes only the raw glossy images as input, without extra information such as segmentation masks or lighting estimation. Results demonstrate that multi-view reconstruction can be significantly improved using the images filtered by our network. We also show promising performance on real world training and testing data.


title: Electron trimer states in conventional superconductors

abstract: We expand the Cooper problem by including a third electron in an otherwise empty band. We demonstrate the formation of a trimer state of two electrons above the Fermi sea and the third electron, for sufficiently strong inter-band attractive interaction. We show that the critical interaction strength is the lowest for small Fermi velocities, large masses of the additional electron and large Debye energy. This trimer state competes with the formation of the two-electron Cooper pair, and can be created transiently via optical pumping.


title: Towards building a first northern-sky sample of 'Extremely Inverted Spectrum Extragalactic Radio Sources (EISERS)'

abstract: We present here an extension of our search for EISERS (Extremely Inverted Spectrum Extragalactic Radio Sources) to the northern hemisphere. With an inverted radio spectrum of slope $\alpha$ $>$ + 2.5, these rare sources would either require a non-standard particle acceleration mechanism (in the framework of synchrotron self-absorption hypothesis), or a severe free-free absorption which attenuates practically all of their synchrotron radiation at metre wavelengths. A list of 15 EISERS candidates is presented here. It was assembled by applying a sequence of selection filters, starting with the two available large-sky radio surveys, namely the WENSS (325 MHz) and the ADR-TGSS (150 MHz). These surveys offer the twin advantages of being fairly deep (typical rms $<$ 10 mJy/beam) and having a sub-arcminute resolution. Their zone of overlap spreads over 1.3$\pi$ steradian in the northern hemisphere. Radio spectra are presented for the entire sample of 15 EISERS candidates, of which 8 spectra are of GPS type. Eleven members of the sample are associated with previously known quasars. Information on the parsec-scale radio structure, available for several of these sources, is also summarized.


title: Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++

abstract: The C language is getting more and more popular as a design and verification language (DVL). SystemC, ParC [1] and Cx [2] are based on C. C-models of the design and verification environment can also be generated from new DVLs (e.g. Chisel [3]) or classical DVLs such as VHDL or Verilog. The execution of these models is usually license free and presumably faster than their alternative counterparts (simulators). This paper proposes activity-dependent, ordered, cycle-accurate (AOC) C-models to speed up simulation time. It compares the results with alternative concepts. The paper also examines the execution of the AOC C-model on a multithreaded processor environment.


title: Exact Algorithms and Lower Bounds for Stable Instances of Euclidean k-Means

abstract: We investigate the complexity of solving stable or perturbation-resilient instances of $k$-Means and $k$-Median clustering in fixed dimension Euclidean metrics (more generally doubling metrics). The notion of stable (perturbation resilient) instances was introduced by Bilu and Linial [2010] and Awasthi et al. [2012]. In our context we say a $k$-Means instance is $\alpha$-stable if there is a unique OPT which remains optimum if distances are (non-uniformly) stretched by a factor of at most $\alpha$. Stable clustering instances have been studied to explain why heuristics such as Lloyd's algorithm perform well in practice. In this work we show that for any fixed $\epsilon>0$, $(1+\epsilon)$-stable instances of $k$-Means in doubling metrics can be solved in polynomial time. More precisely we show a natural multiswap local search algorithm finds OPT for $(1+\epsilon)$-stable instances of $k$-Means and $k$-Median in a polynomial number of iterations. We complement this result by showing that under a new PCP theorem, this is essentially tight: that when the dimension d is part of the input, there is a fixed $\epsilon_0>0$ s.t. there is not even a PTAS for $(1+\epsilon_0)$-stable $k$-Means in $R^d$ unless NP=RP. To do this, we consider a robust property of CSPs; call an instance stable if there is a unique optimum solution $x^*$ and for any other solution $x'$, the number of unsatisfied clauses is proportional to the Hamming distance between $x^*$ and $x'$. Dinur et al. have already shown stable QSAT is hard to approximate for some constant Q, our hypothesis is simply that stable QSAT with bounded variable occurrence is also hard. Given this hypothesis we consider "stability-preserving" reductions to prove our hardness for stable k-Means. Such reductions seem to be more fragile than standard L-reductions and may be of further use to demonstrate other stable optimization problems are hard.


title: On the Identifiability of Finite Mixtures of Finite Product Measures

abstract: The problem of identifiability of finite mixtures of finite product measures is studied. A mixture model with $K$ mixture components and $L$ observed variables is considered, where each variable takes its value in a finite set with cardinality $M$.The variables are independent in each mixture component. The identifiability of a mixture model means the possibility of attaining the mixture components parameters by observing its mixture distribution. In this paper, we investigate fundamental relations between the identifiability of mixture models and the separability of their observed variables by introducing two types of separability: strongly and weakly separable variables. Roughly speaking, a variable is said to be separable, if and only if it has some differences among its probability distributions in different mixture components. We prove that mixture models are identifiable if the number of strongly separable variables is greater than or equal to $2K-1$, independent form $M$. This fundamental threshold is shown to be tight, where a family of non-identifiable mixture models with less than $2K-1$ strongly separable variables is provided. We also show that mixture models are identifiable if they have at least $2K$ weakly separable variables. To prove these theorems, we introduce a particular polynomial, called characteristic polynomial, which translates the identifiability conditions to identity of polynomials and allows us to construct an inductive proof.


title: A note on Inflation and the Swampland

abstract: We provide some comments about the constraints on the inflationary models inferred from the two Swampland criteria which have been recently proposed. In particular we argue that, in the absence of any knowledge about the origin of the adiabatic curvature perturbations, within the slow-roll single field models of inflation there is no tension between the swampland criteria and the current lower bound on the tensor-to-scalar ratio.


title: Timing Driven C-Slow Retiming on RTL for MultiCores on FPGAs

abstract: In this paper C-Slow Retiming (CSR) on RTL is discussed. CSR multiplies the functionality of cores by adding the same number of registers into each path. The technique is ideal for FPGAs with their already existing registers. Previously publications are limited to adding registers on netlist level, which generates a lot of system verification problems and which is assumed to be the major drawback to use this technology in the modern multicore times. The paper shows how CSR can efficiently be done with timing driven automatic RTL modification. The methodology provided with this paper can be used as guidance for using CSR in high level synthesis (HLS). The paper shows the results of a CSR-ed complex RISC core on RTL implemented on FPGAs.


title: Evidence of spin-phonon coupling in CrSiTe$_3$

abstract: We present the Raman scattering results on layered 2D semiconducting ferromagnetic compound CrSiTe$_3$. Four Raman active modes, predicted by symmetry, have been observed and assigned. The experimental results are supported by DFT calculations. The self-energies of the $A_g^3$ and the $E_g^3$ symmetry modes exhibit unconventional temperature evolution around 180 K. In addition, the doubly degenerate $E_g^3$ mode shows clear change of asymmetry in the same temperature region. The observed behavior is consistent with the presence of the previously reported short-range magnetic order and the strong spin-phonon coupling.


title: Arbitrage-Free Pricing of Game Options in Nonlinear Markets

abstract: The goal is to re-examine and extend the findings from the recent paper by Dumitrescu, Quenez and Sulem (2017) who studied game options within the nonlinear arbitrage-free pricing approach developed in El Karoui and Quenez (1997). We consider the setup introduced in Kim, Nie and Rutkowski (2018) where contracts of an American style were examined. We give a detailed study of unilateral pricing, hedging and exercising problems for the counterparties within a general nonlinear setup. We also present a BSDE approach, which is used to obtain more explicit results under suitable assumptions about solutions to doubly reflected BSDEs.


title: Differentially rotating neutron stars in scalar-tensor theories of gravity

abstract: We present the first numerical models of differentially rotating stars in alternative theories of gravity. We chose a particular class of scalar-tensor theories of gravity that is indistinguishable from GR in the weak field regime but can lead to significant deviations when strong fields are considered. We show that the maximum mass that a differentially rotating neutron star can sustain increases significantly for scalarized solutions and such stars can reach larger angular momenta. In addition, the presence of a nontrivial scalar field has the effect of increasing the required axis ratio for reaching a given value of angular momentum, when compared to a corresponding model of same rest mass in general relativity. We find that the scalar field also makes rapidly rotating models less quasi-toroidal than their general-relativistic counterparts. For large values of the angular momentum and values of the coupling parameter that are in agreement with the observations, we find a second turning point for scalarized models along constant angular momentum sequences, which could have interesting implications for the stability of remnants created in a binary neutron star merger.


title: Re-thinking CO adsorption on transition-metal surfaces: Density-driven error?

abstract: Adsorption of the molecule CO on metallic surfaces is an important unsolved problem in Kohn-Sham density functional theory (KS-DFT). We present a detailed study of carbon monoxide adsorption on fcc (111) surfaces of 3d, 4d and 5d metals using nonempirical semilocal density functionals for the exchange-correlation energy: the local-density approximation (LDA), two generalized gradient approximations or GGAs (PBE and PBEsol), and a meta-GGA (SCAN). The typical error pattern (as found earlier for free molecules and for free transition metal surfaces), in which results improve from LDA to PBE or PBEsol to SCAN, due to the satisfaction of more exact constraints, is not found here. Instead, for CO adsorption on transition metal surfaces, we find that, while SCAN overbinds much less than LDA, it overbinds slightly more than PBE. Moreover, the tested functionals often predict the wrong adsorption site, as first pointed out for LDA and GGA in the ``CO/Pt (111) puzzle". This abnormal pattern leads us to suspect that the errors of PBE and SCAN for this problem are density-driven self-interaction errors associated with incorrect charge transfer between molecule and metal surface. We point out that, by the variational principle, overbinding by an approximate functional would be reduced if that functional were applied not to its selfconsistent density for the adsorbed system but to an exact or more correct density for that system. Finally, we show for CO on Pt(111) that the site preference is corrected and the adsorption energy is improved for the PBE functional by using not the selfconsistent PBE density but a PBE+U density. The resulting correction to the PBE total energy is much larger for the adsorbed system than for its desorbed components, showing that the error is in the density of the adsorbed system. This seems to solve the ``CO/Pt (111) puzzle", in principle if not fully in practice.


title: Hydrodynamic Fluctuations in Relativistic Heavy-Ion Collisions

abstract: We present a novel approach to the treatment of thermal fluctuations in the (3+1)-D viscous hydrodynamic simulation MUSIC. The phenomenological impact of thermal fluctuations on hadronic observables is investigated using the IP-Glasma + hydrodynamics + hadronic cascade hybrid approach. The anisotropic flow observed in heavy-ion collision experiments is mostly attributed to the hydrodynamic response to the event-by-event collision geometry and to the sub-nucleon quantum fluctuations. However, hydrodynamic fluctuations are present during the dynamical evolution of the Quark Gluon Plasma (QGP) and are quantified by the fluctuation-dissipation theorem. They can leave their imprint on final-state observables. By analyzing the thermal noise mode-by-mode, we provide a consistent scheme of treating these fluctuations as the source terms for hydrodynamic fields. These source terms are then evolved together with hydrodynamic equations of motion. Such a treatment captures the non-perturbative nature of the evolution for these thermal fluctuations.


title: Free-View, 3D Gaze-Guided, Assistive Robotic System for Activities of Daily Living

abstract: Patients suffering from quadriplegia have limited body motion which prevents them from performing daily activities. We have developed an assistive robotic system with an intuitive free-view gaze interface. The user's point of regard is estimated in 3D space while allowing free head movement and is combined with object recognition and trajectory planning. This framework allows the user to interact with objects using fixations. Two operational modes have been implemented to cater for different eventualities. The automatic mode performs a pre-defined task associated with a gaze-selected object, while the manual mode allows gaze control of the robot's end-effector position on the user's frame of reference. User studies reported effortless operation in automatic mode. A manual pick and place task achieved a success rate of 100% on the users' first attempt.


title: Identification of Long-lived Charged Particles using Time-Of-Flight Systems at the Upgraded LHC detectors

abstract: We study the impact of picosecond precision timing detection systems on the LHC experiments' long-lived particle search program during the HL-LHC era. We develop algorithms that allow us to reconstruct the mass of such charged particles and perform particle identification using the time-of-flight measurement. We investigate the reach for benchmark scenarios as a function of the timing resolution, and find sensitivity improvement of up to a factor of ten, depending on the new heavy particle mass.


title: On Certain Reciprocal Sums

abstract: In this note we associate a sequence of non-negative integers to any convergent series of positive real numbers and study this sequence for the series $\sum_{n \geq 1} n^{-k}$ where $k$ is an integer $\geq 2$.


title: Supersymmetric Localization in GLSMs for Supermanifolds

abstract: In this paper we apply supersymmetric localization to study gauged linear sigma models (GLSMs) describing supermanifold target spaces. We use the localization method to show that A-twisted GLSM correlation functions for certain supermanifolds are equivalent to A-twisted GLSM correlation functions for hypersurfaces in ordinary spaces under certain conditions. We also argue that physical two-sphere partition functions are the same for these two types of target spaces. Therefore, we reproduce the claim of arXiv:hep-th/9404186, arXiv:hep-th/9506070. Furthermore, we explore elliptic genera and (0,2) deformations and find similar phenomena.


title: Plasmonic Helicity-Driven Detector of terahertz radiation

abstract: We develop a theory of the helicity driven nolinear dc response of gated two-dimensional electron gas to the terahertz radiation. We demonstrate that the helicity-sensitive part of the response dramatically increases in the vicinity of the plasmonic resonances and oscillates with the phase shift between excitation signals on the source and drain. The resonance line shape is an asymmetric function of the frequency deviation from the resonance. In contrast, the helicity-insensitive part of the response is symmetrical. These properties yield significant advantage for using plasmonic detectors as terahertz and far infrared spectrometers and interferometers.


title: Sensitivity of holographic ${\cal N}=4$ SYM plasma hydrodynamics to finite coupling corrections

abstract: Gauge theory/string theory holographic correspondence for ${\cal N}=4$ supersymmetric Yang-Mills theory is well under control in the planar limit, and for large (infinitely large) 't Hooft coupling, $\lambda\to \infty$. Certain aspects of the correspondence can be extended including ${\cal O}(\lambda^{-3/2})$ corrections. There are no reliable first principle computations of the ${\cal N}=4$ plasma non-equilibrium properties beyond the stated order. We show extreme sensitivity of the non-hydrodynamic spectra of holographic ${\cal N}=4$ SYM plasma to ${\cal O}(\lambda^{-3})$ corrections, challenging any conclusions reached from 'resummation' of ${\cal O}(\lambda^{-3/2})$ corrections.


title: Rigidity of singularities of 2D gravity water waves

abstract: We consider the Cauchy problem for the 2D gravity water wave equation. Recently Wu \cite{Wu15, Wu18} proved the local well-posedness of the equation in a regime which allows interfaces with angled crests as initial data. In this work we study properties of these singular solutions and prove that the singularities of these solutions are "rigid". More precisely we prove that an initial interface with angled crests remains angled crested, the Euler equation holds point-wise even on the boundary, the particle at the tip stays at the tip, the acceleration at the tip is the one due to gravity and the angle of the crest does not change nor does it tilt. We also show that the existence result of Wu \cite{Wu15} applies not only to interfaces with angled crests, but also allows certain types of cusps.


title: Multi-time-horizon Solar Forecasting Using Recurrent Neural Network

abstract: The non-stationarity characteristic of the solar power renders traditional point forecasting methods to be less useful due to large prediction errors. This results in increased uncertainties in the grid operation, thereby negatively affecting the reliability and increased cost of operation. This research paper proposes a unified architecture for multi-time-horizon predictions for short and long-term solar forecasting using Recurrent Neural Networks (RNN). The paper describes an end-to-end pipeline to implement the architecture along with the methods to test and validate the performance of the prediction model. The results demonstrate that the proposed method based on the unified architecture is effective for multi-horizon solar forecasting and achieves a lower root-mean-squared prediction error compared to the previous best-performing methods which use one model for each time-horizon. The proposed method enables multi-horizon forecasts with real-time inputs, which have a high potential for practical applications in the evolving smart grid.


title: Phase Transitions for Optimality Gaps in Optimal Power Flows A Study on the French Transmission Network

abstract: This paper investigates phase transitions on the optimality gaps in Optimal Power Flow (OPF) problem on real-world power transmission systems operated in France. The experimental results study optimal power flow solutions for more than 6000 scenarios on the networks with various load profiles, voltage feasibility regions, and generation capabilities. The results show that bifurcations between primal solutions and the QC, SOCP, and SDP relaxation techniques frequently occur when approaching congestion points. Moreover, the results demonstrate the existence of multiple bifurcations for certain scenarios when load demands are increased uniformly. Preliminary analysis on these bifurcations were performed.


title: Compound Metaoptics for Amplitude and Phase Control of Wavefronts

abstract: Metasurfaces allow tailored control over electromagnetic wavefronts. However, due to the local conservation of power flow, a passive, lossless, and reflectionless metasurface is limited to imparting phase discontinuities -- and not power density discontinuities -- onto a wavefront. Here, we show how the phase and power density profiles of a wavefront can be independently controlled using two closely-spaced, phase-discontinuous metasurfaces. The two metasurfaces, each designed to exhibit specific refractive properties, are separated by a wavelength-scale distance and together form a compound metaoptic. A systematic design procedure is presented, which allows transformation between arbitrary complex-valued field distributions without reflection, absorption, or active components. Such compound metaoptics may find applications in optical trapping of particles, displaying three-dimensional holographic images, shrinking the size of optical systems, or producing custom (shaped and steered) far-field radiation patterns.


title: Thermalization & hydrodynamics in Bjorken & Gubser flows

abstract: The dynamical scaling behavior of hydrodynamic and non-hydrodynamic moments of the distribution function is studied using third-order Chapman-Enskog hydrodynamics and anisotropic hydrodynamics for systems undergoing Bjorken and Gubser expansions, where exact solutions of the Boltzmann equation in Relaxation Time Approximation (RTA) are available for comparison. While dimensionless quantities like normalized shear, pressure anisotropy and normalized entropy show at late times universal scaling relations with small (large) Knudsen number for Bjorken (Gubser) flows, dimensionful quantities like the entropy per unit rapidity do not. Although the two hydrodynamic approximation schemes describe the exact attractors for normalized shear with high accuracy, their description for the normalized entropy is less precise. We attribute this to non-negligible couplings to non-hydrodynamic modes in the entropy evolution.


title: Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials

abstract: Optimization over non-negative polynomials is fundamental for nonlinear systems analysis and control. We investigate the relation between three tractable relaxations for optimizing over sparse non-negative polynomials: sparse sum-of-squares (SSOS) optimization, diagonally dominant sum-of-squares (DSOS) optimization, and scaled diagonally dominant sum-of-squares (SDSOS) optimization. We prove that the set of SSOS polynomials, an inner approximation of the cone of SOS polynomials, strictly contains the spaces of sparse DSOS/SDSOS polynomials. When applicable, therefore, SSOS optimization is less conservative than its DSOS/SDSOS counterparts. Numerical results for large-scale sparse polynomial optimization problems demonstrate this fact, and also that SSOS optimization can be faster than DSOS/SDSOS methods despite requiring the solution of semidefinite programs instead of less expensive linear/second-order cone programs.


title: Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks

abstract: Probabilistic representations, such as Bayesian and Markov networks, are fundamental to much of statistical machine learning. Thus, learning probabilistic representations directly from data is a deep challenge, the main computational bottleneck being inference that is intractable. Tractable learning is a powerful new paradigm that attempts to learn distributions that support efficient probabilistic querying. By leveraging local structure, representations such as sum-product networks (SPNs) can capture high tree-width models with many hidden layers, essentially a deep architecture, while still admitting a range of probabilistic queries to be computable in time polynomial in the network size. The leaf nodes in SPNs, from which more intricate mixtures are formed, are tractable univariate distributions, and so the literature has focused on Bernoulli and Gaussian random variables. This is clearly a restriction for handling mixed discrete-continuous data, especially if the continuous features are generated from non-parametric and non-Gaussian distribution families. In this work, we present a framework that systematically integrates SPN structure learning with weighted model integration, a recently introduced computational abstraction for performing inference in hybrid domains, by means of piecewise polynomial approximations of density functions of arbitrary shape. Our framework is instantiated by exploiting the notion of propositional abstractions, thus minimally interfering with the SPN structure learning module, and supports a powerful query interface for conditioning on interval constraints. Our empirical results show that our approach is effective, and allows a study of the trade off between the granularity of the learned model and its predictive power.


title: An improved dimensional threshold for the angle problem

abstract: The Falconer distinct distance problem asks for a compact set $E\subset\mathbb{R}^d$ how large its Hausdorff dimension needs to be to ensure that the Lebesgue measure of its distance set is positive. In this paper we consider the analogous question for the set of angles. We show that if the Hausdorff dimension of $E$ is strictly bigger than $\frac{d}{2}$ then the Lebesgue measure of the angles set is positive. In the plane this result was previously established by Harangi et al. In higher dimensions, our exponent improves the $\frac{d+1}{2}$ threshold previously obtain by the authors of this paper and Mihalis Mourgoglou. We do not know what the right dimensional threshold should be in higher dimensions.


title: Non-separable Nearest-Neighbor Gaussian Process Model for Antarctic Surface Mass Balance and Ice Core Site Selection

abstract: Surface mass balance (SMB) is an important factor in the estimation of sea level change, and data are collected to estimate models for prediction of SMB over the Antarctic ice sheets. Using a quality-controlled aggregate dataset of SMB field measurements with significantly more observations than previous analyses, a fully Bayesian nearest-neighbor Gaussian process model is posed to estimate Antarctic SMB and propose new field measurement locations. A corresponding Antarctic SMB map is rendered using this model and is compared with previous estimates. A prediction uncertainty map is created to identify regions of high SMB uncertainty. The model estimates net SMB to be 2345 Gton $\text{yr}^{-1}$, with 95% credible interval (2273,2413) Gton $\text{yr}^{-1}$. Overall, these results suggest lower Antarctic SMB than previously reported. Using the model's uncertainty quantification, we propose 25 new measurement sites for field study utilizing a design to minimize integrated mean squared error.


title: No Net Charge Separation in Hot QCD in a Magnetic Field

abstract: We study the realization of axion electrodynamics in QCD in the presence of a background magnetic field at temperatures high enough for the occurrence of topological charge transitions that are reflected in the presence of a $\theta$-vacuum term in the action. We show that in this system, the Maxwell equations contain two equal and opposite electric currents that are proportional to the time derivative of the axion field $\theta$. One of these currents comes directly from the Abelian chiral anomaly term in the action and can be interpreted as a polarization current due to the magnetoelectricity of the system with CP-broken symmetry. The other current is obtained from the regular tadpole diagrams and can be understood as produced by the medium chiral imbalance and the single spin projection of the quarks in the lowest Landau level. Since the two currents cancel out, the net electric charge separation along the magnetic field, a phenomenon known as the Chiral Magnetic Effect, does not take place in hight-T QCD at least in equilibrium, in sharp contrast with many claims in the literature. We discuss the similarities and differences with Weyl semimetals in a magnetic field.


title: Effects of Distributed Roughness on Crossflow Instability through Generalized Resonance Mechanisms

abstract: Experiments have shown that micron-sized distributed surface roughness can significantly promote transition in a three-dimensional boundary layer dominated by crossflow insta- bility. This sensitive effect has not yet been fully explained physically and mathematically. Unlike past researches focusing on the receptivity of the boundary layer to surface roughness, or on the local stability of the modified mean flow, this paper seeks possible inherent mechanisms by investigating the effects of distributed surface roughness on crossflow instability through resonant interactions with eigenmodes. A key observation is that the perturbation induced by roughness with specific wavenumbers can interact with two eigenmodes (travelling and stationary vortices) through triadic resonance, or interact with one eigenmode (stationary vortices) through Bragg scattering. Unlike the usual triadic resonance of neutral, or nearly neutral, eigenmodes, the present triadic resonance can take place among modes with O(1) growth rates, provided that these are equal; unlike the usual Bragg scattering involving neutral waves, crossflow stationary vortices can also be unstable. For these amplifying waves, the generalized triadic resonance and Bragg scattering are put forward, and the resulting corrections to the growth rates are derived by a multiple-scale method. The analysis is extended to the case where up to four crossflow vortices interact with each other in the presence of suitable roughness components. The numerical results for Falkner-Skan-Cooke boundary layers show that roughness with a small height (a few percent of the local boundary-layer thickness) can change growth rates substantially (by a more-or-less O(1) amount)....


title: Idempotent means on free binary systems do not exist

abstract: Free binary systems are shown to not admit idempotent means. This refutes a conjecture of the author. It is also shown that the extension of Hindman's theorem to nonassociative binary systems formulated and conjectured by the author is false.


title: The ER(2)-cohomology of X^nCP^\infty and BU(n)

abstract: We continue the development of the computability of the second real Johnson-Wilson theory. As ER(2) is not complex orientable, this gives some difficulty even with basic spaces. In this paper we compute the second real Johnson-Wilson theory for products of infinite complex projective spaces and for the classifying spaces for the unitary groups.


title: The Cohomology Annihilator of a Curve Singularity

abstract: The aim of this paper is to study the theory of cohomology annihilators over commutative Gorenstein rings. We adopt a triangulated category point of view and study the annihilation of stable category of maximal Cohen-Macaulay modules. We prove that in dimension one the cohomology annihilator ideal and the conductor ideal coincide under mild assumptions. We present a condition on a ring homomorphism between Gorenstein rings which allows us to carry the cohomology annihilator of the domain to that of the codomain. As an application, we generalize the Milnor-Jung formula for algebraic curves to their double branched covers. We also show that the cohomology annihilator of a Gorenstein local ring is contained in the cohomology annihilator of its Henselization and in dimension one the cohomology annihilator of its completion. Finally, we investigate a relation between the cohomology annihilator of a Gorenstein ring and stable annihilators of its noncommutative resolutions.


title: Degree Correlations Amplify the Growth of Cascades in Networks

abstract: Networks facilitate the spread of cascades, allowing a local perturbation to percolate via interactions between nodes and their neighbors. We investigate how network structure affects the dynamics of a spreading cascade. By accounting for the joint degree distribution of a network within a generating function framework, we can quantify how degree correlations affect both the onset of global cascades and the propensity of nodes of specific degree class to trigger large cascades. However, not all degree correlations are equally important in a spreading process. We introduce a new measure of degree assortativity that accounts for correlations among nodes relevant to a spreading cascade. We show that the critical point defining the onset of global cascades has a monotone relationship to this new assortativity measure. In addition, we show that the choice of nodes to seed the largest cascades is strongly affected by degree correlations. Contrary to traditional wisdom, when degree assortativity is positive, low degree nodes are more likely to generate largest cascades. Our work suggests that it may be possible to tailor spreading processes by manipulating the higher-order structure of networks.


title: Codes with hierarchical locality from covering maps of curves

abstract: Locally recoverable (LRC) codes provide ways of recovering erased coordinates of the codeword without having to access each of the remaining coordinates. A subfamily of LRC codes with hierarchical locality (H-LRC codes) provides added flexibility to the construction by introducing several tiers of recoverability for correcting different numbers of erasures. We present a general construction of codes with 2-level hierarchical locality from maps between algebraic curves and specialize it to several code families obtained from quotients of curves by a subgroup of the automorphism group, including rational, elliptic, Kummer, and Artin-Schreier curves. We further address the question of H-LRC codes with availability, and suggest a general construction of such codes from fiber products of curves. Detailed calculations of parameters for H-LRC codes with availability are performed for Reed-Solomon- and Hermitian-like code families. Finally, we construct asymptotically good families of H-LRC codes from curves related to the Garcia-Stichtenoth tower.


title: A family of freely slice good boundary links

abstract: We show that every good boundary link with a pair of derivative links on a Seifert surface satisfying a homotopically trivial plus assumption is freely slice. This subsumes all previously known methods for freely slicing good boundary links with two or more components, and provides new freely slice links.


title: Strong factorization and the braid arrangement fan

abstract: We establish strong factorization for pairs of smooth fans which are refined by the braid arrangement fan. Our method uses a correspondence between cones and preposets.


title: Compact actions whose orbit equivalence relations are not profinite

abstract: Let $\Gamma\curvearrowright (X,\mu)$ be a measure preserving action of a countable group $\Gamma$ on a standard probability space $(X,\mu)$. We prove that if the action $\Gamma\curvearrowright X$ is not profinite and satisfies a certain spectral gap condition, then there does not exist a countable-to-one Borel homomorphism from its orbit equivalence relation to the orbit equivalence relation of any modular action (i.e., an inverse limit of actions on countable sets). As a consequence, we show that if $\Gamma$ is a countable dense subgroup of a compact non-profinite group $G$ such that the left translation action $\Gamma\curvearrowright G$ has spectral gap, then $\Gamma\curvearrowright G$ is antimodular and not orbit equivalent to any, {\it not necessarily free}, profinite action. This provides the first such examples of compact actions, partially answering a question of Kechris and answering a question of Tsankov.


title: Linear Programming Based Near-Optimal Pricing for Laminar Bayesian Online Selection

abstract: The Bayesian online selection problem aims to design a pricing scheme for a sequence of arriving buyers that maximizes the expected social welfare (or revenue) subject to different structural constraints. Inspired by applications with a hierarchy of service, this paper focuses on the cases where a laminar matroid characterizes the set of served buyers. We give the first Polynomial-Time Approximation Scheme (PTAS) for the problem when the laminar matroid has constant depth. Our approach is based on rounding the solution of a hierarchy of linear programming relaxations that approximate the optimum online solution with any degree of accuracy, plus a concentration argument showing that rounding incurs a small loss. We also study another variation, which we call the production-constrained problem. The allowable set of served buyers is characterized by a collection of production and shipping constraints that form a particular example of a laminar matroid. Using a similar LP-based approach, we design a PTAS for this problem, although in this special case the depth of the underlying laminar matroid is not necessarily a constant. The analysis exploits the negative dependency of the optimum selection rule in the lower levels of the laminar family. Finally, to demonstrate the generality of our technique, we employ the linear programming-based approach employed in the paper to re-derive some of the classic prophet inequalities known in the literature -- as a side result.


title: A salt and pepper noise image denoising method based on the generative classification

abstract: In this paper, an image denoising algorithm is proposed for salt and pepper noise. First, a generative model is built on a patch as a basic unit and then the algorithm locates the image noise within that patch in order to better describe the patch and obtain better subsequent clustering. Second, the algorithm classifies patches using a generative clustering method, thus providing additional similarity information for noise repair and suppressing the interference of noise, abandoning those categories that consist of a smaller number of patches. Finally, the algorithm builds a non-local switching filter to remove the salt and pepper noise. Simulation results show that the proposed algorithm effectively denoises salt and pepper noise of various densities. It obtains a better visual quality and higher peak signal-to-noise ratio score than several state-of-the-art algorithms. In short, our algorithm uses a noisy patch as the basic unit, a patch clustering method to optimize the repair data set as well as obtain a better denoising effect, and provides a guideline for future denoising and repair methods.


title: The timestep constraint in solving the gravitational wave equations sourced by hydromagnetic turbulence

abstract: Hydromagnetic turbulence produced during phase transitions in the early universe can be a powerful source of stochastic gravitational waves (GWs). GWs can be modelled by the linearised spatial part of the Einstein equations sourced by the Reynolds and Maxwell stresses. We have implemented two different GW solvers into the {\sc Pencil Code} -- a code which uses a third order timestep and sixth order finite differences. Using direct numerical integration of the GW equations, we study the appearance of a numerical degradation of the GW amplitude at the highest wavenumbers, which depends on the length of the timestep -- even when the Courant--Friedrichs--Lewy condition is ten times below the stability limit. This degradation leads to a numerical error, which is found to scale with the third power of the timestep. A similar degradation is not seen in the magnetic and velocity fields. To mitigate numerical degradation effects, we alternatively use the exact solution of the GW equations under the assumption that the source is constant between subsequent timesteps. This allows us to use a much longer timestep, which cuts the computational cost by a factor of about ten.

categories: physics.flu-dyn astro-ph.CO gr-qc physics.comp-ph


title: Depletion of 15N in the center of L1544: Early transition from atomic to molecular nitrogen?

abstract: We performed sensitive observations of the N15ND+(1-0) and 15NND+(1-0) lines toward the prestellar core L1544 using the IRAM 30m telescope. The lines are not detected down to 3 sigma levels in 0.2 km/s channels of around 6 mK. The non-detection provides the lower limit of the 14N/15N ratio for N2D+ of ~700-800, which is much higher than the elemental abundance ratio in the local ISM of ~200-300. The result indicates that N2 is depleted in 15N in the central part of L1544, because N2D+ preferentially traces the cold dense gas, and because it is a daughter molecule of N2. In-situ chemistry is unlikely responsible for the 15N depletion in N2; neither low-temperature gas phase chemistry nor isotope selective photodissociation of N2 explains the 15N depletion; the former prefers transferring 15N to N2, while the latter requires the penetration of interstellar FUV photons into the core center. The most likely explanation is that 15N is preferentially partitioned into ices compared to 14N via the combination of isotope selective photodissociation of N2 and grain surface chemistry in the parent cloud of L1544 or in the outer regions of L1544 which are not fully shielded from the interstellar FUV radiation. The mechanism is the most efficient at the chemical transition from atomic to molecular nitrogen. In other words, our result suggests that the gas in the central part of L1544 already went trough the transition from atomic to molecular nitrogen in the earlier evolutionary stage, and that N2 is currently the primary form of gas-phase nitrogen.


title: On-Top Density in the Nonlinear Metallic Screening and its Implication on the Exchange-Correlation Energy Functional

abstract: In comparison with the accurate data on the on-top electron density n(0) in the proton-embedded electron gas with the density parameter r_s in the range 1-12 obtained by diffusion Monte Carlo (DMC) simulations, we have successfully constructed an alternative form of the exchange-correlation energy functional in the density functional theory by imposing the constraint due to the cusp theorem on the well-known Perdew-Burke-Ernzerhof (PBE) functional. Although PBE does not, our functional, referred to as the cusp-corrected PBE (ccPBE), reproduces the DMC data on n(0) in the entire range of r_s.


title: Near Real-time Hippocampus Segmentation Using Patch-based Canonical Neural Network

abstract: Over the past decades, state-of-the-art medical image segmentation has heavily rested on signal processing paradigms, most notably registration-based label propagation and pair-wise patch comparison, which are generally slow despite a high segmentation accuracy. In recent years, deep learning has revolutionalized computer vision with many practices outperforming prior art, in particular the convolutional neural network (CNN) studies on image classification. Deep CNN has also started being applied to medical image segmentation lately, but generally involves long training and demanding memory requirements, achieving limited success. We propose a patch-based deep learning framework based on a revisit to the classic neural network model with substantial modernization, including the use of Rectified Linear Unit (ReLU) activation, dropout layers, 2.5D tri-planar patch multi-pathway settings. In a test application to hippocampus segmentation using 100 brain MR images from the ADNI database, our approach significantly outperformed prior art in terms of both segmentation accuracy and speed: scoring a median Dice score up to 90.98% on a near real-time performance (<1s).


title: Diffuson-driven Ultralow Thermal Conductivity in Amorphous Nb2O5 Thin Films

abstract: Niobium pentoxide (Nb2O5) has been extensively reported for applications of electrochemical energy storage, memristors, solar cells, light emitting diodes (LEDs), and electrochromic devices. The thermal properties of Nb2O5 play a critical role in device performance of these applications. However, very few studies on the thermal properties of Nb2O5 have been reported and a fundamental understanding of heat transport in Nb2O5 is still lacking. The present work closes this gap and provides the first study of thermal conductivity of amorphous Nb2O5 thin films. Ultralow thermal conductivity is observed without any size effect in films as thin as 48 nm, which indicates that propagons contribute negligibly to the thermal conductivity and that the thermal transport is dominated by diffusons. Density-function-theory (DFT) simulations combined with a diffuson-mediated minimum-thermal-conductivity model confirms this finding. Additionally, the measured thermal conductivity is lower than the amorphous limit (Cahill model), which proves that the diffuson model works better than the Cahill model to describe the thermal conduction mechanism in the amorphous Nb2O5 thin films. Additionally, the thermal conductivity does not change significantly with oxygen vacancy concentration. This stable and low thermal conductivity facilitates excellent performance for applications such as memristors.


title: Punishment and inspection for governing the commons in a feedback-evolving game

abstract: Utilizing common resources is always a dilemma for community members. While cooperator players restrain themselves and consider the proper state of resources, defectors demand more than their supposed share for a higher payoff. To avoid the tragedy of the common state, punishing the latter group seems to be an adequate reaction. This conclusion, however, is less straightforward when we acknowledge the fact that resources are finite and even a renewable resource has limited growing capacity. To clarify the possible consequences, we consider a coevolutionary model where beside the payoff-driven competition of cooperator and defector players the level of a renewable resource depends sensitively on the fraction of cooperators and the total consumption of all players. The applied feedback-evolving game reveals that beside a delicately adjusted punishment it is also fundamental that cooperators should pay special attention to the growing capacity of renewable resources. Otherwise, even the usage of tough punishment cannot save the community from an undesired end.


title: The Globally Optimal Reparameterization Algorithm: an Alternative to Fast Dynamic Time Warping for Action Recognition in Video Sequences

abstract: Signal alignment has become a popular problem in robotics due in part to its fundamental role in action recognition. Currently, the most successful algorithms for signal alignment are Dynamic Time Warping (DTW) and its variant 'Fast' Dynamic Time Warping (FastDTW). Here we introduce a new framework for signal alignment, namely the Globally Optimal Reparameterization Algorithm (GORA). We review the algorithm's mathematical foundation and provide a numerical verification of its theoretical basis. We compare the performance of GORA with that of the DTW and FastDTW algorithms, in terms of computational efficiency and accuracy in matching signals. Our results show a significant improvement in both speed and accuracy over the DTW and FastDTW algorithms and suggest that GORA has the potential to provide a highly effective framework for signal alignment and action recognition.


title: Newton's Hypotheses on the Structure of Matter

abstract: Isaac Newton's book 'Opticks' from the 18th century includes several hypotheses on the structure of matter. Most of the hypotheses were confirmed during the 19th and 20th centuries at the scale of atoms and molecules. Conflicts appear however with today's Standard Model of particle physics. The confirmations at atomic and molecular levels, and the conflicts at the subatomic level, are described and discussed here. Various precursors to the Standard Model for which the conflicts are less severe are also described. These date back to Yukawa's meson model of 1935, and they are subject to other uncertainties. Observations with electron-proton colliders that are under consideration by CERN could clarify the situation.


title: Basins of attraction of nonlinear systems' equilibrium points: stability, branching and blow-up

abstract: This paper presents a nonlinear dynamical model which consists the system of differential and operator equations. Here differential equation contains a nonlinear operator acting in Banach space, a nonlinear operator equation with respect to two elements from different Banach spaces. This system is assumed to enjoy the stationary state (rest points or equilibrium). The Cauchy problem with the initial condition with respect to one of the desired functions is formulated. The second function controls the corresponding nonlinear dynamic process, the initial conditions are not set. The sufficient conditions of the global classical solution's existence and stabilization at infinity to the rest point are formulated. It is demonstrated that a solution can be constructed by the method of successive approximations under the suitable sufficient conditions. If the conditions of the main theorem are not satisfied, then several solutions may exist. Some of solutions can blow-up in a finite time, while others stabilize to a rest point. The special case of considered dynamical models are nonlinear differential-algebraic equation (DAE) have successfully modeled various phenomena in circuit analysis, power systems, chemical process simulations and many other nonlinear processes. Three examples illustrate the constructed theory and the main theorem. Generalization on the non-autonomous dynamical systems concludes the article.


title: Numerical study of active galactic nucleus feedback in an elliptical galaxy with {\it MACER}

abstract: This paper summarizes our recent works of studying AGN feedback in an isolated elliptical galaxy by performing high-resolution hydrodynamical numerical simulations. Bondi radius is resolved and the mass accretion rate of the black hole is calculated. The most updated AGN physics, namely the discrimination of cold and hot accretion modes and the exact descriptions of the AGN radiation and wind for a given accretion rate are adopted and their interaction with the gas in the host galaxy is calculated. Physical processes such as star formation and SNe feedback are taken into account. Consistent with observation, we find the AGN spends most of the time in the low-luminosity regime. AGN feedback overall suppresses the star formation; but depending on location in the galaxy and time, it can also enhance it. The light curve of specific star formation rate is not synchronous with the AGN light curve. We find that wind usually plays a dominant role in controlling the AGN luminosity and star formation, but radiation also cannot be neglected.


title: A Linear Strain Energy Function for Hyperelastic Transformation Method

abstract: Hyperelastic transformation method provides a promising approach to manipulate elastic waves by utilizing soft materials. However, no existing constitutive model can rigorously achieve the requirement of such method. In this Letter, a linear strain energy function (SEF) which is valid for small deformation is proposed, which can be implemented to control the longitudinal and shear elastic waves simultaneously. In comparison with the neo-Hookean and the semi-linear SEFs, the wave propagation and the impedance of pre-deformed linear hyperelastic material are exploited. Numerical simulations are performed to validate the theoretical results. The investigation may pave the ways for the design and realization of soft transformation devices.


title: Semi-supervised Feature Learning For Improving Writer Identification

abstract: Data augmentation is usually used by supervised learning approaches for offline writer identification, but such approaches require extra training data and potentially lead to overfitting errors. In this study, a semi-supervised feature learning pipeline was proposed to improve the performance of writer identification by training with extra unlabeled data and the original labeled data simultaneously. Specifically, we proposed a weighted label smoothing regularization (WLSR) method for data augmentation, which assigned the weighted uniform label distribution to the extra unlabeled data. The WLSR method could regularize the convolutional neural network (CNN) baseline to allow more discriminative features to be learned to represent the properties of different writing styles. The experimental results on well-known benchmark datasets (ICDAR2013 and CVL) showed that our proposed semi-supervised feature learning approach could significantly improve the baseline measurement and perform competitively with existing writer identification approaches. Our findings provide new insights into offline write identification.


title: Inhomogeneity-Induced Casimir Transport of Nanoparticles

abstract: This letter proposes a scheme for transporting nanoparticles immersed in a fluid, relying on quantum vacuum fluctuations. The mechanism lies in the inhomogeneity-induced lateral Casimir force between a nanoparticle and a gradient metasurface, and the relaxation of the conventional Dzyaloshinski\v{i}-Lifshitz-Pitaevski\v{i} constraint, which allows quantum levitation for a broader class of material configurations. The velocity for a nanosphere levitated above a grating is calculated and can be up to a few microns per minute. The Born approximation gives general expressions for the Casimir energy which reveal size-selective transport. For any given metasurface, a certain particle-metasurface separation exists where the transport velocity peaks, forming a "Casimir passage". The sign and strength of the Casimir interactions can be tuned by the shapes of liquid-air menisci, potentially allowing real-time control of an otherwise passive force, and enabling interesting on-off or directional switching of the transport process.


title: Incorporating a soft ordered phase into an amorphous configuration enhances its uniform plastic deformation under shear

abstract: Amorphous materials of homogeneous structures usually suffer from nonuniform deformation under shear, which can develop into shear localization and eventually destructive shear band. One approach to tackle this issue is to introduce an inhomogeneous structure containing more than one phase, which can reduce the local nonuniform shear deformation and hinder its percolation throughout the system. Using thermostated molecular dynamics (MD) simulations, we compare the deformation behavior between a homogeneous amorphous mixture of bidisperse disc particles, interacting via an n-6 Lennard-Jones potential of tunable softness, with an inhomogeneous one containing an evenly-distributed ordered phase. We change the population ratio of large to small particles to create a homogeneous or an inhomogeneous mixture, where the softness of a chosen phase can be manually adjusted by specifying n of the interparticle potential. Results of applying extensive quasistatic shear on the prepared mixtures reveal that the inhomogeneous amorphous mixture containing a soft ordered phase overall deforms more uniformly than the homogeneous one, which indicates that both the structure inhomogeneity and the inter-phase softness variance play important roles in enhancing the uniformity of the plastic deformation under shear.


title: Corrected Proximity-Force Approximation for Lateral Casimir Forces

abstract: The widely-adopted proximity-force approximation (PFA) to estimate normal Casimir forces is known to be asymptotically exact at vanishing separations. In this letter, we propose a correction to the PFA, which is sufficiently accurate in predicting displacement-induced lateral Casimir forces between a sphere and a grating, for separation-to-radius ratio up to 0.5, far beyond the limit within which the application of PFA is previously restricted. Our result allows convenient estimation of Casimir interactions and thus shall be useful in relevant experimental and engineering Casimir applications. We also study the PFA for gradient gratings, and we find that the inhomogeneity-induced lateral Casimir force is beyond the corrected PFA.


title: Role of Cosmic Ray Streaming and Turbulent Damping in Driving Galactic Winds

abstract: Large-scale galactic winds driven by stellar feedback are one phenomenon that influences the dynamical and chemical evolution of a galaxy, redistributing material throughout the circumgalatic medium. Non-thermal feedback from galactic cosmic rays (CRs) -high-energy charged particles accelerated in supernovae and young stars - can impact the efficiency of wind driving. The streaming instability limits the speed at which they can escape. However, in the presence of turbulence, the streaming instability is subject to suppression that depends on the magnetization of turbulence given by its Alfv\'en Mach number. While previous simulations that relied on a simplified model of CR transport have shown that super-Alfv\'enic streaming of CRs enhances galactic winds, in the present paper we take into account a realistic model of streaming suppression. We perform three-dimensional magnetohydrodynamic simulations of a section of a galactic disk and find that turbulent damping dependent on local magnetization of turbulent interstellar medium (ISM) leads to more spatially extended gas and CR distributions compared to the earlier streaming calculations, and that scale-heights of these distributions increase for stronger turbulence. Our results indicate that the star formation rate increases with the level of turbulence in the ISM. We also find that the instantaneous wind mass loading is sensitive to local streaming physics with the mass loading dropping significantly as the strength of turbulence increases.


title: Iteration of Polynomials $AX^d+C$ Over Finite Fields

abstract: For a polynomial $f(X)=AX^d+C \in \mathbb{F}_p[X]$ with $A\neq 0$ and $d\geq 2$, we prove that if $d\;|\;p-1$ and $f^i(0)\neq f^j(0)$ for $0\leq i<j\leq N$, then $\#f^N(\mathbb{F}_p) \sim \frac{2p}{(d-1)N},$ where $f^N$ is the $N$-th iteration of $f$.


title: Deep neural network ensemble by data augmentation and bagging for skin lesion classification

abstract: This work summarizes our submission for the Task 3: Disease Classification of ISIC 2018 challenge in Skin Lesion Analysis Towards Melanoma Detection. We use a novel deep neural network (DNN) ensemble architecture introduced by us that can effectively classify skin lesions by using data-augmentation and bagging to address paucity of data and prevent over-fitting. The ensemble is composed of two DNN architectures: Inception-v4 and Inception-Resnet-v2. The DNN architectures are combined in to an ensemble by using a $1\times1$ convolution for fusion in a meta-learning layer.


title: Fast and Robust High-Dimensional Sparse Representation Recovery Using Generalized SL0

abstract: Sparse representation can be described in high dimensions and used in many applications, including MRI imaging and radar imaging. In some cases, methods have been proposed to solve the high-dimensional sparse representation problem, but main solution is converting high-dimensional problem into one-dimension. Solving the equivalent problem had very high computational complexity. In this paper, the problem of high-dimensional sparse representation is formulated generally based on the theory of tensors, and a method for solving it based on SL0 (Smoothed Least zero-nor) is presented. Also, the uniqueness conditions for solution of the problem are considered in the high-dimensions. At the end of the paper, some numerical experiments are performed to evaluate the efficiency of the proposed algorithm and the results are presented.


title: Classical analogy of a cat state using vortex light

abstract: Cat states are systems in a superposition of macroscopically distinguishable states; this superposition can be of either classically or quantum distinct state, regardless of the number of particles or modes involved. Here, we constructed an experimental model that simulates an optical cat state by engineering the classical orbital angular momentum of light, referred to here as an analogous cat state (a-CS). In our scheme, the behaviors of the a-CS in position space show many similarities to the quantum version of the optical cat state in phase space, for example, movement, rotation, and interference. Experimentally, the a-CS, which has two spatially localized Gaussian intensity lobes, can be evolved from "kitten" to "cat" by engineering the acquired phase hologram. Additionally, we simulated the "decoherence" of the a-CS influenced by atmospheric turbulence. The a-CS provides a reliable tool for visualizing and studying the behaviors of quantum cat states in phase space.


title: Scalable Incremental Nonconvex Optimization Approach for Phase Retrieval

abstract: We aim to find a solution $\bm{x}\in\mathbb{C}^n$ to a system of quadratic equations of the form $b_i=\lvert\bm{a}_i^*\bm{x}\rvert^2$, $i=1,2,\ldots,m$, e.g., the well-known NP-hard phase retrieval problem. As opposed to recently proposed state-of-the-art nonconvex methods, we revert to the semidefinite relaxation (SDR) PhaseLift convex formulation and propose a successive and incremental nonconvex optimization algorithm, termed as \texttt{IncrePR}, to indirectly minimize the resulting convex problem on the cone of positive semidefinite matrices. Our proposed method overcomes the excessive computational cost of typical SDP solvers as well as the need of a good initialization for typical nonconvex methods. For Gaussian measurements, which is usually needed for provable convergence of nonconvex methods, \texttt{IncrePR} with restart strategy outperforms state-of-the-art nonconvex solvers with a sharper phase transition of perfect recovery and typical convex solvers in terms of computational cost and storage. For more challenging structured (non-Gaussian) measurements often occurred in real applications, such as transmission matrix and oversampling Fourier transform, \texttt{IncrePR} with several restarts can be used to find a good initial guess. With further refinement by local nonconvex solvers, one can achieve a better solution than that obtained by applying nonconvex solvers directly when the number of measurements is relatively small. Extensive numerical tests are performed to demonstrate the effectiveness of the proposed method.


title: Searches for ttH production at CMS

abstract: Results of searches for the Higgs boson production in association with a pair of top quarks using the proton-proton collision data collected by the CMS detector at LHC are presented. First, results of the searches at centre-of-mass energy of 13 TeV are briefly discussed. Then, the combination of results at centre-of-mass energies of 7, 8, and 13 TeV are presented, which provides an observation of the Higgs boson production in association with a pair of top quarks with a significance of 5.2 standard deviations.


title: Note on equivariant $I$-function of local $P^n$

abstract: Several properties of a hyepergeometric series related to Gromov-Witten theory of some Calabi-Yau geometries was studied in [8]. These properties play basic role in the study of higher genus Gromov-Witten theories. We extend the results of [8] to equivariant setting for the study of higher genus equivariant Gromov-Witten theories of some Calabi-Yau geometries.


title: The Mamoudou Gassama Affair

abstract: On May 26th, 2018, it was reported in the French news that a four-year-old child fell from the 5th floor's balcony of a building in Paris (France), and was able to catch the railing of the 4th floor's balcony. An immigrant, Mamoudou Gassama, who was passing by decided to climb the building and rescued the child. Subsequently, Mamoudou was congratulated by French president, Emmanuel Macron, and was naturalized. In this paper, by using kinematic equations and Newton's laws, it is shown that it is actually impossible for a four-year-old child (and probably for an adult too) to fall from a balcony and catch the railing of the lower balcony. This suggests that the rescue of the child could have been staged.


title: Equivariant holomorphic anomaly equation

abstract: In [16] the fundamental relationship between stable quotient invariants and the B-model for local P2 in all genera was studied under some specialization of equivariant variables. We generalize the argument of [16] to full equivariant settings without the specialization. Our main results are the proof of holomorphic anomaly equations for the equivariant Gromov-Witten theories of local P2 and local P3. We also state the generalization to full equivariant formal quintic theory of the result in [17].


title: More powerful logrank permutation tests for two-sample survival data

abstract: Weighted logrank tests are a popular tool for analyzing right censored survival data from two independent samples. Each of these tests is optimal against a certain hazard alternative, for example the classical logrank test for proportional hazards. But which weight function should be used in practical applications? We address this question by a flexible combination idea leading to a testing procedure with broader power. Beside the test's asymptotic exactness and consistency its power behaviour under local alternatives is derived. All theoretical properties can be transferred to a permutation version of the test, which is even finitely exact under exchangeability and showed a better finite sample performance in our simulation study. The procedure is illustrated in a real data example.


title: Diffeomorphic density registration

abstract: In this book chapter we study the Riemannian Geometry of the density registration problem: Given two densities (not necessarily probability densities) defined on a smooth finite dimensional manifold find a diffeomorphism which transforms one to the other. This problem is motivated by the medical imaging application of tracking organ motion due to respiration in Thoracic CT imaging where the fundamental physical property of conservation of mass naturally leads to modeling CT attenuation as a density. We will study the intimate link between the Riemannian metrics on the space of diffeomorphisms and those on the space of densities. We finally develop novel computationally efficient algorithms and demonstrate there applicability for registering RCCT thoracic imaging.