title: Microresonator soliton dual-comb imaging

abstract: Fast-responding detector arrays are commonly used for imaging rapidly-changing scenes. Besides array detectors, a single-pixel detector combined with a broadband optical spectrum can also be used for rapid imaging by mapping the spectrum into a spatial coordinate grid and then rapidly measuring the spectrum. Here, optical frequency combs generated from high-$Q$ silica microresonators are used to implement this method. The microcomb is dispersed in two spatial dimensions to measure a test target. The target-encoded spectrum is then measured by multi-heterodyne beating with another microcomb having a slightly different repetition rate, enabling an imaging frame rate up to 200 kHz and fillrates as high as 48 MegaPixels/s. The system is used to monitor the flow of microparticles in a fluid cell. Microcombs in combination with a monolithic waveguide grating array imager could greatly magnify these results by combining the spatial parallelism of detector arrays with spectral parallelism of optics.


title: Night-to-Day Image Translation for Retrieval-based Localization

abstract: Visual localization is a key step in many robotics pipelines, allowing the robot to (approximately) determine its position and orientation in the world. An efficient and scalable approach to visual localization is to use image retrieval techniques. These approaches identify the image most similar to a query photo in a database of geo-tagged images and approximate the query's pose via the pose of the retrieved database image. However, image retrieval across drastically different illumination conditions, e.g. day and night, is still a problem with unsatisfactory results, even in this age of powerful neural models. This is due to a lack of a suitably diverse dataset with true correspondences to perform end-to-end learning. A recent class of neural models allows for realistic translation of images among visual domains with relatively little training data and, most importantly, without ground-truth pairings. In this paper, we explore the task of accurately localizing images captured from two traversals of the same area in both day and night. We propose ToDayGAN - a modified image-translation model to alter nighttime driving images to a more useful daytime representation. We then compare the daytime and translated night images to obtain a pose estimate for the night image using the known 6-DOF position of the closest day image. Our approach improves localization performance by over 250% compared the current state-of-the-art, in the context of standard metrics in multiple categories.


title: Exponents of $[\Omega(\mathbb S^{r+1}), \Omega (Y)]$

abstract: We investigate the exponents of the total Cohen groups $[\Omega(\mathbb S^{r+1}), \Omega(Y)]$ for any $r\ge 1$. In particular, we show that for $p\ge 3$, the $p$-primary exponents of $[\Omega(\mathbb S^{r+1}), \Omega(\mathbb S^{2n+1})]$ and $[\Omega(\mathbb S^{r+1}), \Omega(\mathbb S^{2n})]$ coincide with the $p$-primary homotopy exponents of spheres $\mathbb S^{2n+1}$ and $\mathbb S^{2n}$, respectively. We further study the exponent problem when $Y$ is a space with the homotopy type of $\Sigma(n)/G$ for a homotopy $n$-sphere $\Sigma(n)$, the complex projective space $\mathbb{C}P^n$ for $n\ge 1$ or the quaternionic projective space $\mathbb{H}P^n$ for $1\le n\le \infty$.


title: The Knight Move Conjecture is false

abstract: The Knight Move Conjecture claims that the Khovanov homology of any knot decomposes as direct sums of some "knight move" pairs and a single "pawn move" pair. This is true for instance whenever the Lee spectral sequence from Khovanov homology to Q^2 converges on the second page, as it does for all alternating knots and knots with unknotting number at most 2. We present a counterexample to the Knight Move Conjecture. For this knot, the Lee spectral sequence admits a nontrivial differential of bidegree (1,8).


title: Laboratory photo-chemistry of pyrene clusters: an efficient way to form large PAHs

abstract: In this work, we study the photodissociation processes of small PAH clusters (e.g., pyrene clusters). The experiments are carried out using a quadrupole ion trap in combination with time-of-flight (QIT-TOF) mass spectrometry. The results show that pyrene clusters are converted into larger PAHs under the influence of a strong radiation field. Specifically, pyrene dimer cations (e.g., [C$_{16}$H$_{10}$$-$C$_{16}$H$_{9}$]$^+$ or C$_{32}$H$_{19}$$^+$), will photo-dehydrogenate and photo-isomerize to fully aromatic cations (PAHs) (e.g., C$_{32}$H$_{16}$$^+$) with laser irradiation. The structure of new formed PAHs and the dissociation energy for these reaction pathways are investigated with quantum chemical calculations. These studies provide a novel efficient evolution routes for the formation of large PAHs in the interstellar medium (ISM) in a bottom-up process that will counteract the top-down conversion of large PAHs into rings and chains, and provide a reservoir of large PAHs that can be converted into C$_{60}$ and other fullerenes and large carbon cages.


title: Accurate Predictions of Electron Binding Energies of Dipole-Bound Anions via Quantum Monte Carlo Methods

abstract: Neutral molecules with sufficiently large dipole moments can bind electrons in diffuse nonvalence orbitals with most of their charge density far from the nuclei, forming so-called dipole-bound anions. Because long-range correlation effects play an important role in the binding of an excess electron and overall binding energies are often only of the order of 10-100s of wave numbers, predictively modeling dipole-bound anions remains a challenge. Here, we demonstrate that quantum Monte Carlo methods can accurately characterize molecular dipole-bound anions with near threshold dipole moments. We also show that correlated sampling Auxiliary Field Quantum Monte Carlo is particularly well-suited for resolving the fine energy differences between the neutral and anionic species. These results shed light on the fundamental limitations of quantum Monte Carlo methods and pave the way toward using them for the study of weakly-bound species that are too large to model using traditional electron structure methods.


title: Alleviating the inconsistencies in modelling decay of fissile compound nuclei

abstract: This work attempts to overcome the existing inconsistencies in modelling decay of fissile nucleus by inclusion of important physical effects in the model and through a systematic analysis of a large set of data over a wide range of CN mass (ACN). The model includes shell effect in the level density (LD) parameter, shell correction in the fission barrier, effect of the orientation degree of freedom of the CN spin (Kor), collective enhancement of level density (CELD) and dissipation in fission. Input parameters are not tuned to reproduce observables from specific reaction(s) and the reduced dissipation coefficient is treated as the only adjustable parameter. Calculated evaporation residue (ER) cross sections, fission cross sections and particle, i.e. neutron, proton and alpha-particle, multiplicities are compared with data covering ACN = 156-248. The model produces reasonable fits to ER and fission excitation functions for all the reactions considered in this work. Pre-scission neutron multiplicities are underestimated by the calculation beyond ACN~200. An increasingly higher value of pre-saddle dissipation strength is required to reproduce the data with increasing ACN. Proton and alpha-particle multiplicities, measured in coincidence with both ERs and fission fragments, are in qualitative agreement with model predictions. The present work mitigates the existing inconsistencies in modelling statistical decay of the fissile CN to a large extent.


title: Dirac spectrum and chiral condensate for QCD at fixed $\theta$-angle

abstract: We analyze the mass dependence of the chiral condensate for QCD at nonzero $\theta$-angle and find that in general the discontinuity of the chiral condensate is not on the support of the Dirac spectrum. To understand this behavior we decompose the spectral density and the chiral condensate into contributions from the zero modes, the quenched part, and a remainder which is sensitive to the fermion determinant and is referred to as the dynamical part. We obtain general formulas for the contributions of the zero modes. Expressions for the quenched part, valid for an arbitrary number of flavors, and for the dynamical part, valid for one and two flavors, are derived in the microscopic domain of QCD. We find that at nonzero $\theta$-angle the quenched and dynamical part of the Dirac spectral density are strongly oscillating with an amplitude that increases exponentially with the volume $V$ and a period of order of $1/V$. The quenched part of the chiral condensate becomes exponentially large at $\theta\ne0$, but this divergence is canceled by the contribution from the zero modes. The oscillatory behavior of the dynamical part of the density is essential for moving the discontinuity of the chiral condensate away from the support of the Dirac spectrum. As important by-products of this work we obtain analytical expressions for the microscopic spectral density of the Dirac operator at nonzero $\theta$-angle for both one- and two-flavor QCD with nonzero quark masses.


title: Identifying robust landmarks in feature-based maps

abstract: To operate in an urban environment, an automated vehicle must be capable of accurately estimating its position within a global map reference frame. This is necessary for optimal path planning and safe navigation. To accomplish this over an extended period of time, the global map requires long-term maintenance. This includes the addition of newly observable features and the removal of transient features belonging to dynamic objects. The latter is especially important for the long-term use of the map as matching against a map with features that no longer exist can result in incorrect data associations, and consequently erroneous localisation. This paper addresses the problem of removing features from the map that correspond to objects that are no longer observable/present in the environment. This is achieved by assigning a single score which depends on the geometric distribution and characteristics when the features are re-detected (or not) on different occasions. Our approach not only eliminates ephemeral features, but also can be used as a reduction algorithm for highly dense maps. We tested our approach using half a year of weekly drives over the same 500-metre section of road in an urban environment. The results presented demonstrate the validity of the long-term approach to map maintenance.


title: Advantages of the coherent state compared with squeeze state in unidimensional continuous variable quantum key distribution

abstract: In this work, a comparison study between unidimensional (UD) coherent-state and UD squeeze-state protocols is performed in the continuous variable quantum key distribution domain. First, the UD squeeze-state protocol is proposed and the equivalence between the prepare-and-measure and entanglement-based schemes of UD squeeze-state protocol is proved. Then, the security of the UD squeeze-state protocol under collective attack in realistic conditions is analyzed. Lastly, the performances of the two UD protocols are analyzed. Based on the uniform expressions established in our study, the squeeze-state and coherent-state protocols can be analyzed simultaneously. Our results show that the UD squeeze-state protocols are quite different from the two-dimensional protocols in that the UD squeeze-state protocols have a poorer performance compared with UD coherent-state protocols, which is opposite in the case of two-dimensional protocols.


title: An Algorithm for Reducing Approximate Nearest Neighbor to Approximate Near Neighbor with O(logn) Query Time

