title: Low X-Ray Luminosity Galaxy Clusters. IV. SDSS galaxy clusters at z < 0.2

abstract: This is the fourth of a series of papers on low X-ray luminosity galaxy clusters. The sample comprises 45 galaxy clusters with X-ray luminosities fainter than 0.7 10$^{44}$ erg s$^{-1}$ at redshifts lower than 0.2 in the regions of the Sloan Digital Sky Survey. The sample of spectroscopic members of the galaxy clusters was obtained with the criteria: r$_p$ $\le$ 1 Mpc and $\Delta V \leq \sigma$ using our $\sigma$ estimates containing 21 galaxy clusters with more than 6 spectroscopic members. We have also defined a sample of photometric members with galaxies that satisfy r$_p \le $ 1 Mpc, and $\Delta V \leq $ 6000 \kms including 45 galaxy clusters with more than 6 cluster members. We have divided the redshift range in three bins: $z \leq 0.065$; 0.065 $<$ z $<$ 0.10; and z $\ge$ 0.10. We have stacked the galaxy clusters using the spectroscopic sub-sample and we have computed the best RS linear fit within 1$\sigma$ dispersion. With the photometric sub-sample, we have added more data to the RS obtaining the photometric 1$\sigma$ dispersion relative to the spectroscopic RS fit. We have computed the luminosity function using the $1/V_{max}$ method fitting it with a Schechter function. The obtained parameters for these galaxy clusters with low X-ray luminosities are remarkably similar to those for groups and poor galaxy clusters at these lower redshifts.


title: Compound Dirichlet Processes

abstract: The compound Poisson process and the Dirichlet process are the pillar structures of Renewal theory and Bayesian nonparametric theory, respectively. Both processes have many useful extensions to fulfill the practitioners needs to model the particularities of data structures. Accordingly, in this contribution, we joined their primal ideas to construct the compound Dirichlet process and the compound Dirichlet process mixture. As a consequence, these new processes had a fruitful structure to model the time occurrence among events, with also a flexible structure on the arrival variables. These models have a direct Bayesian interpretation of their posterior estimators and are easy to implement. We obtain expressions of the posterior distribution, nonconditional distribution and expected values. In particular to find these formulas we analyze sums of random variables with Dirichlet process priors. We assessed our approach by applying our model on a real data example of a contagious zoonotic disease.


title: Inclusive and differential W and Z at CMS and ATLAS

abstract: Several electroweak precision measurements are performed by the ATLAS and CMS collaborations at the LHC. The main ones are carried out using Drell-Yan production of single W and Z boson. They regard the measurement of the production cross sections of W and Z bosons, the mass of the W boson, and $\sin^2\theta_W$. The results of the $\sin^2\theta_W$ measurements have an accuracy of approximately twice that reached at LEP and SLD. Other measurements reported are about the Drell-Yan differential production cross section.


title: Knowledge-based multi-level aggregation for decision aid in the machining industry

abstract: In the context of Industry 4.0, data management is a key point for decision aid approaches. Large amounts of manufacturing digital data are collected on the shop floor. Their analysis can then require a large amount of computing power. The Big Data issue can be solved by aggregation, generating smart and meaningful data. This paper presents a new knowledge-based multi-level aggregation strategy to support decision making. Manufacturing knowledge is used at each level to design the monitoring criteria or aggregation operators. The proposed approach has been implemented as a demonstrator and successfully applied to a real machining database from the aeronautic industry. Decision Making; Machining; Knowledge based system


title: On the local and boundary behavior of mappings on factor-spaces

abstract: In this article, we study mappings acting between domains of two factor spaces by certain groups of M\"{o}bius automorphisms of the unit ball that act discontinuously and do not have fixed points. For such mappings, we have established estimates for the distortion of the modulus of families of paths, which are similar to the well-known Poletsky and V\"{a}is\"{a}l\"{a} inequalities. As applications, we have obtained several important results on the local and boundary behavior of mappings.


title: An Ultra diffuse Galaxy in the NGC 5846 group from the VEGAS survey

abstract: Many ultra diffuse galaxies (UDGs) have now been identified in clusters of galaxies. However, the number of nearby UDGs suitable for detailed follow-up remain rare. Our aim is to begin to identify UDGs in the environments of nearby bright early-type galaxies from the VEGAS survey. Here we use a deep g band image of the NGC 5846 group, taken as part of the VEGAS survey, to search for UDGs. We found one object with properties of a UDG if it associated with the NGC 5846 group, which seems likely. The galaxy, we name NGC 5846$\_$UDG1, has an absolute magnitude of M$_g$ = -14.2, corresponding to a stellar mass of $\sim$10$^8$ M$_{\odot}$. It also reveals a system of compact sources which are likely globular clusters. Based on the number of globular clusters detected we estimate a halo mass that is greater than 8$\times$10$^{10}$ M$_{\odot}$ for UDG1.


title: Geometric phase associated with Poincar\'e beams due to unfolding of fractional optical vortex beams

abstract: Optical vortex beam of fractional order is generated by the diffraction of a Gaussian beam using computer generated hologram embedded with mixed screw-edge dislocation. Unfolding of the generated fractional vortex beam into eigen-polarization components inside a birefringent crystal results in the conversion of scalar phase singularity to vector polarization singularities in the beam cross-section. The evolution of the singularities of the ellipse field namely C-points (points of undefined major axis) and L-lines (lines of undefined handedness) across the beam quantifies the transformation. The effect of the phase morphology dictated by the fractional order of the dislocation, transverse spatial separation and longitudinal relative phase of the two eigen-polarization components on determining the complex transverse polarization structure is investigated. The nature of the generated Poincar\'e beam is also indicated by projecting the states of polarization on to the Poincar\'e sphere. With increasing order of dislocation from 0.0 to 1.0 in fractional steps and increasing relative phase, the partial Poincar\'e beam is transformed to a full Poincar\'e beam. The transformation of the local structure around the C-points is measured through the geometric phase due to the Poincar\'e sphere contour around the C-points for different dynamic phase difference of the unfolded FOV beams. This study can be useful for different geometric phase based application of optical vortex beams.


title: Ethically Aligned Design: An empirical evaluation of the RESOLVEDD-strategy in Software and Systems development context

abstract: Use of artificial intelligence (AI) in human contexts calls for ethical considerations for the design and development of AI-based systems. However, little knowledge currently exists on how to provide useful and tangible tools that could help software developers and designers implement ethical considerations into practice. In this paper, we empirically evaluate a method that enables ethically aligned design in a decision-making process. Though this method, titled the RESOLVEDD-strategy, originates from the field of business ethics, it is being applied in other fields as well. We tested the RESOLVEDD-strategy in a multiple case study of five student projects where the use of ethical tools was given as one of the design requirements. A key finding from the study indicates that simply the presence of an ethical tool has an effect on ethical consideration, creating more responsibility even in instances where the use of the tool is not intrinsically motivated.


title: Dipolar polaritons squeezed at unitarity

abstract: Interaction of dipolar polaritons can be efficiently tuned by means of a shape resonance in their excitonic component. Provided the resonance width is large, a squeezed population of strongly interacting polaritons may persist on the repulsive side of the resonance. We derive an analytical expression for the polariton coupling constant and show that it may have very large values in typical experimental conditions. Our arguments provide a new direction for the quest of interactions in quantum photonics.

categories: cond-mat.quant-gas cond-mat.mes-hall physics.optics quant-ph


title: Asymptotic stability of robust heteroclinic networks

abstract: We provide conditions guaranteeing that certain classes of robust heteroclinic networks are asymptotically stable. We study the asymptotic stability of ac-networks --- robust heteroclinic networks that exist in smooth ${\mathbb Z}^n_2$-equivariant dynamical systems defined in the positive orthant of ${\mathbb R}^n$. Generators of the group ${\mathbb Z}^n_2$ are the transformations that change the sign of one of the spatial coordinates. The ac-network is a union of hyperbolic equilibria and connecting trajectories, where all equilibria belong to the coordinate axes (not more than one equilibrium per axis) with unstable manifolds of dimension one or two. The classification of ac-networks is carried out by describing all possible types of associated graphs. We prove sufficient conditions for asymptotic stability of ac-networks. The proof is given as a series of theorems and lemmas that are applicable to the ac-networks and to more general types of networks. Finally, we apply these results to discuss the asymptotic stability of several examples of heteroclinic networks.


title: A Distributed Incremental Update Scheme for Probability Distribution of Wind Power Forecast Error

abstract: Due to the uncertainty of distributed wind generations (DWGs), a better understanding of the probability distributions (PD) of their wind power forecast errors (WPFEs) can help market participants (MPs) who own DWGs perform better during trading. Under the premise of an accurate PD model, considering the correlation among DWGs and absorbing the new information carried by the latest data are two ways to maintain an accurate PD. These two ways both require the historical and latest wind power and forecast data of all DWGs. Each MP, however, only has access to the data of its own DWGs and may refuse to share these data with MPs belonging to other stakeholders. Besides, because of the endless generation of new data, the PD updating burden increases sharply. Therefore, we use the distributed strategy to deal with the data collection problem. In addition, we further apply the incremental learning strategy to reduce the updating burden. Finally, we propose a distributed incremental update scheme to make each MP continually acquire the latest conditional PD of its DWGs' WPFE. Specifically, we first use the Gaussian-mixture-model-based (GMM-based) joint PD to characterize the correlation among DWGs. Then, we propose a distributed modified incremental GMM algorithm to enable MPs to update the parameters of the joint PD in a distributed and incremental manner. After that, we further propose a distributed derivation algorithm to make MPs derive their conditional PD of WPFE from the joint one in a distributed way. Combining the two original algorithms, we finally achieve the complete distributed incremental update scheme, by which each MP can continually obtain its latest conditional PD of its DWGs' WPFE via neighborhood communication and local calculation with its own data. The effectiveness, correctness, and efficiency of the proposed scheme are verified using the dataset from the NREL.


