title: Crystallization in the Fractional Quantum Hall Regime Induced by Landau-level Mixing

abstract: The interplay between strongly correlated liquid and crystal phases for two-dimensional electrons exposed to a high transverse magnetic field is of fundamental interest. Through the non-perturbative fixed phase diffusion Monte Carlo method, we determine the phase diagram of the Wigner crystal in the $\nu-\kappa$ plane, where $\nu$ is the filling factor and $\kappa$ is the strength of Landau level mixing. The phase boundary is seen to exhibit a striking $\nu$ dependence, with the states away from the magic filling factors $\nu=n/(2pn+1)$ being much more susceptible to crystallization due to Landau level mixing than those at $\nu=n/(2pn+1)$. Our results explain the qualitative difference between the experimental behaviors observed in n-doped and p-doped GaAs quantum wells, and, in particular, the existence of an insulating state for $\nu<1/3$ and also for $1/3 <\nu< 2/5$ in low density p-doped systems. We predict that in the vicinity of $\nu=1/5$ and $\nu=2/9$, increasing LL mixing causes a transition not into an ordinary electron Wigner crystal but rather into a strongly correlated crystal of composite fermions carrying two vortices.


title: Martingale solutions for the three-dimensional stochastic nonhomogeneous incompressible Navier-Stokes equations driven by Levy processes

abstract: In this paper, the three-dimensional stochastic nonhomogeneous incompressible Navier-Stokes equations driven by L\'evy process consisting of the Brownian motion, the compensated Poisson random measure and the Poisson random measure are considered in a bounded domain. We obtain the existence of martingale solutions. The construction of the solution is based on the classical Galerkin approximation method, stopping time, the compactness method and the Jakubowski-Skorokhod theorem.


title: Maximally Random Discrete-Spin Systems with Symmetric and Asymmetric Interactions and Maximally Degenerate Ordering

abstract: Discrete-spin systems with maximally random nearest-neighbor interactions that can be symmetric or asymmetric, ferromagnetic or antiferromagnetic, including off-diagonal disorder, are studied, for the number of states $q=3,4$ in $d$ dimensions. We use renormalization-group theory that is exact for hierarchical lattices and approximate (Migdal-Kadanoff) for hypercubic lattices. For all d>1 and all non-infinite temperatures, the system eventually renormalizes to a random single state, thus signaling qxq degenerate ordering. Note that this is the maximally degenerate ordering. For high-temperature initial conditions, the system crosses over to this highly degenerate ordering only after spending many renormalization-group iterations near the disordered (infinite-temperature) fixed point. Thus, a temperature range of short-range disorder in the presence of long-range order is identified, as previously seen in underfrustrated Ising spin-glass systems. The entropy is calculated for all temperatures, behaves similarly for ferromagnetic and antiferromagnetic interactions, and shows a derivative maximum at the short-range disordering temperature. With a sharp immediate contrast of infinitesimally higher dimension 1+\epsilon, the system is as expected disordered at all temperatures for d=1.


title: Polymer Solutions

abstract: The article provides a brief general introduction into the concepts of scaling, universality, and crossover scaling, plus the blob concept that provides an intuitive picture of crossover phenomena. We present the most important static and dynamic scaling laws for unentangled uncharged polymer solutions, together with their test and refinement by careful computer simulations. A hoard of simulation methods has been developed for these systems, and these will be briefly discussed as well.


title: Deuterated Formaldehyde in the low mass protostar HH212

abstract: HH212, a nearby (400 pc) object in Orion, is a Class 0 protostellar system with a Keplerian disk and collimated bipolar SiO jets. Deuterated water, HDO and a deuterated complex molecule, methanol (CH2DOH) have been reported in the source. Here, we report the HDCO (deuterated formaldehyde) line observation from ALMA data to probe the inner region of HH212. We compare HDCO line with other molecular lines to understand the possible chemistry and physics of the source. The distribution of HDCO emission suggests it may be associated with the base of the outflow. The emission also shows a rotation but it is not associated with the Keplerian rotation of disk or the rotating infalling envelope, rather it is associated with the outflow as previously seen in C 34 S. From the possible deuterium fractionation, we speculate that the gas phase formation of deuterated formaldehyde is active in the central hot region of the low-mass protostar system, HH212.


title: A Deep Reinforcement Learning Chatbot (Short Version)

abstract: We present MILABOT: a deep reinforcement learning chatbot developed by the Montreal Institute for Learning Algorithms (MILA) for the Amazon Alexa Prize competition. MILABOT is capable of conversing with humans on popular small talk topics through both speech and text. The system consists of an ensemble of natural language generation and retrieval models, including neural network and template-based models. By applying reinforcement learning to crowdsourced data and real-world user interactions, the system has been trained to select an appropriate response from the models in its ensemble. The system has been evaluated through A/B testing with real-world users, where it performed significantly better than other systems. The results highlight the potential of coupling ensemble systems with deep reinforcement learning as a fruitful path for developing real-world, open-domain conversational agents.


title: On the $\infty$-stack of complexes over a scheme

abstract: We study fppf descent for enhanced derived categories. We revisit the work of [HS] and [TV08] in a lax context. More precisely, we construct a Cartesian and coCartesian fibration ${}^{\mathrm{op}}\mathscr D^+_S\rightarrow N(\mathop{\mathrm{Sch}}_S)$ whose fibre over an $S$-scheme $T$ is the opposite $\mathscr D^+(T)^{\mathrm{op}}$ of the quasicategory of bounded below complexes of $\mathscr O_T$-modules. We show that this fibration satisfies fppf-descent for schemes.


title: Secrecy Capacity of Colored Gaussian Noise Channels with Feedback

abstract: In this paper, the k-th order autoregressive moving average (ARMA(k)) Gaussian wiretap channel with noiseless causal feedback is considered, in which an eavesdropper receives noisy observations of the signals in both forward and feedback channels. It is shown that a variant of the generalized Schalkwijk-Kailath scheme, a capacity-achieving coding scheme for the feedback Gaussian channel, achieves the same maximum rate for the same channel with the presence of an eavesdropper. Therefore, the secrecy capacity is equal to the feedback capacity without the presence of an eavesdropper for the feedback channel. Furthermore, the results are extended to the additive white Gaussian noise (AWGN) channel with quantized feedback. It is shown that the proposed coding scheme achieves a positive secrecy rate. As the amplitude of the quantization noise decreases to zero, the secrecy rate converges to the capacity of the AWGN channel.


title: Decision Rules for Robotic Mobile Fulfillment Systems

abstract: The Robotic Mobile Fulfillment Systems (RMFS) is a new type of robotized, parts-to-picker material handling system, designed especially for e-commerce warehouses. Robots bring movable shelves, called pods, to workstations where inventory is put on or removed from the pods. This paper simulates both the pick and replenishment process and studies the order assignment, pod selection and pod storage assignment problems by evaluating multiple decision rules per problem. The discrete event simulation uses realistic robot movements and keeps track of every unit of inventory on every pod. We analyze seven performance measures, e.g. throughput capacity and order due time, and find that the unit throughput is strongly correlated with the other performance measures. We vary the number of robots, the number of pick stations, the number of SKUs (stock keeping units), the order size and whether returns need processing or not. The decision rules for pick order assignment have a strong impact on the unit throughput rate. This is not the case for replenishment order assignment, pod selection and pod storage. Furthermore, for warehouses with a large number of SKUs, more robots are needed for a high unit throughput rate, even if the number of pods and the dimensions of the storage area remain the same. Lastly, processing return orders only affects the unit throughput rate for warehouse with a large number of SKUs and large pick orders.


title: A more reasonable proof of Cobham's theorem

abstract: We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.


title: On closed Lie ideals of certain tensor products of C*-algebras II

abstract: We identify all closed Lie ideals of $A \otimes^{\alpha} B$ and $B(H) \otimes^{\alpha} B(H)$, where $\otimes^{\alpha}$ is either the Haagerup tensor product, the Banach space projective tensor product or the operator space projective tensor product, $A$ is any simple C*-algebra, $B$ is any C*-algebra with one of them admitting no tracial states, and $H$ is an infinite dimensional separable Hilbert space. Further, generalizing a result of Marcoux, we also identify all closed Lie ideals of $A\otimes^{\min} B$, where $A$ is a simple C*-algebra with at most one tracial state and $B$ is any commutative C*-algebra.


title: One way quantum repeaters with quantum Reed-Solomon codes

abstract: We show that quantum Reed-Solomon codes constructed from classical Reed-Solomon codes can approach the capacity on the quantum erasure channel of $d$-level systems for large dimension $d$. We study the performance of one-way quantum repeaters with these codes and obtain a significant improvement in key generation rate compared to previously investigated encoding schemes with quantum parity codes and quantum polynomial codes. We also compare the three generation of quantum repeaters using quantum Reed-Solomon codes and identify parameter regimes where each generation performs the best.


title: Knotty protostellar jets as a signature of episodic protostellar accretion?

abstract: We aim at studying the causal link between the knotty jet structure in CARMA 7, a young Class 0 protostar in the Serpens South cluster, and episodic accretion in young protostellar disks. We used numerical hydrodynamics simulations to derive the protostellar accretion history in gravitationally unstable disks around solar-mass protostars. We compared the time spacing between luminosity bursts \Delta\tau_mod, caused by dense clumps spiralling on the protostar, with the differences of dynamical timescales between the knots \Delta\tau_obs in CARMA 7. We found that the time spacing between the bursts have a bi-modal distribution caused by isolated and clustered luminosity bursts. The former are characterized by long quiescent periods between the bursts with \Delta\tau_mod = a few * (10^3-10^4) yr, whereas the latter occur in small groups with time spacing between the bursts \Delta\tau_mod= a few * (10-10^2) yr. For the clustered bursts, the distribution of \Delta\tau_mod in our models can be fit reasonably well to the distribution of \Delta\tau_obs in the protostellar jet of CARMA 7, if a certain correction for the (yet unknown) inclination angle with respect to the line of sight is applied. The K-S test on the model and observational data sets suggests the best-fit values for the inclination angles of 55-80 deg., which become narrower (75-80 deg.) if only strong luminosity bursts are considered. The dynamical timescales of the knots in the jet of CARMA 7 are too short for a meaningful comparison with the long time spacings between isolated bursts in our models. The exact sequences of time spacings between the luminosity bursts in our models and knots in the jet of CARMA 7 were found difficult to match. (abridged)