abstract: This paper proposes a new algorithm for reducing Approximate Nearest Neighbor problem to Approximate Near Neighbor problem. The advantage of this algorithm is that it achieves O(log n) query time. As a reduction problem, the uery time complexity is the times of invoking the algorithm for Approximate Near Neighbor problem. All former algorithms for the same reduction need polylog(n) query time. A box split method proposed by Vaidya is used in our paper to achieve the O(log n) query time complexity.


title: Extreme circumgalactic HI and CIII absorption around the most massive, quenched galaxies

abstract: Luminous red galaxies (LRGs) are the most massive galaxies at $z\sim 0.5$ and, by selection, have negligible star formation. These objects have halo masses between those of $L_{*}$ galaxies, whose circumgalactic media (CGM) are observed to have large masses of cold gas, and clusters of galaxies, which primarily contain hot gas. Here we report detections of strong and extended metal (CIII 977) and HI lines in the CGM of two LRGs. The CIII lines have equivalent widths of $\sim 1.8$ \r{A} and $\sim 1.2$ \r{A} , and velocity spreads of $\sim 796$ km s$^{-1}$ and $\sim 1245$ km s$^{-1}$, exceeding all such measurements from local $\sim L_{*}$ galaxies (maximal CIII equivalent widths $\sim 1$ \r{A}). The data demonstrate that a subset of halos hosting very massive, quenched galaxies contain significant complexes of cold gas. Possible scenarios to explain our observations include that the LRGs' CGM originate from past activity (e.g., star formation or active galactic nuclei driven outflows) or from the CGM of galaxies in overlapping subhalos. We favor the latter scenario, in which the properties of the CGM are more tightly linked to the underlying dark matter halo than properties of the targeted galaxies (e.g., star formation).


title: Numerical simulations of winds driven by radiation force from the corona above a thin disk

abstract: Observations show that winds can be driven from the innermost region (inside a 50 Schwarschild radius) of a thin disk. It is interesting to study the winds launched from the innermost region. A hot corona above the black hole (BH) thin disk is irradiated by the disk. We perform two-dimensional hydrodynamical simulations to study the winds driven by radiation force from the corona in the innermost regions. The hard X-ray spectrum from active galactic nuclei (AGNs) suggests that the corona temperature is about $10^9$ K, so that we mainly analyze the properties of winds (or outflows) from the $10^9$ K corona. The disk luminosity plays an important role in driving the outflows. The more luminous the disk, the stronger the outflows. Mass outflow rate ($\dot{M}_{\rm out}$) at a 90 Schwarschild radius depends on disk luminosity, which can be described as $\dot{M}_{\rm out}\propto 10^{3.3 \Gamma}$ ($\Gamma$ is the ratio of the disk luminosity to the Eddington luminosity). In the case of high luminosity (e.g. $\Gamma=0.75$), the supersonic outflows with maximum speed $1.0 \times 10^4$ Km s$^{-1}$ are launched at $\sim17^{o}$ --$30^{o}$ and $\sim50^{o}$ --$80^{o}$ away from the pole axis. The Bernoulli parameter keeps increasing with the outward propagation of outflows. The radiation force keeps accelerating the outflows when outflows move outward. Therefore, we can expect the outflows to escape from the BH gravity and go to the galactic scale. The interaction between outflows and interstellar medium may be an important AGN feedback process.


title: Meteoritic Abundances of Fatty Acids and Potential Reaction Pathways in Planetesimals

abstract: The origin of fatty acids on the prebiotic Earth is important as they likely formed the encapsulating membranes of the first protocells. Carbon-rich meteorites (i.e., carbonaceous chondrites) such as Murchison and Tagish Lake are well known to contain these molecules, and their delivery to the early planet by intense early meteorite bombardments constitutes a key prebiotic source. We collect the fatty acid abundances measured in various carbonaceous chondrites from the literature and analyze them for patterns and correlations. Fatty acids in meteorites include straight-chain and branched-chain monocarboxylic and dicarboxylic acids up to 12 carbons in length---fatty acids with at least 8 carbons are required to form vesicles, and modern cell membranes employ lipids with ~12--20 carbons. To understand the origin of meteoritic fatty acids, we search the literature for abiotic fatty acid reaction pathways and create a candidate list of 11 reactions that could potentially produce these fatty acids in meteorite parent bodies. Straight-chain monocarboxylic acids (SCMA) are the dominant fatty acids in meteorites, followed by branched-chain monocarboxylic acids (BCMA). SCMA are most abundant in CM2 and Tagish Lake (ungrouped) meteorites, ranging on average from 10$^2$ ppb to 4x10$^5$ ppb, and 10$^4$ ppb to 5x10$^6$ ppb, respectively. In CM, CV, and Tagish Lake meteorites, SCMA abundances generally decrease with increasing carbon chain length. Conversely, SCMA abundances in CR meteorites peak at 5 and 6 carbons in length, and decrease on either side of this peak. This unique CR fatty acid distribution may hint at terrestrial contamination, or that certain fatty acid reactions mechanisms are active in different meteorite parent bodies (planetesimals). We identify Fischer-Tropsch-type synthesis as the most promising pathway for further analysis in the production of fatty acids in planetesimals.


title: Geometric and Measure-Theoretic Shrinking Targets in Dynamical Systems

abstract: We consider both geometric and measure-theoretic shrinking targets for ergodic maps, investigating when they are visible or invisible. Some Baire category theorems are proved, and particular constructions are given when the underlying map is fixed. Open questions about shrinking targets are also described.


title: Crossed products of C^*-algebras for singular actions with spectrum conditions

abstract: We analyze existence of crossed product constructions of Lie group actions on C^*-algebras which are singular. These are actions where the group need not be locally compact, or the action need not be strongly continuous. In particular, we consider the case where spectrum conditions are required for the implementing unitary group in covariant representations of such actions. The existence of a crossed product construction is guaranteed by the existence of "cross representations". For one-parameter automorphism groups, we prove that the existence of cross representations is stable with respect to a large set of perturbations of the action, and we fully analyze the structure of cross representations of inner actions on von Neumann algebras. For one-parameter automorphism groups we study the cross property for covariant representations, where the generator of the implementing unitary group is positive. In particular, we find that if the Borchers-Arveson minimal implementing group is cross, then so are all other implementing groups. For higher dimensional Lie group actions, we consider a class of spectral conditions which include the ones occurring in physics, and is sensible also for non-abelian or for infinite dimensional Lie groups. We prove that the cross property of a covariant representation is fully determined by the cross property of a certain one-parameter subsystem. This greatly simplifies the analysis of the existence of cross representations, and it allows us to prove the cross property for several examples of interest to physics. We also consider non-abelian extensions of the Borchers-Arveson theorem. There is a full extension in the presence of a cyclic invariant vector, but otherwise one needs to determine the vanishing of lifting obstructions.


title: Completion for braided enriched monoidal categories

abstract: Monoidal categories enriched in a braided monoidal category $\mathcal{V}$ are classified by braided oplax monoidal functors from $\mathcal{V}$ to the Drinfeld centers of ordinary monoidal categories. In this article, we prove that this classifying functor is strongly monoidal if and only if the original $\mathcal{V}$-monoidal category is tensored over $\mathcal{V}$. We then define a completion operation which produces a tensored $\mathcal{V}$-monoidal category $\overline{\mathcal{C}}$ from an arbitrary $\mathcal{V}$-monoidal category $\mathcal{C}$, and we determine many equivalent conditions which imply $\mathcal{C}$ and $\overline{\mathcal{C}}$ are $\mathcal{V}$-monoidally equivalent. Since being tensored is a property of the underlying $\mathcal{V}$-category of a $\mathcal{V}$-monoidal category, we begin by studying the equivalence between (tensored) $\mathcal{V}$-categories and oplax (strong) $\mathcal{V}$-module categories respectively. We then define the completion operation for $\mathcal{V}$-categories, and adapt these results to the $\mathcal{V}$-monoidal setting.


title: Periodic solutions and torsional instability in a nonlinear nonlocal plate equation

abstract: A thin and narrow rectangular plate having the two short edges hinged and the two long edges free is considered. A nonlinear nonlocal evolution equation describing the deformation of the plate is introduced: well-posedness and existence of periodic solutions are proved. The natural phase space is a particular second order Sobolev space that can be orthogonally split into two subspaces containing, respectively, the longitudinal and the torsional movements of the plate. Sufficient conditions for the stability of periodic solutions and of solutions having only a longitudinal component are given. A stability analysis of the so-called prevailing mode is also performed. Some numerical experiments show that instabilities may occur. This plate can be seen as a simplified and qualitative model for the deck of a suspension bridge, which does not take into account the complex interactions between all the components of a real bridge.


title: Exact partition potential for model systems of interacting electrons in 1-D

abstract: We find the numerically exact partition potential for 1-D systems of interacting electrons designed to model diatomic molecules. At integer fragment occupations, the kinetic contribution to the partition potential develops sharp features in the internuclear region that nearly cancel corresponding features of exchange-correlation. They occur at locations that coincide with those of well-known features of the underlying molecular Kohn-Sham potential. For non-integer fragment occupations, we demonstrate that the fragment Kohn-Sham gaps determine the kinetic part of the partition potential. Our results highlight the importance of non-additive noninteracting kinetic and exchange-correlation energy approximations in density-embedding methods at large internuclear separations and the importance of non-additive noninteracting kinetic energy approximations at all separations.


title: Resonant magnetic induction tomography of a magnetized sphere

abstract: We demonstrate the structural imaging of magnetostatic spin-wave modes hosted in a millimeter-sized ferromagnetic sphere. Unlike for low-dimensional magnetic materials, there is no prior technique to image these modes in bulk magnetized solid of revolution. Based on resonant magnetic induction tomography in the microwave range, our approach ensures the robust identification of these non-trivial spin-wave modes by establishing their azimuthal and polar dependences, starting point of magnonic fundamental studies and hybrid systems with complex spin textures well beyond the uniform precession mode.


title: Fully coupled-channel study of $K^-pp$ resonance in a chiral SU(3)-based $K^{bar}N$ potential