title: Quantifiability: Concurrent Correctness from First Principles

abstract: Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential histories motivate a new approach to concurrent correctness. Desiderata for a new correctness condition are that it be independent of sequential histories, compositional, flexible as to timing, modular as to semantics and free of inherent locking or waiting. We propose Quantifiability, a novel correctness condition based on intuitive first principles. Quantifiability models a system in vector space to launch a new mathematical analysis of concurrency. The vector space model is suitable for a wide range of concurrent systems and their associated data structures. This paper formally defines quantifiability and demonstrates useful properties such as compositionality. Analysis is facilitated with linear algebra, better supported and of much more efficient time complexity than traditional combinatorial methods. We present results showing that quantifiable data structures are highly scalable due to the usage of relaxed semantics and propose entropy to evaluate the implementation trade-offs permitted by quantifiability.


title: On the monotonicity and discrete maximum principle of the finite difference implementation of $C^0$-$Q^2$ finite element method

abstract: We show that the fourth order accurate finite difference implementation of continuous finite element method with tensor product of quadratic polynomial basis is monotone thus satisfies the discrete maximum principle for solving a scalar variable coefficient equation $-\nabla\cdot(a\nabla u)+cu=f$ under a suitable mesh constraint.


title: All at once: transient pulsations, spin down and a glitch from the Pulsating Ultraluminous X-ray Source M82 X-2

abstract: M82 X-2 is the first pulsating ultraluminous X-ray source (PULX)to be identified. Since the discovery in 2014, NuSTAR has observed the M82 field 15 times throughout 2015 and 2016. In this paper, we report the results of pulsation searches in all these datasets, and find only one new detection. This new detection allows us to refine the orbital period of the source and measure an average spin down rate between 2014 and 2016 of 5x10^-11 Hz/s, which is in contrast to the strong spin up seen during the 2014 observations and represent the first detection of spin down in a PULX system. Thanks to the improved orbital solution allowed by this new detection, we are also able to detect pulsations in additional segments of the original 2014 dataset. We find a glitch superimposed on the very strong and variable spin-up already reported, the first positive glitch identified in a PULX system. We discuss the new findings in the context of current leading models for PULXs.


title: Meta reinforcement learning as task inference

abstract: Humans achieve efficient learning by relying on prior knowledge about the structure of naturally occurring tasks. There is considerable interest in designing reinforcement learning (RL) algorithms with similar properties. This includes proposals to learn the learning algorithm itself, an idea also known as meta learning. One formal interpretation of this idea is as a partially observable multi-task RL problem in which task information is hidden from the agent. Such unknown task problems can be reduced to Markov decision processes (MDPs) by augmenting an agent's observations with an estimate of the belief about the task based on past experience. However estimating the belief state is intractable in most partially-observed MDPs. We propose a method that separately learns the policy and the task belief by taking advantage of various kinds of privileged information. Our approach can be very effective at solving standard meta-RL environments, as well as a complex continuous control environment with sparse rewards and requiring long-term memory.


title: An Empirical Analysis of Deep Learning for Cardinality Estimation

abstract: We implement and evaluate deep learning for cardinality estimation by studying the accuracy, space and time trade-offs across several architectures. We find that simple deep learning models can learn cardinality estimations across a variety of datasets (reducing the error by 72% - 98% on average compared to PostgreSQL). In addition, we empirically evaluate the impact of injecting cardinality estimates produced by deep learning models into the PostgreSQL optimizer. In many cases, the estimates from these models lead to better query plans across all datasets, reducing the runtimes by up to 49% on select-project-join workloads. As promising as these models are, we also discuss and address some of the challenges of using them in practice.


title: Thermodynamic aspects of nanoscale friction

abstract: Developing the non-equilibrium thermodynamics of friction is required for systematic design of low friction surfaces for a broad range of technological applications. Intuitively, the thermodynamic work done by a material sliding along a surface is expected to be partially dissipated as heat and partially transformed into the change of the internal energy of the system. However, general non-equilibrium thermodynamic principles governing this separation are presently unknown. We develop a theoretical framework based on the transition state theory combined with the conventional Prandtl-Tomlinson model, allowing to set explicit expressions for evaluating the heat dissipation and internal energy change produced during the frictional stick-slip motion of a tip of a typical friction force microscope (FFM). We use the formalism to quantify the heat dissipation for a range of parameters relevant to materials in practical applications of nanoscale friction.


title: Simultaneous occurrence of sliding and crossing limit cycles in piecewise linear planar vector fields

abstract: In the present study we consider planar piecewise linear vector fields with two zones separated by the straight line $x=0$. Our goal is to study the existence of simultaneous crossing and sliding limit cycles for such a class of vector fields. First, we provide a canonical form for these systems assuming that each linear system has center, a real one for $y<0$ and a virtual one for $y>0$, and such that the real center is a global center. Then, working with a first order piecewise linear perturbation we obtain piecewise linear differential systems with three crossing limit cycles. Second, we see that a sliding cycle can be detected after a second order piecewise linear perturbation. Finally, imposing the existence of a sliding limit cycle we prove that only one additional crossing limit cycle can appear. Furthermore, we also characterize the stability of the higher amplitude limit cycle and of the infinity. The main techniques used in our proofs are the Melnikov method, the Extended Chebyshev systems with positive accuracy, and the Bendixson transformation.


title: Impact of Electrostatic Doping Level on the Dissipative Transport in Graphene Nanoribbons Tunnel Field-Effect Transistors

abstract: The impact of electrostatic doping level on the dissipative transport of Armchair GNR-TFET is studied using the Quantum Perturbation Theory (QPT) with the Extended Lowest Order Expansion (XLOE) implementation method. Results show that the doping level of the source and drain sides of the GNR-TFET has a significant impact on the phonon contribution to the carrier transport process. Unlike in other similar studies, where phonons are believed to have a constant detrimental influence on the ION/IOFF ratio and Subthreshold Swing (SS) of the TFET devices due to the phonon absorption-assisted tunneling, we show that by a proper engineering of the doping level in the source and drain, the phonon absorption assisted tunneling can be effectively inhibited. We also show that as temperature increase, the device switching property deteriorates in both the ballistic and dissipative transport regimes, and there exists a temperature-dependent critical doping level where the device has optimal switching behavior.


title: Impact of Network Topology on the Stability of DC Microgrids

abstract: We probe the stability of Watts-Strogatz DC microgrids, in which droop-controlled producers and constant power load consumers are homogeneously distributed and obey Kirchhoff's circuit laws. The concept of survivability is employed to evaluate the system's response to Dirac delta voltage perturbations at single nodes. A fixed point analysis of the power grid model yields that there is only one relevant attractor. Using a set of simulations with random networks we investigate correlations between survivability and three topological network measures: the share of producers in the network and the degree and the average neighbour degree of the perturbed node. Depending on the imposed voltage and current limits, the stability is optimized for low node degrees or a specific share of producers. Based on our findings, we provide an insight into the local dynamics of the perturbed system and derive explicit guidelines for the design of resilient DC power grids.


title: Thomson microwave scattering for electron number density diagnostics of miniature plasmas at low pressure

abstract: This work proposes a novel method of Thomson microwave scattering for electron number density measurements of miniature plasmas at pressures < 10 Torr. This method is applied to determine electron number density in a positive column of glow discharge initiated at 5 Torr in air with a plasma column diameter of 3.4 mm. The Thomson Microwave Scattering(TMS) system measured the electron number density to be 3.36*10^10 cm^-3. The result obtained using the TMS system was validated against the measurements made using the well-known technique of microwave quarter-wave hairpin resonator. Measurements with the hairpin resonator yielded an electron number density of 2.07*10^10 cm^-3 providing adequate agreement with the TMS system.


title: Classification via an Embedded Approach

abstract: This paper presents the results of an automated volatile organic compound (VOC) classification process implemented by embedding a machine learning algorithm into an Arduino Uno board. An electronic nose prototype is constructed to detect VOCs from three different fruits. The electronic nose is constructed using an array of five tin dioxide (SnO2) gas sensors, an Arduino Uno board used as a data acquisition section, as well as an intelligent classification module by embedding an approach function which receives data signals from the electronic nose. For the intelligent classification module, a training algorithm is also implemented to create the base of a portable, automated, fast-response, and economical electronic nose device. This solution proposes a portable system to identify and classify VOCs without using a personal computer (PC). Results show an acceptable precision for the embedded approach in comparison with the performance of a toolbox used in a PC. This constitutes an embedded solution able to recognize VOCs in a reliable way to create application products for a wide variety of industries, which are able to classify data acquired by an electronic nose, as VOCs. With this proposed and implemented algorithm, a precision of 99% for classification was achieved into the embedded solution.


title: Legendrian Rack Invariants of Legendrian Knots

abstract: We define a new algebraic structure called Legendrian racks or racks with Legendrian structure, motivated by the front-projection Reidemeister moves for Legendrian knots. We provide examples of Legendrian racks and use these algebraic structures to define invariants of Legendrian knots with explicit computational examples. We classify Legendrian structures on racks with 3 and 4 elements. We use Legendrian racks to distinguish certain Legendrian knots which are equivalent as smooth knots.


title: Sharp ill-posedness and well-posedness results for dissipative KdV equations on the real line