title: Hubbard pair cluster in the external fields. Studies of the magnetic properties

abstract: The magnetic properties of the two-site Hubbard cluster (dimer or pair), embedded in the external electric and magnetic fields and treated as the open system, are studied by means of the exact diagonalization of the Hamiltonian. The formalism of the grand canonical ensemble is adopted. The phase diagrams, on-site magnetization, spin-spin correlations, mean occupation numbers and hopping energy are investigated and illustrated in figures. An influence of temperature, mean electron concentration, Coulomb $U$ parameter and external fields on the quantities of interest is presented and discussed. In particular, the anomalous behaviour of the magnetization and correlation function vs. temperature near the critical magnetic field is found. Also, the effect of magnetization switching by the external fields is demonstrated.


title: Vector valued Hardy spaces related to analytic functions having distributional boundary values

abstract: The Hardy space $H^{p}$ of vector valued analytic functions in tube domains in $\mathbb{C}^{n}$ and with values in Banach space are defined. Vector valued analytic functions in tube domains in $\mathbb{C}^{n}$ with values in Hilbert space and which have vector valued tempered distributions as boundary value are proved to be in $H^{p}$ corresponding to Hilbert space if the boundary value is in $L^{p}$ with values in Hilbert space. A Poisson integral representation for such vector valued analytic functions is obtained.


title: Learning Light Field Reconstruction from a Single Coded Image

abstract: Light field imaging is a rich way of representing the 3D world around us. However, due to limited sensor resolution capturing light field data inherently poses spatio-angular resolution trade-off. In this paper, we propose a deep learning based solution to tackle the resolution trade-off. Specifically, we reconstruct full sensor resolution light field from a single coded image. We propose to do this in three stages 1) reconstruction of center view from the coded image 2) estimating disparity map from the coded image and center view 3) warping center view using the disparity to generate light field. We propose three neural networks for these stages. Our disparity estimation network is trained in an unsupervised manner alleviating the need for ground truth disparity. Our results demonstrate better recovery of parallax from the coded image. Also, we get better results than dictionary learning based approaches both qualitatively and quatitatively.


title: HAZMAT III: The UV Evolution of Mid- to Late-M Stars with GALEX

abstract: Low-mass stars are currently the most promising targets for detecting and characterizing habitable planets in the solar neighborhood. However, the ultraviolet (UV) radiation emitted by such stars can erode and modify planetary atmospheres over time, drastically affecting their habitability. Thus knowledge of the UV evolution of low-mass stars is critical for interpreting the evolutionary history of any orbiting planets. Shkolnik & Barman (2014) used photometry from the Galaxy Evolution Explorer (GALEX) to show how UV emission evolves for early type M stars ($>$0.35 $M_\odot$). In this paper, we extend their work to include both a larger sample of low-mass stars with known ages as well as M stars with lower masses. We find clear evidence that mid- and late-type M stars (0.08-0.35 $M_\odot$) do not follow the same UV evolutionary trend as early-Ms. Lower mass M stars retain high levels of UV activity up to field ages, with only a factor of 4 decrease on average in GALEX NUV and FUV flux density between young ($<$50 Myr) and old ($\sim$5 Gyr) stars, compared to a factor of 11 and 31 for early-Ms in NUV and FUV, respectively. We also find that the FUV/NUV flux density ratio, which can affect the photochemistry of important planetary biosignatures, is mass and age-dependent for early Ms, but remains relatively constant for the mid- and late-type Ms in our sample.


title: Cool Spot and Flare Activities of a RS CVn Binary KIC 7885570

abstract: We present here the results on the physical nature a RS CVn binary KIC 7885570 and its chromospheric activity based on the Kepler Mission data. Assuming the primary component temperature, 6530 K, the temperature of the secondary component was found to be 5732+-4 K. The mass ratio of the components (q) was found to be 0.43$\pm$0.01, while the inclination ($i$) of the system 80.56+-0.01 deg. Additionally, the data were separated into 35 subsets to model the sinusoidal variation due to the rotational modulation, using the SPOTMODEL program, as the light curve analysis indicated the chromospherically active secondary component. It was found that there are generally two spotted areas, whose radii, longitudes and latitudes are rapidly changing, located around the latitudes of +50 deg and +90 deg on the active component. Moreover, 113 flares were detected and their parameters were computed from the available data. The One Phase Exponential Association function model was derived from the parameters of these flares. Using the regression calculations, the Plateau value was found to be 1.9815+-0.1177, while the half-life value was computed as 3977.2 s. In addition, the flare frequency (N1) - the flare number per hour, was estimated to be 0.00362 1/h, while flare frequency (N2) - the flare-equivalent duration emitted per hour, was computed as 0.00001. Finally, the times of eclipses were computed for 278 minima of the light curves, whose analysis indicated that the chromosphere activity nature of the system causes some effects on these minima times. Comparing the chromospheric activity patterns with the analogues of the secondary component, it is seen that the magnetic activity level is remarkably low. However, it is still at the expected level according to the B-V color index of 0.643 mag for the secondary component.


title: Optical/infrared polarised emission in X-ray binaries

abstract: Recently, evidence for synchrotron emission in both black hole and neutron star X-ray binaries has been mounting, from optical/infrared spectral, polarimetric, and fast timing signatures. The synchrotron emission of jets can be highly linearly polarised, depending on the configuration of the magnetic field. Optical and infrared (OIR) polarimetric observations of X-ray binaries are presented in this brief review. The OIR polarimetric signature of relativistic jets is detected at levels of ~ 1-10 %, similar to AGN cores. This reveals that the magnetic geometry in the compact jets may be similar for supermassive and stellar-mass BHs. The magnetic fields near the jet base in most of these systems appear to be turbulent, variable and on average, aligned with the jet axis, although there are some exceptions. These measurements probe the physical conditions in the accretion (out)flow and demonstrate a new way of connecting inflow and outflow, using both rapid timing and polarisation. Variations in polarisation could be due to rapid changes of the ordering of the magnetic field in the emitting region, or in one case, flares from individual ejections or collisions between ejecta. It is predicted that in some cases, variable levels of X-ray polarisation from synchrotron emission originating in jets will be detected from accreting Galactic black holes with upcoming spaceborne X-ray polarimeters.


title: Life Beyond the Solar System: Remotely Detectable Biosignatures

abstract: For the first time in human history, we will soon be able to apply the scientific method to the question "Are We Alone?" The rapid advance of exoplanet discovery, planetary systems science, and telescope technology will soon allow scientists to search for life beyond our Solar System through direct observation of extrasolar planets. This endeavor will occur alongside searches for habitable environments and signs of life within our Solar System. While the searches are thematically related and will inform each other, they will require separate observational techniques. The search for life on exoplanets holds potential through the great diversity of worlds to be explored beyond our Solar System. However, there are also unique challenges related to the relatively limited data this search will obtain on any individual world. This white paper reviews the scientific community's ability to use data from future telescopes to search for life on exoplanets. This material summarizes products from the Exoplanet Biosignatures Workshop Without Walls (EBWWW). The EBWWW was constituted by a series of online and in person activities, with participation from the international exoplanet and astrobiology communities, to assess state of the science and future research needs for the remote detection of life on planets outside our Solar System.


title: Outlook for inverse design in nanophotonics

abstract: Recent advancements in computational inverse design have begun to reshape the landscape of structures and techniques available to nanophotonics. Here, we outline a cross section of key developments at the intersection of these two fields: moving from a recap of foundational results to motivation of emerging applications in nonlinear, topological, near-field and on-chip optics.


title: Mitigation of Human Exposure to RF Fields in Downlink of Millimeter-Wave Cellular Systems

abstract: Out of the very few studies that paid proper attention to the harmful health impacts in millimeter-wave (mmW) communications, most of them are concerned about uplink cases due to closer contact with the human body. Our recent study revealed that even the human exposure to radio frequency (RF) fields in downlink mmW technology is not very minimum to be ignored. There were a few RF exposure mitigation techniques for uplinks, but the downlink scenario is hardly paid any attention. However, this paper proposes a downlink protocol for mmW cellular communications that achieves the maximum data rate while keeping the impacts on human health minimized. Our results show that the proposed technique lowers both power density (PD) and specific absorption rate (SAR) compared to the typical protocol, with only slight sacrifice in data rates.


title: Using Deep Learning for Title-Based Semantic Subject Indexing to Reach Competitive Performance to Full-Text

abstract: For (semi-)automated subject indexing systems in digital libraries, it is often more practical to use metadata such as the title of a publication instead of the full-text or the abstract. Therefore, it is desirable to have good text mining and text classification algorithms that operate well already on the title of a publication. So far, the classification performance on titles is not competitive with the performance on the full-texts if the same number of training samples is used for training. However, it is much easier to obtain title data in large quantities and to use it for training than full-text data. In this paper, we investigate the question how models obtained from training on increasing amounts of title training data compare to models from training on a constant number of full-texts. We evaluate this question on a large-scale dataset from the medical domain (PubMed) and from economics (EconBiz). In these datasets, the titles and annotations of millions of publications are available, and they outnumber the available full-texts by a factor of 20 and 15, respectively. To exploit these large amounts of data to their full potential, we develop three strong deep learning classifiers and evaluate their performance on the two datasets. The results are promising. On the EconBiz dataset, all three classifiers outperform their full-text counterparts by a large margin. The best title-based classifier outperforms the best full-text method by 9.4%. On the PubMed dataset, the best title-based method almost reaches the performance of the best full-text classifier, with a difference of only 2.9%.


title: Analog-to-Digital Compression: A New Paradigm for Converting Signals to Bits