abstract: Nuclear system with antikaons, so-called kaonic nuclei, has been a longstanding issue in strange nuclear physics and hadron physics, because they might have exotic nature; In particular, they could be a doorway to the dense matter due to the strong attraction between antikaon and nucleon. Among kaonic nuclei, the three-body system composed of two protons and a single $K^-$ meson, $K^-pp$, is the most essential. In this article, we will report on the recent situation of $K^-pp$ studies in both theoretical and experimental sides. Afterwards, we will explain our latest study of the $K^-pp$ with a fully coupled-channel complex scaling method (Full ccCSM) using a chiral SU(3)-based $\bar{K}N$(-$\pi Y$) potential. In Full ccCSM, the $K^-pp$ is completely treated as a resonant state of a $\bar{K}NN$-$\pi\Sigma N$-$\pi\Lambda N$ coupled-channel system. The energy dependence involved in the chiral potential is handled with a self-consistent calculation in which two extreme ansatzes are examined: field picture and particle picture. With our chiral SU(3)-based potential constrained by the precise data of kaonic hydrogen atom (SIDDHARTA experiment), the $K^-pp$ resonance is obtained as a shallowly bound state measured from the $\bar{K}NN$ threshold with a narrow width, if the field picture is employed in the calculation: the binding energy is $14-28$ MeV and half value of the mesonic decay width are $8-15$ MeV. On the other hand, if the particle picture is employed, it is found that the binding energy could be as large as about 50 MeV, even though such a chiral potential is used. Based on these results of Full ccCSM calculation, we have discussed on the possibility for kaonic nuclei to form a dense matter and on the latest experimental result reported by J-PARC E15 collaboration.


title: Global Attractor For Weakly Damped, Forced Mkdv Equation Below Energy Space

abstract: We prove the existence of the global attractor in $ \dot H^s$, $s > 11/12$ for the weakly damped and forced mKdV on the one dimensional torus. The existence of global attractor below the energy space has not been known, though the global well-posedness below the energy space is established. We directly apply the I-method to the damped and forced mKdV, because the Miura transformation does not work for the mKdV with damping and forcing terms. We need to make a close investigation into the trilinear estimates involving resonant frequencies, which are different from the bilinear estimates corresponding to the KdV.


title: Casimir force of a dilute Bose gas confined by a parallel plate geometry in improved Hatree-Fock approximation

abstract: Within framework of quantum field theory, in improved Hatree-Fock (IHF) approximation, we have considered a dilute single Bose-Einstein condensate (BEC) confined between two parallel plates. We found that the effective mass and order parameter of BEC strongly depend on distance separating two plates. Our results shows that the effective mass, order parameter and the Casimir force in IHF approximation equal to their values in one-loop approximation added a corrected term due to contribution of two-loop diagrams. We also show that the one-loop approximation is enough for calculating Casimir effect in an ideal Bose gas.


title: Pattern Equivariant Mass Transport in Aperiodic Tilings and Cohomology

abstract: Suppose that we have a repetitive and aperiodic tiling $\bf T$ of $\mathbb{R}^n$, and two mass distributions $f_1$ and $f_2$ on $\mathbb{R}^n$, each pattern equivariant with respect to $\bf T$. Under what circumstances is it possible to do a bounded transport from $f_1$ to $f_2$? When is it possible to do this transport in a strongly or weakly pattern-equivariant way? We reduce these questions to properties of the \v Cech cohomology of the hull of $\bf T$, properties that in most common examples are already well-understood.


title: Rotor walks on transient graphs and the wired spanning forest

abstract: We study rotor walks on transient graphs with initial rotor configuration sampled from the oriented wired uniform spanning forest (OWUSF) measure. We show that the expected number of visits to any vertex by the rotor walk is at most equal to the expected number of visits by the simple random walk. In particular, this implies that this walk is transient. When these two numbers coincide, we show that the rotor configuration at the end of the process also has the law of OWUSF. Furthermore, if the graph is vertex-transitive, we show that the average number of visits by $n$ consecutive rotor walks converges to the Green function of the simple random walk as $n$ tends to infinity. This answers a question posed by Florescu, Ganguly, Levine, and Peres (2014).


title: Large-scale silicon quantum photonics implementing arbitrary two-qubit processing

abstract: Integrated optics is an engineering solution proposed for exquisite control of photonic quantum information. Here we use silicon photonics and the linear combination of quantum operators scheme to realise a fully programmable two-qubit quantum processor. The device is fabricated with readily available CMOS based processing and comprises four nonlinear photon-sources, four filters, eighty-two beam splitters and fifty-eight individually addressable phase shifters. To demonstrate performance, we programmed the device to implement ninety-eight various two-qubit unitary operations (with average quantum process fidelity of 93.2$\pm$4.5%), a two-qubit quantum approximate optimization algorithm and efficient simulation of Szegedy directed quantum walks. This fosters further use of the linear combination architecture with silicon photonics for future photonic quantum processors.


title: Gathering by Repulsion

abstract: We consider a repulsion actuator located in an $n$-sided convex environment full of point particles. When the actuator is activated, all the particles move away from the actuator. We study the problem of gathering all the particles to a point. We give an $O(n^2)$ time algorithm to compute all the actuator locations that gather the particles to one point with one activation, and an $O(n)$ time algorithm to find a single such actuator location if one exists. We then provide an $O(n)$ time algorithm to place the optimal number of actuators whose sequential activation results in the gathering of the particles when such a placement exists.


title: A new Gini correlation between quantitative and qualitative variables

abstract: We propose a new Gini correlation to measure dependence between a categorical and numerical variables. Analogous to Pearson $R^2$ in ANOVA model, the Gini correlation is interpreted as the ratio of the between-group variation and the total variation, but it characterizes independence (zero Gini correlation mutually implies independence). Closely related to the distance correlation, the Gini correlation is of simple formulation by considering the nature of categorical variable. As a result, the proposed Gini correlation has a lower computational cost than the distance correlation and is more straightforward to perform inference. Simulation and real applications are conducted to demonstrate the advantages.


title: Short-range ordering in the Ni-Mn-Si based Laves phase Mn(Ni$_{0.6}$Si$_{0.4})_2$

abstract: We present the structural ordering and the associated physical behavior of a Ni-Mn-Si Laves phase, Mn(Ni$_{0.6}$Si$_{0.4})_2$. The high-resolution transmission electron microscopy and electron energy loss spectroscopy analysis were performed to resolve a distinct atomic ordering of the system. The study determined the origin of the short-range ordering to be the unique arrangement between Ni and Si atoms. The study also presents the atomic resolution mapping of the Si atoms which has never been reported by any previous studies. With further electrical conductivity measurement, we find one of the consequences of the unique ordering reflected in a semiconducting like temperature dependence of the compound.


title: Deep contextualized word representations for detecting sarcasm and irony

abstract: Predicting context-dependent and non-literal utterances like sarcastic and ironic expressions still remains a challenging task in NLP, as it goes beyond linguistic patterns, encompassing common sense and shared knowledge as crucial components. To capture complex morpho-syntactic features that can usually serve as indicators for irony or sarcasm across dynamic contexts, we propose a model that uses character-level vector representations of words, based on ELMo. We test our model on 7 different datasets derived from 3 different data sources, providing state-of-the-art performance in 6 of them, and otherwise offering competitive results.


title: Galaxy mergers up to z<2.5 I : The star formation properties of merging galaxies at separations 3-15 kpc

abstract: We present a study of the influence of galaxy mergers on star formation at 0.3<z<2.5. Major mergers are selected from the CANDELS/3D-HST catalog using a peak-finding algorithm. Mergers have projected galaxy nuclei separation of their members between 3-15 kpc. We compare the star formation activity in merging and non-merging galaxies and find no significant differences. We find that only 12% of the galaxies in major mergers (in which both galaxies have log(M/Msun)>10) are star-bursting (i.e., with SFR above the main sequence of star-forming galaxies by >0.5 dex). Merging galaxies which include galaxies with lower masses show a higher fraction of star-bursting galaxies (20%). The low fraction of star-bursting merging galaxies in this sample suggests that at galaxy nuclei separations of 3-15 kpc merging galaxies are still in a early stage and are yet to reach the maximum level of star formation activity. Furthermore, the level of star formation enhancement and its duration could be arguably reduced compared to local mergers, as shown by simulations of high-z mergers, and might also depend on the physical properties (such as stellar mass and gas fraction) of the merging galaxies. Finally, we compare the specific SFR between merging galaxies. Our results suggest that, as the mass of the merging galaxies increases, the star formation activity in the less massive member in the merger suffers a more dramatic impact than its companion galaxy.


title: Dynamical Properties of Three-Photon Blockade in a Two-Atom Cavity QED System

abstract: We theoretically investigate the three-photon blockade phenomenon in a two atoms cavity QED system, where two atoms are driven by a coherent field. In the case of in-phase radiations, we show that the three-photon blockade with bunched two photons can be realized in a small regime of the driving field Rabi frequency. However, in the case of out-of-phase radiations, the one-photon excitations are prohibited due to the destructive interference, and three-photon blockade can be realized in a wide regime of driving field Rabi frequency. In addition, the three-photon blockade phenomenon can be significantly improved. The results presented here show that this two-atom scheme is a good candidate to achieve anti-bunched photon pairs.


title: Energy landscape analysis of cardiac fibrillation wave dynamics using pairwise maximum entropy model

abstract: Cardiac fibrillation is characterized by chaotic and disintegrated spiral wave dynamics patterns, whereas sinus rhythm shows synchronized excitation patterns. To determine functional correlations among cardiomyocytes during complex fibrillation states, we applied a pairwise maximum entropy model (MEM) to the 2D numerical simulation data of human atrial fibrillation. We then constructed an energy landscape and estimated a hierarchical structure among the different local minima (attractors) to explain the dynamic properties of cardiac fibrillation. The MEM could describe the wave dynamics of sinus rhythm, single stable rotor, and single rotor with wavebreak (both accuracy and reliability>0.9), but not the multiple random wavelet case. The energy landscapes exhibited unique profiles of local minima and energy barriers, characterizing the spatiotemporal patterns of cardiac fibrillation dynamics. The pairwise MEM-based energy landscape analysis provides reliable explanations of complex nonlinear dynamics of cardiac fibrillation, which might be determined by the presence of a 'driver' such as a sinus node or rotor.