abstract: This work is concerned about the Cauchy problem for the following generalized KdV- Burgers equation \begin{equation*} \left\{\begin{array}{l} \partial_tu+\partial_x^3u+L_pu+u\partial_xu=0, u(0,\,x)=u_0(x). \end{array} \right. \end{equation*} where $L_p$ is a dissipative multiplicator operator. Using Besov-Bourgain Spaces, we establish a bilinear estimate and following the framework developed in Molinet, L. & Vento, S. (2011) we prove sharp global well-posedness in the Sobolev spaces $H^{-p/2}(I\!\!R)$ and sharp ill-posedness in $H^s(I\!\!R)$ when $s<-p/2$ with $p \geq 2$.


title: Intense CIV and HeII Emission in z~0 Galaxies: Probing High-Energy Ionizing Photons

abstract: In the last few years, prominent high-ionization nebular emission lines (i.e., OIII], CIII], CIV, HeII) have been observed in the deep UV spectra of z~5-7 galaxies, indicating that extreme radiation fields characterize reionization-era systems. These lines have been linked to the leakage of Lyman continuum photons both theoretically and observationally. Consequently, high-ionization UV emission lines present our best probe to detect and characterize the most distant galaxies that we will observe in the coming years, and are key to understanding the sources of reionization, yet the physics governing their production is poorly understood. Here we present recent high-resolution Hubble Space Telescope spectra of two nearby extreme UV emission-line galaxies, J104457 and J141851. We report the first observations of intense nebular HeII and double-peaked, resonantly-scattered CIV emission, a combination that suggests these galaxies both produce and transmit a significant number of very high-energy ionizing photons (E>47.89 eV) through relatively low column densities of high-ionization gas. This suggests that, in addition to photons at the H-ionizing edge, the very hard ionizing photons that escape from these galaxies may provide a secondary source of ionization that is currently unconstrained observationally. Simultaneous radiative transfer models of LyA and CIV are needed to understand how ionizing radiation is transmitted through both low- and high-ionization gas. Future rest-frame FUV observations of galaxies within the epoch of reionization using the JWST or ELTs will allow us to constrain the escape of helium-ionizing photons and provide an estimate for their contribution to the reionization budget.


title: Dynamic Neural Network Channel Execution for Efficient Training

abstract: Existing methods for reducing the computational burden of neural networks at run-time, such as parameter pruning or dynamic computational path selection, focus solely on improving computational efficiency during inference. On the other hand, in this work, we propose a novel method which reduces the memory footprint and number of computing operations required for training and inference. Our framework efficiently integrates pruning as part of the training procedure by exploring and tracking the relative importance of convolutional channels. At each training step, we select only a subset of highly salient channels to execute according to the combinatorial upper confidence bound algorithm, and run a forward and backward pass only on these activated channels, hence learning their parameters. Consequently, we enable the efficient discovery of compact models. We validate our approach empirically on state-of-the-art CNNs - VGGNet, ResNet and DenseNet, and on several image classification datasets. Results demonstrate our framework for dynamic channel execution reduces computational cost up to 4x and parameter count up to 9x, thus reducing the memory and computational demands for discovering and training compact neural network models.


title: Weak endpoint bounds for matrix weights

abstract: We prove quantitative matrix weighted endpoint estimates for the matrix weighted Hardy-Littlewood maximal operator, Calder\'on-Zygmund operators, and commutators of CZOs with scalar BMO functions, when the matrix weight is in the class $A_1$ introduced by M.~Frazier and S.~Roudenko.


title: Specifying and Reasoning about Contextual Preferences in the Goal-oriented Requirements Modelling

abstract: Goal-oriented requirements variability modelling has established the understanding for adaptability in the early stage of software development-the Requirements Engineering phase. Goal-oriented requirements variability modelling considers both the intentions, which are captured as goals in goal models, and the preferences of different stakeholders as the main sources of system behaviour variability. Most often, however, intentions and preferences vary according to contexts. In this paper, we propose an approach for a contextual preference-based requirements variability analysis in the goal-oriented Requirements Engineering. We introduce a quantitative contextual preference specification to express the varying preferences imposed over requirements that are represented in the goal model. Such contextual preferences are used as criteria to evaluate alternative solutions that satisfy the requirements variability problem. We utilise a state-of-the-art reasoning implementation from the Answer Set Programming domain to automate the derivation and evaluation of solutions that fulfill the goals and satisfy the contextual preferences. Our approach will support systems analysts in their decisions upon alternative design solutions that define subsequent system implementations.


title: Towards Measuring the Adaptability of an AO4BPEL Process

abstract: Adaptability is a significant property which enables software systems to continuously provide the required functionality and achieve optimal performance. The recognised importance of adaptability makes its evaluation an essential task. However, the various adaptability dimensions and implementation mechanisms make adaptive strategies difficult to evaluate. In service oriented computing, several frameworks that extend the WS-BPEL, the de facto standard in composing distributed business applications, focus on enabling the adaptability of processes. We aim to evaluate the adaptability of processes specified from the extended-BPEL frameworks. In this paper, we propose metrics to measure the adaptability of an AO4BPEL process. The metrics is grounded in the perspective that a process is capable of dynamically adapting to changes in business requirements. This opens potential future work on evaluating the adaptability of processes specified from various aspect-oriented WS-BPEL frameworks.


title: A Scalable Quantum Computing Platform Using Symmetric-Top Molecules

abstract: We propose a new scalable platform for quantum computing (QC) -- an array of optically trapped symmetric-top molecules (STMs) of the alkaline earth monomethoxide (MOCH$_3$) family. Individual STMs form qubits, and the system is readily scalable to 100 to 1000 qubits.STM qubits have desirable features for quantum computing compared to atoms and diatomic molecules. The additional rotational degree of freedom about the symmetric top axis gives rise to closely-spaced opposite parity $K$-doublets that allow full alignment at low electric fields, and the hyperfine structure naturally provides magnetically insensitive states with switchable electric dipole moments. These features lead to much reduced requirements for electric field control, provide minimal sensitivity to environmental perturbations, and allow for 2-qubit interactions that can be switched on at will. We examine in detail the internal structure of STMs relevant to our proposed platform, taking into account the full effective molecular Hamiltonian including hyperfine interactions, and identify useable STM qubit states. We then examine the effects of the electric dipolar interaction in STMs, which not only guide the designing of high-fidelity gates, but also elucidate the nature of dipolar spin-exchange in STMs. Under realistic experimental parameters, we estimate that the proposed QC platform could yield gate errors at the $10^{-3}$ level, approaching that required for fault-tolerant quantum computing.


title: Discovery of a White Dwarf Companion to HD 159062

abstract: We report on the discovery of a white dwarf companion to the nearby late G dwarf star, HD 159062. The companion is detected in 14 years of precise radial velocity (RV) data, and in high-resolution imaging observations. RVs of HD 159062 from 2003-2018 reveal an acceleration of $-13.3\pm0.12\ \rm{m s}^{-1}$, indicating that it hosts a companion with a long-period orbit. Subsequent imaging observations with the ShaneAO system on the Lick Observatory 3-meter Shane telescope, the PHARO AO system on the Palomar Observatory 5-meter telescope, and the NIRC2 AO system at the Keck II 10-meter telescope reveal a faint companion 2.7'' from the primary star. We performed relative photometry, finding $\Delta J = 10.09 \pm 0.38$ magnitudes, $\Delta K_{S} = 10.06 \pm 0.22$ magnitudes, and $\Delta L' = 9.67\pm0.08$ magnitudes for the companion from these observations. Analysis of the radial velocities, astrometry, and photometry reveals that the combined data set can only be reconciled for the scenario where HD 159062 B is a white dwarf. A full Bayesian analysis of the RV and imaging data to obtain the cooling age, mass, and orbital parameters of the white dwarf indicates that the companion is an old $M_{B} = 0.65^{+0.12}_{-0.04} M_{\odot}$ white dwarf with an orbital period of $P = 250^{+130}_{-76}$ years, and a cooling age of $\tau = 8.2^{+0.3}_{-0.5}$ Gyr.


title: Tangential approximation of analytic sets

abstract: Two subanalytic subsets of $ \mathbb R^n$ are called $s$-equivalent at a common point $P$ if the Hausdorff distance between their intersections with the sphere centered at $P$ of radius $r$ vanishes to order $>s$ as $r$ tends to $0$. In this work we strengthen this notion in the case of real subanalytic subsets of $\mathbb R^n$ with isolated singular points, introducing the notion of tangential $s$-equivalence at a common singular point which considers also the distance between the tangent planes to the sets near the point. We prove that, if $V(f)$ is the zero-set of an analytic map $f$ and if we assume that $V(f)$ has an isolated singularity, say at the origin $O$, then for any $s\geq 1$ the truncation of the Taylor series of $f$ of sufficiently high order defines an algebraic set with isolated singularity at $O$ which is tangentially $s$-equivalent to $V(f)$.


title: Fluorescence Image Histology Pattern Transformation using Image Style Transfer

abstract: Confocal laser endomicroscopy (CLE) allow on-the-fly in vivo intraoperative imaging in a discreet field of view, especially for brain tumors, rather than extracting tissue for examination ex vivo with conventional light microscopy. Fluorescein sodium-driven CLE imaging is more interactive, rapid, and portable than conventional hematoxylin and eosin (H&E)-staining. However, it has several limitations: CLE images may be contaminated with artifacts (motion, red blood cells, noise), and neuropathologists are mainly trained on colorful stained histology slides like H&E while the CLE images are gray. To improve the diagnostic quality of CLE, we used a micrograph of an H&E slide from a glioma tumor biopsy and image style transfer, a neural network method for integrating the content and style of two images. This was done through minimizing the deviation of the target image from both the content (CLE) and style (H&E) images. The style transferred images were assessed and compared to conventional H&E histology by neurosurgeons and a neuropathologist who then validated the quality enhancement in 100 pairs of original and transformed images. Average reviewers' score on test images showed 84 out of 100 transformed images had fewer artifacts and more noticeable critical structures compared to their original CLE form. By providing images that are more interpretable than the original CLE images and more rapidly acquired than H&E slides, the style transfer method allows a real-time, cellular-level tissue examination using CLE technology that closely resembles the conventional appearance of H&E staining and may yield better diagnostic recognition than original CLE grayscale images.


title: On the Automatic Parameter Selection for Permutation Entropy