abstract: Processing, storing and communicating information that originates as an analog signal involves conversion of this information to bits. This conversion can be described by the combined effect of sampling and quantization, as illustrated in Fig. 1. The digital representation is achieved by first sampling the analog signal so as to represent it by a set of discrete-time samples and then quantizing these samples to a finite number of bits. Traditionally, these two operations are considered separately. The sampler is designed to minimize information loss due to sampling based on characteristics of the continuous-time input. The quantizer is designed to represent the samples as accurately as possible, subject to a constraint on the number of bits that can be used in the representation. The goal of this article is to revisit this paradigm by illuminating the dependency between these two operations. In particular, we explore the requirements on the sampling system subject to constraints on the available number of bits for storing, communicating or processing the analog information.


title: A Tutorial on Modeling and Analysis of Dynamic Social Networks. Part II

abstract: Recent years have witnessed a significant trend towards filling the gap between Social Network Analysis (SNA) and control theory. This trend was enabled by the introduction of new mathematical models describing dynamics of social groups, the development of algorithms and software for data analysis and the tremendous progress in understanding complex networks and multi-agent systems (MAS) dynamics. The aim of this tutorial is to highlight a novel chapter of control theory, dealing with dynamic models of social networks and processes over them, to the attention of the broad research community. In its first part [1], we have considered the most classical models of social dynamics, which have anticipated and to a great extent inspired the recent extensive studies on MAS and complex networks. This paper is the second part of the tutorial, and it is focused on more recent models of social processes that have been developed concurrently with MAS theory. Future perspectives of control in social and techno-social systems are also discussed.

categories: cs.SI cs.SY math.OC nlin.AO physics.soc-ph


title: Optimal Rates for Spectral Algorithms with Least-Squares Regression over Hilbert Spaces

abstract: In this paper, we study regression problems over a separable Hilbert space with the square loss, covering non-parametric regression over a reproducing kernel Hilbert space. We investigate a class of spectral/regularized algorithms, including ridge regression, principal component regression, and gradient methods. We prove optimal, high-probability convergence results in terms of variants of norms for the studied algorithms, considering a capacity assumption on the hypothesis space and a general source condition on the target function. Consequently, we obtain almost sure convergence results with optimal rates. Our results improve and generalize previous results, filling a theoretical gap for the non-attainable cases.


title: On the unicity of types for tame toral supercuspidal representations

abstract: For tame arbitrary-length toral, also called positive regular, supercuspidal representations of a simply connected and semisimple $p$-adic group $G$, constructed as per Adler-Yu, we determine which components of their restriction to a maximal compact subgroup are types. We give conditions under which there is a unique such component, and then present a class of examples for which there is not, disproving the strong version of the conjecture of unicity of types on maximal compact open subgroups. We restate the unicity conjecture, and prove it holds for the groups and representations under consideration under a mild condition on depth.


title: Solid-state qubits

abstract: The quantum world is fascinating. It presents a description of nature that defies our most rooted concepts about what reality is. For example, quantum objects possess \lq\lq spooky\rq\rq\ properties that allow them to be in multiple places at the same time, to move in different directions simultaneously, or to exist and not to exist. In other words, to live several parallel stories. Making use of these parallel stories to compute is the realm of quantum computation, a world in which information is processed using the laws of quantum physics. Nowadays, quantum computers are an object of an extensive experimental and theoretical research, since it is known that, on paper, these can solve many of the current computational challenges. These are the problems that even the most sophisticated supercomputers of today, or tomorrow, will not be able to solve.


title: Influence of a Thermal Bath on The Transport Properties of an Open Molecular Junction

abstract: In a molecular junction (MJ) which connects two electrical leads, electron-phonon coupling has significant effects on the transport properties. However, the MJ is not thermally isolated and the phonons can be coupled to another thermal bath. For strong enough couplings, the bath thermalizes phonons on the MJ so that their number would be bias independent. However, in medium and weak coupling regimes, the number of phonons created in MJ depends on the bias voltage. Obtaining the master equation (ME) for this system and comparing the results with the case where we have no such thermal bath, we show that if the bath temperature is greater than the leads, at low bias voltages (where in the absence of the thermal bath the probability of phonon excitation is low), the thermal bath heats up our MJ and decreases electronic current. On the other hand, at high bias voltages the bath cools down MJ and increases the current. However, if the bath temperature is less than the leads, it always increases the current and the heat flows from the junction to the leads.


title: DeepISP: Towards Learning an End-to-End Image Processing Pipeline

abstract: We present DeepISP, a full end-to-end deep neural model of the camera image signal processing (ISP) pipeline. Our model learns a mapping from the raw low-light mosaiced image to the final visually compelling image and encompasses low-level tasks such as demosaicing and denoising as well as higher-level tasks such as color correction and image adjustment. The training and evaluation of the pipeline were performed on a dedicated dataset containing pairs of low-light and well-lit images captured by a Samsung S7 smartphone camera in both raw and processed JPEG formats. The proposed solution achieves state-of-the-art performance in objective evaluation of PSNR on the subtask of joint denoising and demosaicing. For the full end-to-end pipeline, it achieves better visual quality compared to the manufacturer ISP, in both a subjective human assessment and when rated by a deep model trained for assessing image quality.


title: A Comparison Framework for Interleaved Persistence Modules

abstract: We present a generalization of the induced matching theorem and use it to prove a generalization of the algebraic stability theorem for $\mathbb{R}$-indexed pointwise finite-dimensional persistence modules. Via numerous examples, we show how the generalized algebraic stability theorem enables the computation of rigorous error bounds in the space of persistence diagrams that go beyond the typical formulation in terms of bottleneck (or log bottleneck) distance.


title: Design Guidelines for High-Performance SCM Hierarchies

abstract: With emerging storage-class memory (SCM) nearing commercialization, there is evidence that it will deliver the much-anticipated high density and access latencies within only a few factors of DRAM. Nevertheless, the latency-sensitive nature of memory-resident services makes seamless integration of SCM in servers questionable. In this paper, we ask the question of how best to introduce SCM for such servers to improve overall performance/cost over existing DRAM-only architectures. We first show that even with the most optimistic latency projections for SCM, the higher memory access latency results in prohibitive performance degradation. However, we find that deployment of a modestly sized high-bandwidth 3D stacked DRAM cache makes the performance of an SCM-mostly memory system competitive. The high degree of spatial locality that memory-resident services exhibit not only simplifies the DRAM cache's design as page-based, but also enables the amortization of increased SCM access latencies and the mitigation of SCM's read/write latency disparity. We identify the set of memory hierarchy design parameters that plays a key role in the performance and cost of a memory system combining an SCM technology and a 3D stacked DRAM cache. We then introduce a methodology to drive provisioning for each of these design parameters under a target performance/cost goal. Finally, we use our methodology to derive concrete results for specific SCM technologies. With PCM as a case study, we show that a two bits/cell technology hits the performance/cost sweet spot, reducing the memory subsystem cost by 40% while keeping performance within 3% of the best performing DRAM-only system, whereas single-level and triple-level cell organizations are impractical for use as memory replacements.


title: A Second Order Cumulant Spectrum Test That a Stochastic Process is Strictly Stationary and a Step Toward a Test for Graph Signal Strict Stationarity

abstract: This article develops a statistical test for the null hypothesis of strict stationarity of a discrete time stochastic process in the frequency domain. When the null hypothesis is true, the second order cumulant spectrum is zero at all the discrete Fourier frequency pairs in the principal domain. The test uses a window averaged sample estimate of the second order cumulant spectrum to build a test statistic with an asymptotic complex standard normal distribution. We derive the test statistic, study the properties of the test and demonstrate its application using 137Cs gamma ray decay data. Future areas of research include testing for strict stationarity of graph signals, with applications in learning convolutional neural networks on graphs, denoising, and inpainting.


title: Limiting optical diodes enabled by the phase transition of vanadium dioxide

abstract: A limiting optical diode is an asymmetric nonlinear device that is bidirectionally transparent at low power, but becomes opaque when illuminated by sufficiently intense light incident from a particular direction. We explore the use of a phase-transition material, vanadium dioxide (VO2), as an active element of limiting optical diodes. The VO2 phase transition can be triggered by optical absorption, resulting in a change in refractive index orders of magnitude larger than what can be achieved with conventional nonlinearities. As a result, a limiting optical diode based on incident-direction-dependent absorption in a VO2 layer can be very thin, and can function at low powers without field enhancement, resulting in broadband operation. We demonstrate a simple thin-film limiting optical diode comprising a transparent substrate, a VO2 film, and a semi-transparent metallic layer. For sufficiently high incident intensity, our proof-of-concept device realizes broadband asymmetric transmission across the near infrared, and is approximately ten times thinner than the free-space wavelength.


title: EnKCF: Ensemble of Kernelized Correlation Filters for High-Speed Object Tracking

abstract: Computer vision technologies are very attractive for practical applications running on embedded systems. For such an application, it is desirable for the deployed algorithms to run in high-speed and require no offline training. To develop a single-target tracking algorithm with these properties, we propose an ensemble of the kernelized correlation filters (KCF), we call it EnKCF. A committee of KCFs is specifically designed to address the variations in scale and translation of moving objects. To guarantee a high-speed run-time performance, we deploy each of KCFs in turn, instead of applying multiple KCFs to each frame. To minimize any potential drifts between individual KCFs transition, we developed a particle filter. Experimental results showed that the performance of ours is, on average, 70.10% for precision at 20 pixels, 53.00% for success rate for the OTB100 data, and 54.50% and 40.2% for the UAV123 data. Experimental results showed that our method is better than other high-speed trackers over 5% on precision on 20 pixels and 10-20% on AUC on average. Moreover, our implementation ran at 340 fps for the OTB100 and at 416 fps for the UAV123 dataset that is faster than DCF (292 fps) for the OTB100 and KCF (292 fps) for the UAV123. To increase flexibility of the proposed EnKCF running on various platforms, we also explored different levels of deep convolutional features.


title: Web password recovery --- a necessary evil?

abstract: Web password recovery, enabling a user who forgets their password to re-establish a shared secret with a website, is very widely implemented. However, use of such a fall-back system brings with it additional vulnerabilities to user authentication. This paper provides a framework within which such systems can be analysed systematically, and uses this to help gain a better understanding of how such systems are best implemented. To this end, a model for web password recovery is given, and existing techniques are documented and analysed within the context of this model. This leads naturally to a set of recommendations governing how such systems should be implemented to maximise security. A range of issues for further research are also highlighted.