title: Coherent order parameter dynamics in SmTe$_3$

abstract: We present a combined ultrafast optical pump-probe and ultrafast x-ray diffraction measurement of the CDW dynamics in SmTe$_3$ at 300 K. The ultrafast x-ray diffraction measurements, taken at the Linac Coherent Light Source reveal a $\sim 1.55$ THz mode that becomes overdamped with increasing fluence. We identify this oscillation with the lattice component of the amplitude mode. Furthermore, these data allow for a more clear identification of the frequencies present in the optical pump-probe data. In both, reflectivity and diffraction, we observe a crossover of the response from linear (for small displacements) to quadratic in the amplitude of the order parameter displacement. Finally, a time-dependent Ginzburg-Landau model captures the essential features of the experimental observations.


title: Floquet spin and spin-orbital Hamiltonians and doublon-holon generations in periodically driven Mott insulators

abstract: We consider Mott insulators driven by periodic coherent laser radiation, using both single orbital and multi-orbital models, noting that the latter is of more interest in solid state systems. We derive general expressions for the resulting periodically driven spin models and spin-orbital models using time-dependent perturbation theory. First, we show that the effective exchange interactions of the Floquet Hamiltonians are highly tunable by the frequency, amplitude, and polarization of the laser. Second, we take the effect of finite bandwidth of excitations into account and study possible heating effects. Using the same formalism with a slight modification we also consider the small frequency regime and study the dielectric breakdown of Mott insulators.


title: Permutation-invariant constant-excitation quantum codes for amplitude damping

abstract: The increasing interest in using quantum error correcting codes in practical devices has heightened the need for designing quantum error correcting codes that can correct against specialized errors, such as that of amplitude damping errors which model photon loss. Although considerable research has been devoted to quantum error correcting codes for amplitude damping, not so much attention has been paid to having these codes simultaneously lie within the decoherence free subspace of their underlying physical system. One common physical system comprises of quantum harmonic oscillators, and constant-excitation quantum codes can be naturally stabilized within them. The purpose of this paper is to give constant-excitation quantum codes that not only correct amplitude damping errors, but are also immune against permutations of their underlying modes. To construct such quantum codes, we use the nullspace of a specially constructed matrix based on integer partitions.


title: Robust Shape Estimation for 3D Deformable Object Manipulation

abstract: Existing shape estimation methods for deformable object manipulation suffer from the drawbacks of being off-line, model dependent, noise-sensitive or occlusion-sensitive, and thus are not appropriate for manipulation tasks requiring high precision. In this paper, we present a real-time shape estimation approach for autonomous robotic manipulation of 3D deformable objects. Our method fulfills all the requirements necessary for the high-quality deformable object manipulation in terms of being real-time, model-free and robust to noise and occlusion. These advantages are accomplished using a joint tracking and reconstruction framework, in which we track the object deformation by aligning a reference shape model with the stream input from the RGB-D camera, and simultaneously upgrade the reference shape model according to the newly captured RGB-D data. We have evaluated the quality and robustness of our real-time shape estimation pipeline on a set of deformable manipulation tasks implemented on physical robots. Videos are available at https://lifeisfantastic.github.io/DeformShapeEst/


title: Fast Automatic Bayesian Cubature Using Lattice Sampling

abstract: Automatic cubatures approximate multidimensional integrals to user-specified error tolerances. For high dimensional problems, it makes sense to fix the sampling density but determine the sample size, $n$, automatically. Bayesian cubature postulates that the integrand is an instance of a stochastic process. Here we assume a Gaussian process parameterized by a constant mean and a covariance function defined by a scale parameter times a parameterized function specifying how the integrand values at two different points in the domain are related. These parameters are estimated from integrand values or are given non-informative priors. The sample size, $n$, is chosen to make the half-width of the credible interval for the Bayesian posterior mean no greater than the error tolerance. The process just outlined typically requires vector-matrix operations with a computational cost of $O(n^3)$. Our innovation is to pair low discrepancy nodes with matching kernels that lower the computational cost to $O(n \log n)$. This approach is demonstrated using rank-1 lattice sequences and shift-invariant kernels. Our algorithm is implemented in the Guaranteed Automatic Integration Library (GAIL).


title: Demonstration of magnetic field tomography with starlight polarization towards a diffuse sightline of the ISM

abstract: The availability of large datasets with stellar distance and polarization information will enable a tomographic reconstruction of the (plane-of-the-sky-projected) interstellar magnetic field in the near future. We demonstrate the feasibility of such a decomposition within a small region of the diffuse ISM. We combine measurements of starlight (R-band) linear polarization obtained using the RoboPol polarimeter with stellar distances from the second Gaia data release. The stellar sample is brighter than 17 mag in the R band and reaches out to several kpc from the Sun. HI emission spectra reveal the existence of two distinct clouds along the line of sight. We decompose the line-of-sight-integrated stellar polarizations to obtain the mean polarization properties of the two clouds. The two clouds exhibit significant differences in terms of column density and polarization properties. Their mean plane-of-the-sky magnetic field orientation differs by 60 degrees. We show how our tomographic decomposition can be used to constrain our estimates of the polarizing efficiency of the clouds as well as the frequency dependence of the polarization angle of polarized dust emission. We also demonstrate a new method to constrain cloud distances based on this decomposition. Our results represent a preview of the wealth of information that can be obtained from a tomographic map of the ISM magnetic field.


title: Towards Safer Smart Contracts: A Survey of Languages and Verification Methods

abstract: With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanisms, their success is also accountable to smart contracts. These programs allow distrusting parties to enter agreements that are executed autonomously. However, implementation issues in smart contracts caused severe losses to the users of such contracts. Significant efforts are taken to improve their security by introducing new programming languages and advance verification methods. We provide a survey of those efforts in two parts. First, we introduce several smart contract languages focussing on security features. To that end, we present an overview concerning paradigm, type, instruction set, semantics, and metering. Second, we examine verification tools and methods for smart contract and distributed ledgers. Accordingly, we introduce their verification approach, level of automation, coverage, and supported languages. Last, we present future research directions including formal semantics, verified compilers, and automated verification.


title: Tracing magnetic field morphology using the Velocity Gradient Technique in the presence of CO self-absorption

abstract: Probing magnetic fields in self-gravitating molecular clouds are generally difficult even with the use of the polarimetry. Based on the properties of magneto-hydrodynamic (MHD) turbulence and turbulent reconnection, Velocity Gradient Technique (VGT) provides a new way in tracing magnetic field orientation and strength based on the spectroscopic data. Our study tests the applicability of VGT in various molecular tracers, e.g. 12CO, 13CO, and C18O. By inspecting synthetic molecular line maps of CO isotopologue generated through radiative transfer calculations, we show that the VGT method can be successfully applied in probing the magnetic field direction in the diffuse interstellar medium as well as in self-gravitating molecular clouds.


title: Improved Test of Local Lorentz Invariance from a Deterministic Preparation of Entangled States

abstract: The high degree of control available over individual atoms enables precision tests of fundamental physical concepts. In this Letter, we experimentally study how precision measurements can be improved by preparing entangled states immune to the dominant source of decoherence. Using \Ca ions, we explicitly demonstrate the advantage from entanglement on a precision test of local Lorentz invariance for the electron. Reaching the quantum projection noise limit set by quantum mechanics, we observe for bipartite entangled states the expected gain of a factor of two in the precision. Under specific conditions, multipartite entangled states may yield substantial further improvements. Our measurements improve the previous best limit for local Lorentz invariance of the electron using \Ca ions by factor of two to four to about $5\times10^{-19}$.


title: Quasi-ballistic heat conduction due to L\'evy phonon flights in silicon nanowires

abstract: Future of silicon-based microelectronics relies on solving the heat dissipation problem. A solution may lie in a nanoscale phenomenon known as ballistic heat conduction, which implies heat conduction without heating the conductor. But, attempts to demonstrate this phenomenon experimentally are controversial and scarce whereas its mechanism in confined nanostructures is yet to be fully understood. Here, we experimentally demonstrate quasi-ballistic heat conduction in silicon nanowires (NWs). We show that the ballisticity is strongest in short NWs at low temperatures but weakens as the NW length or temperature is increased. Yet, even at room temperature, quasi-ballistic heat conduction remains visible in short NWs. To better understand this phenomenon, we probe directionality and lengths of phonon flights. Our experiments and simulations show that the quasi-ballistic phonon transport in NWs is the L\'evy walk with short flights between the NW boundaries and long ballistic leaps along the NW.


title: Penalized Parabolic Relaxation for Optimal Power Flow Problem

abstract: This paper is concerned with optimal power flow (OPF), which is the problem of optimizing the transmission of electricity in power systems. Our main contributions are as follows: (i) we propose a novel parabolic relaxation, which transforms non-convex OPF problems into convex quadratically-constrained quadratic programs (QCQPs) and can serve as an alternative to the common practice semidefinite programming (SDP) and second-order cone programming (SOCP) relaxations, (ii) we propose a penalization technique which is compatible with the SDP, SOCP, and parabolic relaxations and guarantees the recovery of feasible solutions for OPF, under certain assumptions. The proposed penalized convex relaxation can be used sequentially to find feasible and near-globally optimal solutions for challenging instances of OPF. Extensive numerical experiments on small and large-scale benchmark systems corroborate the efficacy of the proposed approach. By solving a few rounds of penalized convex relaxation, fully feasible solutions are obtained for benchmark test cases from [1]-[3] with as many as 13659 buses. In all cases, the solutions obtained are not more than 0.32% worse than the best-known solutions.


title: Deep Transfer Learning of Pick Points on Fabric for Robot Bed-Making