abstract: Permutation Entropy (PE) has been shown to be a useful tool for time series analysis due to its low computational cost and noise robustness. This has drawn for its successful application in many fields. Some of these include damage detection, disease forecasting, and financial volatility analysis. However, to successfully use PE, an accurate selection of two parameters is needed: the permutation dimension $n$ and embedding delay $\tau$. These parameters are often suggested by experts based on a heuristic or by a trial and error approach. unfortunately, both of these methods can be time-consuming and lead to inaccurate results. To help combat this issue, in this paper we investigate multiple schemes for automatically selecting these parameters with only the corresponding time series as the input. Specifically, we develop a frequency-domain approach based on the least median of squares and the Fourier spectrum, as well as extend two existing methods: Permutation Auto-Mutual Information (PAMI) and Multi-scale Permutation Entropy (MPE) for determining $\tau$. We then compare our methods as well as current methods in the literature for obtaining both $\tau$ and $n$ against expert-suggested values in published works. We show that the success of any method in automatically generating the correct PE parameters depends on the category of the studied system. Specifically, for the delay parameter $\tau$, we show that our frequency approach provides accurate suggestions for periodic systems, nonlinear difference equations, and ECG/EEG data, while the mutual information function computed using adaptive partitions provides the most accurate results for chaotic differential equations. For the permutation dimension $n$, both False Nearest Neighbors and MPE provide accurate values for $n$ for most of the systems with $n = 5$ being suitable in most cases.


title: Quantum Non-demolition Measurement of a Many-Body Hamiltonian

abstract: In an ideal quantum measurement, the wave function of a quantum system collapses to an eigenstate of the measured observable, and the corresponding eigenvalue determines the measurement outcome. If the observable commutes with the system Hamiltonian, repeated measurements yield the same result and thus minimally disturb the system. Seminal quantum optics experiments have achieved such quantum non-demolition (QND) measurements of systems with few degrees of freedom. In contrast, here we describe how the QND measurement of a complex many-body observable, the Hamiltonian of an interacting many-body system, can be implemented in a trapped-ion analog quantum simulator. Through a single-shot measurement, the many-body system is prepared in a narrow band of (highly excited) energy eigenstates, and potentially even a single eigenstate. Our QND scheme, which can be carried over to other platforms of quantum simulation, provides a framework to investigate experimentally fundamental aspects of equilibrium and non-equilibrium statistical physics including the eigenstate thermalization hypothesis and quantum fluctuation relations.


title: Using Acoustic Perturbations to Dynamically Tune Shear Thickening in Colloidal Suspensions

abstract: Colloidal suspensions in industrial processes often exhibit shear thickening that is difficult to control actively. Here, we use piezoelectric transducers to apply acoustic perturbations to dynamically tune the suspension viscosity in the shear-thickening regime. We attribute the mechanism of dethickening to the disruption of shear-induced force chains via perturbations that are large relative to the particle roughness scale. The ease with which this technique can be adapted to various flow geometries makes it a powerful tool for actively controlling suspension flow properties and investigating system dynamics.


title: Crack formation and self-closing in shrinkable, granular packings

abstract: Many clays, soils, biological tissues, foods, and coatings are shrinkable, granular materials: they are composed of packed, hydrated grains that shrink when dried. In many cases, these packings crack during drying, critically hindering applications. However, while cracking has been widely studied for bulk gels and packings of non-shrinkable grains, little is known about how packings of shrinkable grains crack. Here, we elucidate how grain shrinkage alters cracking during drying. Using experiments with model shrinkable hydrogel beads, we show that differential shrinkage can dramatically alter crack evolution during drying---in some cases, even causing cracks to spontaneously "self-close". In other cases, packings shrink without cracking or crack irreversibly. We developed both granular and continuum models to quantify the interplay between grain shrinkage, poromechanics, packing size, drying rate, capillarity, and substrate friction on cracking. Guided by the theory, we also found that cracking can be completely altered by varying the spatial profile of drying. Our work elucidates the rich physics underlying cracking in shrinkable, granular packings, and yields new strategies for controlling crack evolution.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech physics.flu-dyn


title: Strong Pseudo Primes to Base 2

abstract: In this work, we add an additional condition to strong pseudo prime test to base 2. Then, we provide theoretical and heuristics evidences showing that the resulting algorithm catches all composite numbers. Our method is based on the structure of singular cubics' Jacobian groups on which we also define an effective addition algorithm.


title: The Natural Greedy Algorithm for reduced bases in Banach spaces

abstract: In this effort we introduce and analyze a novel reduced basis approach, used to construct an approximating subspace for a given set of data. Our technique, which we call the Natural Greedy Algorithm (NGA), is based on a recursive approach for iteratively constructing such subspaces, and coincides with the standard, and the extensively studied, Orthogonal Greedy Algorithm (OGA) in a Hilbert space. However, for a given set of data in a general Banach space, the NGA is straightforward to implement and overcomes the explosion in computational effort introduced by the OGA, as we utilize an entirely new technique for projecting onto appropriate subspaces. We provide a rigorous analysis of the NGA, and demonstrate that it's theoretical performance is similar to the OGA, while the realization of the former results in significant computational savings through a substantially improved numerical procedure. Furthermore, we show that the empirical interpolation method (EIM) can be viewed as a special case of the NGA. Finally, several numerical examples are used to illustrate the advantages of our NGA compared with other greedy algorithms and additional popular reduced bases methods, including EIM and proper orthogonal decomposition.


title: An Online Pricing Mechanism for Electric Vehicle Parking Assignment and Charge Scheduling

abstract: In this paper, we design a pricing framework for online electric vehicle (EV) parking assignment and charge scheduling. Here, users with electric vehicles want to park and charge at electric-vehicle-supply-equipment (EVSEs) at different locations and arrive/depart throughout the day. The goal is to assign and schedule users to the available EVSEs while maximizing user utility and minimizing operational costs. Our formulation can accommodate multiple locations, limited resources, operational costs, as well as variable arrival patterns. With this formulation, the parking facility management can optimize for behind-the-meter solar integration and reduce costs due to procuring electricity from the grid. We use an online pricing mechanism to approximate the EVSE reservation problem's solution and we analyze the performance compared to the offline solution. Our numerical simulation validates the performance of the EVSE reservation system in a downtown area with multiple parking locations equipped with EVSEs.


title: D-finiteness, rationality, and height