title: Regularity and Gr\"obner bases of the Rees algebra of edge ideals of bipartite graphs

abstract: Let $G$ be a bipartite graph and $I=I(G)$ be its edge ideal. The aim of this note is to investigate different aspects of the Rees algebra $\mathcal{R}(I)$ of $I$. We compute its regularity and the universal Gr\"obner basis of its defining equations; interestingly, both of them are described in terms of the combinatorics of $G$. We apply these ideas to study the regularity of the powers of $I$. For any $s \ge \text{match}(G)+\lvert E(G) \rvert +1$ we prove that $\text{reg}(I^{s+1})=\text{reg}(I^s)+2$.


title: Boundary-based Image Forgery Detection by Fast Shallow CNN

abstract: Image forgery detection is the task of detecting and localizing forged parts in tampered images. Previous works mostly focus on high resolution images using traces of resampling features, demosaicing features or sharpness of edges. However, a good detection method should also be applicable to low resolution images because compressed or resized images are common these days. To this end, we propose a Shallow Convolutional Neural Network(SCNN), capable of distinguishing the boundaries of forged regions from original edges in low resolution images. SCNN is designed to utilize the information of chroma and saturation. Based on SCNN, two approaches that are named Sliding Windows Detection (SWD) and Fast SCNN, respectively, are developed to detect and localize image forgery region. In this paper, we substantiate that Fast SCNN can detect drastic change of chroma and saturation. In image forgery detection experiments Our model is evaluated on the CASIA 2.0 dataset. The results show that Fast SCNN performs well on low resolution images and achieves significant improvements over the state-of-the-art.


title: Probabilistic Tools for the Analysis of Randomized Optimization Heuristics

abstract: This chapter collects several probabilistic tools that proved to be useful in the analysis of randomized search heuristics. This includes classic material like Markov, Chebyshev and Chernoff inequalities, but also lesser known topics like stochastic domination and coupling or Chernoff bounds for geometrically distributed random variables and for negatively correlated random variables. Most of the results presented here have appeared previously, some, however, only in recent conference publications. While the focus is on collecting tools for the analysis of randomized search heuristics, many of these may be useful as well in the analysis of classic randomized algorithms or discrete random structures.


title: End-to-end Multi-Modal Multi-Task Vehicle Control for Self-Driving Cars with Visual Perception

abstract: Convolutional Neural Networks (CNN) have been successfully applied to autonomous driving tasks, many in an end-to-end manner. Previous end-to-end steering control methods take an image or an image sequence as the input and directly predict the steering angle with CNN. Although single task learning on steering angles has reported good performances, the steering angle alone is not sufficient for vehicle control. In this work, we propose a multi-task learning framework to predict the steering angle and speed control simultaneously in an end-to-end manner. Since it is nontrivial to predict accurate speed values with only visual inputs, we first propose a network to predict discrete speed commands and steering angles with image sequences. Moreover, we propose a multi-modal multi-task network to predict speed values and steering angles by taking previous feedback speeds and visual recordings as inputs. Experiments are conducted on the public Udacity dataset and a newly collected SAIC dataset. Results show that the proposed model predicts steering angles and speed values accurately. Furthermore, we improve the failure data synthesis methods to solve the problem of error accumulation in real road tests.


title: Long time dynamics for weakly damped nonlinear Klein-Gordon equations

abstract: We continue our study of damped nonlinear Klein-Gordon equations. In our previous work we considered fixed positive damping and proved a form of the soliton resolution conjecture for radial solutions. In contrast, here we consider damping which decreases in time to 0. In the class of radial data we again establish soliton resolution provided the damping goes to 0 sufficiently slowly. While our previous work relied on invariant manifold theory, here we use the Lojasiewicz-Simon inequality applied to a suitable Lyapunov functional.


title: On the Construction of Quasi-Binary and Quasi-Orthogonal Matrices over Finite Fields

abstract: Orthogonal and quasi-orthogonal matrices have a long history of use in digital image processing, digital and wireless communications, cryptography and many other areas of computer science and coding theory. The practical benefits of using orthogonal matrices come from the fact that the computation of inverse matrices is avoided, by simply using the transpose of the orthogonal matrix. In this paper, we introduce a new family of matrices over finite fields that we call \emph{Quasi-Binary and Quasi-Orthogonal Matrices}. We call the matrices quasi-binary due to the fact that matrices have only two elements $a, b \in \mathbb{F}_q$, but those elements are not $0$ and $1$. In addition, the reason why we call them quasi-orthogonal is due to the fact that their inverses are obtained not just by a simple transposition, but there is a need for an additional operation: a replacement of $a$ and $b$ by two other values $c$ and $d$. We give a simple relation between the values $a, b, c$ and $d$ for any finite field and especially for finite fields with characteristic 2. Our construction is based on incident matrices from cyclic Latin Rectangles and the efficiency of the proposed algorithm comes from the avoidance of matrix-matrix or matrix-vector multiplications.


title: At What Frequency Should the Kelly Bettor Bet?

abstract: We study the problem of optimizing the betting frequency in a dynamic game setting using Kelly's celebrated expected logarithmic growth criterion as the performance metric. The game is defined by a sequence of bets with independent and identically distributed returns X(k). The bettor selects the fraction of wealth K wagered at k = 0 and waits n steps before updating the bet size. Between updates, the proceeds from the previous bets remain at risk in the spirit of "buy and hold." Within this context, the main questions we consider are as follows: How does the optimal performance, we call it gn*, change with n? Does the high-frequency case, n = 1, always lead to the best performance? What are the effects of accrued interest and transaction costs? First, we provide rather complete answers to these questions for the important special case when X(k) in {-1,1} is a Bernoulli random variable with probability p that X(k) = 1. This serves as an entry point for future research using a binomial lattice model for stock trading. The latter sections focus on more general probability distributions for X(k) and two conjectures. The first conjecture is simple to state: Absent transaction costs, gn* is non-increasing in n. The second conjecture involves the technical condition which we call the sufficient attractiveness inequality. We first prove that satisfaction of this inequality is sufficient to guarantee that the low-frequency bettor using large n can match the performance of the high-frequency bettor using n = 1. Subsequently, we conjecture, and provide supporting evidence that this condition is also necessary.


title: Two classes of finite groups whose Chermak-Delgado lattice is a chain of length zero

abstract: It is an open question in the study of Chermak-Delgado lattices precisely which finite groups $G$ have the property that $CD(G)$ is a chain of length $0$. In this note, we determine two classes of groups with this property. We prove that if $G=AB$ is a finite group, where $A$ and $B$ are abelian subgroups of relatively prime orders with $A$ normal in $G$, then the Chermak-Delgado lattice of $G$ equals $\{AC_B(A)\}$, a strengthening of earlier known results.


title: Missing at random: a stochastic process perspective

abstract: We offer a natural and extensible measure-theoretic treatment of missingness at random. Within the standard missing data framework, we give a novel characterisation of the observed data as a stopping-set sigma algebra. We demonstrate that the usual missingness at random conditions are equivalent to requiring particular stochastic processes to be adapted to a set-indexed filtration of the complete data: measurability conditions that suffice to ensure the likelihood factorisation necessary for ignorability. Our rigorous statement of the missing at random conditions also clarifies a common confusion: what is fixed, and what is random?


title: Knowledge Representation for High-Level Norms and Violation Inference in Logic Programming

abstract: Most of the knowledge Representation formalisms developed for representing prescriptive norms can be categorized as either suitable for representing either low level or high level norms.We argue that low level norm representations do not advance the cause of autonomy in agents in the sense that it is not the agent itself that determines the normative position it should be at a particular time, on the account of a more general rule. In other words an agent on some external system for a nitty gritty prescriptions of its obligations and prohibitions. On the other hand, high level norms which have an explicit description of a norm's precondition and have some form of implication, do not as they exist in the literature do not support generalized inferences about violation like low level norm representations do. This paper presents a logical formalism for the representation of high level norms in open societies that enable violation inferences that detail the situation in which the norm violation took place and the identity of the norm violation. Norms are formalized as logic programs whose heads specify what an agent is obliged or permitted to do when a situation arises and within what time constraint of the situation.Each norm is also assigned an identity using some reification scheme. The body of each logic program describes the nature of the situation in which the agent is expected to act or desist from acting. This kind of violation is novel in the literature.


title: Special polarization characteristic features of a three dimensional terahertz photonic crystal not apparently apply to physical and optical basic rules

abstract: A silicon inverse diamond structure whose lattice point shape was vacant regular octahedrons had a complete photonic band gap at around 0.4 THz and X point's photonic band gap (0.36 THz to 0.44 THz) by plane wave expansion method. It is said that three-dimensional photonic crystals have no polarization anisotropy in photonic band gap (stop gap, stop band) of high symmetry points in normal incidence. Experimental results, however, confirmed that the polarization orientation (electric-field direction) of a reflected wave was different from that of an incident wave whose direction was [001]. The polarization orientation of the incident wave was parallel to the surface (001) of the photonic crystal, and it was set in the orientation defined as $\theta$ $^\circ$ (degree). The angle, $\theta$ was 0$^\circ$ to 90$^\circ$ per 15$^\circ$. A sample was rotated in plane (001) instead of the incident wave, relatively. The polarization orientation of the reflected wave was parallel to that of the incident wave for $\theta$ = 0$^\circ$ and 90$^\circ$, in contrast, the former was perpendicular to the latter for $\theta$ = 45$^\circ$ in the vicinity of 0.42 THz. For an intermediate $\theta$, the former was an intermediate orientation. As far as the photonic crystal in this work is concerned, these phenomena do not apply to physical and optical basic rules in appearance.


title: Multi-pseudo Regularized Label for Generated Data in Person Re-Identification