abstract: A fundamental challenge in manipulating fabric for clothes folding and textiles manufacturing is computing "pick points" to effectively modify the state of an uncertain manifold. We present a supervised deep transfer learning approach to locate pick points using depth images for invariance to color and texture. We consider the task of bed-making, where a robot sequentially grasps and pulls at pick points to increase blanket coverage. We perform physical experiments with two mobile manipulator robots, the Toyota HSR and the Fetch, and three blankets of different colors and textures. We compare coverage results from (1) human supervision, (2) a baseline of picking at the uppermost blanket point, and (3) learned pick points. On a quarter-scale twin bed, a model trained with combined data from the two robots achieves 92% blanket coverage compared with 83% for the baseline and 95% for human supervisors. The model transfers to two novel blankets and achieves 93% coverage. Average coverage results of 92% for 193 beds suggest that transfer-invariant robot pick points on fabric can be effectively learned.


title: Simple Groups Whose Prime Graph or Solvable Graph is Split

abstract: A graph is split if there is a partition of its vertex set into a clique and an independent set. The present paper is devoted to the splitness of some graphs related to finite simple groups, namely, prime graphs and solvable graphs, and their compact forms. It is proved that the compact form of the prime graph of any finite simple group is split.


title: Sequential Relaxation of Unit Commitment with AC Transmission Constraints

abstract: This paper proposes a sequential convex relaxation method for obtaining feasible and near-globally optimal solutions for unit commitment (UC) with AC transmission constraints. First, we develop a second-order cone programming (SOCP) relaxation for AC unit commitment. To ensure that the resulting solutions are feasible for the original non-convex problem, we incorporate penalty terms into the objective of the proposed SOCP relaxation. We generalize our penalization method to a sequential algorithm which starts from an initial point (not necessarily feasible) and leads to feasible and near-optimal solutions for AC unit commitment. Once a feasible point is attained, the algorithm preserves feasibility and improves the objective value until a near optimal point is obtained. The experimental results on IEEE 57, IEEE 118, and IEEE 300 bus benchmark cases from MATPOWER demonstrate the performance of the proposed method in solving challenging instances of AC unit commitment.


title: Predicting Outcome of Indian Premier League (IPL) Matches Using Machine Learning

abstract: Cricket, especially the Twenty20 format, has maximum uncertainty, where a single over can completely change the momentum of the game. With millions of people following the Indian Premier League (IPL), developing a model for predicting the outcome of its matches is a real-world problem. A cricket match depends upon various factors, and in this work, the factors which significantly influence the outcome of a Twenty20 cricket match are identified. Each player's performance in the field is considered to find out the overall weight (relative strength) of the teams. A multivariate regression based solution is proposed to calculate points for each player in the league and the overall weight of a team is computed based on the past performance of the players who have appeared most for the team. Finally, a dataset is modeled based on the identified seven factors which influence the outcome of an IPL match. Six machine learning models were trained and used for predicting the outcome of each 2018 IPL match, 15 minutes before the gameplay, immediately after the toss. Three of the trained models were seen to be correctly predicting more than 40 matches, with Multilayer Perceptron outperforming all other models with an impressive accuracy of 71.66%.


title: Convex Relaxation of Bilinear Matrix Inequalities Part I: Theoretical Results

abstract: This two-part paper is concerned with the problem of minimizing a linear objective function subject to a bilinear matrix inequality (BMI) constraint. In this part, we first consider a family of convex relaxations which transform BMI optimization problems into polynomial-time solvable surrogates. As an alternative to the state-of-the-art semidefinite programming (SDP) and second-order cone programming (SOCP) relaxations, a computationally efficient parabolic relaxation is developed, which relies on convex quadratic constraints only. Next, we developed a family of penalty functions, which can be incorporated into the objective of SDP, SOCP, and parabolic relaxations to facilitate the recovery of feasible points for the original non-convex BMI optimization. Penalty terms can be constructed using any arbitrary initial point. We prove that if the initial point is sufficiently close to the feasible set, then the penalized relaxations are guaranteed to produce feasible points for the original BMI. In Part II of the paper, the efficacy of the proposed penalized convex relaxations is demonstrated on benchmark instances of H2 and Hinf optimal control synthesis problems.


title: Analysis and entropy stability of the line-based discontinuous Galerkin method

abstract: We develop a discretely entropy-stable line-based discontinuous Galerkin method for hyperbolic conservation laws based on a flux differencing technique. By using standard entropy-stable and entropy-conservative numerical flux functions, this method guarantees that the discrete integral of the entropy is non-increasing. This nonlinear entropy stability property is important for the robustness of the method, in particular when applied to problems with discontinuous solutions or when the mesh is under-resolved. This line-based method is significantly less computationally expensive than a standard DG method. Numerical results are shown demonstrating the effectiveness of the method on a variety of test cases, including Burgers' equation and the Euler equations, in one, two, and three spatial dimensions.


title: Quasi-two-body decays $B_{(s)}\to K^*(892)h\to K\pi h$ in perturbative QCD approach

abstract: We extend our recent works on the $P$-wave two-pion resonant contributions to the kaon-pion cases in the hadronic charmless $B$ meson decays by employing the perturbative QCD approach. The concerned decay modes are analysed in the quasi-two-body framework by parameterizing the kaon-pion distribution amplitude $\Phi_{K \pi}^{\rm P}$, which contains the final state interactions between the kaon and pion in the resonant region. The relativistic Breit-Wigner formula for the $P$-wave resonant state $K^*(892)$ is adopted to parameterize the time-like form factor $F_{K\pi}$. We calculate the $CP$-averaged branching ratios and direct $CP$-violating asymmetries of the quasi-two-body decays $B_{(s)}\to K^*(892) h\to K\pi h$, with $h=(\pi, K)$, in this work. It is shown that the agreement of theoretical results with the experimental data can be achieved, through which Gegenbauer moments of the $P$-wave kaon-pion distribution amplitudes are determined. The predictions in this work will be tested by the precise data from the LHCb and the future Belle II experiments.


title: Convex Relaxation of Bilinear Matrix Inequalities Part II: Applications to Optimal Control Synthesis

abstract: The first part of this paper proposed a family of penalized convex relaxations for solving optimization problems with bilinear matrix inequality (BMI) constraints. In this part, we generalize our approach to a sequential scheme which starts from an arbitrary initial point (feasible or infeasible) and solves a sequence of penalized convex relaxations in order to find feasible and near-optimal solutions for BMI optimization problems. We evaluate the performance of the proposed method on the H2 and Hinfinity optimal controller design problems with both centralized and decentralized structures. The experimental results based on a variety of benchmark control plants demonstrate the promising performance of the proposed approach in comparison with the existing methods.


title: A Schur-Toponogov theorem in Riemannian geometry & a new proof of Toponogov's theorem in Alexandrov geometry

abstract: In the paper, we give a Schur-Toponogov theorem in Riemannian geometry, which not only generalizes Schur's and Toponogov's theorem but also indicates their relation. Inspired by its proof, we also supply a new proof of Toponogov's theorem (in the large) in Alexandrov geometry.


title: Improved bounds on Fourier entropy and Min-entropy

abstract: Given a Boolean function $f:\{-1,1\}^n\to \{-1,1\}$, the Fourier distribution assigns probability $\widehat{f}(S)^2$ to $S\subseteq [n]$. The Fourier Entropy-Influence (FEI) conjecture of Friedgut and Kalai asks if there exist a universal constant C>0 such that $H(\hat{f}^2)\leq C Inf(f)$, where $H(\hat{f}^2)$ is the Shannon entropy of the Fourier distribution of $f$ and $Inf(f)$ is the total influence of $f$. 1) We consider the weaker Fourier Min-entropy-Influence (FMEI) conjecture. This asks if $H_{\infty}(\hat{f}^2)\leq C Inf(f)$, where $H_{\infty}(\hat{f}^2)$ is the min-entropy of the Fourier distribution. We show $H_{\infty}(\hat{f}^2)\leq 2C_{\min}^\oplus(f)$, where $C_{\min}^\oplus(f)$ is the minimum parity certificate complexity of $f$. We also show that for every $\epsilon\geq 0$, we have $H_{\infty}(\hat{f}^2)\leq 2\log (\|\hat{f}\|_{1,\epsilon}/(1-\epsilon))$, where $\|\hat{f}\|_{1,\epsilon}$ is the approximate spectral norm of $f$. As a corollary, we verify the FMEI conjecture for the class of read-$k$ $DNF$s (for constant $k$). 2) We show that $H(\hat{f}^2)\leq 2 aUC^\oplus(f)$, where $aUC^\oplus(f)$ is the average unambiguous parity certificate complexity of $f$. This improves upon Chakraborty et al. An important consequence of the FEI conjecture is the long-standing Mansour's conjecture. We show that a weaker version of FEI already implies Mansour's conjecture: is $H(\hat{f}^2)\leq C \min\{C^0(f),C^1(f)\}$?, where $C^0(f), C^1(f)$ are the 0- and 1-certificate complexities of $f$, respectively. 3) We study what FEI implies about the structure of polynomials that 1/3-approximate a Boolean function. We pose a conjecture (which is implied by FEI): no "flat" degree-$d$ polynomial of sparsity $2^{\omega(d)}$ can 1/3-approximate a Boolean function. We prove this conjecture unconditionally for a particular class of polynomials.


title: Minimal Geometric Deformation in asymptotically (A-)dS space-times and the isotropic sector for a polytropic black hole

abstract: In the context of the Minimal Geometric Deformation method, in this paper we implement the inverse problem in a black hole scenario. In order to deal with an anisotropic polytropic black hole solution of the Einstein field equations with cosmological constant, the deformation method is slightly extended. After obtaining the isotropic sector and the decoupler for an anisotropic (A-)dS polytropic black hole solution, we emphasize a possible relation between anisotropization/isotropization and the violation of the energy conditions.


title: An Interplay of Topology and Quantized Geometric Phase for two Different Symmetry-Class Hamiltonians