abstract: Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it is a rational function. We extend and strengthen their results to certain power series whose coefficients may form an infinite set. We also prove that if the coefficients of a univariate D-finite power series `look like' the coefficients of a rational function then the power series is rational. Our work relies on the theory of Weil heights, the Manin-Mumford theorem for tori, an application of the Subspace Theorem, and various combinatorial arguments involving heights, power series, and linear recurrence sequences.


title: Voltage gated inter-cation selective ion channels from graphene nanopores

abstract: With the ability to selectively control ionic flux, biological protein ion channels perform a fundamental role in many physiological processes. For practical applications that require the functionality of a biological ion channel, graphene provides a promising solid-state alternative, due to its atomic thinness and mechanical strength. Here, we demonstrate that nanopores introduced into graphene membranes, as large as 50 nm in diameter, exhibit inter-cation selectivity with a ~20x preference for K+ over divalent cations and can be modulated by an applied gate voltage. Liquid atomic force microscopy of the graphene devices reveals surface nanobubbles near the pore to be responsible for the observed selective behavior. Molecular dynamics simulations indicate that translocation of ions across the pore likely occurs via a thin water layer at the edge of the pore and the nanobubble. Our results demonstrate a significant improvement in the inter-cation selectivity displayed by a solid-state nanopore device and by utilizing the pores in a de-wetted state, offers an approach to fabricating selective graphene membranes that does not rely on the fabrication of sub-nm pores.


title: Revenue, Relevance, Arbitrage and More: Joint Optimization Framework for Search Experiences in Two-Sided Marketplaces

abstract: Two-sided marketplaces such as eBay, Etsy and Taobao have two distinct groups of customers: buyers who use the platform to seek the most relevant and interesting item to purchase and sellers who view the same platform as a tool to reach out to their audience and grow their business. Additionally, platforms have their own objectives ranging from growing both buyer and seller user bases to revenue maximization. It is not difficult to see that it would be challenging to obtain a globally favorable outcome for all parties. Taking the search experience as an example, any interventions are likely to impact either buyers or sellers unfairly to course correct for a greater perceived need. In this paper, we address how a company-aligned search experience can be provided with competing business metrics that E-commerce companies typically tackle. As far as we know, this is a pioneering work to consider multiple different aspects of business indicators in two-sided marketplaces to optimize a search experience. We demonstrate that many problems are difficult or impossible to decompose down to credit assigned scores on individual documents, rendering traditional methods inadequate. Instead, we express market-level metrics as constraints and discuss to what degree multiple potentially conflicting metrics can be tuned to business needs. We further explore the use of policy learners in the form of Evolutionary Strategies to jointly optimize both group-level and market-level metrics simultaneously, side-stepping traditional cascading methods and manual interventions. We empirically evaluate the effectiveness of the proposed method on Etsy data and demonstrate its potential with insights.


title: Towards a Spectroscopic Protocol for Unambiguous Detection of Quantum Coherence in Excitonic Energy Transport

abstract: The role of quantum effects in excitonic energy transport (EET) has been scrutinised intensely and with increasingly sophisticated experimental techniques. This increased complexity requires invoking correspondingly elaborate models to fit spectroscopic data before molecular parameters can be extracted. Possible quantum effects in EET can then be studied, but the conclusions are strongly contingent on the efficacy of the fitting and the accuracy of the model. To circumvent this challenge, we propose a witness for quantum coherence in EET that can be extracted directly from two-pulse pump-probe spectroscopy experimental data. We provide simulations to judge the feasibility of our approach. Somewhat counterintuitively, our protocol does not probe quantum coherence directly, but only indirectly through its implicit deletion. It allows for classical models with no quantum coherence to be decisively ruled out.


title: Cosmic Shear Covariance Matrix in $w$CDM: Cosmology Matters

abstract: We present here the cosmo-SLICS, a new suite of simulations specially designed for the analysis of current and upcoming weak lensing data beyond the standard two-point cosmic shear. We sample the $[\Omega_{\rm m}, \sigma_8, h, w_0]$ parameter space at 25 points organised in a Latin hyper-cube, spanning a range that contains most of the $2\sigma$ posterior distribution from ongoing lensing surveys. At each of these nodes we evolve a pair of $N$-body simulations in which the sampling variance is highly suppressed, and ray-trace the volumes 800 times to further increase the effective sky coverage. We extract a lensing covariance matrix from these pseudo-independent light-cones and show that it closely matches a brute-force construction based on an ensemble of 800 truly independent $N$-body runs. More precisely, a Fisher analysis reveals that both methods yield marginalized two-dimensional constraints that vary by less than 6% in area, a result that holds under different survey specifications and that matches to within 15% the area obtained from an analytical covariance calculation. Extending this comparison with our 25 $w$CDM models, we probe the cosmology dependence of the lensing covariance directly from numerical simulations, reproducing remarkably well the Fisher results from the analytical models at most cosmologies. We demonstrate that varying the cosmology at which the covariance matrix is evaluated in the first place might have an order of magnitude greater impact on the parameter constraints than varying the choice of covariance estimation technique. We present a test case in which we generate fast predictions for both the lensing signal and its associated variance with a flexible Gaussian process regression emulator, achieving an accuracy of a few percent on the former and 10% on the latter.


title: On Norm-Agnostic Robustness of Adversarial Training

abstract: Adversarial examples are carefully perturbed in-puts for fooling machine learning models. A well-acknowledged defense method against such examples is adversarial training, where adversarial examples are injected into training data to increase robustness. In this paper, we propose a new attack to unveil an undesired property of the state-of-the-art adversarial training, that is it fails to obtain robustness against perturbations in $\ell_2$ and $\ell_\infty$ norms simultaneously. We discuss a possible solution to this issue and its limitations as well.


title: Infinitesimal symmetries of weakly pseudoconvex manifolds

abstract: We classify the Lie algebras of infinitesimal CR automorphisms of weakly pseudoconvex hypersurfaces of finite multitype in $\mathbb C^N$. In particular, we prove that such manifolds admit neither nonlinear rigid automorphisms, nor real or nilpotent rotations. As a consequence, this leads to a proof of a sharp 2-jet determination result for local automorphisms. Moreover, for hypersurfaces which are not balanced, CR automorphisms are uniquely determined by their 1-jets. The same classification is derived also for special models, given by sums of squares of polynomials. In particular, in the case of homogeneous polynomials the Lie algebra of infinitesimal CR automorphisms is always three graded. The results provide an important necessary step for solving the local equivalence problem on weakly pseudoconvex manifolds.


title: An interdisciplinary survey of network similarity methods

abstract: Comparative graph and network analysis play an important role in both systems biology and pattern recognition, but existing surveys on the topic have historically ignored or underserved one or the other of these fields. We present an integrative introduction to the key objectives and methods of graph and network comparison in each field, with the intent of remaining accessible to relative novices in order to mitigate the barrier to interdisciplinary idea crossover. To guide our investigation, and to quantitatively justify our assertions about what the key objectives and methods of each field are, we have constructed a citation network containing 5,793 vertices from the full reference lists of over two hundred relevant papers, which we collected by searching Google Scholar for ten different network comparison-related search terms. We investigate its basic statistics and community structure, and frame our presentation around the papers found to have high importance according to five different standard centrality measures.


title: Relaxed 2-D Principal Component Analysis by $L_p$ Norm for Face Recognition

abstract: A relaxed two dimensional principal component analysis (R2DPCA) approach is proposed for face recognition. Different to the 2DPCA, 2DPCA-$L_1$ and G2DPCA, the R2DPCA utilizes the label information (if known) of training samples to calculate a relaxation vector and presents a weight to each subset of training data. A new relaxed scatter matrix is defined and the computed projection axes are able to increase the accuracy of face recognition. The optimal $L_p$-norms are selected in a reasonable range. Numerical experiments on practical face databased indicate that the R2DPCA has high generalization ability and can achieve a higher recognition rate than state-of-the-art methods.


title: Eulerian Properties of Design Hypergraphs and Hypergraphs with Small Edge Cuts

abstract: An Euler tour of a hypergraph is a closed walk that traverses every edge exactly once; if a hypergraph admits such a walk, then it is called eulerian. Although this notion is one of the progenitors of graph theory --- dating back to the eighteenth century --- treatment of this subject has only begun on hypergraphs in the last decade. Other authors have produced results about rank-2 universal cycles and 1-overlap cycles, which are equivalent to our definition of Euler tours. In contrast, an Euler family is a collection of nontrivial closed walks that jointly traverse every edge of the hypergraph exactly once and cannot be concatenated simply. Since an Euler tour is an Euler family comprising a single walk, having an Euler family is a weaker attribute than being eulerian; we call a hypergraph quasi-eulerian if it admits an Euler family. A triple system is a 3-uniform hypergraph in which every pair of vertices lie in exactly $\lambda$ edges together, for some parameter $\lambda$. We first prove that all triple systems with at least two edges are eulerian. We then define a new kind of hypergraph, which we call $\ell$-covering $k$-hypergraphs: these are $k$-uniform hypergraphs in which every $\ell$-subset of the vertices lie in at least one edge together. We are able to show that such hypergraphs are eulerian when $\ell=k-1$ and quasi-eulerian otherwise, as long as they have at least two edges. Finally, we give some constructive results on hypergraphs with small edge cuts. There has been analogous work by other authors on hypergraphs with small vertex cuts. We reduce the problem of finding an Euler tour in a hypergraph to finding an Euler tour in each of the connected components of the edge-deleted subhypergraph, then show how these individual Euler tours can be concatenated.


title: Autonomous Membership Service for Enclave Applications

abstract: Trusted Execution Environment, or enclave, promises to protect data confidentiality and execution integrity of an outsourced computation on an untrusted host. Extending the protection to distributed applications that run on physically separated hosts, however, remains non-trivial. For instance, the current enclave provisioning model hinders elasticity of cloud applications. Furthermore, it remains unclear how an enclave process could verify if there exists another concurrently running enclave process instantiated using the same codebase, or count a number of such processes. In this paper, we seek an autonomous membership service for enclave applications. The application owner only needs to partake in instantiating the very first process of the application, whereas all subsequent process commission and decommission will be administered by existing and active processes of that very application. To achieve both safety and liveness, our protocol design admits unjust excommunication of a non-faulty process from the membership group. We implement the proposed membership service in a system called AMES. Our experimental study shows that AMES incurs an overhead of 5% - 16% compared to vanilla enclave execution.


title: PhoSim-NIRCam: Photon-by-photon image simulations of the James Webb Space Telescope's Near-Infrared Camera

abstract: Recent instrumentation projects have allocated resources to develop codes for simulating astronomical images. Novel physics-based models are essential for understanding telescope, instrument, and environmental systematics in observations. A deep understanding of these systematics is especially important in the context of weak gravitational lensing, galaxy morphology, and other sensitive measurements. In this work, we present an adaptation of a physics-based ab initio image simulator: The Photon Simulator (PhoSim). We modify PhoSim for use with the Near-Infrared Camera (NIRCam) -- the primary imaging instrument aboard the James Webb Space Telescope (JWST). This photon Monte Carlo code replicates the observational catalog, telescope and camera optics, detector physics, and readout modes/electronics. Importantly, PhoSim-NIRCam simulates both geometric aberration and diffraction across the field of view. Full field- and wavelength-dependent point spread functions are presented. Simulated images of an extragalactic field are presented. Extensive validation is planned during in-orbit commissioning.


title: Data Markets to support AI for All: Pricing, Valuation and Governance

abstract: We discuss a data market technique based on intrinsic (relevance and uniqueness) as well as extrinsic value (influenced by supply and demand) of data. For intrinsic value, we explain how to perform valuation of data in absolute terms (i.e just by itself), or relatively (i.e in comparison to multiple datasets) or in conditional terms (i.e valuating new data given currently existing data).


title: Why do you take that route?

abstract: The purpose of this paper is to determine whether a particular context factor among the variables that a researcher is interested in causally affects the route choice behavior of drivers. To our knowledge, there is limited literature that consider the effects of various factors on route choice based on causal inference.Yet, collecting data sets that are sensitive to the aforementioned factors are challenging and the existing approaches usually take into account only the general factors motivating drivers route choice behavior. To fill these gaps, we carried out a study using Immersive Virtual Environment (IVE) tools to elicit drivers' route choice behavioral data, covering drivers' network familiarity, educationlevel, financial concern, etc, apart from conventional measurement variables. Having context-aware, high-fidelity properties, IVE data affords the opportunity to incorporate the impacts of human related factors into the route choice causal analysis and advance a more customizable research tool for investigating causal factors on path selection in network routing. This causal analysis provides quantitative evidence to support drivers' diversion decision.


title: Streetscape augmentation using generative adversarial networks: insights related to health and wellbeing

abstract: Deep learning using neural networks has provided advances in image style transfer, merging the content of one image (e.g., a photo) with the style of another (e.g., a painting). Our research shows this concept can be extended to analyse the design of streetscapes in relation to health and wellbeing outcomes. An Australian population health survey (n=34,000) was used to identify the spatial distribution of health and wellbeing outcomes, including general health and social capital. For each outcome, the most and least desirable locations formed two domains. Streetscape design was sampled using around 80,000 Google Street View images per domain. Generative adversarial networks translated these images from one domain to the other, preserving the main structure of the input image, but transforming the `style' from locations where self-reported health was bad to locations where it was good. These translations indicate that areas in Melbourne with good general health are characterised by sufficient green space and compactness of the urban environment, whilst streetscape imagery related to high social capital contained more and wider footpaths, fewer fences and more grass. Beyond identifying relationships, the method is a first step towards computer-generated design interventions that have the potential to improve population health and wellbeing.


title: Modelling urban networks using Variational Autoencoders