abstract: Sufficient training data normally is required to train deeply learned models. However, due to the expensive manual process for labelling large number of images, the amount of available training data is always limited. To produce more data for training a deep network, Generative Adversarial Network (GAN) can be used to generate artificial sample data. However, the generated data usually does not have annotation labels. To solve this problem, in this paper, we propose a virtual label called Multi-pseudo Regularized Label (MpRL) and assign it to the generated data. With MpRL, the generated data will be used as the supplementary of real training data to train a deep neural network in a semi-supervised learning fashion. To build the corresponding relationship between the real data and generated data, MpRL assigns each generated data a proper virtual label which reflects the likelihood of the affiliation of the generated data to pre-defined training classes in the real data domain. Unlike the traditional label which usually is a single integral number, the virtual label proposed in this work is a set of weight-based values each individual of which is a number in (0,1] called multi-pseudo label and reflects the degree of relation between each generated data to every pre-defined class of real data. A comprehensive evaluation is carried out by adopting two state-of-the-art convolutional neural networks (CNNs) in our experiments to verify the effectiveness of MpRL. Experiments demonstrate that by assigning MpRL to generated data, we can further improve the person re-ID performance on five re-ID datasets, i.e., Market-1501, DukeMTMC-reID, CUHK03, VIPeR, and CUHK01. The proposed method obtains +6.29%, +6.30%, +5.58%, +5.84%, and +3.48% improvements in rank-1 accuracy over a strong CNN baseline on the five datasets respectively, and outperforms state-of-the-art methods.


title: Ce$_{3-x}$Mg$_x$Co$_{9}$: transformation of a Pauli paramagnet into a strong permanent magnet

abstract: We report on the synthesis of single crystalline and polycrystalline samples of Ce$_{3-x}$Mg$_x$Co$_9$ solid solution ($0\leq x \lesssim 1.4$) and characterization of their structural and magnetic properties. The crystal structure remains rhombohedral in the whole composition range and Mg partially replaces Ce in the 6\textit{c} site of the CeCo$_3$ structure. Ferromagnetism is induced by Mg substitutions starting as low as $x=0.18$ and reaching a Curie temperature as high as $450$\,K for $x=1.35$. Measurements on single crystals with $x=1.34$ and $T_\textrm{C}=440$\,K indicate an axial magnetic anisotropy with the anisotropy field of $6$\,T and a magnetization of $6$\,$\mu_B/$f.u. at $300$\,K. Coercicity is observed in the polycrystalline samples consistent with the observed axial magnetic anisotropy. Our discovery of ferromagnetism with large axial magnetic anisotropy induced by substituting a rare-earth element by Mg is a very promising result in the search of inexpensive permanent-magnet materials and suggests other non-magnetic phases, similar to CeCo$_3$, may also conceal nearby ferromagnetic phases.


title: Bilinear pseudo-differential operators with exotic symbols

abstract: The boundedness from $L^p \times L^q$ to $L^r$, $1<p,q \le \infty$, $0<1/p+1/q=1/r \le 1$, of bilinear pseudo-differential operators with symbols in the bilinear H\"ormander class $BS^m_{\rho,\rho}$, $0 \le \rho <1$, is proved for the critical order $m$. Related results for the cases $p=1$, $q=1$ or $r=\infty$ are also obtained.


title: Bilinear pseudo-differential operators with exotic symbols, II

abstract: The boundedness from $H^p \times L^2$ to $L^r$, $1/p+1/2=1/r$, and from $H^p \times L^{\infty}$ to $L^p$ of bilinear pseudo-differential operators is proved under the assumption that their symbols are in the bilinear H\"ormander class $BS^m_{\rho,\rho}$, $0 \le \rho <1$, of critical order $m$, where $H^p$ is the Hardy space. This combined with the previous results of the same authors establishes the sharp boundedness from $H^p \times H^q$ to $L^r$, $1/p+1/q=1/r$, of those operators in the full range $0< p, q \le \infty$, where $L^r$ is replaced by $BMO$ if $r=\infty$.


title: The Effect of Gravitational Settling on Concentration Profiles and Dispersion Within and Above Fractured Media

abstract: The transport of heavy particles in a medium that consists of fluid and solid phases such as stream gravel beds, cracked soils and wetlands is affected by processes such as attachment-detachment, gravity and drag, and by mixing processes that are induced by Taylor dispersion and mechanical dispersion. This paper addresses an additional dispersion mechanism which is induced by gravitational settling and is a result of the coupling between the modified particle concentration (the change of particle number density due to settling) and the lateral velocity profiles at the subscale. Heavy particles that move in areas of low horizontal velocity (e.g., near solid surfaces and wake regions) settle closer to the release source as compared to particles in high velocity regions. The macroscopic concentration field of such suspensions is influenced by the ratio between the settling velocity and the subscale distribution of the horizontal velocities. The objective of the study is to isolate and quantify this type of dispersion using controlled flow scenarios. We used a Taylor brush geometry (an array of vertical grooves) to numerically solve the flow. Particles were released from a vertical plane, generating a constant flux. The subscale Eulerian concentration was compiled from simulated trajectories and then spatially averaged to generate macroscopic concentration fields. The results show that this settling-induced dispersion is significant in regions near the source and that it cannot be modeled using Fick's law type of formulations. A parametric investigation shows that the location of the highest dispersion flux is linearly proportional to both the groove spacing and depth. A proposed model that estimates this location is used to evaluate where settling-induced dispersion should not be ignored.


title: Connectivity of cubical polytopes

abstract: A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. We deal with the connectivity of the graphs of cubical polytopes. We first establish that, for any $d\ge 3$, the graph of a cubical $d$-polytope with minimum degree $\delta$ is $\min\{\delta,2d-2\}$-connected. Second, we show, for any $d\ge 4$, that every minimum separator of cardinality at most $2d-3$ in such a graph consists of all the neighbours of some vertex and that removing the vertices of the separator from the graph leaves exactly two components, with one of them being the vertex itself.


title: Microwave fields driven domain wall motions in antiferromagnetic nanowires

abstract: In this work, we study the microwave field driven antiferromagnetic domain wall motion in an antiferromagnetic nanowire, using the numerical calculations based on a classical Heisenberg spin model. We show that a proper combination of a static magnetic field plus an oscillating field perpendicular to the nanowire axis is sufficient to drive the domain wall propagation along the nanowire with the axial magnetic anisotropy. More importantly, the drift velocity at the resonance frequency is comparable to that induced by temperature gradients, suggesting that microwave field can be a very promising tool to control domain wall motions in antiferromagnetic nanostructures. Furthermore, the dependences of resonance frequency and drift velocity on the static and oscillating fields, the axial anisotropy, and the damping constant are discussed in details. This work provides useful information for the spin dynamics in antiferromagnetic nanostructures for spintronics applications.


title: A general approach to approximation theory of operator semigroups

abstract: We develop a general, functional calculus approach to approximation of $C_0$-semigroups on Banach spaces by bounded completely monotone functions of their generators. The approach comprises most of well-known approximation formulas, yields optimal convergence rates, and sometimes even leads to sharp constants. In an important particular case when semigroups are holomorphic, we are able to significantly improve our results for general semigroups. Moreover, we present several second order approximation formulas with rates, which in such a general form appear in the literature for the first time.


title: A Formal Framework For Probabilistic Unclean Databases

abstract: Most theoretical frameworks that focus on data errors and inconsistencies follow logic-based reasoning. Yet, practical data cleaning tools need to incorporate statistical reasoning to be effective in real-world data cleaning tasks. Motivated by these empirical successes, we propose a formal framework for unclean databases, where two types of statistical knowledge are incorporated: The first represents a belief of how intended (clean) data is generated, and the second represents a belief of how noise is introduced in the actual observed database instance. To capture this noisy channel model, we introduce the concept of a Probabilistic Unclean Database (PUD), a triple that consists of a probabilistic database that we call the intention, a probabilistic data transformator that we call the realization and captures how noise is introduced, and a dirty observed database instance that we call the observation. We define three computational problems in the PUD framework: cleaning (infer the most probable clean instance given a PUD), probabilistic query answering (compute the probability of an answer tuple over the unclean observed instance), and learning (estimate the most likely intention and realization models of a PUD given a collection of training data). We illustrate the PUD framework on concrete representations of the intention and realization, show that they generalize traditional concepts of repairs such as cardinality and value repairs, draw connection to consistent query answering, and prove tractability results. We further show that parameters can be learned in practical instantiations, and in fact, prove that under certain conditions we can learn a PUD directly from a single dirty database instance without any need for clean examples.


title: A Tractable Approach for designing Piecewise Affine Policies in Two-stage Adjustable Robust Optimization

abstract: We consider the problem of designing piecewise affine policies for two-stage adjustable robust linear optimization problems under right-hand side uncertainty. It is well known that a piecewise affine policy is optimal although the number of pieces can be exponentially large. A significant challenge in designing a practical piecewise affine policy is constructing good pieces of the uncertainty set. Here we address this challenge by introducing a new framework in which the uncertainty set is "approximated" by a "dominating" simplex. The corresponding policy is then based on a mapping from the uncertainty set to the simplex. Although our piecewise affine policy has exponentially many pieces, it can be computed efficiently by solving a compact linear program given the dominating simplex. Furthermore, we can find the dominating simplex in a closed form if the uncertainty set satisfies some symmetries and can be computed using a MIP in general. The performance of our policy is significantly better than the affine policy for many important uncertainty sets, such as ellipsoids and norm-balls, both theoretically and numerically. For instance, for hypersphere uncertainty set, our piecewise affine policy can be computed by an LP and gives a $O(m^{1/4})$-approximation whereas the affine policy requires us to solve a second order cone program and has a worst-case performance bound of $O(\sqrt m)$.


title: Translating the Architectural Complexity of the Colon or Polyp into a Sinusoid Wave for Classification via the Fast Fourier Transform