abstract: Study of symmetry, topology and geometric phase can reveal many new and interesting results on the topological states of matter. Here we present a completely new and interesting result of symmetry, topology and quantization of geometric phase along with the physical explanation for two different symmetry classes. We present a detailed study of the auxiliary space for two different symmetry classes of Hamiltonians. We show explicitly that the origin of the auxiliary space inside the curve is only a necessary condition but it is not a sufficient condition for the topological state. One of the most interesting results is that same symmetry-class Hamiltonians show different behaviour in topology and quantized geometric phase.


title: Value-distribution of quartic Hecke $L$-functions

abstract: Set $K=\mathbb{Q}(i)$ and suppose that $c\in \mathbb{Z}[i]$ is a square-free algebraic integer with $c\equiv 1 \imod{\langle16\rangle}$. Let $L(s,\chi_{c})$ denote the Hecke $L$-function associated with the quartic residue character modulo $c$. For $\sigma>1/2$, we prove an asymptotic distribution function $F_{\sigma}$ for the values of the logarithm of \begin{equation*} L_c(s)= L(s,\chi_c)L(s,\overline{\chi}_{c}), \end{equation*} as $c$ varies. Moreover, the characteristic function of $F_{\sigma}$ is expressed explicitly as a product over the prime ideals of $\mathbb{Z}[i]$.


title: Interstellar Neutral Gas Species And Their Pickup Ions Inside The Heliospheric Termination Shock. Ionization Rates For H, O, Ne, And He

abstract: Solar ionizing factors are responsible for modulation of interstellar neutral gas and its derivative populations inside the heliosphere. We provide an overview of the current state of knowledge about them for heliospheric particles inside the termination shock. We discuss charge exchange with solar wind particles, photoionization, and electron impact ionization for hydrogen, oxygen, neon, and helium from 1985 to 2018 both in the ecliptic plane and in the polar regions. We discuss ionization rates as a function of time, distance to the Sun, and latitude. We compare the total ionization rates among the species within a consistent and homogeneous system of calculation of the ionization rates. The highest total ionization rates at 1 au in the ecliptic plane are for hydrogen and oxygen, and the lowest are for helium. In the polar regions, the strongest ionization losses are for oxygen, regardless of the solar activity. Photoionization is the dominant ionization reaction for helium and neon, and a reaction of high significance for oxygen. Charge exchange with solar wind particles is the dominant ionization reaction for hydrogen and the second important ionization reaction for oxygen. Electron impact ionization is an important ionization reaction for Ne and He, with the contribution to the total ionization rates stronger within 1 au and smaller outside. The total ionization rates for He and Ne vary in time with the solar activity, whereas the total ionization rates for H and O follow the cyclic solar wind variations out of the ecliptic plane and aperiodic variations in the ecliptic plane.


title: Oscillatory criteria for the second order linear ordinary differential equations in the marginal sub extremal and extremal cases

abstract: The Riccati equation method is used to establish three new oscillatory criteria for the second order linear ordinary differential equations in the marginal, sub extremal and extremal cases.We show that the first of these criteria implies the J. Deng's oscillatory criterion. An extremal oscillatory condition for the Mathieu's equation is obtained. The obtained results are compared with some known oscillatory criteria.


title: Robust Tube-based Model Predictive Control for Time-constrained Robot Navigation

abstract: This paper deals with the problem of time-constrained navigation of a robot modeled by uncertain nonlinear non-affine dynamics in a bounded workspace of $\mathbb{R}^n$. Initially, we provide a novel class of robust feedback controllers that drive the robot between Regions of Interest (RoI) of the workspace. The control laws consists of two parts: an on-line controller which is the outcome of a Finite Horizon Optimal Control Problem (FHOCP); and a backstepping feedback law which is tuned off-line and guarantees that the real trajectory always remains in a bounded hyper-tube centered along the nominal trajectory of the robot. The proposed controller falls within the so-called tube-based Nonlinear Model Predictive control (NMPC) methodology. Then, given a desired high-level specification for the robot in Metric Interval Temporal Logic (MITL), by utilizing the aforementioned controllers, a framework that provably guarantees the satisfaction of the formula is provided. The proposed framework can handle the rich expressiveness of MITL in both safety and reachability specifications. Finally, the proposed framework is validated by numerical simulations.


title: Electromagnetic control of the collective radiations with three-photon blockade

abstract: We study properties of collective radiations of coherently driven two three-level ladder-type atoms trapped in a single-mode cavity. Using the electromagnetically induced transparency technique, we show that the three-photon blockade effect can be observed and the properties of collective radiations are strongly dependent on the phase between two atoms. In the case of in-phase radiations, the frequency range to realize the three-photon blockade can be broadened as the control field increases. However, in the regime of the three-photon blockade, the property of collective radiations changes from hyperradiance to subradiance. In the case of out-of-phase radiations, hyperradiance accompanied with the three-photon blockade can be observed. The results presented in this paper show that our scheme is an attractive candidate to generate antibunched photon pairs and control the properties of collective radiations.


title: Quantum annealing of pure and random Ising chains coupled to a bosonic environment

abstract: We study quantum annealing of pure and random transverse Ising chains that are coupled to boson baths, using a novel numerical method based on the combination of the quasi-adiabatic propagation path integral (QUAPI) and the matrix product state (MPS) formalisms. We present numerical results on systems up to 64 spins and conclude that the baths disturb quantum annealing of pure and random Ising chains. The numerical method to compute the reduced density matrix is described in detail.


title: A Problem Reduction Approach for Visual Relationships Detection

abstract: Identifying different objects (man and cup) is an important problem on its own, but identifying the relationship between them (holding) is critical for many real world use cases. This paper describes an approach to reduce a visual relationship detection problem to object detection problems. The method was applied to Google AI Open Images V4 Visual Relationship Track Challenge, which was held in conjunction with 2018 European Conference on Computer Vision (ECCV 2018) and it finished as a prize winner. The challenge was to build an algorithm that detects pairs of objects in particular relations: things like "woman playing guitar," "beer on table," or "dog inside car.".


title: Eigenvalues of Cayley graphs

abstract: We survey some of the known results on eigenvalues of Cayley graphs and their applications, together with related results on eigenvalues of Cayley digraphs and generalizations of Cayley graphs.


title: Notes on toric Fano varieties associated to building sets

abstract: This article gives an overview of toric Fano and toric weak Fano varieties associated to graphs and building sets. We also study some properties of such toric Fano varieties and discuss related topics.


title: Large global solutions for nonlinear Schr\"odinger equations I, mass-subcritical cases

abstract: In this paper, we consider the nonlinear Schr\"odinger equation, $$ i\partial_{t}u+\Delta u= \mu|u|^p u, \quad (t,x)\in \mathbb{R}^{d+1}, $$ with $\mu=\pm1, p>0$. In this work, we consider the mass-subcritical cases, that is, $p\in (0,\frac4d)$. We prove that under some restrictions on $d,p$, any radial initial data in the critical space $\dot H^{s_c}(\mathbb{R}^d)$ with compact support, implies global well-posedness.


title: Salt-dependent rheology and surface tension of protein condensates using optical traps

abstract: An increasing number of proteins with intrinsically disordered domains have been shown to phase separate in buffer to form liquid-like phases. These protein condensates serve as simple models for the investigation of the more complex membrane-less organelles in cells. To understand the function of such proteins in cells, the material properties of the condensates they form are important. However, these material properties are not well understood. Here, we develop a novel method based on optical traps to study the frequency-dependent rheology and the surface tension of PGL-3 condensates as a function of salt concentration. We find that PGL-3 droplets are predominantly viscous but also exhibit elastic properties. As the salt concentration is reduced, their elastic modulus, viscosity and surface tension increase. Our findings show that salt concentration has a strong influence on the rheology and dynamics of protein condensates suggesting an important role of electrostatic interactions for their material properties.


title: Probing the structure and evolution of active galactic nuclei with the ultraviolet polarimeter POLLUX aboard LUVOIR

abstract: The ultraviolet (UV) polarization spectrum of nearby active galactic nuclei (AGN) is poorly known. The Wisconsin Ultraviolet Photo-Polarimeter Experiment and a handful of instruments on board the Hubble Space Telescope were able to probe the near- and mid-UV polarization of nearby AGN, but the far-UV band (from 1200 angs down to the Lyman limit at 912 angs) remains completely uncharted. In addition, the linewidth resolution of previous observations was at best 1.89 angs. Such a resolution is not sufficient to probe in detail quantum mechanical effects, synchrotron and cyclotron processes, scattering by electrons and dust grains, and dichroic extinction by asymmetric dust grains. Exploring those physical processes would require a new, high-resolution, broadband polarimeter with full ultraviolet-band coverage. In this context, we discuss the AGN science case for POLLUX, a high-resolution UV spectropolarimeter, proposed for the 15-meter primary mirror option of LUVOIR (a multi-wavelength space observatory concept being developed by the Goddard Space Flight Center and proposed for the 2020 Decadal Survey Concept Study).


title: Reconsidering the structure of nucleation theories

abstract: We discuss the structure of the equation of motion that governs nucleation processes at first order phase transitions. From the underlying microscopic dynamics of a nucleating system, we derive by means of a non-equilibrium projection operator formalism the equation of motion for the size distribution of the nuclei. The equation is exact, i.e. the derivation does not contain approximations. To assess the impact of memory, we express the equation of motion in a form that allows for direct comparison to the Markovian limit. As a numerical test, we have simulated crystal nucleation from a supersaturated melt of particles interacting via a Lennard-Jones potential. The simulation data show effects of non-Markovian dynamics.


title: Deterministic generation of hybrid high-N00N states with Rydberg ions trapped in microwave cavities

abstract: Trapped ions are among the most promising platforms for quantum technologies. They are at the heart of the most precise clocks and sensors developed to date, which exploit the quantum coherence of a single electronic or motional degree of freedom of an ion. However, future high precision quantum metrology will require the use of entangled states of several degrees of freedom. Here we propose a protocol capable of generating high N00N states where the entanglement is shared between the motion of a trapped ion and an electromagnetic cavity mode, a so called hybrid configuration. We prove the feasibility of the proposal in a platform consisting of a trapped ion excited to its circular Rydberg state manifold, coupled to the modes of a high Q microwave cavity. This compact hybrid architecture has the advantage that it can couple to signals of very different nature, which modify either the ions motion or the cavity modes. Moreover, the exact same setup can be used right after the state preparation phase to implement the interferometer required for quantum metrology.