abstract: A long-standing question for urban and regional planners pertains to the ability to describe urban patterns quantitatively. Cities' transport infrastructure, particularly street networks, provides an invaluable source of information about the urban patterns generated by peoples' movements and their interactions. With the increasing availability of street network datasets and the advancements in deep learning methods, we are presented with an unprecedented opportunity to push the frontiers of urban modelling towards more data-driven and accurate models of urban forms. In this study, we present our initial work on applying deep generative models to urban street network data to create spatially explicit urban models. We based our work on Variational Autoencoders (VAEs) which are deep generative models that have recently gained their popularity due to the ability to generate realistic images. Initial results show that VAEs are capable of capturing key high-level urban network metrics using low-dimensional vectors and generating new urban forms of complexity matching the cities captured in the street network data.


title: Exploration-Exploitation Trade-off in Reinforcement Learning on Online Markov Decision Processes with Global Concave Rewards

abstract: We consider an agent who is involved in a Markov decision process and receives a vector of outcomes every round. Her objective is to maximize a global concave reward function on the average vectorial outcome. The problem models applications such as multi-objective optimization, maximum entropy exploration, and constrained optimization in Markovian environments. In our general setting where a stationary policy could have multiple recurrent classes, the agent faces a subtle yet consequential trade-off in alternating among different actions for balancing the vectorial outcomes. In particular, stationary policies are in general sub-optimal. We propose a no-regret algorithm based on online convex optimization (OCO) tools (Agrawal and Devanur 2014) and UCRL2 (Jaksch et al. 2010). Importantly, we introduce a novel gradient threshold procedure, which carefully controls the switches among actions to handle the subtle trade-off. By delaying the gradient updates, our procedure produces a non-stationary policy that diversifies the outcomes for optimizing the objective. The procedure is compatible with a variety of OCO tools.


title: Moment-based Estimation of Mixtures of Regression Models

abstract: Finite mixtures of regression models provide a flexible modeling framework for many phenomena. Using moment-based estimation of the regression parameters, we develop unbiased estimators with a minimum of assumptions on the mixture components. In particular, only the average regression model for one of the components in the mixture model is needed and no requirements on the distributions. The consistency and asymptotic distribution of the estimators is derived and the proposed method is validated through a series of simulation studies and is shown to be highly accurate. We illustrate the use of the moment-based mixture of regression models with an application to wine quality data.


title: An Online Admission Control Mechanism for Electric Vehicles at Public Parking Infrastructures

abstract: We study an online reservation system that allows electric vehicles (EVs) to park and charge at parking facilities equipped with electric vehicle supply equipment (EVSEs). We consider the case where EVs arrive in an online fashion and the facility coordinator must immediately make an admission or rejection decision as well as assign a specific irrevocable parking spot to each admitted EV. By means of strategic user admittance and smart charging, the objective of the facility coordinator is to maximize total user utility minus the operational costs of the facilities. We discuss an online pricing mechanism based on primal-dual methods for combinatorial auctions that functions as both an admission controller and a distributor of the facilities' limited charging resources. We analyze the online pricing mechanism's performance compared to the optimal offline solution and provide numerical results that validate the mechanism's performance for various test cases.


title: Doping induced Mott collapse and the density wave instabilities in (Sr$_{1-x}$La$_x$)$_3$Ir$_2$O$_7$

abstract: The path from a Mott insulating phase to high temperature superconductivity encounters a rich set of unconventional phenomena involving the insulator-to-metal transition (IMT) such as emergent electronic orders and pseudogaps that ultimately affect the condensation of Cooper pairs. A huge hindrance to understanding the origin of these phenomena in the curates is the difficulty in accessing doping levels near the parent state. Recently, the J$_{eff}$=1/2 Mott state of the perovskite strontium iridates has revealed intriguing parallels to the cuprates, with the advantage that it provides unique access to the Mott transition. Here, we exploit this accessibility to study the IMT and the possible nearby electronic orders in the electron-doped bilayer iridate (Sr$_{1-x}$La$_x$)$_3$Ir$_2$O$_7$. Using spectroscopic imaging scanning tunneling microscopy, we image the La dopants in the top as well as the interlayer SrO planes. Surprisingly, we find a disproportionate distribution of La in these layers with the interlayer La being primarily responsible for the IMT, thereby revealing the distinct site-dependent effects of dopants on the electronic properties of bilayer systems. Furthermore, we discover the coexistence of two electronic orders generated by electron doping: a unidirectional electronic order with a concomitant structural distortion; and local resonant states forming a checkerboard-like pattern trapped by La. This provides evidence that multiple charge orders may exist simultaneously in Mott systems, even with only one band crossing the Fermi energy.


title: Axial Vector Form Factors from Lattice QCD that Satisfy the PCAC Relation

abstract: Previous lattice QCD calculations of axial vector and pseudoscalar form factors show significant deviation from the partially conserved axial current (PCAC) relation between them. Since the original correlation functions satisfy PCAC, the observed deviations from the operator identity cast doubt on whether all the systematics in the extraction of form factors from the correlation functions are under control. We identify the problematic systematic as a missed excited state, whose energy as a function of the momentum transfer squared, $Q^2$, is determined from the analysis of the 3-point functions themselves. Its mass is much smaller than those of the excited states previously considered and including it impacts the extraction of all the ground state matrix elements. The form factors extracted using these mass/energy gaps satisfy PCAC and other consistency conditions, and validate the pion-pole dominance hypothesis. We also show that the extraction of the axial charge $g_A$ is very sensitive to the value of the mass gaps of the excited states used and current lattice data do not provide an unambiguous determination of these, unlike the $Q^2 \neq 0$ case. To highlight the differences and improvement between the conventional versus the new analysis strategy, we present a comparison of results obtained on a physical pion mass ensemble at $a\approx 0.0871\,\mathrm{fm}$. With the new strategy, we find $g_A = 1.30(6)$. A very significant improvement over previous lattice results is found for the axial charge radius $r_A = 0.74(6)\,\mathrm{fm}$, extracted using the $z$-expansion to parameterize the $Q^2$ behavior of $G_A(Q^2)$, and $g_P^\ast = 8.06(44)$ obtained using the pion pole-dominance ansatz to fit the $Q^2$ behavior of the induced pseudoscalar form factor $\widetilde{G}_P(Q^2)$.


title: Synthesis of Provably Correct Autonomy Protocols for Shared Control

abstract: We synthesize shared control protocols subject to probabilistic temporal logic specifications. More specifically, we develop a framework in which a human and an autonomy protocol can issue commands to carry out a certain task. We blend these commands into a joint input to a robot. We model the interaction between the human and the robot as a Markov decision process (MDP) that represents the shared control scenario. Using inverse reinforcement learning, we obtain an abstraction of the human's behavior and decisions. We use randomized strategies to account for randomness in human's decisions, caused by factors such as complexity of the task specifications or imperfect interfaces. We design the autonomy protocol to ensure that the resulting robot behavior satisfies given safety and performance specifications in probabilistic temporal logic. Additionally, the resulting strategies generate behavior as similar to the behavior induced by the human's commands as possible. We solve the underlying problem efficiently using quasiconvex programming. Case studies involving autonomous wheelchair navigation and unmanned aerial vehicle mission planning showcase the applicability of our approach.


title: Critical point in a holographic defect field theory

abstract: We study a holographic gauge theory dual to the D3/D5 intersection. We consider a pure gauge B-field flux through the internal two-sphere wrapped by the probe D5--brane, which corresponds to a non-commutative configuration of adjoint scalars. There is a domain wall separating the theory into regions with different ranks of the adjoint group. At zero temperature the theory is supersymmetric and at finite temperature there is a critical point of a second order phase transition. We study the corresponding critical exponents and find that the second derivatives of the free energy, with respect to the bare mass and the magnetic field, diverge with a critical exponent of -2/3.


title: Attractors and Attracting Neighborhoods for Multiflows

abstract: We already know a great deal about dynamical systems with uniqueness in forward time. Indeed, flows, semiflows, and maps (both invertible and not) have been studied at length. A view that has proven particularly fruitful is topological: consider invariant sets (attractors, repellers, periodic orbits, etc.) as topological objects, and the connecting sets between them form gradient like flows. In the case of systems with uniqueness in forward time, an attractor in one system is related to nearby attractors in a family of other, "close enough" systems. One way of seeing that connection is through the Conley decomposition (and the Conley index) [2], [13]. This approach requires focusing on isolated invariant sets - that is, invariant sets with isolating neighborhoods. If there is an invariant set $I$, which has an isolating neighborhood $N$ $\ldots$. This approach was expanded to discrete time systems which lack uniqueness in forward time, using relations, in [7] and [11]. Relations do not rely on uniqueness in forward time, but the graph of any map is a relation; thus they serve to generalize maps. Some of this is reviewed in the next few sections. In addition, I expanded on work done in [7] to show that in compact metric spaces, attractors for closed relations continue (see Section 6). On the continuous time side, more work needs to be done. This paper is a step toward a more systematic approach for continuous time systems which lack uniqueness in forward time. This work applies to Filippov systems [4] and in control theory [12]. In the following pages, we establish a tool (multiflows) for discussing the continuous time case and develop a framework for understanding attractors (and therefore stability) in these systems. A crucial part of this work was establishing attractor / attracting neighborhood pairs, which happens in Section 5.5.


title: Optimizing MRF-ASL Scan Design for Precise Quantification of Brain Hemodynamics using Neural Network Regression