abstract: There is no method to quantify the spatial complexity within colon polyps. This paper describes a spatial transformation that translates the tissue architecture within a polyp, or a normal colon lining, into a complex sinusoid wave composed of discrete points. This sinusoid wave can then undergo the Fast Fourier Transform to obtain a spectrum of frequencies that represents the sinusoid wave. This spectrum can then serve as a signature of the spatial complexity [an index] within the polyp. By overlaying vertical lines that radiate from the bottom middle [like a fold-out fan] of an image of a polyp stained by hematoxylin and eosin, the image is segmented into sectors. Each vertical line also forms an angle with the horizontal axis of the image, ranging from 0 degrees to 180 degrees rising counter clockwise. Each vertical line will intersect with various features of the polyp [border of lumens, border of epithelial lining]. Each of these intersections is a point that can be characterized by its distance from the origin [this distance is also a magnitude of that point]. Thus, each intersection between radial line and polyp feature can be mapped by polar coordinates [radius length, angle measure]. By summing the distance of all points along the same radial line, each radial line that divides the image becomes one value. Plotting these values [y variable] against the angle of each radial line from the horizontal axis [x variable] results in a sinusoid wave consisting of discrete points. This method is referred to as the Linearized Compressed Polar Coordinates [LCPC] Transform. The LCPC transform, in conjunction with the Fast Fourier Transform, can reduce the complexity of visually hidden histological grades in colon polyps into categories of similar wave frequencies [each histological grade has a signature consisting of a handful of frequencies].


title: Unitary dual of quasi-split $PGSO_8^E$

abstract: In this paper, we first determine the explicit Langlands classification for the quasi-split group $PGSO_8^E$ by following Casselman-Tadi$\acute{c}$'s Jacquet module machine. Based on the classification, we furthur sort out the unitary dual of $PGSO_8^E$ and compute the Aubert duality.


title: The Slow-coloring Game on Sparse Graphs: $k$-Degenerate, Planar, and Outerplanar

abstract: The \emph{slow-coloring game} is played by Lister and Painter on a graph $G$. Initially, all vertices of $G$ are uncolored. In each round, Lister marks a nonempty set $M$ of uncolored vertices, and Painter colors a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. The score of the game is the sum of the sizes of all sets marked by Lister. The goal of Painter is to minimize the score, while Lister tries to maximize it. We provide strategies for Painter on various classes of graphs whose vertices can be partitioned into a bounded number of sets inducing forests, including $k$-degenerate, acyclically $k$-colorable, planar, and outerplanar graphs. For example, we show that on an $n$-vertex graph $G$, Painter can keep the score to at most $\frac{3k+4}4n$ when $G$ is $k$-degenerate, $3.9857n$ when $G$ is acyclically $5$-colorable, $3n$ when $G$ is planar with a Hamiltonian dual, $\frac{8n+3m}5$ when $G$ is $4$-colorable with $m$ edges (hence $3.4n$ when $G$ is planar), and $\frac73n$ when $G$ is outerplanar.


title: Observations of Electron-driven Evaporation during a Flare Precursor

abstract: We investigate the relationship between the blue shifts of a hot emission line and the nonthermal emissions in microwave and hard X-ray (HXR) wavelengths during the precursor of a solar flare on 2014 October 27. The flare precursor is identified as a small but well-developed peak in soft X-ray and extreme-ultraviolet passbands before the GOES flare onset, which is accompanied by a pronounced burst in microwave 17 & 34 GHz and HXR 25-50 keV. The slit of Interface Region Imaging Spectrograph (IRIS) stays at one ribbon-like transient during the flare precursor, where shows visible nonthermal emissions in NoRH and RHESSI images. The IRIS spectroscopic observations show that the hot line of Fe XXI 1354.09 A (logT ~ 7.05) displays blue shifts, while the cool line of Si IV 1402.77 A (logT ~ 4.8) exhibits red shifts. The blue shifts and red shifts are well correlated to each other, indicative of an explosive chromospheric evaporation during the flare precursor particularly combining with a high nonthermal energy flux and a short characteristic timescale. In addition, the blue shifts of Fe XXI 1354.09 A are well correlated with the microwave and HXR emissions, implying that the explosive chromospheric evaporation during the flare precursor is driven by nonthermal electrons.


title: Denoising Prior Driven Deep Neural Network for Image Restoration

abstract: Deep neural networks (DNNs) have shown very promising results for various image restoration (IR) tasks. However, the design of network architectures remains a major challenging for achieving further improvements. While most existing DNN-based methods solve the IR problems by directly mapping low quality images to desirable high-quality images, the observation models characterizing the image degradation processes have been largely ignored. In this paper, we first propose a denoising-based IR algorithm, whose iterative steps can be computed efficiently. Then, the iterative process is unfolded into a deep neural network, which is composed of multiple denoisers modules interleaved with back-projection (BP) modules that ensure the observation consistencies. A convolutional neural network (CNN) based denoiser that can exploit the multi-scale redundancies of natural images is proposed. As such, the proposed network not only exploits the powerful denoising ability of DNNs, but also leverages the prior of the observation model. Through end-to-end training, both the denoisers and the BP modules can be jointly optimized. Experimental results on several IR tasks, e.g., image denoisig, super-resolution and deblurring show that the proposed method can lead to very competitive and often state-of-the-art results on several IR tasks, including image denoising, deblurring and super-resolution.


title: La falacia del empate t\'ecnico electoral

abstract: It is argued that the concept of "technical tie" in electoral polls and quick counts has no probabilistic basis, and that instead the uncertainty associated with these statistical exercises should be expressed in terms of a probability of victory of the leading candidate. ----- Se argumenta que el concepto de "empate t\'ecnico" en encuestas y conteos r\'apidos electorales no tiene fundamento probabil\'istico, y que en su lugar la incertidumbre asociada a dichos ejercicios estad\'isticos debiera expresarse en t\'erminos de una probabilidad de triunfo del candidato puntero.


title: List strong edge-coloring of graphs with maximum degree 4

abstract: A strong edge-coloring of a graph $G$ is an edge-coloring such that any two edges on a path of length three receive distinct colors. We denote the strong chromatic index by $\chi_{s}'(G)$ which is the minimum number of colors that allow a strong edge-coloring of $G$. Erd\H{o}s and Ne\v{s}et\v{r}il conjectured in 1985 that the upper bound of $\chi_{s}'(G)$ is $\frac{5}{4}\Delta^{2}$ when $\Delta$ is even and $\frac{1}{4}(5\Delta^{2}-2\Delta +1)$ when $\Delta$ is odd, where $\Delta$ is the maximum degree of $G$. The conjecture is proved right when $\Delta\leq3$. The best known upper bound for $\Delta=4$ is 22 due to Cranston previously. In this paper we extend the result of Cranston to list strong edge-coloring, that is to say, we prove that when $\Delta=4$ the upper bound of list strong chromatic index is 22.


title: Efficient algorithms for computing a minimal homology basis

abstract: Efficient computation of shortest cycles which form a homology basis under $\mathbb{Z}_2$-additions in a given simplicial complex $\mathcal{K}$ has been researched actively in recent years. When the complex $\mathcal{K}$ is a weighted graph with $n$ vertices and $m$ edges, the problem of computing a shortest (homology) cycle basis is known to be solvable in $O(m^2n/\log n+ n^2m)$-time. Several works \cite{borradaile2017minimum, greedy} have addressed the case when the complex $\mathcal{K}$ is a $2$-manifold. The complexity of these algorithms depends on the rank $g$ of the one-dimensional homology group of $\mathcal{K}$. This rank $g$ has a lower bound of $\Theta(n)$, where $n$ denotes the number of simplices in $\mathcal{K}$, giving an $O(n^4)$ worst-case time complexity for the algorithms in \cite{borradaile2017minimum,greedy}. This worst-case complexity is improved in \cite{annotation} to $O(n^\omega + n^2g^{\omega-1})$ for general simplicial complexes where $\omega< 2.3728639$ \cite{le2014powers} is the matrix multiplication exponent. Taking $g=\Theta(n)$, this provides an $O(n^{\omega+1})$ worst-case algorithm. In this paper, we improve this time complexity. Combining the divide and conquer technique from \cite{DivideConquer} with the use of annotations from \cite{annotation}, we present an algorithm that runs in $O(n^\omega+n^2g)$ time giving the first $O(n^3)$ worst-case algorithm for general complexes. If instead of minimal basis, we settle for an approximate basis, we can improve the running time even further. We show that a $2$-approximate minimal homology basis can be computed in $O(n^{\omega}\sqrt{n \log n})$ expected time. We also study more general measures for defining the minimal basis and identify reasonable conditions on these measures that allow computing a minimal basis efficiently.


title: Every planar graph without $i$-cycles adjacent simultaneously to $j$-cycles and $k$-cycles is DP-$4$-colorable when $\{i,j,k\}=\{3,4,5\}$

abstract: DP-coloring is a generalization of a list coloring in simple graphs. Many results in list coloring can be generalized in those of DP-coloring. Kim and Ozeki showed that planar graphs without $k$-cycles where $k=3,4,5,$ or $6$ are DP-$4$-colorable. Recently, Kim and Yu extended the result on $3$- and $4$-cycles by showing that planar graphs without triangles adjacent to $4$-cycles are DP-$4$-colorable. Xu and Wu showed that planar graphs without $5$-cycles adjacent simultaneously to $3$-cycles and $4$-cycles are $4$-choosable. In this paper, we extend the result on $5$-cycles and triangles adjacent to $4$-cycles by showing that planar graphs without $i$-cycles adjacent simultaneously to $j$-cycles and $k$-cycles are DP-$4$-colorable when $\{i,j,k\}=\{3,4,5\}.$ This also generalizes the result of Xu and Wu.


title: PU-Net: Point Cloud Upsampling Network

abstract: Learning and analyzing 3D point clouds with deep networks is challenging due to the sparseness and irregularity of the data. In this paper, we present a data-driven point cloud upsampling technique. The key idea is to learn multi-level features per point and expand the point set via a multi-branch convolution unit implicitly in feature space. The expanded feature is then split to a multitude of features, which are then reconstructed to an upsampled point set. Our network is applied at a patch-level, with a joint loss function that encourages the upsampled points to remain on the underlying surface with a uniform distribution. We conduct various experiments using synthesis and scan data to evaluate our method and demonstrate its superiority over some baseline methods and an optimization-based method. Results show that our upsampled points have better uniformity and are located closer to the underlying surfaces.


title: Infinite staircases in the symplectic embedding problem for four-dimensional ellipsoids into polydisks