title: Spin-driven electrical power generation at room temperature

abstract: To mitigate climate change, our global society is harnessing direct (solar irradiation) and indirect (wind/water flow) sources of renewable electrical power generation. Emerging direct sources include current-producing thermal gradients in thermoelectric materials, while quantum physics-driven processes to convert quantum information into energy have been demonstrated at very low temperatures. The magnetic state of matter, assembled by ordering the electron's quantum spin property, represents a sizeable source of built-in energy. We propose to create a direct source of electrical power at room temperature (RT) by utilizing magnetic energy to harvest thermal fluctuations on paramagnetic (PM) centers. Our spin engine rectifies current fluctuations across the PM centers' spin states according to the electron spin by utilizing so-called 'spinterfaces' with high spin polarization. As a rare experimental event, we demonstrate how this path can generate 0.1nW at room temperature across a 20 micron-wide spintronic device called the magnetic tunnel junction, assembled using commonplace Co, C and MgO materials. The presence of this path in our experiment, which also generates very high spintronic performance, is confirmed by analytical and ab-initio calculations. Device downscaling, and the ability for other materials systems than the spinterface to select a transport spin channel at RT widens opportunities for routine device reproduction. The challenging control over PM centers within the tunnel barrier's nanotransport path may be addressed using oxide- and organic-based nanojunctions. At present densities in MRAM products, this spin engine could lead to 'always-on' areal power densities well beyond that generated by solar irradiation on earth. Further developing this concept can fundamentally alter our energy-driven society's global economic, social and geopolitical constructs.


title: Analysis of Uplink Scheduling for Haptic Communications

abstract: While new mechanisms and configurations of the 5G radio are offering step forward in delivery of ultra-reliable low latency communication services in general, and haptic communications in particular, they could inversely impact the remainder of traffic services. In this paper, we investigate the uplink access procedure, how different advances in this procedure enhance delivery of haptic communication, and how it affects the remainder of traffic services in the network. We model this impact as the remainder of service, using stochastic network calculus. Our results show how best the tradeoff between faster or more resource efficient uplink access can be made depending on the rate of haptic data, which is directly relevant to the application domain of haptic communication.


title: Rare earth permanent magnets prepared by hot deformation process

abstract: Hot deformation process is one of the primary methods to produce anisotropic rare earth permanent magnets. Firstly, rapidly quenched powder flakes with nanocrystal structure are condensed into the full dense isotropic precursors by hot pressing process. And then, the prepared isotropic precursors are hot deformed to produce high-anisotropy uniaxial bulk rare earth permanent magnets, in which the highly textured structure is obtained in the hot plastic deformation process. The obtained hot-deformed magnets possess many advantages, such as near net-shape, outstanding corrosion resistance and ultrafine-grain structure. The noteworthy effects of preparation parameters employed in hot-pressing and deformation processes on the magnetic properties and microstructures characterizations are systemically summarized in this academic monograph. As a near net-shape technique, hot deformation process has noteworthy advantages in producing irregular shape magnets, especially for radially oriented ring-shape magnets with high length-diameter ratio or thin wall. The difficulties in producing crack-free, homogeneous and non-decentered ring-shaped magnets are basically resolved through mold design, adjustment of deformation parameters and application of theoretical simulation. Considering the characteristics of hot-deformed magnets, such as the grain shapes and sizes, anisotropic distribution of intergranular phases, etc., there is practical significance to study and improve the mechanical, electric properties and thermal stability to enlarge the applicable area of hot-deformed magnets or ring-shaped magnets.


title: Graph Laplacian Regularized Graph Convolutional Networks for Semi-supervised Learning

abstract: Recently, graph convolutional network (GCN) has been widely used for semi-supervised classification and deep feature representation on graph-structured data. However, existing GCN generally fails to consider the local invariance constraint in learning and representation process. That is, if two data points Xi and Xj are close in the intrinsic geometry of the data distribution, then their labels/representations should also be close to each other. This is known as local invariance assumption which plays an essential role in the development of various kinds of traditional algorithms, such as dimensionality reduction and semi-supervised learning, in machine learning area. To overcome this limitation, we introduce a graph Laplacian GCN (gLGCN) approach for graph data representation and semi-supervised classification. The proposed gLGCN model is capable of encoding both graph structure and node features together while maintains the local invariance constraint naturally for robust data representation and semi-supervised classification. Experiments show the benefit of the benefits the proposed gLGCN network.


title: Noisy defects in a doped Mott insulator

abstract: Detailed understanding of the role of single dopant atoms in host materials has been crucial for the continuing miniaturization in the semiconductor industry as local charging and trapping of electrons can completely change the behaviour of a device. Similarly, as dopants can turn a Mott insulator into a high temperature superconductor, their electronic behaviour at the atomic scale is of much interest. Due to limited time resolution of conventional scanning tunnelling microscopes, most atomic scale studies in these systems focussed on the time averaged effect of dopants on the electronic structure. Here, by using atomic scale shot-noise measurements in the doped Mott insulator Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+x}$, we visualize sub-nanometer sized objects where remarkable dynamics leads to an enhancement of the tunnelling current noise by at least an order of magnitude. From the position, current and energy dependence we argue that these defects are oxygen dopant atoms that were unaccounted for in previous scanning probe studies, whose local environment leads to charge dynamics that strongly affect the tunnelling mechanism. The unconventional behaviour of these dopants opens up the possibility to dynamically control doping at the atomic scale, enabling the direct visualization of the effect of local charging on e.g. high T$_{\text{c}}$ superconductivity.


title: Error Reduction Network for DBLSTM-based Voice Conversion

abstract: So far, many of the deep learning approaches for voice conversion produce good quality speech by using a large amount of training data. This paper presents a Deep Bidirectional Long Short-Term Memory (DBLSTM) based voice conversion framework that can work with a limited amount of training data. We propose to implement a DBLSTM based average model that is trained with data from many speakers. Then, we propose to perform adaptation with a limited amount of target data. Last but not least, we propose an error reduction network that can improve the voice conversion quality even further. The proposed framework is motivated by three observations. Firstly, DBLSTM can achieve a remarkable voice conversion by considering the long-term dependencies of the speech utterance. Secondly, DBLSTM based average model can be easily adapted with a small amount of data, to achieve a speech that sounds closer to the target. Thirdly, an error reduction network can be trained with a small amount of training data, and can improve the conversion quality effectively. The experiments show that the proposed voice conversion framework is flexible to work with limited training data and outperforms the traditional frameworks in both objective and subjective evaluations.


title: Generating nested quadrature rules with positive weights based on arbitrary sample sets

abstract: For the purpose of uncertainty propagation a new quadrature rule technique is proposed that has positive weights, has high degree, and is constructed using only samples that describe the probability distribution of the uncertain parameters. Moreover, nodes can be added to the quadrature rule, resulting into a sequence of nested rules. The rule is constructed by iterating over the samples of the distribution and exploiting the null space of the Vandermonde-system that describes the nodes and weights, in order to select which samples will be used as nodes in the quadrature rule. The main novelty of the quadrature rule is that it can be constructed using any number of dimensions, using any basis, in any space, and using any distribution. It is demonstrated both theoretically and numerically that the rule always has positive weights and therefore has high convergence rates for sufficiently smooth functions. The convergence properties are demonstrated by approximating the integral of the Genz test functions. The applicability of the quadrature rule to complex uncertainty propagation cases is demonstrated by determining the statistics of the flow over an airfoil governed by the Euler equations, including the case of dependent uncertain input parameters. The new quadrature rule significantly outperforms classical sparse grid methods.


title: Hidden chaotic attractors and chaos suppression in an impulsive discrete economical supply and demand dynamical system

abstract: Impulsive control is used to suppress the chaotic behavior in an one-dimensional discrete supply and demand dynamical system. By perturbing periodically the state variable with constant impulses, the chaos can be suppressed. It is proved analytically that the obtained orbits are bounded and periodic. Moreover, it is shown for the first time that the difference equations with impulses, used to control the chaos, can generate hidden chaotic attractors. To the best of the authors knowledge, this interesting feature has not yet been discussed. The impulsive algorithm can be used to stabilize chaos in other classes of discrete dynamical systems.


title: Gravitational Effects of Disformal Couplings

abstract: We consider how a nearly massless scalar field conformally and disformally coupled to matter can affect the dynamics of gravitationally interacting bodies. We focus on the case of two interacting objects and we obtain the effective metric driving the dynamics of the two body system when reduced to one body in the centre of mass frame. We then concentrate on the case of a light particle in the scalar and gravitational fields generated by a heavy object and find the effects of the conformal and disformal couplings on the body's trajectory such as the advance of perihelion and the Shapiro time delay. The disformal coupling leads to a negligible contribution to the Shapiro effect and therefore no constraint from the Cassini experiment. On the other hand, it contributes to the perihelion advance leading to a weak bound on the strength of the disformal coupling itself. Finally, we remark that the disformal coupling gives rise to a contribution to the perihelion advance which varies quadratically with the mass of the heavy body, leading to possible strong effects for stars in the vicinity of astrophysical black holes. For neutron stars in a binary system, the disformal effects vary as the quartic power of the size of the orbit which might lead to interesting consequences in the inspiralling phase prior to a merger.


title: Assessing the effect of lens mass model in cosmological application with updated galaxy-scale strong gravitational lensing sample