abstract: Purpose: Arterial Spin Labeling (ASL) is a quantitative, non-invasive alternative to perfusion imaging with contrast agents. Fixing values of certain model parameters in traditional ASL, which actually vary from region to region, may introduce bias in perfusion estimates. Adopting Magnetic Resonance Fingerprinting (MRF) for ASL is an alternative where these parameters are estimated alongside perfusion, but multiparametric estimation can degrade precision. We aim to improve the sensitivity of ASL-MRF signals to underlying parameters to counter this problem, and provide precise estimates. We also propose a regression based estimation framework for MRF-ASL. Methods: To improve the sensitivity of MRF-ASL signals to underlying parameters, we optimize ASL labeling durations using the Cramer-Rao Lower Bound (CRLB). This paper also proposes a neural network regression based estimation framework trained using noisy synthetic signals generated from our ASL signal model. Results: We test our methods in silico and in vivo, and compare with multiple post labeling delay (multi-PLD) ASL and unoptimized MRF-ASL. We present comparisons of estimated maps for six parameters accounted for in our signal model. Conclusions: The scan design process facilitates precise estimates of multiple hemodynamic parameters and tissue properties from a single scan, in regions of gray and white matter, as well as regions with anomalous perfusion activity in the brain. The regression based estimation approach provides perfusion estimates rapidly, and bypasses problems with quantization error. Keywords: Arterial Spin Labeling, Magnetic Resonance Fingerprinting, Optimization, Cramer-Rao Bound, Scan Design, Regression, Neural Networks, Deep Learning, Precision, Estimation, Brain Hemodynamics.


title: Accurate metasurface synthesis incorporating near-field coupling effects

abstract: One of the most promising metasurface architectures for the microwave and terahertz frequency ranges consists of three patterned metallic layers separated by dielectrics. Such metasurfaces are well suited to planar fabrication techniques and their synthesis is facilitated by modelling them as impedance sheets separated by transmission lines. We show that this model can be significantly inaccurate in some cases, due to near-field coupling between metallic layers. This problem is particularly severe for higher frequency designs, where fabrication tolerances prevent the patterns from being highly-subwavelength in size. Since the near-field coupling is difficult to describe analytically, correcting for it in a design typically requires numerical optimization. We propose an extension of the widely used equivalent-circuit model to incorporate near-field coupling and show that the extended model can predict the scattering parameters of a metasurface accurately. Based on our extended model, we introduce an improved metasurface synthesis algorithm that gives physical insight to the problem and efficiently compensates for the perturbations induced by near-field coupling. Using the proposed algorithm, a Huygens metasurface for beam refraction is synthesized showing a performance close to the theoretical efficiency limit despite the presence of strong near-field coupling.


title: Stop-and-Go Suppression in Two-Class Congested Traffic

abstract: This paper develops boundary feedback control laws in order to damp out traffic oscillations in the congested regime of the linearized two-class Aw-Rascle (AR) traffic model. The macroscopic second-order two-class AR traffic model consists of four hyperbolic partial differential equations (PDEs) describing the dynamics of densities and velocities on freeway. The concept of area occupancy is used to express the traffic pressure and equilibrium speed relationship yielding a coupling between the two classes of vehicles. Each vehicle class is characterized by its own vehicle size and driver's behavior. The considered equilibrium profiles of the model represent evenly distributed traffic with constant densities and velocities of both classes along the investigated track section. After linearizing the model equations around those equilibrium profiles, it is observed that in the congested traffic one of the four characteristic speeds is negative, whereas the remaining three are positive. Backstepping control design is employed to stabilize the $4 \times 4$ heterodirectional hyperbolic PDEs. The control input actuates the traffic flow at outlet of the investigated track section and is realized by a ramp metering. A full-state feedback is designed to achieve finite time convergence of the density and velocity perturbations to the equilibrium at zero. This result is then combined with an anti-collocated observer design in order to construct an output feedback control law that damps out stop-and-go waves in finite time by measuring the velocities and densities of both vehicle classes at the inlet of the investigated track section. The performance of the developed controllers is verified by simulation.


title: Semi-infinite cohomology and the linkage principle for $W$-algebras

abstract: Let $\mathfrak{g}$ be a simple Lie algebra, and let $W_\kappa$ be the affine ${W}$-algebra associated to a principal nilpotent element of $\mathfrak{g}$ and level $\kappa$. We explain a duality between the categories of smooth ${W}$ modules at levels $\kappa + \kappa_c$ and $-\kappa + \kappa_c$, where $\kappa_c$ is the critical level. Their pairing amounts to a construction of semi-infinite cohomology for the ${W}$-algebra. As an application, we determine all homomorphisms between the Verma modules for ${W}$, verifying a conjecture from the conformal field theory literature of de Vos--van Driel. Along the way, we determine the linkage principle for Category $\mathscr{O}$ of the ${W}$-algebra.


title: Observing topological charges and dynamical bulk-surface correspondence with ultracold atoms

abstract: In quenching a topological phase across phase transition, the dynamical bulk-surface correspondence emerges that the bulk topology of $d$-dimensional ($d$D) phase relates to the nontrivial pattern of quench dynamics emerging on $(d-1)$D subspace, called band inversion surfaces (BISs) in momentum space. Here we report the first experimental observation of the dynamical bulk-surface correspondence through measuring the topological charges in a 2D quantum anomalous Hall model realized in an optical Raman lattice. The system can be quenched with respect to every spin axis by suddenly varying the two-photon detuning or phases of the Raman couplings, in which the topological charges and BISs are measured dynamically by the time-averaged spin textures. We observe that the total charges in the region enclosed by BISs define a dynamical topological invariant, which equals the Chern index of the post-quench band. The topological charges relate to an emergent dynamical field which exhibits nontrivial topology on BIS, rendering the dynamical bulk-surface correspondence. This study opens a new avenue to explore topological phases dynamically.


title: Efficient Scheduling for the Massive Random Access Gaussian Channel

abstract: This paper investigates the massive random access Gaussian channel with a focus on small payloads. For this problem, grant-based schemes have been regarded as inefficient due to the necessity of large feedbacks and the use of inefficient scheduling request methods. This papers attempts to answer whether grant-based schemes can be competitive against state-ot-art grantless schemes and worthy of further investigation. In order to compare these schemes fairly, a novel model is proposed, and, under this model, a novel grant-based scheme is proposed. The scheme uses Ordentlich and Polyanskiy's grantless method to transmit small coordination indices in order to perform the scheduling request, which allows both the request from the users to be efficient and the feedback to be small. We also present improvements to the Ordentlich and Polyanskiy's scheme, allowing it to transmit information through the choice of sub-block, as well as to handle collisions of the same message, significantly improving the method for very small messages. Simulation results show that, if a small feedback is allowed, the proposed scheme performs closely to the state-of-art while using simpler coding schemes, suggesting that novel grant-based schemes should not be dismissed as a potential solution to the massive random access problem.


title: The CEDAR Workbench: An Ontology-Assisted Environment for Authoring Metadata that Describe Scientific Experiments

abstract: The Center for Expanded Data Annotation and Retrieval (CEDAR) aims to revolutionize the way that metadata describing scientific experiments are authored. The software we have developed--the CEDAR Workbench--is a suite of Web-based tools and REST APIs that allows users to construct metadata templates, to fill in templates to generate high-quality metadata, and to share and manage these resources. The CEDAR Workbench provides a versatile, REST-based environment for authoring metadata that are enriched with terms from ontologies. The metadata are available as JSON, JSON-LD, or RDF for easy integration in scientific applications and reusability on the Web. Users can leverage our APIs for validating and submitting metadata to external repositories. The CEDAR Workbench is freely available and open-source.


title: On the extension of holomorphic sections from reduced unions of strata of divisors

abstract: In this paper we study the problem of extension of holomorphic sections of line bundles/vector bundles from reduced unions of strata of divisors. An extension theorem of Ohsawa--Takegoshi type is proved. As consequences we deduce several qualitative results on extension from snc divisors and generic global generation of vector bundles.


title: Deep Session Interest Network for Click-Through Rate Prediction

abstract: Click-Through Rate (CTR) prediction plays an important role in many industrial applications, such as online advertising and recommender systems. How to capture users' dynamic and evolving interests from their behavior sequences remains a continuous research topic in the CTR prediction. However, most existing studies overlook the intrinsic structure of the sequences: the sequences are composed of sessions, where sessions are user behaviors separated by their occurring time. We observe that user behaviors are highly homogeneous in each session, and heterogeneous cross sessions. Based on this observation, we propose a novel CTR model named Deep Session Interest Network (DSIN) that leverages users' multiple historical sessions in their behavior sequences. We first use self-attention mechanism with bias encoding to extract users' interests in each session. Then we apply Bi-LSTM to model how users' interests evolve and interact among sessions. Finally, we employ the local activation unit to adaptively learn the influences of various session interests on the target item. Experiments are conducted on both advertising and production recommender datasets and DSIN outperforms other state-of-the-art models on both datasets.


title: Distribution of distances in positive characteristic

abstract: Let $\mathbb{F}_q$ be an arbitrary finite field, and $\mathcal{E}$ be a set of points in $\mathbb{F}_q^d$. Let $\Delta(\mathcal{E})$ be the set of distances determined by pairs of points in $\mathcal{E}$. By using the Kloosterman sums, Iosevich and Rudnev proved that if $|\mathcal{E}|\ge 4q^{\frac{d+1}{2}}$, then $\Delta(\mathcal{E})=\mathbb{F}_q$. In general, this result is sharp in odd-dimensional spaces over arbitrary finite fields. In this paper, we use the recent point-plane incidence bound due to Rudnev to prove that if $\mathcal{E}$ has Cartesian product structure in vector spaces over prime fields, then we can break the exponent $(d+1)/2$, and still cover all distances. We also show that the number of pairs of points in $\mathcal{E}$ of any given distance is close to its expected value.


title: Semi-supervised learning based on generative adversarial network: a comparison between good GAN and bad GAN approach

abstract: Recently, semi-supervised learning methods based on generative adversarial networks (GANs) have received much attention. Among them, two distinct approaches have achieved competitive results on a variety of benchmark datasets. Bad GAN learns a classifier with unrealistic samples distributed on the complement of the support of the input data. Conversely, Triple GAN consists of a three-player game that tries to leverage good generated samples to boost classification results. In this paper, we perform a comprehensive comparison of these two approaches on different benchmark datasets. We demonstrate their different properties on image generation, and sensitivity to the amount of labeled data provided. By comprehensively comparing these two methods, we hope to shed light on the future of GAN-based semi-supervised learning.