abstract: We study the symplectic embedding capacity function $C_{\beta}$ for ellipsoids $E(1,\alpha)\subset R^4$ into dilates of polydisks $P(1,\beta)$ as both $\alpha$ and $\beta$ vary through $[1,\infty)$. For $\beta=1$ Frenkel and Mueller showed that $C_{\beta}$ has an infinite staircase accumulating at $\alpha=3+2\sqrt{2}$, while for integer $\beta\geq 2$ Cristofaro-Gardiner, Frenkel, and Schlenk found that no infinite staircase arises. We show that, for arbitrary $\beta\in (1,\infty)$, the restriction of $C_{\beta}$ to $[1,3+2\sqrt{2}]$ is determined entirely by the obstructions from Frenkel and Mueller's work, leading $C_{\beta}$ on this interval to have a finite staircase with the number of steps tending to $\infty$ as $\beta\to 1$. On the other hand, in contrast to the case of integer $\beta$, for a certain doubly-indexed sequence of irrational numbers $L_{n,k}$ we find that $C_{L_{n,k}}$ has an infinite staircase; these $L_{n,k}$ include both numbers that are arbitrarily large and numbers that are arbitrarily close to $1$, with the corresponding accumulation points respectively arbitrarily large and arbitrarily close to $3+2\sqrt{2}$.


title: Spectral extremal results with forbidding linear forests

abstract: The Tur\'an type extremal problem asks to maximize the number of edges over all graphs which do not contain fixed subgraphs. Similarly, the spectral Tur\'an type extremal problem asks to maximize spectral radius of all graphs which do not contain fixed subgraphs. In this paper, we determine the maximum spectral radius of all graphs without containing a linear forest as a subgraph and characterize all corresponding extremal graphs. In addition, the maximum number of edges and spectral radius of all bipartite graphs without containing $k\cdot P_3$ as a subgraph are obtained and all extremal graphs are also characterized. Moreover, some relations between Tu\'an type extremal problems and spectral Tur\'an type extremal problems are discussed.


title: Exact ghost-free bigravitational waves

abstract: We study the propagation of exact gravitational waves in the ghost-free bimetric theory. Our focus is on type N spacetimes compatible with the cosmological constants provided by the bigravity interaction potential, and particularly in the single class known by allowing at least a Killing symmetry: the AdS waves. They have the advantage of being represented by a generalized Kerr-Schild transformation from AdS spacetime. This means a notorious simplification in bigravity by allowing to straightforwardly compute any power of its interaction square root matrix, opening the door to explore physically meaningful exact configurations. For these exact gravitational waves the complex dynamical structure of bigravity decomposes into elementary exact massless or massive excitations propagating on AdS. We use a complexified formulation of the Euler-Darboux equations to provide for the first time the general solutions to the massive version of the Siklos equation which rules the resulting AdS-waves dynamics, using an integral representation originally due to Poisson. Inspired in this progress we tackle the subtle problem on how matter couples to bigravity and concretely if this occurs through a composite metric, which is hard to handle in a general setting. Surprisingly, the Kerr-Schild ansatz brings again a huge simplification in how the related energy-momentum tensors are calculated. This allows us to explicitly characterize AdS waves supported in one case by a massless free scalar field and by a wavefront-homogeneous Maxwell field in another. Considering the most general allowed Maxwell source instead is a highly nontrivial task, that we accomplish by exploiting again the complexified Euler-Darboux description and taking advantage of the classical Riemann method. In fact, this allow us to find at the end the most general configurations for any matter source.


title: Ultra-High Brightness Electron Beams from Very-High Field Cryogenic Radio-frequency Photocathode Sources

abstract: Recent investigations of RF copper structures operated at cryogenic temperatures performed by a SLAC-UCLA collaboration have shown a dramatic increase in the maximum surface electric field, to 500 MV/m. We examine use of these fields to enable very high field cryogenic photoinjectors that can attain over an order of magnitude increase in peak electron beam brightness. We present beam dynamics studies relevant to X-ray FEL injectors, using start-to-end simulations that show the high brightness and low emittance of this source enables operation of a compact FEL reaching a photon energy of 80 keV. The preservation of beam brightness in compression, exploiting micro-bunching techniques is discussed. While the gain in brightness at high field is due to increase of the emission current density, further increases in brightness due to lowering of the intrinsic cathode emittance in cryogenic operation are also enabled. While the original proposal for this type of cryogenic, ultra-high field photoinjector has emphasized S-band designs, there are numerous potential advantages that may be conferred by operation in C-band. We examine issues related to experimental implementation in C-band, and expected performance of this type of device in a future hard X-ray FEL such as MaRIE.


title: Learning to Speed Up Query Planning in Graph Databases

abstract: Querying graph structured data is a fundamental operation that enables important applications including knowledge graph search, social network analysis, and cyber-network security. However, the growing size of real-world data graphs poses severe challenges for graph databases to meet the response-time requirements of the applications. Planning the computational steps of query processing - Query Planning - is central to address these challenges. In this paper, we study the problem of learning to speedup query planning in graph databases towards the goal of improving the computational-efficiency of query processing via training queries.We present a Learning to Plan (L2P) framework that is applicable to a large class of query reasoners that follow the Threshold Algorithm (TA) approach. First, we define a generic search space over candidate query plans, and identify target search trajectories (query plans) corresponding to the training queries by performing an expensive search. Subsequently, we learn greedy search control knowledge to imitate the search behavior of the target query plans. We provide a concrete instantiation of our L2P framework for STAR, a state-of-the-art graph query reasoner. Our experiments on benchmark knowledge graphs including DBpedia, YAGO, and Freebase show that using the query plans generated by the learned search control knowledge, we can significantly improve the speed of STAR with negligible loss in accuracy.


title: On the Existence of $C^{1,1}$ Isometric Immersions of Several Classes of Negatively Curved Surfaces Into $\mathbb{R}^3$

abstract: We prove the existence of $C^{1,1}$ isometric immersions of several classes of metrics on surfaces $(\mathcal{M},g)$ into the three-dimensional Euclidean space $\mathbb{R}^3$, where the metrics $g$ have strictly negative curvature. These include the standard hyperbolic plane, generalised helicoid-type metrics and generalised Enneper metrics. Our proof is based on the method of compensated compactness and invariant regions in hyperbolic conservation laws, together with several observations on the geometric quantities (Gauss curvature, metric components etc.) of negatively curved surfaces.


title: Embedded Model Error Representation for Bayesian Model Calibration

abstract: Model error estimation remains one of the key challenges in uncertainty quantification and predictive science. For computational models of complex physical systems, model error, also known as structural error or model inadequacy, is often the largest contributor to the overall predictive uncertainty. This work builds on a recently developed framework of embedded, internal model correction, in order to represent and quantify structural errors, together with model parameters, within a Bayesian inference context. We focus specifically on a Polynomial Chaos representation with additive modification of existing model parameters, enabling a non-intrusive procedure for efficient approximate likelihood construction, model error estimation, and disambiguation of model and data errors' contributions to predictive uncertainty. The framework is demonstrated on several synthetic examples, as well as on a chemical ignition problem.

categories: stat.CO physics.comp-ph physics.data-an stat.ME


title: Deep joint rain and haze removal from single images

abstract: Rain removal from a single image is a challenge which has been studied for a long time. In this paper, a novel convolutional neural network based on wavelet and dark channel is proposed. On one hand, we think that rain streaks correspond to high frequency component of the image. Therefore, haar wavelet transform is a good choice to separate the rain streaks and background to some extent. More specifically, the LL subband of a rain image is more inclined to express the background information, while LH, HL, HH subband tend to represent the rain streaks and the edges. On the other hand, the accumulation of rain streaks from long distance makes the rain image look like haze veil. We extract dark channel of rain image as a feature map in network. By increasing this mapping between the dark channel of input and output images, we achieve haze removal in an indirect way. All of the parameters are optimized by back-propagation. Experiments on both synthetic and real- world datasets reveal that our method outperforms other state-of- the-art methods from a qualitative and quantitative perspective.


title: Waring's problem for rational functions in one variable

abstract: Let $f\in \mathbb{Q}(x)$ be a non-constant rational function. We consider "Waring's Problem for $f(x)$," i.e., whether every element of $\bbq$ can be written as a bounded sum of elements of $\{f(a)\mid a\in \mathbb{Q}\}$. For rational functions of degree $2$, we give necessary and sufficient conditions. For higher degrees, we prove that every polynomial of odd degree and every odd Laurent polynomial satisfies Waring's Problem. We also consider the "Easier Waring's Problem": whether every element of $\mathbb{Q}$ can be represented as a bounded sum of elements of $\{\pm f(a)\mid a\in \mathbb{Q}\}$.


title: How to Make a Digital Currency on a Blockchain Stable

abstract: Bitcoin and other similar digital currencies on blockchains are not ideal means for payment, because their prices tend to go up in the long term (thus people are incentivized to hoard those currencies), and to fluctuate widely in the short term (thus people would want to avoid risks of losing values). The reason why those blockchain currencies based on proof of work are unstable may be found in their designs that the supplies of currencies do not respond to their positive and negative demand shocks, as the authors have formulated in our past work. Continuing from our past work, this paper proposes minimal changes to the design of blockchain currencies so that their market prices are automatically stabilized, absorbing both positive and negative demand shocks of the currencies by autonomously controlling their supplies. Those changes are: 1) limiting re-adjustment of proof-of-work targets, 2) making mining rewards variable according to the observed over-threshold changes of block intervals, and 3) enforcing negative interests to remove old coins in circulation. We have made basic design checks and evaluations of these measures through simple simulations. In addition to stabilization of prices, the proposed measures may have effects of making those currencies preferred means for payment by disincentivizing hoarding, and improving sustainability of the currency systems by making rewards to miners perpetual.


title: Stochastic PDEs in $\mathcal{S}^\prime$ for SDEs driven by L\'evy noise

abstract: In this article we show that a finite dimensional stochastic differential equation driven by a L\'evy process can be formulated as a stochastic partial differential equation. We prove the existence and uniqueness of strong solutions of such stochastic PDEs. The solutions that we construct have the `translation invariance' property. The special case of this correspondence for diffusion processes was proved in [Rajeev, Translation invariant diffusion in the space of tempered distributions, Indian J. Pure Appl. Math. 44 (2013), no.~2, 231--258].


title: Parametric family of SDEs driven by L\'evy noise