abstract: By comparing the dynamical and lensing masses of early-type lens galaxies, one can constrain both the cosmological parameters and the density profiles of galaxies. We explore the constraining power on cosmological parameters and the effect of the lens mass model in this method with 161 galaxy-scale strong lensing systems, which is currently the largest sample with both high resolution imaging and stellar dynamical data. We assume a power-law mass model for the lenses, and consider three different parameterizations for $\gamma$ (i.e., the slope of the total mass density profile) to include the effect of the dependence of $\gamma$ on redshift and surface mass density. When treating $\delta$ (i.e., the slope of the luminosity density profile) as a universal parameter for all lens galaxies, we find the limits on the cosmological parameter $\Omega_m$ are quite weak and biased, and also heavily dependent on the lens mass model in the scenarios of parameterizing $\gamma$ with three different forms. When treating $\delta$ as an observable for each lens, the unbiased estimate of $\Omega_m$ can be obtained only in the scenario of including the dependence of $\gamma$ on both the redshift and the surface mass density, that is $\Omega_m = 0.381^{+0.185}_{-0.154}$ at 68\% confidence level in the framework of a flat $\Lambda$CDM model. We conclude that the significant dependencies of $\gamma$ on both the redshift and the surface mass density, as well as the intrinsic scatter of $\delta$ among the lenses, need to be properly taken into account in this method.


title: Co-sleep: Designing a workplace-based wellness program for sleep deprivation

abstract: Sleep deprivation is a public health issue. Awareness of sleep deprivation has not been widely investigated in workplace-based wellness programmes. This study adopted a three-stage design process with nine participants from a local manufacturing company to help raise awareness of sleep deprivation. The common causes of sleep deprivation were identified through the deployment of technology probes and participant interviews. The study contributes smart Internet of things(IoT) workplace-based design concepts for activity tracking that may aid sleep and explore ways of sharing personal sleep data within the workplace. Through the use of co-design methods, the study also highlights prominent privacy concerns relating to use of personal data from different stakeholders' perspectives, including the unexpected use of sleep data by organisations for fatigue risk management and the evaluation of employee performance. The Actigrahy and sleep diary data can be accessed online through https://github.com/famousgrouse/pervasivehealth/


title: S-SPADE Done Right: Detailed Study of the Sparse Audio Declipper Algorithms

abstract: This technical report shows and discusses in detail how Sparse Audio Declipper (SPADE) algorithms are derived from the signal model using the ADMM approach. The analysis version (A-SPADE) of Kiti\'c et. al. (LVA/ICA 2015) is derived and justified. The synthesis version (S-SPADE) of the same research team is shown to solve a different optimization task than intended. This issue is corrected in this report, leading to the new S-SPADE algorithm which is in line to A-SPADE.


title: Cosmological Simulation for Fuzzy Dark Matter Model

abstract: Fuzzy Dark Matter (FDM), motivated by string theory, has recently become a hot candidate for dark matter. The rest mass of FDM is believed to be $\sim 10^{-22}$eV and the corresponding de-Broglie wave length is $\sim 1$kpc. Therefore, the quantum effect of FDM plays an important role in structure formation. In order to study the cosmological structure formation in FDM model, several simulation techniques have been introduced. We review the current status and challenges in the cosmological simulation for the FDM model in this paper.


title: A Method to Assess and Argue for Practical Significance in Software Engineering

abstract: A key goal of empirical research in software engineering is to assess practical significance, which answers whether the observed effects of some compared treatments show a relevant difference in practice in realistic scenarios. Even though plenty of standard techniques exist to assess statistical significance, connecting it to practical significance is not straightforward or routinely done; indeed, only a few empirical studies in software engineering assess practical significance in a principled and systematic way. In this paper, we argue that Bayesian data analysis provides suitable tools to assess practical significance rigorously. We demonstrate our claims in a case study comparing different test techniques. The case study's data was previously analyzed (Afzal et al., 2015) using standard techniques focusing on statistical significance. Here, we build a multilevel model of the same data, which we fit and validate using Bayesian techniques. Our method is to apply cumulative prospect theory on top of the statistical model to quantitatively connect our statistical analysis output to a practically meaningful context. This is then the basis both for assessing and arguing for practical significance. Our study demonstrates that Bayesian analysis provides a technically rigorous yet practical framework for empirical software engineering. A substantial side effect is that any uncertainty in the underlying data will be propagated through the statistical model, and its effects on practical significance are made clear. Thus, in combination with cumulative prospect theory, Bayesian analysis supports seamlessly assessing practical significance in an empirical software engineering context, thus potentially clarifying and extending the relevance of research for practitioners.


title: Comment on energy dependence of the slope parameter

abstract: We discuss energy dependence of the slope parameter in elastic proton scattering. It is shown that unitarity generates energy dependence of the slope parameter in geometrical models consistent with the experimental results including recent LHC data.


title: FDBB: Fluid Dynamics Building Blocks

abstract: High-performance computing platforms are becoming more and more heterogeneous, which makes it very difficult for researchers and scientific software developers to keep up with the rapid changes on the hardware market. In this paper, the open-source project FDBB (Fluid Dynamics Building Blocks) is presented, which eases the development of fluid dynamics applications for heterogeneous systems. It consists of a low-level API that provides a unified interface to many different linear algebra back-ends and a lightweight and extendible high-level expression template library, which provides largely customizable fluid dynamics building blocks, like transformations between primary and secondary variables as well as expressions for Riemann invariants, equations of state, inviscid fluxes and their flux-Jacobians. The performance of the developed approach is assessed both for synthetic micro-benchmarks and within mini-applications.


title: Convergence rate of the finite element approximation for extremizers of Sobolev inequalities

abstract: In this paper, we are concerned with the convergence rate of a FEM based numerical scheme approximating extremal functions of the Sobolev inequality. We prove that when the domain is polygonal and convex in $\R^2$, the convergence of a finite element solution to an exact extremal function in $L^2$ and $H^1$ norms has the rates $O(h^2)$ and $O(h)$ respectively, where $h$ denotes the mesh size of a triangulation of the domain.


title: Stochastic Second-order Methods for Non-convex Optimization with Inexact Hessian and Gradient

abstract: Trust region and cubic regularization methods have demonstrated good performance in small scale non-convex optimization, showing the ability to escape from saddle points. Each iteration of these methods involves computation of gradient, Hessian and function value in order to obtain the search direction and adjust the radius or cubic regularization parameter. However, exactly computing those quantities are too expensive in large-scale problems such as training deep networks. In this paper, we study a family of stochastic trust region and cubic regularization methods when gradient, Hessian and function values are computed inexactly, and show the iteration complexity to achieve $\epsilon$-approximate second-order optimality is in the same order with previous work for which gradient and function values are computed exactly. The mild conditions on inexactness can be achieved in finite-sum minimization using random sampling. We show the algorithm performs well on training convolutional neural networks compared with previous second-order methods.


title: On Zariski Multiplets of Branch Curves from Surfaces Isogenous to a Product

abstract: In this paper we give an asymptotic bound of the cardinality of Zariski multiples of particular plane singular curves. These curves have only nodes and cusps as singularities and are obtained as branched curves of ramified covering of the plane by surfaces isogenous to a product of curves with group $(\mathbb{Z}/2\mathbb{Z})^k$. The knowledge of the moduli space of these surfaces will enable us to produce Zariski multiplets whose number grows subexponentialy in function of their degree.


title: Cluster formation in the W40 and Serpens South complex triggered by the expanding HII region

abstract: We present results of the mapping observations covering a large area of 1 square degree around W40 and Serpens South carried out in the 12CO (J=1-0), 13CO (J=1-0), C18O (J=1-0), CCS (J_{N}=8_{7}-7_{6}), and N_2H+ (J=1-0) emission lines with the 45 m Nobeyama Radio Telescope. W40 is a blistered Hii region, and Serpens South is an infrared dark cloud accompanied by a young cluster. The relationship between these two regions which are separated by ~20' on the sky has not been clear so far. We found that the C18O emission is distributed smoothly throughout the W40 and Serpens South regions, and it seems that the two regions are physically connected. We divided the C18O emission into four groups in terms of the spatial distributions around the HII region which we call 5, 6, 7, and 8 km s^{-1} components according to their typical LSR velocities, and propose a three-dimensional model of the W40 and Serpens South complex. We found two elliptical structures in position-velocity diagrams, which can be explained as a part of two expanding shells. One of the shells is the small inner shell just around the HII region, and the other is the large outer shell corresponding to the boundary of the HII region. Dense gas associated with the young cluster of Serpens South is likely to be located at the surface of the outer shell, indicating that the natal clump of the young cluster is interacting with the outer shell being compressed by the expansion of the shell. We suggest that the expansion of the shell induced the formation of the young cluster.


title: A one-parameter family of degree 36 polynomials with PSp(6,2) as Galois group over Q(t)

abstract: We present a one-parameter family of degree 36 polynomials with the symplectic 2-transitive group PSp(6,2) as Galois group over Q(t).


title: Bialgebras for Stanley symmetric functions

abstract: We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbf{\Pi}$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbf{\Pi}$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbf{\Pi}$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.


title: Dissecting Tendermint

abstract: In this paper we analyze Tendermint proposed in [7], one of the most popular blockchains based on PBFT Consensus. The current paper dissects Tendermint under various system communication models and Byzantine adversaries. Our methodology consists in identifying the algorithmic principles of Tendermint necessary for a specific combination of communication model-adversary. This methodology allowed to identify bugs [3] in preliminary versions of the protocol ([19], [7]) and to prove its correctness under the most adversarial conditions: an eventually synchronous communication model and asymmetric Byzantine faults.


title: Some examples of Dirac-harmonic maps

abstract: We discuss a method to construct Dirac-harmonic maps developed by J.~Jost, X.~Mo and M.~Zhu in J.~Jost, X.~Mo, M.~Zhu, \emph{Some explicit constructions of Dirac-harmonic maps}, J. Geom. Phys. \textbf{59} (2009), no. 11, 1512--1527.The method uses harmonic spinors and twistor spinors, and mainly applies to Dirac-harmonic maps of codimension $1$ with target spaces of constant sectional curvature.Before the present article, it remained unclear when the conditions of the theorems in J.~Jost, X.~Mo, M.~Zhu, \emph{Some explicit constructions of Dirac-harmonic maps}, J. Geom. Phys. \textbf{59} (2009), no. 11, 1512--1527, were fulfilled. We show that for isometric immersions into spaceforms, these conditions are fulfilled only under special assumptions.In several cases we show the existence of solutions.