title: Parallel Search for Information

abstract: We consider the problem of a decision-maker searching for information on multiple alternatives when information is learned on all alternatives simultaneously. The decision-maker has a running cost of searching for information, and has to decide when to stop searching for information and choose one alternative. The expected payoff of each alternative evolves as a diffusion process when information is being learned. We present necessary and sufficient conditions for the solution, establishing existence and uniqueness. We show that the optimal boundary where search is stopped (free boundary) is star-shaped, and present an asymptotic characterization of the value function and the free boundary. We show properties of how the distance between the free boundary and the diagonal varies with the number of alternatives, and how the free boundary under parallel search relates to the one under sequential search, with and without economies of scale on the search costs.


title: Distribuation of CM points of an infinite series of complete Calabi-Yau moduli spaces

abstract: In the infinite series of complete families of Calabi-Yau manifolds $\tilde{f}_n: \tilde{\mathcal{X}}_n\rightarrow \mathfrak{M}_{n, n+3}$, where $n$ is an odd number, arising from cyclic covers of $\mathbb{P}^n$ branching along hyperplane arrangements (\cite{SXZ13}), the set of CM points is dense for $n=1, 3$ and finite for $n\geq 5$.


title: Spectra of random regular hypergraphs

abstract: In this paper, we study the spectra of regular hypergraphs following the definitions from Feng and Li (1996). Our main result is an analog of Alon's conjecture for the spectral gap of the random regular hypergraphs. We then relate the second eigenvalues to both its expansion property and the mixing rate of the non-backtracking random walk on regular hypergraphs. We also prove the spectral gap for the non-backtracking operator of a random regular hypergraph introduced in Angelini et al. (2015). Finally, we obtain the convergence of the empirical spectral distribution (ESD) for random regular hypergraphs in different regimes. Under certain conditions, we can show a local law for the ESD.


title: Thermal Hall conductance and a relative topological invariant of gapped two-dimensional systems

abstract: We derive a Kubo-like formula for the thermal Hall conductance of a 2d lattice systems which is free from ambiguities associated with the definition of energy magnetization. We use it to define a relative topological invariant of gapped 2d lattice systems at zero temperature. Up to a numerical factor, it can be identified with the difference of chiral central charges for the corresponding edge modes. This establishes the bulk-boundary correspondence for the chiral central charge. We also show that for any Local Commuting Projector Hamiltonian the relative chiral central charge vanishes, while for free fermionic systems it is related to the zero-temperature electric Hall conductance via the Wiedemann-Franz law.


title: Interdependence of sectors of economic activities for world countries from the reduced Google matrix analysis of WTO data

abstract: We apply the recently developed reduced Google matrix algorithm for the analysis of the OECD-WTO world network of economic activities. This approach allows to determine interdependences and interactions of economy sectors of several countries, including China, Russia and USA, properly taking into account the influence of all other world countries and their economic activities. Within this analysis we also obtain the sensitivity of economy sectors and EU countries to petroleum activity sector. We show that this approach takes into account multiplicity of network links with economy interactions between countries and activity sectors thus providing more rich information compared to the usual export-import analysis.


title: On the deformation rigidity of smooth projective symmetric varieties with Picard number one

abstract: Symmetric varieties are normal equivariant open embeddings of symmetric homogeneous spaces and they are interesting examples of spherical varieties. The principal goal of this article is to study the rigidity under K\"{a}hler deformations of smooth projective symmetric varieties with Picard number one.


title: Inference in a class of optimization problems: Confidence regions and finite sample bounds on errors in coverage probabilities

abstract: This paper describes three methods for carrying out non-asymptotic inference on partially identified parameters that are solutions to a class of optimization problems. Applications in which the optimization problems arise include estimation under shape restrictions, estimation of models of discrete games, and estimation based on grouped data. The partially identified parameters are characterized by restrictions that involve the unknown population means of observed random variables in addition to structural parameters. Inference consists of finding confidence intervals for functions of the structural parameters. Our theory provides finite-sample lower bounds on the coverage probabilities of the confidence intervals under three sets of assumptions of increasing strength. With the moderate sample sizes found in most economics applications, the bounds become tighter as the assumptions strengthen. We discuss estimation of population parameters that the bounds depend on and contrast our methods with alternative methods for obtaining confidence intervals for partially identified parameters. The results of Monte Carlo experiments and empirical examples illustrate the usefulness of our method.


title: Speeding Up Elliptic Curve Multiplication with Mixed-base Representation for Applications to SIDH Ciphers

abstract: Elliptic curve multiplications can be improved by replacing the standard ladder algorithm's base 2 representation of the scalar multiplicand, with mixed-base representations with power-of-2 bases, processing the n bits of the current digit in one optimized step. For this purpose, we also present a new methodology to compute, for Weierstrass form elliptic curves in the affine plane, operations of the type mP+nQ where m and n are small integers. This provides implementations with the lower cost than previous algorithms, using only one inversion. In particular, the proposed techniques enable more opportunities for optimizing computations, leading to an important speed-up for applications based on elliptic curves, including the post-quantum cryptosystem Super Singular Isogeny Diffie Hellman (SIDH).


title: Maximum principles and monotonicity of solutions for fractional p-equations in unbounded domains

abstract: In this paper, we consider the following non-linear equations in unbounded domains $\Omega$ with exterior Dirichlet condition: \begin{equation*}\begin{cases} (-\Delta)_p^s u(x)=f(u(x)), & x\in\Omega,\\ u(x)>0, &x\in\Omega,\\ u(x)\leq0, &x\in \mathbb{R}^n\setminus \Omega, \end{cases}\end{equation*} where $(-\Delta)_p^s$ is the fractional p-Laplacian defined as \begin{equation} (-\Delta)_p^s u(x)=C_{n,s,p}P.V.\int_{\mathbb{R}^n}\frac{|u(x)-u(y)|^{p-2}[u(x)-u(y)]}{|x-y|^{n+s p}}dy \label{0} \end{equation} with $0<s<1$ and $p\geq 2$. We first establish a maximum principle in unbounded domains involving the fractional p-Laplacian by estimating the singular integral in (\ref{0}) along a sequence of approximate maximum points. Then, we obtain the asymptotic behavior of solutions far away from the boundary. Finally, we develop a sliding method for the fractional p-Laplacians and apply it to derive the monotonicity and uniqueness of solutions. There have been similar results for the regular Laplacian \cite{BCN1} and for the fractional Laplacian \cite{DSV}, which are linear operators. Unfortunately, many approaches there no longer work for the fully non-linear fractional p-Laplacian here. To circumvent these difficulties, we introduce several new ideas, which enable us not only to deal with non-linear non-local equations, but also to remarkably weaken the conditions on $f(\cdot)$ and on the domain $\Omega$. We believe that the new methods developed in our paper can be widely applied to many problems in unbounded domains involving non-linear non-local operators.


title: Data Poisoning Attacks on Stochastic Bandits

abstract: Stochastic multi-armed bandits form a class of online learning problems that have important applications in online recommendation systems, adaptive medical treatment, and many others. Even though potential attacks against these learning algorithms may hijack their behavior, causing catastrophic loss in real-world applications, little is known about adversarial attacks on bandit algorithms. In this paper, we propose a framework of offline attacks on bandit algorithms and study convex optimization based attacks on several popular bandit algorithms. We show that the attacker can force the bandit algorithm to pull a target arm with high probability by a slight manipulation of the rewards in the data. Then we study a form of online attacks on bandit algorithms and propose an adaptive attack strategy against any bandit algorithm without the knowledge of the bandit algorithm. Our adaptive attack strategy can hijack the behavior of the bandit algorithm to suffer a linear regret with only a logarithmic cost to the attacker. Our results demonstrate a significant security threat to stochastic bandits.


title: Loop Summarization with Rational Vector Addition Systems (extended version)

abstract: This paper presents a technique for computing numerical loop summaries. The method synthesizes a rational vector addition system with resets (Q-VASR) that simulates the action of an input loop, and then uses the reachability relation of that Q-VASR to over-approximate the behavior of the loop. The key technical problem solved in this paper is to automatically synthesize a Q-VASR that is a best abstraction of a given loop in the sense that (1) it simulates the loop and (2) it is simulated by any other Q-VASR that simulates the loop. Since our loop summarization scheme is based on computing the exact reachability relation of a best abstraction of a loop, we can make theoretical guarantees about its behavior. Moreover, we show experimentally that the technique is precise and performant in practice.


title: Trajectory Generation for Underactuated Multirotor Vehicles with Tilted Propellers via a Flatness-based Method

abstract: This paper considers a class of rotary-wing aerial robots with unaligned propellers. By studying the dynamics of these vehicles, we show that the position and heading angle remain flat outputs of the system (similar to conventional quadrotors). The implication is that they can be commanded to follow desired trajectory setpoints in 3D space. We propose a numerical strategy based on the collocation method to facilitate the trajectory generation. This enables convenient computation of the nominal robot's attitude and control inputs. The proposed methods are numerically verified for three multirotor robots with different dynamics. These include a tricopter with a tilting propeller, and a quadrotor and a hexacopter with unparalleled propellers.


title: Large enhancement of the effective second-order nonlinearity in graphene metasurfaces

abstract: Using a powerful homogenization technique, one- and two-dimensional graphene metasurfaces are homogenized both at the fundamental frequency (FF) and second harmonic (SH). In both cases, there is excellent agreement between the predictions of the homogenization method and those based on rigorous numerical solutions of Maxwell equations. The homogenization technique is then employed to demonstrate that, owing to a double-resonant plasmon excitation mechanism that leads to strong, simultaneous field enhancement at the FF and SH, the effective second-order susceptibility of graphene metasurfaces can be enhanced by more than three orders of magnitude as compared to the intrinsic second-order susceptibility of a graphene sheet placed on the same substrate. In addition, we explore the implications of our results on the development of new active nanodevices that incorporate nanopatterned graphene structures.