abstract: In this article we study the existence and uniqueness of strong solutions of a class of parameterized family of SDEs driven by L\'evy noise. These SDEs occurs in connection with a class of stochastic PDEs, which take values in the space of tempered distributions $\mathcal{S}^\prime$. This correspondence for diffusion processes was proved in [Rajeev, Translation invariant diffusion in the space of tempered distributions, Indian J. Pure Appl. Math. 44 (2013), no.~2, 231--258].


title: Saha Equation for the Photo-Ionization of Hydrogen Atoms in Partially Ionized Relativistic Hydrogen Plasma and the Effect of Gravity on the Binding of Hydrogen Atoms in Rindler Space

abstract: We have studied Saha equation for photo-ionization of hydrogen atoms in partially ionized relativistic hydrogen plasma in Rindler space. Following the principle of equivalence, we have obtained the abundances of neutral hydrogen atoms, hydrogen ions and the electrons in dynamic equilibrium of the photo-ionization reaction of neutral hydrogen atoms and electron capture process by hydrogen ions (de-ionization process) and also investigated their variations with temperature of the plasma and the uniform gravitational field in the Rindler space or equivalently the uniform acceleration of the observer. Hence obtained the Saha ionization formula for partially ionized hydrogen plasma in Rindler space. It has been observed that the abundance of neutral hydrogen atoms decreases with the increase in temperature of the plasma, which is the usual picture, whereas it increases with the increases in the strength of uniform gravitational field. The second part of this observation shows that the binding of the electrons inside hydrogen atoms increases with the increase in the strength of gravitational field or equivalently an observer with very high acceleration will see less amount of ionized hydrogen atoms compared to inertial observer.


title: Compact Acoustic Retroreflector Based on A Mirrored Luneburg Lens

abstract: We propose and demonstrate a compact acoustic retroreflector that reroutes probing signals back towards the source with minimal scattering. Gradient refractive index (GRIN) acoustic metamaterials, based on Archimedean spiral structures, are designed to fulfill the required refractive index profile. The experiments show that the compact acoustic retroreflector, whose radius is only approximately one wavelength, works in an incident angular range up to 120 degrees over a relatively broad bandwidth of about 27% of the central frequency. Such compact acoustic retroreflectors can be potentially applied in pulse-echo based acoustic detection and communication, such as unmanned aerial vehicle (UAV) sonar systems, robotic ranging detectors, ultrasonic imaging systems.


title: A Robust Secure Hybrid Analog and Digital Receive Beamforming Scheme for Efficient Interference Reduction

abstract: Medium-scale or large-scale receive antenna array with digital beamforming can be employed at receiver to make a significant interference reduction, but leads to expensive cost and high complexity of the RF-chain circuit. To deal with this issue, a classic analog-and-digital beamforming (ADB) structure was proposed in the literature for greatly reducing the number of RF-chains. Based on the ADB structure, we in this paper propose a robust hybrid ADB scheme to resist directions of arrival (DOAs) estimation errors. The key idea of our scheme is to employ null space projection (NSP) in analog beamforming domain and diagonal loading (DL) method in digital beamforming domain. Simulation results show that the proposed scheme performs more robustly, and moreover, has a significant improvement on the receive signal to interference plus noise ratio (SINR) compared to NSP ADB scheme and DL method.


title: Discovery potential of the NMSSM CP-odd Higgs at the LHC

abstract: In this paper we examine the LHC discovery potential of the lightest CP-odd Higgs boson, a1, of the NMSSM produced in gluon fusion channel gg->a1. We evaluate the inclusive signal rates of the a1 for a variety of decay channels and discuss its possible discovery. It is observed that the overall production and decay rates at inclusive level are quite sizable and should help extracting the a1 signal over some regions of the NMSSM parameter space.


title: Laser guided ionic wind

abstract: We report on a method to experimentally generate ionic wind by coupling an external high voltage electric field with an intense femtosecond laser induced air plasma filament. The measured ionic wind velocity could be as strong as >4 m/s. It could be optimized by changing the applied electric field and the laser induced plasma channel. The experimental observation was qualitatively confirmed by a numerical simulation of spatial distribution of the electric field. This technique is robust and free from sharp metallic electrodes for coronas; it opens a way to optically generate ionic wind at a distance.


title: On semigroup algebras with rational exponents

abstract: In this paper, a semigroup algebra consisting of polynomial expressions with coefficients in a field $F$ and exponents in an additive submonoid $M$ of $\mathbb{Q}_{\ge 0}$ is called a Puiseux algebra and denoted by $F[M]$. Here we study the atomic structure of Puiseux algebras. To begin with, we answer the Isomorphism Problem for the class of Puiseux algebras, that is, we show that for a field $F$ if two Puiseux algebras $F[M_1]$ and $F[M_2]$ are isomorphic, then the monoids $M_1$ and $M_2$ must be isomorphic. Then we construct three classes of Puiseux algebras satisfying the following well-known atomic properties: the ACCP property, the bounded factorization property, and the finite factorization property. We show that there are bounded factorization Puiseux algebras with extremal systems of sets of lengths, which allows us to prove that Puiseux algebras cannot be determined up to isomorphism by their arithmetic of lengths. Finally, we give a full description of the seminormal closure, root closure, and complete integral closure of a Puiseux algebra, and use such description to provide a class of antimatter Puiseux algebras (i.e., Puiseux algebras containing no irreducibles).


title: Topological-charge dependence of radiation torque for an acoustic-vortex spanner

abstract: Based on the analyses of the wave front and the wave vector of an acoustic-vortex (AV) spanner generated by a circular array of point source, the principle of object rotation is investigated through the calculation of the orbital angular momentum (OAM) and the radiation torque for AVs with various topological charges. It is demonstrated theoretically that the rotation of the axisymmetric disk centered on an AV spanner is mainly driven by the exerted radiation torque without the contribution of the OAM transfer. The radiation torque on a small-radius object is inversely associated with the topological charge in the center of the AV spanner, and it is enhanced significantly for a larger AV with a higher topological charge. The special case of the radiation torque proportional to the topological charge might be realized when the disk radius is much larger than the wavelength, in which case the acoustic power of the AV spanner can be absorbed as much as possible. With the established sixteen-source experimental setup, the radial pressure distributions of AVs with different topological charges measured at the frequency of 1.3 kHz in air agree well with the simulations. The topological-charge dependence of the radiation torque for AVs is also verified by the quantitative laser-displacement (angle) measurements for disks with different radii. The favorable results demonstrate that, for the object covering the vortex center of an AV spanner, the total OAM transfer might be 0 and the object rotation is contributed by the acting moments. Thus, the radiation torque of an AV spanner is more applicable than the OAM for describing the driving capability of object rotation, and it can be used as an effective tool in clinical applications to noninvasively manipulate objects with a feature size at the wavelength-scale (e.g. kidney stone in lithotripsy) inside body.


title: Search for Ultra-High Energy WIMPs by detecting neutrino signatures from the earth core

abstract: I study the possibility of probing Ultra-High Energy (UHE from now on) dark matter particles (>10$^8$ GeV) due to the decay of superheavy dark matter via detection of UHE neutrino signatures from the earth core. The UHE WIMP event rates are estimated at the energies of 100 PeV, and 1 EeV, 10 EeV, 100 EeV and 1 ZeV in JEM-EUSO and at the energy of 1 ZeV in IceCube, respectively. The diffuse neutrino contaminations are also roughly estimated in JEM-EUSO and IceCube. I found that the extreme energy WIMPs can be detected by JEM-EUSO above 1 EeV and by IceCube above 1 ZeV in the $\chi$ mass range of 10GeV-200GeV.


title: How can we naturally order and organize graph Laplacian eigenvectors?

abstract: When attempting to develop wavelet transforms for graphs and networks, some researchers have used graph Laplacian eigenvalues and eigenvectors in place of the frequencies and complex exponentials in the Fourier theory for regular lattices in the Euclidean domains. This viewpoint, however, has a fundamental flaw: on a general graph, the Laplacian eigenvalues cannot be interpreted as the frequencies of the corresponding eigenvectors. In this paper, we discuss this important problem further and propose a new method to organize those eigenvectors by defining and measuring "natural" distances between eigenvectors using the Ramified Optimal Transport Theory followed by embedding them into a low-dimensional Euclidean domain. We demonstrate its effectiveness using a synthetic graph as well as a dendritic tree of a retinal ganglion cell of a mouse.


title: Three-dimensional envelope instability model in periodic focusing channels

abstract: The space-charge driven envelope instability can be of great danger in high intensity accelerators and was studied using a two-dimensional (2D) envelope model and three-dimensional (3D) macroparticle simulations before. In this paper, we propose a three-dimensional envelope instability model to study the instability for a bunched beam in a periodic solenoid and radio-frequency (RF) focusing channel and a periodic quadrupole and RF focusing channel. This study shows that when the transverse zero current phase advance is below $90$ degrees, the beam envelope can still become unstable if the longitudinal zero current phase advance is beyond $90$ degrees. For the transverse zero current phase advance beyond $90$ degrees, the instability stopband width becomes larger with the increase of the longitudinal focusing strength and even shows different structure from the 2D case when the longitudinal zero current phase advance is beyond $90$ degrees. Breaking the symmetry of two longitudinal focusing RF cavities and the symmetry between the horizontal focusing and the vertical focusing in the transverse plane in the periodic quadrupole and RF channel makes the instability stopband broader. This suggests that a more symmetric accelerator lattice design might help reduce the range of the envelope instability in parameter space.


title: Weyl points of mechanical diamond

abstract: A spring-mass model arranged in a diamond structure --- mechanical diamond --- is analyzed in terms of topology in detail. We find that, additional springs connecting the next-nearest-neighbor pairs of mass points and the modulation of the mass parameters to the pristine mechanical diamond generates multiple pairs of Weyl points in the frequency dispersion. Evolution of the Weyl point positions in the Brillouin zone against the uniform outward tension is tracked and explained by the point group symmetry, especially tetrahedral symmetry of the NNN springs. Interestingly, there happens a rapid transmutation of the monopole charges of the Weyl points as the tension varies. We also show surface Fermi arcs in the case with anisotropy in the NNN springs.