title: A New Classification of Technologies

abstract: This study here suggests a classification of technologies based on taxonomic characteristics of interaction between technologies in complex systems that is not a studied research field in economics of technical change. The proposed taxonomy here categorizes technologies in four typologies, in a broad analogy with the ecology: 1) technological parasitism is a relationship between two technologies T1 and T2 in a complex system S where one technology T1 benefits from the interaction with T2, whereas T2 has a negative side from interaction with T1; 2) technological commensalism is a relationship between two technologies in S where one technology benefits from the other without affecting it; 3) technological mutualism is a relationship in which each technology benefits from the activity of the other within complex systems; 4) technological symbiosis is a long-term interaction between two (or more) technologies that evolve together in complex systems. This taxonomy systematizes the typologies of interactive technologies within complex systems and predicts their evolutionary pathways that generate stepwise coevolutionary processes of complex systems of technology. This study here begins the process of generalizing, as far as possible, critical typologies of interactive technologies that explain the long-run evolution of technology. The theoretical framework developed here opens the black box of the interaction between technologies that affects, with different types of technologies, the evolutionary pathways of complex systems of technology over time and space. Overall, then, this new theoretical framework may be useful for bringing a new perspective to categorize the gradient of benefit to technologies from interaction with other technologies that can be a ground work for development of more sophisticated concepts to clarify technological and economic change in human society.


title: TWOPEG-D: An Extension of TWOPEG for the Case of a Moving Proton Target

abstract: A new TWOPEG-D version of the event generator TWOPEG was developed. This new version simulates the quasi-free process of double-pion electroproduction off the proton that moves in the deuteron target. The underlying idea is the equivalence of the moving proton experiment performed with fixed laboratory beam energy to the proton at rest experiment conducted with effective beam energy different from the laboratory one. This effective beam energy differs event by event and is determined by the boost from the Lab system to the proton rest frame. The Fermi momentum of the target proton is generated according to the Bonn potential. The specific aspects of the deuteron target data analysis are discussed. The plots that illustrate the performance of TWOPEG-D are given. The link to the code is provided. The generator was tested in the analysis of the CLAS data on electron scattering off the deuteron target.


title: Optimal control of a probabilistic dynamic for epidemic spreading in arbitrary complex networks

abstract: This paper presents a discrete time probabilistic dynamic for simulating a contact-based epidemic spreading based on discrete time Markov chain process, in particular the attention is addressed to the susceptible-infectious-removed (SIR) model and the phase diagram of such model will be presented. Then, this report presents the set of equations that represent the optimal control strategies, by the means of Pontryagin's maximum principle, in two different cases a vaccination policy and a combined vaccination-hospitalization policy and show a numerical simulation, with the standard forward-backward sweep procedure, for these equations.


title: The very young resolved stellar populations around stripped-envelope supernovae

abstract: The massive star origins for Type IIP supernovae (SNe) have been established through direct detection of their red supergiants progenitors in pre-explosion observations; however, there has been limited success in the detection of the progenitors of H-deficient SNe. The final fate of more massive stars, capable of undergoing a Wolf-Rayet phase, and the origins of Type Ibc SNe remains debated, including the relative importance of single massive star progenitors or lower mass stars stripped in binaries. We present an analysis of the ages and spatial distributions of massive stars around the sites of 23 stripped-envelope SNe, as observed with the Hubble Space Telescope, to probe the possible origins of the progenitors of these events. Using a Bayesian stellar populations analysis scheme, we find characteristic ages for the populations observed within $150\,\mathrm{pc}$ of the target Type IIb, Ib and Ic SNe to be $\log (t) = 7.20$, $7.05$ and $6.57$, respectively. The Type Ic SNe in the sample are nearly all observed within $100\,\mathrm{pc}$ of young, dense stellar populations. The environment around SN 2002ap is an important exception both in terms of age and spatial properties. These findings may support the hypothesis that stars with $M_{init} > 30M_{\odot}$ produce a relatively large proportion of Type Ibc SNe, and that these SN subtypes arise from progressively more massive progenitors. Significantly higher extinctions are derived towards the populations hosting these SNe than previously used in analysis of constraints from pre-explosion observations. The large initial masses inferred for the progenitors are in stark contrast with the low ejecta masses estimated from SN light curves.


title: Entanglement in 3D Kitaev Spin Liquids

abstract: Quantum spin liquids are highly fascinating quantum liquids in which the spin degrees of freedom fractionalize. An interesting class of spin liquids are the exactly solvable, three-dimensional Kitaev spin liquids. Their fractionalized excitations are Majonara fermions, which may exhibit a variety of topological band structures --- ranging from topologically protected Weyl semi-metals over nodal semi-metals to systems with Majorana Fermi surfaces. We study the entanglement spectrum of such Kitaev spin liquids and verify that it is closely related to the topologically protected edge spectrum. Moreover, we find that in some cases the entanglement spectrum contains even more information about the topological features than the surface spectrum, and thus provides a simple and reliable tool to probe the topology of a system.


title: P-REx: The Piston Reconstruction Experiment for Infrared Interferometry

abstract: For sensitive infrared interferometry, it is crucial to control the differential piston evolution between the used telescopes. This is classically done by the use of a fringe tracker. In this work, we develop a new method to reconstruct the temporal piston variation from the atmosphere, by using real-time data from adaptive optics wavefront sensing: the Piston Reconstruction Experiment (P-REx). In order to understand the principle performance of the system in a realistic multilayer atmosphere it is first extensively tested in simulations. The gained insights are then used to apply P-REx to real data, in order to demonstrate the benefit of using P-REx as an auxiliary system in a real interferometer. All tests show positive results, which encourages further research and eventually a real implementation. Especially the tests on on-sky data showed that the atmosphere is, under decent observing conditions, sufficiently well structured and stable, in order to apply P-REx. It was possible to conveniently reconstruct the piston evolution in two-thirds of the datasets from good observing conditions (r$_0$ $\sim$ 30 cm). The main conclusion is that applying the piston reconstruction in a real system would reduce the piston variation from around 10 $\mu$m down to 1-2 $\mu$m over timescales of up to two seconds. This suggests an application for mid-infrared interferometry, for example for MATISSE at the VLTI or the LBTI. P-REx therefore provides the possibility to improve interferometric measurements without the need for more complex AO systems than already in regular use at 8m-class telescopes.


title: On a `time' reparametrization in relativistic electrodynamics with travelling waves

abstract: We briefly report on our method [Fiore JPA 2017] of simplifying the equations of motion of charged particles in an electromagnetic field that is the sum of a plane travelling wave and a static part; it is based on changes of the dependent variables and the independent one (light-like coordinate instead of time t). We sketch its application to a few cases of extreme laser-induced accelerations, both in vacuum and in plane problems at the vacuum-plasma interface, where we are able to reduce the system of the (Lorentz-Maxwell and continuity) partial differential equations into a family of decoupled systems of Hamilton equations in 1 dimension. Since Fourier analysis plays no role, the method can be applied to all kind of travelling waves, ranging from almost monochromatic to socalled "impulse".


title: Bridging the Gap between Crystal Theory and Semiconductor Physics

abstract: The theory of perfect crystals, founded upon the Bloch theorem, gives an understanding of extended quantum states grouped into energy bands, and permits the derivation of the dynamics of electrons in those states. The semiconductor physics used to explain the operation of electronic devices treats the (imperfect) semiconductor crystal as a uniform effective medium in which positively and negatively charged quasi-particles mostly obey Newtonian dynamics, and in which the chemistry of impurity atoms is far different from that of those same atoms in free space. The connection between these two pictures can be made by made by invoking a mathematical transformation that takes the finite-temperature, impure device structure and algebraically subtracts from it a perfect crystal, leaving only the residual differences to be analyzed. This notion of the residual difference offers a conceptual basis for understanding many aspects of semiconductor physics, including the properties of impurity states and heterogeneous interfaces. The mesoscopic transformation that underlies the residual-difference picture provides the systematic way to define a concept that is essential to the understanding of semiconductor devices: a position-dependent band structure.


title: Superconvergent DPG methods for second order elliptic problems

abstract: We consider DPG methods with optimal test functions and broken test spaces based on ultra-weak formulations of general second order elliptic problems. Under some assumptions on the regularity of solutions of the model problem and its adjoint, superconvergence for the scalar field variable is achieved by either increasing the polynomial degree in the corresponding approximation space by one or by a local postprocessing. We provide a uniform analysis that allows to treat different test norms. Particularly, we show that in the presence of convection only the quasi-optimal test norm leads to higher convergence rates, whereas other norms considered do not. Moreover, we also prove that our DPG method delivers the best $L^2$ approximation of the scalar field variable up to higher order terms, which is the first theoretical explanation of an observation made previously by different authors. Numerical studies that support our theoretical findings are presented.


title: Groupoids and $C^*$-algebras for left cancellative small categories

abstract: Categories of paths are a generalization of several kinds of oriented discrete data that have been used to construct $C^*$-algebras. The techniques introduced to study these constructions apply almost verbatim to the more general situation of left cancellative small categories. We develop this theory and derive the structure of the $C^*$-algebras in the most general situation. We analyze the regular representation, and the Wiener-Hopf algebra in the case of a subcategory of a groupoid.


title: An Order Preserving Bilinear Model for Person Detection in Multi-Modal Data

abstract: We propose a new order preserving bilinear framework that exploits low-resolution video for person detection in a multi-modal setting using deep neural networks. In this setting cameras are strategically placed such that less robust sensors, e.g. geophones that monitor seismic activity, are located within the field of views (FOVs) of cameras. The primary challenge is being able to leverage sufficient information from videos where there are less than 40 pixels on targets, while also taking advantage of less discriminative information from other modalities, e.g. seismic. Unlike state-of-the-art methods, our bilinear framework retains spatio-temporal order when computing the vector outer products between pairs of features. Despite the high dimensionality of these outer products, we demonstrate that our order preserving bilinear framework yields better performance than recent orderless bilinear models and alternative fusion methods.


title: Ionization waves of arbitrary velocity driven by a flying focus

abstract: A chirped laser pulse focused by a chromatic lens exhibits a dynamic, or "flying," focus in which the trajectory of the peak intensity decouples from the group velocity. In a medium, the flying focus can trigger an ionization front that follows this trajectory. By adjusting the chirp, the ionization front can be made to travel at an arbitrary velocity along the optical axis. We present analytical calculations and simulations describing the propagation of the flying focus pulse, the self-similar form of its intensity profile, and ionization wave formation. The ability to control the speed of the ionization wave and, in conjunction, mitigate plasma refraction has the potential to advance several laser-based applications, including Raman amplification, photon acceleration, high harmonic generation, and THz generation.


title: Fibonacci self-reciprocal polynomials and Fibonacci permutation polynomials

abstract: Let $p$ be a prime. In this paper, we give a complete classification of self-reciprocal polynomials arising from Fibonacci polynomials over $\mathbb{Z}$ and $\mathbb{Z}_p$, where $p=2$ and $p>5$. We also present some partial results when $p=3, 5$. We also compute the first and second moments of Fibonacci polynomials $f_{n}(x)$ over finite fields, which give necessary conditions for Fibonacci polynomials to be permutation polynomials over finite fields.


title: Few new reals

abstract: We introduce a new method for building models of CH, together with $\Pi_2$ statements over $H(\omega_2)$, by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only $\aleph_1$-many of them. Using this approach, we build a model in which a very strong form of the negation of Club Guessing at $\omega_1$ known as Measuring holds together with CH, thereby answering a well-known question of Moore. This construction can be described as a finite-support weak forcing iteration with side conditions consisting of suitable graphs of sets of models with markers. The CH-preservation is accomplished through the imposition of copying constraints on the information carried by the condition, as dictated by the edges in the graph.


title: Integrability in Sigma-Models

abstract: This is a write-up of lectures on integrable sigma-models, which covers the following topics: (1) Homogeneous spaces, (2) Classical integrability of sigma-models in two dimensions, (3) Topological terms, (4) Background-field method and beta-function, (5) S-matrix bootstrap in the O(N) model, (6) Supersymmetric cosets and strings on AdS(d)xX.


title: On modular categories O for quantized symplectic resolutions

abstract: In this paper we study highest weight and standardly stratified structures on modular analogs of categories $\mathcal{O}$ over quantizations of symplectic resolutions and show how to recover the usual categories $\mathcal{O}$ (reduced mod $p\gg 0$) from our modular categories. More precisely, we consider a conical symplectic resolution that is defined over a finite localization of $\mathbb{Z}$ and is equipped with a Hamiltonian action of a torus $T$ that has finitely many fixed points. We consider algebras $\mathcal{A}_\lambda$ of global sections of a quantization in characterstic $p\gg 0$, where $\lambda$ is a parameter. Then we consider a category $\tilde{\mathcal{O}}_\lambda$ consisting of all finite dimensional $T$-equivariant $\mathcal{A}_\lambda$-modules. We show that for $\lambda$ lying in a {\it p-alcove} $\,^p\!A$, the category $\tilde{\mathcal{O}}_\lambda$ is highest weight (in some generalized sense). Moreover, we show that every face of $\,^p\!A$ that survives in $\,^p\!A/p$ when $p\rightarrow \infty$ defines a standardly stratified structure on $\tilde{\mathcal{O}}_\lambda$. We identify the associated graded categories for these standardly stratified structures with reductions mod $p$ of the usual categories $\mathcal{O}$ in characteristic $0$. Applications of our construction include computations of wall-crossing bijections in characteristic $p$ and the existence of gradings on categories $\mathcal{O}$ in characteristic $0$.


title: PERS: A Personalized and Explainable POI Recommender System

abstract: The Location-Based Social Networks (LBSN) (e.g., Facebook) have many factors (for instance, ratings, check-in time, etc.) that play a crucial role for the Point-of-Interest (POI) recommendations. Unlike ratings, the reviews can help users to elaborate their opinion and share the extent of consumption experience in terms of the relevant factors of interest (aspects). Though some of the existing recommendation systems have been using the user reviews, most of them are less transparent and non-interpretable. These reasons have induced considerable attention towards explainable and interpretable recommendation. To the best of our knowledge, this is the first paper to exploit the user reviews to incorporate the sentiment and opinions on different aspects for the personalized and explainable POI recommendation. In this paper, we propose a model termed as PERS (Personalized Explainable POI Recommender System) which models the review-aspect category correlation by exploiting deep neural network, formulates the user-aspect category bipartite relation as a bipartite graph, and models the explainable recommendation using bipartite core-based and ranking-based methods. The major contributions of this paper are: (i) it models users and locations based on the aspects posted by user via reviews, (ii) it exploits a deep neural network to model the review-aspect category correlation, (iii) it provisions the incorporation of multiple contexts (e.g., categorical, spatial, etc.) in the POI recommendation model, (iv) it formulates the preference of users' on aspect category as a bipartite relation, represents it as a location-aspect category bipartite graph, and models the explainable recommendation with the notion of ordered dense subgraph extraction using bipartite core-based and ranking-based approaches, and (v) it evaluates the generated recommendation with three real-world datasets.


title: Throttling for the game of Cops and Robbers on graphs

abstract: We consider the cop-throttling number of a graph $G$ for the game of Cops and Robbers, which is defined to be the minimum of $(k + \text{capt}_k(G))$, where $k$ is the number of cops and $\text{capt}_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games. We provide some tools for bounding the cop-throttling number, including showing that the positive semidefinite (PSD) throttling number, a variant of zero forcing throttling, is an upper bound for the cop-throttling number. We also characterize graphs having low cop-throttling number and investigate how large the cop-throttling number can be for a given graph. We consider trees, unicyclic graphs, incidence graphs of finite projective planes (a Meyniel extremal family of graphs), a family of cop-win graphs with maximum capture time, grids, and hypercubes. All the upper bounds on the cop-throttling number we obtain for families of graphs are $ O(\sqrt n)$.


title: Chaos-based Potentials in the One-dimensional Tight-binding Model Probed by the Inverse Participation Ratio

abstract: Chaos-based potentials are defined and implemented in the one-dimensional tight-binding model as a way of simulating disorder-controlled crystalline lattices. In this setting, disorder is handled with the aid of the chaoticity parameter. The inverse participation ratio $(IPR)$ probes the response of the system to three different such potentials and shows consistent agreement with results given by the Lyapunov exponent $Ly$: the greater $Ly(r)$ for the chaotic sequence as a function of the chaoticity parameter $r$, the greater the asymptotic value $IPR(r)$ for the large-system ground state.


title: String corrections to circular Wilson loop and anomalies

abstract: We study string quantum corrections to the ratio of latitude and circular Wilson loops in N=4 super-Yang-Mills theory at strong coupling. Conformal gauge for the corresponding minimal surface in AdS(5)xS(5) is singular and we show that an IR anomaly associated with the divergence in the conformal factor removes previously reported discrepancy with the exact field-theory result. We also carefully check conformal anomaly cancellation and recalculate fluctuation determinants by directly evaluating phaseshifts for all the fluctuation modes.


title: Some inequalities for operator (p,h)-convex functions

abstract: Let $p$ be a positive number and $h$ a function on $\mathbb{R}^+$ satisfying $h(xy) \ge h(x) h(y)$ for any $x, y \in \mathbb{R}^+$. A non-negative continuous function $f$ on $K (\subset \mathbb{R}^+)$ is said to be {\it operator $(p,h)$-convex} if \begin{equation*}\label{def} f ([\alpha A^p + (1-\alpha)B^p]^{1/p}) \leq h(\alpha)f(A) +h(1-\alpha)f(B) \end{equation*} holds for all positive semidefinite matrices $A, B$ of order $n$ with spectra in $K$, and for any $\alpha \in (0,1)$. In this paper, we study properties of operator $(p,h)$-convex functions and prove the Jensen, Hansen-Pedersen type inequalities for them. We also give some equivalent conditions for a function to become an operator $(p,h)$-convex. In applications, we obtain Choi-Davis-Jensen type inequality for operator $(p,h)$-convex functions and a relation between operator $(p,h)$-convex functions with operator monotone functions.


title: Enhance Visual Recognition under Adverse Conditions via Deep Networks

abstract: Visual recognition under adverse conditions is a very important and challenging problem of high practical value, due to the ubiquitous existence of quality distortions during image acquisition, transmission, or storage. While deep neural networks have been extensively exploited in the techniques of low-quality image restoration and high-quality image recognition tasks respectively, few studies have been done on the important problem of recognition from very low-quality images. This paper proposes a deep learning based framework for improving the performance of image and video recognition models under adverse conditions, using robust adverse pre-training or its aggressive variant. The robust adverse pre-training algorithms leverage the power of pre-training and generalizes conventional unsupervised pre-training and data augmentation methods. We further develop a transfer learning approach to cope with real-world datasets of unknown adverse conditions. The proposed framework is comprehensively evaluated on a number of image and video recognition benchmarks, and obtains significant performance improvements under various single or mixed adverse conditions. Our visualization and analysis further add to the explainability of results.


title: A Unified Asymptotic Analysis of Area Spectral Efficiency in Ultradense Cellular Networks

abstract: This paper studies the asymptotic properties of average area spectral efficiency (ASE) of a downlink cellular network in the limit of very dense base station (BS) and user densities. This asymptotic analysis relies on three assumptions: (1) interference is treated as noise; (2) the BS locations are drawn from a Poisson point process; (3) the path loss function is bounded above satisfying mild regularity conditions. We consider three possible definitions of the average ASE, all of which give units of bits per second per unit bandwidth per unit area. When there is no constraint on the minimum operational signal-to-interference-plus-noise ratio (SINR) and instantaneous full channel state information (CSI) is available at the transmitter, the average ASE is proven to saturate to a constant, which we derive in a closed form. For the other two ASE definitions, wherein either a minimum SINR is enforced or CSI is not available, the average ASE is instead shown to collapse to zero at high BS density. We provide several familiar case studies for the class of considered path loss models, and demonstrate that our results cover most previous models and results on ultradense networks as special cases.


title: Sheaf-Theoretic Stratification Learning from Geometric and Topological Perspectives

abstract: In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a partially ordered set with the Alexandroff topology. We prove that the resulting decomposition is the unique minimal stratification for which the strata are homogeneous and the given sheaf is constructible. In particular, when we choose to work with the local homology sheaf, our algorithm gives an alternative to the local homology transfer algorithm given in Bendich et al. (2012), and the cohomology stratification algorithm given in Nanda (2017). Additionally, we give examples of stratifications based on the geometric techniques of Breiding et al. (2018), illustrating how the sheaf-theoretic approach can be used to study stratifications from both topological and geometric perspectives. This approach also points toward future applications of sheaf theory in the study of topological data analysis by illustrating the utility of the language of sheaf theory in generalizing existing algorithms.


title: Cavity enhanced Raman heterodyne spectroscopy in Er:YSO for microwave to optical signal conversion

abstract: The efficiency of the frequency conversion process at the heart of Raman heterodyne spectroscopy was improved by nearly four orders of magnitude by resonant enhancement of both the pump and signal optical fields. Our results using an erbium doped Y$_2$SiO$_5$ crystal at temperatures near 4K suggest that such an approach is promising for the quantum conversion of microwave to optical photons.


title: Focusing effects for atoms sputtered from the (001) Ni face with energy and angular resolution

abstract: Peculiarities of the focusing and overfocusing of atoms sputtered from the surface of (001) Ni face are studied with the use of molecular dynamics computer simulations. It is discovered that the numbers of focused and overfocused sputtered atoms decrease under the transition of the (001) Ni face from the paramagnetic to the ferromagnetic state. The evolution of the two-dimensional energy and polar angle resolved distributions of sputtered atoms when changing the azimuthal angle and the binding energy of atoms at the surface is investigated.


title: The planar Multipole Resonance Probe: a functional analytic approach

abstract: Active Plasma Resonance Spectroscopy (APRS) is a well known diagnostic method, where a radio frequency probe is immersed into a plasma and excites plasma oscillations. The response of the plasma is recorded as frequency dependent spectrum, in which resonance peaks occur. By means of a mathematical model plasma parameters like the electron density or the electron temperature can be determined from the detected resonances. The majority of all APRS probes have in common, that they are immersed into the plasma and perturb the plasma due to the physical presence of the probe. To overcome this problem, the planar Multipole Resonance Probe (pMRP) was invented, which can be integrated into the chamber wall of a plasma reactor. Within this paper, the first analytic model of the pMRP is presented, which is based on a cold plasma description of the electrons. The general admittance of the probe-plasma system is derived by means of functional analytic methods and a complete orthonormal set of basis functions. Explicit spectra for an approximated admittance including a convergence study are shown. The determined resonance frequencies are in good agreement with former simulation results.


title: Improving User's Experience through Simultaneous Multi-WLAN Connections

abstract: In highly-dense IEEE 802.11 deployments, areas covered by multiple Wireless Local Area Networks (WLANs) will be common. This opens the door for stations equipped with multiple IEEE 802.11 interfaces to use several WLANs simultaneously, which not only may improve user experience, achieving a better connection with higher throughput and resilience; but it may also improve the network utilization. In this paper we investigate such a scenario. First, using a test-bed, consisting of a single station equipped with two interfaces and two access points, we observe that the file transfer time between the station and a destination server can be significantly reduced, studying with special attention the case in which both links do not have the same available bandwidth. Then, using a Markovian model that captures the scenario's dynamics in presence of multiple stations, we observe that in addition to improve individual station's performance, we can also improve the utilization of a multi-Access Points network despite increasing the contention level.


title: Fast algorithms for evaluating the stress field of dislocation lines in anisotropic elastic media

abstract: In dislocation dynamics (DD) simulations, the most computationally intensive step is the evaluation of the elastic interaction forces among dislocation ensembles. Because the pair-wise interaction between dislocations is long-range, this force calculation step can be significantly accelerated by the fast multipole method (FMM). We implemented and compared four different methods in isotropic and anisotropic elastic media: one based on the Taylor series expansion (Taylor FMM), one based on the spherical harmonics expansion (Spherical FMM), one kernel-independent method based on the Chebyshev interpolation (Chebyshev FMM), and a new kernel-independent method that we call the Lagrange FMM. The Taylor FMM is an existing method, used in ParaDiS, one of the most popular DD simulation softwares. The Spherical FMM employs a more compact multipole representation than the Taylor FMM does and is thus more efficient. However, both the Taylor FMM and the Spherical FMM are difficult to derive in anisotropic elastic media because the interaction force is complex and has no closed analytical formula. The Chebyshev FMM requires only being able to evaluate the interaction between dislocations and thus can be applied easily in anisotropic elastic media. But it has a relatively large memory footprint, which limits its usage. The Lagrange FMM was designed to be a memory-efficient black-box method. Various numerical experiments are presented to demonstrate the convergence and the scalability of the four methods.


title: Securing Edge Networks with Securebox

abstract: The number of mobile and IoT devices connected to home and enterprise networks is growing fast. These devices offer new services and experiences for the users; however, they also present new classes of security threats pertaining to data and device safety and user privacy. In this article, we first analyze the potential threats presented by these devices connected to edge networks. We then propose Securebox: a new cloud-driven, low cost Security-as-a-Service solution that applies Software-Defined Networking (SDN) to improve network monitoring, security and management. Securebox enables remote management of networks through a cloud security service (CSS) with minimal user intervention required. To reduce costs and improve the scalability, Securebox is based on virtualized middleboxes provided by CSS. Our proposal differs from the existing solutions by integrating the SDN and cloud into a unified edge security solution, and by offering a collaborative protection mechanism that enables rapid security policy dissemination across all connected networks in mitigating new threats or attacks detected by the system. We have implemented two Securebox prototypes, using a low-cost Raspberry-PI and off-the-shelf fanless PC. Our system evaluation has shown that Securebox can achieve automatic network security and be deployed incrementally to the infrastructure with low management overhead.


title: Massive open string and totally-noncommutativity in space and momentum coordinates trough Fadeev Jackiw approach

abstract: In this work we will show that it is possible to construct totally noncommuta tivity in the cas of massive bosonic string in an external B-field by extending the well known Faddeev-Jackiw formalism proposed by L.D. Faddeev and R. Jackiw.


title: Mechanism Design for Demand Response Programs

abstract: Demand Response (DR) programs serve to reduce the consumption of electricity at times when the supply is scarce and expensive. The utility informs the aggregator of an anticipated DR event. The aggregator calls on a subset of its pool of recruited agents to reduce their electricity use. Agents are paid for reducing their energy consumption from contractually established baselines. Baselines are counter-factual consumption estimates of the energy an agent would have consumed if they were not participating in the DR program. Baselines are used to determine payments to agents. This creates an incentive for agents to inflate their baselines. We propose a novel self-reported baseline mechanism (SRBM) where each agent reports its baseline and marginal utility. These reports are strategic and need not be truthful. Based on the reported information, the aggregator selects or calls on agents to meet the load reduction target. Called agents are paid for observed reductions from their self-reported baselines. Agents who are not called face penalties for consumption shortfalls below their baselines. The mechanism is specified by the probability with which agents are called, reward prices for called agents, and penalty prices for agents who are not called. Under SRBM, we show that truthful reporting of baseline consumption and marginal utility is a dominant strategy. Thus, SRBM eliminates the incentive for agents to inflate baselines. SRBM is assured to meet the load reduction target. SRBM is also nearly efficient since it selects agents with the smallest marginal utilities, and each called agent contributes maximally to the load reduction target. Finally, we show that SRBM is almost optimal in the metric of average cost of DR provision faced by the aggregator.


title: Syntactic Forcing Models for Coherent Logic

abstract: We present three syntactic forcing models for coherent logic. These are based on sites whose underlying category only depends on the signature of the coherent theory, and they do not presuppose that the logic has equality. As an application we give a coherent theory T and a sentence {\psi} which is T-redundant (for any geometric implication {\phi}, possibly with equality, if T + {\psi} proves {\phi}, then T proves {\phi}), yet false in the generic model of T. This answers in the negative a question by Wraith.


title: Asymptotic Symmetries of Colored Gravity in Three Dimensions

abstract: Three-dimensional colored gravity refers to nonabelian isospin extension of Einstein gravity. We investigate the asymptotic symmetry algebra of the $SU(N)$-colored gravity in (2+1)-dimensional anti-de Sitter spacetime. Formulated by the Chern-Simons theory with $SU(N,N)\times SU(N,N)$ gauge group, the theory contains graviton, $SU(N)$ Chern-Simons gauge fields and massless spin-two multiplets in the $SU(N)$ adjoint representation, thus extending diffeomorphism to colored, nonabelian counterpart. We identify the asymptotic symmetry as Poisson algebra of generators associated with the residual global symmetries of the nonabelian diffeomorphism set by appropriately chosen boundary conditions. The resulting asymptotic symmetry algebra is a nonlinear extension of Virasoro algeba and $\widehat{\mathfrak{su}(N)}$ Kac-Moody algebra, supplemented by additional generators corresponding to the massless spin-two adjoint matter fields.


title: Context-aware Path Ranking for Knowledge Base Completion

abstract: Knowledge base (KB) completion aims to infer missing facts from existing ones in a KB. Among various approaches, path ranking (PR) algorithms have received increasing attention in recent years. PR algorithms enumerate paths between entity pairs in a KB and use those paths as features to train a model for missing fact prediction. Due to their good performances and high model interpretability, several methods have been proposed. However, most existing methods suffer from scalability (high RAM consumption) and feature explosion (trains on an exponentially large number of features) problems. This paper proposes a Context-aware Path Ranking (C-PR) algorithm to solve these problems by introducing a selective path exploration strategy. C-PR learns global semantics of entities in the KB using word embedding and leverages the knowledge of entity semantics to enumerate contextually relevant paths using bidirectional random walk. Experimental results on three large KBs show that the path features (fewer in number) discovered by C-PR not only improve predictive performance but also are more interpretable than existing baselines.


title: On finitely generated submonoids of virtually free groups

abstract: We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a relation). We also solve the isomorphism problem for this class of monoids, generalizing earlier results for submonoids of free monoids. We also prove that the classes of graded monoids, regular monoids and Kleene monoids coincide for submonoids of free groups.


title: Spatially-resolved control of fictitious magnetic fields in a cold atomic ensemble

abstract: Effective and unrestricted engineering of atom-photon interactions requires precise spatially-resolved control of light beams. The significant potential of such manipulations lies in a set of disciplines ranging from solid state to atomic physics. Here we use a Zeeman-like ac-Stark shift of a shaped laser beam to perform rotations of spins with spatial resolution in a large ensemble of cold rubidium atoms. We show that inhomogeneities of light intensity are the main source of dephasing and thus decoherence, yet with proper beam shaping this deleterious effect is strongly mitigated allowing rotations of 15 rad within one spin-precession lifetime. Finally, as a particular example of a complex manipulation enabled by our scheme, we demonstrate a range of collapse-and-revival behaviours of a free-induction decay signal by imprinting comb-like patterns on the atomic ensemble.


title: Probing Uncertainty Relations in Non-Commutative Space

abstract: In this paper, we compute uncertainty relations for non-commutative space and obtain a better lower bound than the standard one obtained from Heisenberg's uncertainty relation. We also derive the reverse uncertainty relation for product and sum of uncertainties of two incompatible variables for one linear and another non-linear model of the harmonic oscillator. The non-linear model in non-commutating space yields two different expressions for Schr\"odinger and Heisenberg uncertainty relation. This distinction does not arise in commutative space, and even in the linear model of non-commutative space.


title: Generalisation of the identity method for determination of high-order moments of multiplicity distributions with a software implementation

abstract: The incomplete particle identification limits the experimentally-available phase space region for identified particle analysis. This problem affects ongoing fluctuation and correlation studies including the search for the critical point of strongly interacting matter performed on SPS and RHIC accelerators. In this paper we provide a procedure to obtain $n$-th order moments of the multiplicity distribution using the identity method, generalising previously published solutions for $n=2$ and $n=3$. Moreover, we present an open source software implementation of this computation, called \textit{Idhim}, that allows one to obtain the true moments of identified particle multiplicity distributions from the measured ones provided the response function of the detector is known.


title: Approximate Bayesian Forecasting

abstract: Approximate Bayesian Computation (ABC) has become increasingly prominent as a method for conducting parameter inference in a range of challenging statistical problems, most notably those characterized by an intractable likelihood function. In this paper, we focus on the use of ABC not as a tool for parametric inference, but as a means of generating probabilistic forecasts; or for conducting what we refer to as `approximate Bayesian forecasting'. The four key issues explored are: i) the link between the theoretical behavior of the ABC posterior and that of the ABC-based predictive; ii) the use of proper scoring rules to measure the (potential) loss of forecast accuracy when using an approximate rather than an exact predictive; iii) the performance of approximate Bayesian forecasting in state space models; and iv) the use of forecasting criteria to inform the selection of ABC summaries in empirical settings. The primary finding of the paper is that ABC can provide a computationally efficient means of generating probabilistic forecasts that are nearly identical to those produced by the exact predictive, and in a fraction of the time required to produce predictions via an exact method. y identical to those produced by the exact predictive, and in a fraction of the time required to produce predictions via an exact method.


title: q-generalized (anti -) flexible algebras and bialgebras

abstract: In this work, we provide a q-generalization of flexible algebras and related bialgebraic structures, including center-symmetric (also called antiflexible) algebras, and their bialgebras. Their basic properties are derived and discussed. Their connection with known algebraic structures, previously developed in the literature, is established. A q-generalization of Myung theorem is given. Main properties related to bimodules, matched pairs and dual bimodules as well as their algebraic consequences are investigated and analyzed. Finally, the equivalence between q-generalized flexible algebras, their Manin triple and bialgebras is established.


title: Towards an unanimous international regulatory body for responsible use of Artificial Intelligence [UIRB-AI]

abstract: Artificial Intelligence (AI), is once again in the phase of drastic advancements. Unarguably, the technology itself can revolutionize the way we live our everyday life. But the exponential growth of technology poses a daunting task for policy researchers and law makers in making amendments to the existing norms. In addition, not everyone in the society is studying the potential socio-economic intricacies and cultural drifts that AI can bring about. It is prudence to reflect from our historical past to propel the development of technology in the right direction. To benefit the society of the present and future, I scientifically explore the societal impact of AI. While there are many public and private partnerships working on similar aspects, here I describe the necessity for an Unanimous International Regulatory Body for all applications of AI (UIRB-AI). I also discuss the benefits and drawbacks of such an organization. To combat any drawbacks in the formation of an UIRB-AI, both idealistic and pragmatic perspectives are discussed alternatively. The paper further advances the discussion by proposing novel policies on how such organization should be structured and how it can bring about a win-win situation for everyone in the society.


title: Elastic constants of stressed and unstressed materials in the phase field crystal model

abstract: A general procedure to investigate the elastic response and calculate the elastic constants of stressed and unstressed materials through continuum field modeling, particularly the phase field crystal (PFC) models, is presented. It is found that for a complete description of system response to elastic deformation, the variations of all the quantities of lattice wave vectors, their density amplitudes (including the corresponding anisotropic variation and degeneracy breaking), the average atomic density, and system volume should be incorporated. The quantitative and qualitative results of elastic constant calculations highly depend on the physical interpretation of the density field used in the model, and also importantly, on the intrinsic pressure that usually pre-exists in the model system. A formulation based on thermodynamics is constructed to account for the effects caused by constant pre-existing stress during the homogeneous elastic deformation, through the introducing of a generalized Gibbs free energy and an effective finite strain tensor used for determining the elastic constants. The elastic properties of both solid and liquid states can be well produced by this unified approach, as demonstrated by an analysis for the liquid state and numerical evaluations for the bcc solid phase. The numerical calculations of bcc elastic constants and Poisson's ratio through this method generate results that are consistent with experimental conditions, and better match the data of bcc Fe given by molecular dynamics simulations as compared to previous work. The general theory developed here is applicable to the study of different types of stressed or unstressed material systems under elastic deformation.


title: Improving DRAM Performance by Parallelizing Refreshes with Accesses

abstract: Modern DRAM cells are periodically refreshed to prevent data loss due to leakage. Commodity DDR DRAM refreshes cells at the rank level. This degrades performance significantly because it prevents an entire rank from serving memory requests while being refreshed. DRAM designed for mobile platforms, LPDDR DRAM, supports an enhanced mode, called per-bank refresh, that refreshes cells at the bank level. This enables a bank to be accessed while another in the same rank is being refreshed, alleviating part of the negative performance impact of refreshes. However, there are two shortcomings of per-bank refresh. First, the per-bank refresh scheduling scheme does not exploit the full potential of overlapping refreshes with accesses across banks because it restricts the banks to be refreshed in a sequential round-robin order. Second, accesses to a bank that is being refreshed have to wait. To mitigate the negative performance impact of DRAM refresh, we propose two complementary mechanisms, DARP (Dynamic Access Refresh Parallelization) and SARP (Subarray Access Refresh Parallelization). The goal is to address the drawbacks of per-bank refresh by building more efficient techniques to parallelize refreshes and accesses within DRAM. First, instead of issuing per-bank refreshes in a round-robin order, DARP issues per-bank refreshes to idle banks in an out-of-order manner. Furthermore, DARP schedules refreshes during intervals when a batch of writes are draining to DRAM. Second, SARP exploits the existence of mostly-independent subarrays within a bank. With minor modifications to DRAM organization, it allows a bank to serve memory accesses to an idle subarray while another subarray is being refreshed. Extensive evaluations show that our mechanisms improve system performance and energy efficiency compared to state-of-the-art refresh policies and the benefit increases as DRAM density increases.


title: Anomalous Anosov flows revisited

abstract: This paper is devoted to higher dimensional Anosov flows and consists of two parts. In the first part, we investigate fiberwise Anosov flows on affine torus bundles which fiber over 3-dimensional Anosov flows. We provide a dichotomy result for such flows --- they are either suspensions of Anosov diffeomorphisms or the stable and unstable distributions have equal dimensions. In the second part, we give a new surgery type construction of Anosov flows, which yields non-transitive Anosov flows in all odd dimensions.


title: Fundamental Limits of Communication Over State-Dependent Channels With Feedback

abstract: The fundamental limits of communication over state-dependent discrete memoryless channels with noiseless feedback are studied, under the assumption that the communicating parties are allowed to use variable-length coding schemes. Various cases are analyzed, with the employed coding schemes having either bounded or unbounded codeword lengths, and with state information revealed to the encoder and/or decoder in a strictly causal, causal, or non-causal manner. In each of these settings, necessary and sufficient conditions for positivity of the zero-error capacity are obtained and it is shown that, whenever the zero-error capacity is positive, it equals the conventional vanishing-error capacity. Moreover, it is shown that the vanishing-error capacity of state-dependent channels is not increased by the use of feedback and variable-length coding. Both these kinds of capacities of state-dependent channels with feedback are thus fully characterized.


title: Complete parallel mean curvature surfaces in two-dimensional complex space-forms

abstract: The purpose of this article is to determine explicitly the complete surfaces with parallel mean curvature vector, both in the complex projective plane and the complex hyperbolic plane. The main results are as follows: When the curvature of the ambient space is positive, there exists a unique such surface up to rigid motions of the target space. On the other hand, when the curvature of the ambient space is negative, there are `non-trivial' complete parallel mean curvature surfaces generated by Jacobi elliptic functions and they exhaust such surfaces.


title: Automatic Estimation of Ice Bottom Surfaces from Radar Imagery

abstract: Ground-penetrating radar on planes and satellites now makes it practical to collect 3D observations of the subsurface structure of the polar ice sheets, providing crucial data for understanding and tracking global climate change. But converting these noisy readings into useful observations is generally done by hand, which is impractical at a continental scale. In this paper, we propose a computer vision-based technique for extracting 3D ice-bottom surfaces by viewing the task as an inference problem on a probabilistic graphical model. We first generate a seed surface subject to a set of constraints, and then incorporate additional sources of evidence to refine it via discrete energy minimization. We evaluate the performance of the tracking algorithm on 7 topographic sequences (each with over 3000 radar images) collected from the Canadian Arctic Archipelago with respect to human-labeled ground truth.


title: POSIX-based Operating System in the environment of NVM/SCM memory

abstract: Modern Operating Systems are typically POSIX-compliant. The system calls are the fundamental layer of interaction between user-space applications and the OS kernel and its implementation of fundamental abstractions and primitives used in modern computing. The next generation of NVM/SCM memory raises critical questions about the efficiency of modern OS architecture. This paper investigates how the POSIX API drives performance for a system with NVM/SCM memory. We show that OS and metadata related system calls represent the most important area of optimization. However, the synchronization related system calls (poll(), futex(), wait4()) are the most time-consuming overhead that even a RAMdisk platform fails to eliminate. Attempting to preserve the POSIX-based approach will likely result in fundamental inefficiencies for any future applications of NVM/SCM memory.


title: A self-consistent model of the coronal heating and solar wind acceleration including compressible and incompressible heating processes

abstract: We propose a novel one-dimensional model that includes both shock and turbulence heating and qualify how these processes contribute to heating the corona and driving the solar wind. Compressible MHD simulations allow us to automatically consider shock formation and dissipation, while turbulent dissipation is modeled via a one-point closure based on Alfv\'en wave turbulence. Numerical simulations were conducted with different photospheric perpendicular correlation lengths $\lambda_0$, which is a critical parameter of Alfv\'en wave turbulence, and different root-mean-square photospheric transverse-wave amplitudes $\delta v_0$. For the various $\lambda_0$, we obtain a low-temperature chromosphere, high-temperature corona, and supersonic solar wind. Our analysis shows that turbulence heating is always dominant when $\lambda_0 \lesssim 1{\rm \ Mm}$. This result does not mean that we can ignore the compressibility because the analysis indicates that the compressible waves and their associated density fluctuations enhance the Alfv\'en wave reflection and therefore the turbulence heating. The density fluctuation and the cross helicity are strongly affected by $\lambda_0$, while the coronal temperature and mass loss rate depend weakly on $\lambda_0$.


title: High-order convergent Finite-Elements Direct Transcription Method for Constrained Optimal Control Problems

abstract: In this paper we present a finite element method for the direct transcription of constrained non-linear optimal control problems. We prove that our method converges of high order under mild assumptions. Our analysis uses a regularized penalty-barrier functional. The convergence result is obtained from local strict convexity and Lipschitz-continuity of this functional in the finite-element space. The method is very flexible. Each component of the numerical solution can be discretized with a different mesh. General differential-algebraic constraints of arbitrary index can be treated easily with this new method. From the discretization results an unconstrained non-linear programming problem (NLP) with penalty- and barrier-terms. The derivatives of the NLP functions have a sparsity pattern that can be analysed and tailored in terms of the chosen finite-element bases in an easy way. We discuss how to treat the resulting NLP in a practical way with general-purpose software for constrained non-linear programming.


title: Developing post-coronagraphic, high-resolution spectroscopy for terrestrial planet characterization on ELTs

abstract: Spectroscopic observations are extremely important for determining the composition, structure, and surface gravity of exoplanetary atmospheres. High resolution spectroscopy of the planet itself has only been demonstrated a handful of times. By using advanced high contrast imagers, it is possible to conduct high resolution spectroscopy on imageable exoplanets, after the star light is first suppressed with an advanced coronagraph. Because the planet is spatially separated in the focal plane, a single mode fiber could be used to collect the light from the planet alone, reducing the photon noise by orders of magnitude. In addition, speckle control applied to the location where an exoplanet is known to exist, can be used to preferentially reject the stellar flux from the fiber further. In this paper we will present the plans for conducting high resolution spectroscopic studies of this nature with the combination of SCExAO and IRD in the H-band on the Subaru Telescope. This technique will be critical to the characterization of terrestrial planets on ELTs and future space missions.


title: Unusual evolution of B_{c2} and T_c with inclined fields in restacked TaS_2 nanosheets

abstract: Recently we reported an enhanced superconductivity in restacked monolayer TaS_2 nanosheets compared with the bulk TaS_2, pointing to the exotic physical properties of low dimensional systems. Here we tune the superconducting properties of this system with magnetic field along different directions, where a strong Pauli paramagnetic spin-splitting effect is found in this system. Importantly, an unusual enhancement as high as 3.8 times of the upper critical field B_{c2}, as compered with the Ginzburg-Landau (GL) model and Tinkham model, is observed under the inclined external magnetic field. Moreover, with the out-of-plane field fixed, we find that the superconducting transition temperature T_c can be enhanced by increasing the in-plane field and forms a dome-shaped phase diagram. An extended GL model considering the special microstructure with wrinkles was proposed to describe the results. The restacked crystal structure without inversion center along with the strong spin-orbit coupling may also play an important role for our observations.


title: Wave function representation of probability distributions

abstract: Orthogonal decomposition of the square root of a probability density function in the Hermite basis is a useful low-dimensional parameterization of continuous probability distributions over the reals. This representation is formally similar to the representation of quantum mechanical states as wave functions, whose squared modulus is a probability density.


title: Well balanced Arbitrary-Lagrangian-Eulerian finite volume schemes on moving nonconforming meshes for the Euler equations of gasdynamics with gravity

abstract: In this work we present a novel second order accurate well balanced Arbitrary-Lagrangian-Eulerian (ALE) finite volume scheme on moving nonconforming meshes for the Euler equations of compressible gasdynamics with gravity in cylindrical coordinates. The main feature of the proposed algorithm is the capability of preserving many of the physical properties of the system exactly also on the discrete level: besides being conservative for mass, momentum and total energy, also any known steady equilibrium between pressure gradient, centrifugal force and gravity force can be exactly maintained up to machine precision. Perturbations around such equilibrium solutions are resolved with high accuracy and with minimal dissipation on moving contact discontinuities even for very long computational times. This is achieved by the novel combination of well balanced path-conservative finite volume schemes, that are expressly designed to deal with source terms written via nonconservative products, with ALE schemes on moving grids, which exhibit only very little numerical dissipation on moving contact waves. In particular, we have formulated a new HLL-type and a novel Osher-type flux that are both able to guarantee the well balancing in a gas cloud rotating around a central object. Moreover, to maintain a high level of quality of the moving mesh, we have adopted a nonconforming treatment of the sliding interfaces that appear due to the differential rotation. A large set of numerical tests has been carried out in order to check the accuracy of the method close and far away from the equilibrium, both, in one and two space dimensions.


title: Interlacing Families III: Sharper Restricted Invertibility Estimates

abstract: We use the method of interlacing families of polynomials to derive a simple proof of Bourgain and Tzafriri's Restricted Invertibility Principle, and then to sharpen the result in two ways. We show that the stable rank can be replaced by the Schatten 4-norm stable rank and that tighter bounds hold when the number of columns in the matrix under consideration does not greatly exceed its number of rows. Our bounds are derived from an analysis of smallest zeros of Jacobi and associated Laguerre polynomials.


title: $SO(4)$ Landau Models and Matrix Geometry

abstract: We develop an in-depth analysis of the $SO(4)$ Landau models on $S^3$ in the $SU(2)$ monopole background and their associated matrix geometry. The Schwinger and Dirac gauges for the $SU(2)$ monopole are introduced to provide a concrete coordinate representation of $SO(4)$ operators and wavefunctions. The gauge fixing enables us to demonstrate algebraic relations of the operators and the $SO(4)$ covariance of the eigenfunctions. With the spin connection of $S^3$, we construct an $SO(4)$ invariant Weyl-Landau operator and analyze its eigenvalue problem with explicit form of the eigenstates. The obtained results include the known formulae of the free Weyl operator eigenstates in the free field limit. Other eigenvalue problems of variant relativistic Landau models, such as massive Dirac-Landau and supersymmetric Landau models, are investigated too. With the developed $SO(4)$ technologies, we derive the three-dimensional matrix geometry in the Landau models. By applying the level projection method to the Landau models, we identify the matrix elements of the $S^3$ coordinates as the fuzzy three-sphere. For the non-relativistic model, it is shown that the fuzzy three-sphere geometry emerges in each of the Landau levels and only in the degenerate lowest energy sub-bands. We also point out that Dirac-Landau operator accommodates two fuzzy three-spheres in each Landau level and the mass term induces interaction between them.

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: Electric field concentration in the presence of an inclusion with eccentric core-shell geometry

abstract: In this paper we analyze the gradient blow-up of the solution to the conductivity problem in two dimensions in the presence of an inclusion with eccentric core-shell geometry. Assuming that the core and shell have circular boundaries that are nearly touching, we derive an asymptotic formula for the solution in terms of the single and double layer potentials with image line charges. We also deduce an integral formula with image line charges for the problem relating to two nearly touching separated conductors.


title: Maximizing the density of $K_t$'s in graphs of bounded degree and clique number

abstract: Zykov showed in 1949 that among graphs on $n$ vertices with clique number $\omega(G) \le \omega$, the Tur\'an graph $T_{\omega}(n)$ maximizes not only the number of edges but also the number of copies of $K_t$ for each size $t$. The problem of maximizing the number of copies of $K_t$ has also been studied within other classes of graphs, such as those on $n$ vertices with maximum degree $\Delta(G) \le \Delta$. We combine these restrictions and investigate which graphs with $\Delta(G) \le \Delta$ and $\omega(G) \le \omega$ maximize the number of copies of $K_t$ per vertex. We define $f_t(\Delta,\omega)$ as the supremum of $\rho_t$, the number of copies of $K_t$ per vertex, among such graphs, and show for fixed $t$ and $\omega$ that $f_t(\Delta,\omega) = (1+o(1))\rho_t(T_{\omega}(\Delta+\lfloor\frac{\Delta}{\omega-1}\rfloor))$. For two infinite families of pairs $(\Delta,\omega)$, we determine $f_t(\Delta,\omega)$ exactly for all $t\ge 3$. For another we determine $f_t(\Delta,\omega)$ exactly for the two largest possible clique sizes. Finally, we demonstrate that not every pair $(\Delta,\omega)$ has an extremal graph that simultaneously maximizes the number of copies of $K_t$ per vertex for every size $t$.


title: Bit-Vector Model Counting using Statistical Estimation

abstract: Approximate model counting for bit-vector SMT formulas (generalizing \#SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it is computationally difficult. Adding random parity constraints (XOR streamlining) and then checking satisfiability is an effective approximation technique, but it requires a prior hypothesis about the model count to produce useful results. We propose an approach inspired by statistical estimation to continually refine a probabilistic estimate of the model count for a formula, so that each XOR-streamlined query yields as much information as possible. We implement this approach, with an approximate probability model, as a wrapper around an off-the-shelf SMT solver or SAT solver. Experimental results show that the implementation is faster than the most similar previous approaches which used simpler refinement strategies. The technique also lets us model count formulas over floating-point constraints, which we demonstrate with an application to a vulnerability in differential privacy mechanisms.


title: Signatures of Modified Dispersion Relation of Graviton in the Cosmic Microwave Background

abstract: The dispersion relation of graviton is a fundamental issue for fundamental physics about gravity. In this paper we investigate how the modified dispersion relation of graviton affects the cosmic microwave background (CMB) power spectra, in particular the B-mode polarization. Our results will be useful to test the dispersion relation of graviton at the energy scale around $10^{-29}$ eV.


title: Nonlinear effects in modulated quantum optomechanics

abstract: The nonlinear quantum regime is crucial for implementing interesting quantum effects, which have wide applications in modern quantum science. Here we propose an effective method to reach the nonlinear quantum regime in a modulated optomechanical system (OMS), which is originally in the weak-coupling regime. The mechanical spring constant and optomechanical interaction are modulated periodically. This leads to the result that the resonant optomechanical interaction can be effectively enhanced into the single-photon strong-coupling regime by the modulation-induced mechanical parametric amplification. Moreover, the amplified phonon noise can be suppressed completely by introducing a squeezed vacuum reservoir, which ultimately leads to the realization of photon blockade in a weakly coupled OMS. The reached nonlinear quantum regime also allows us to engineer the nonclassical states (e.g., Schr\"{o}dinger cat states) of cavity field, which are robust against the phonon noise. This work offers an alternative approach to enhance the quantum nonlinearity of an OMS, which should expand the applications of cavity optomechanics in the quantum realm.


title: Controlled Information Fusion with Risk-Averse CVaR Social Sensors

abstract: Consider a multi-agent network comprised of risk averse social sensors and a controller that jointly seek to estimate an unknown state of nature, given noisy measurements. The network of social sensors perform Bayesian social learning - each sensor fuses the information revealed by previous social sensors along with its private valuation using Bayes' rule - to optimize a local cost function. The controller sequentially modifies the cost function of the sensors by discriminatory pricing (control inputs) to realize long term global objectives. We formulate the stochastic control problem faced by the controller as a Partially Observed Markov Decision Process (POMDP) and derive structural results for the optimal control policy as a function of the risk-aversion factor in the Conditional Value-at-Risk (CVaR) cost function of the sensors. We show that the optimal price sequence when the sensors are risk- averse is a super-martingale; i.e, it decreases on average over time.


title: Flow by Gauss curvature to the Aleksandrov and dual Minkowski problems

abstract: In this paper we study a contracting flow of closed, convex hypersurfaces in the Euclidean space $\mathbb R^{n+1}$ with speed $f r^{\alpha} K$, where $K$ is the Gauss curvature, $r$ is the distance from the hypersurface to the origin, and $f$ is a positive and smooth function. If $\alpha \ge n+1$, we prove that the flow exists for all time and converges smoothly after normalisation to a soliton, which is a sphere centred at the origin if $f \equiv 1$. Our argument provides a parabolic proof in the smooth category for the classical Aleksandrov problem, and resolves the dual q-Minkowski problem introduced by Huang, Lutwak, Yang and Zhang (Acta Math. 216 (2016): 325-388), for the case $q<0$. If $\alpha < n+1$, corresponding to the case $q>0$, we also establish the same results for even function $f$ and origin-symmetric initial condition, but for non-symmetric $f$, counterexample is given for the above smooth convergence.


title: Local optima of the Sherrington-Kirkpatrick Hamiltonian

abstract: We study local optima of the Hamiltonian of the Sherrington-Kirkpatrick model. We compute the exponent of the expected number of local optima and determine the "typical" value of the Hamiltonian.


title: A remark on energy estimates concerning extremals for Trudinger-Moser inequalities on a disc

abstract: In this short note, we generalized an energy estimate due to Malchiodi-Martinazzi (J. Eur. Math. Soc. 16 (2014) 893-908) and Mancini-Martinazzi (Calc. Var. (2017) 56:94). As an application, we used it to reprove existence of extremals for Trudinger-Moser inequalities of Adimurthi-Druet type on the unit disc. Such existence problems in general cases had been considered by Yang (Trans. Amer. Math. Soc. 359 (2007) 5761-5776; J. Differential Equations 258 (2015) 3161-3193) and Lu-Yang (Discrete Contin. Dyn. Syst. 25 (2009) 963-979) by using another method.


title: Revisiting $^{63}$Cu NMR evidence for charge order in superconducting La$_{1.885}$Sr$_{0.115}$CuO$_4$

abstract: The presence of charge and spin stripe order in the La2CuO4-based family of superconductors continues to lead to new insight on the unusual ground state properties of high Tc cuprates. Soon after the discovery of charge stripe order at T(charge)=65K in Nd3+ co-doped LSCO ($T_{c}\simeq6$~K) [Tranquada et al., Nature {\bf 375} (1995) 561], Hunt et al. demonstrated that La$_{1.48}$Nd$_{0.4}$Sr$_{0.12}$CuO$_4$ and superconducting LSCO with x~1/8 (Tc ~ 30K) share nearly identical NMR anomalies near $T_{charge}$ of the former [Phys. Rev. Lett. {\bf 82} (1999) 4300]. Their inevitable conclusion that LSCO also undergoes charge order at a comparable temperature became controversial, because diffraction measurements at the time were unable to detect Bragg peaks associated with charge order. Recent advances in x-ray diffraction techniques finally led to definitive confirmations of the charge order Bragg peaks in LSCO with an onset at as high as T(charge)=80K. Meanwhile, improved instrumental technology has enabled routine NMR measurements that were not feasible two decades ago. Motivated by these new developments, we revisit the charge order transition of a LSCO single crystal based on 63Cu NMR techniques. We demonstrate that 63Cu NMR properties of the nuclear spin $I_{z}$ = -1/2 to +1/2 central transition below T(charge) exhibit unprecedentedly strong dependence on the measurement time scale set by the NMR pulse separation time $\tau$; a new kind of anomalous, very broad wing-like 63Cu NMR signals gradually emerge below T(charge) only for extremely short $\tau \lesssim 4~\mu$s, while the spectral weight of the normal NMR signals is progressively wiped out. The NMR linewidth and relaxation rates depend strongly on $\tau$ below T(charge), and their enhancement in the charge ordered state indicates that charge order turns on strong but inhomogeneous growth of Cu spin-spin correlations.


title: Context-Aware Semantic Inpainting

abstract: Recently image inpainting has witnessed rapid progress due to generative adversarial networks (GAN) that are able to synthesize realistic contents. However, most existing GAN-based methods for semantic inpainting apply an auto-encoder architecture with a fully connected layer, which cannot accurately maintain spatial information. In addition, the discriminator in existing GANs struggle to understand high-level semantics within the image context and yield semantically consistent content. Existing evaluation criteria are biased towards blurry results and cannot well characterize edge preservation and visual authenticity in the inpainting results. In this paper, we propose an improved generative adversarial network to overcome the aforementioned limitations. Our proposed GAN-based framework consists of a fully convolutional design for the generator which helps to better preserve spatial structures and a joint loss function with a revised perceptual loss to capture high-level semantics in the context. Furthermore, we also introduce two novel measures to better assess the quality of image inpainting results. Experimental results demonstrate that our method outperforms the state of the art under a wide range of criteria.


title: Inverse scattering problems where the potential is not absolutely continuous on the known interior subinterval

abstract: The inverse scattering problem for the Schr$\mathrm{\ddot{o}}$dinger operators on the line is considered when the potential is real valued and integrable and has a finite first moment. It is shown that the potential on the line is uniquely determined by the left (or right) reflection coefficient alone provided that the potential is known on a finite interval and it is not absolutely continuous on this known interval.


title: Manin's Conjecture and the Fujita invariant of finite covers

abstract: We prove a conjecture of Lehmann-Tanimoto about the behaviour of the Fujita invariant (or $a$-constant appearing in Manin's conjecture) under pull-back to generically finite covers. As a consequence we obtain results about geometric consistency of Manin's conjecture.


title: On the Outage Analysis and Finite SNR Diversity-Multiplexing Tradeoff of Hybrid-Duplex Systems for Aeronautical Communications

abstract: A hybrid-duplex aeronautical communication system (HBD-ACS) consisting of a full-duplex (FD) enabled ground station (GS), and two half-duplex (HD) air-stations (ASs) is proposed as a direct solution to the spectrum crunch faced by the aviation industry. Closed-form outage probability and finite signal-to-noise ratio (SNR) diversity gain expressions in aeronautical communications over Rician fading channels are derived for a successive interference cancellation (SIC) detector. Similar expressions are also presented for an interference ignorant (II) detector and HD-equivalent modes at GS and ASs. Through outage and finite SNR diversity gain analysis conducted at the nodes, and system level, residual SI and inter-AS interference are found to be the primary limiting factors in the proposed HBD-ACS. Additional analysis also revealed that the II and SIC detectors in the proposed HBD-ACS are suitable for weak and strong interference scenarios, respectively. When compared to HD-ACS, the proposed HBD-ACS achieves lower outage probability and higher diversity gains at higher multiplexing gains when operating at low SNRs. Finite SNR analysis also showed the possibility of the proposed HBD-ACS being able to attain interference-free diversity gains through proper management of residual SI. Hence, the proposed HBD-ACS is more reliable and can provide better throughput compared to existing HD-ACS at low-to-moderate SNRs.


title: Electrically Pumped Orbital Angular Momentum (OAM) Laser at Telecom Wavelengths

abstract: Semiconductor lasers capable of generating a vortex beam with a specific orbital angular momentum (OAM) order are highly attractive for applications ranging from nanoparticle manipulation, imaging and microscopy to fibre and quantum communications. In this work, an electrically pumped OAM laser operating at telecom wavelengths is fabricated by monolithically integrating an optical vortex emitter with a distributed feedback (DFB) laser on the same InGaAsP/InP epitaxial wafer. A single-step dry etching process is adopted to complete the OAM emitter, equipped with specially designed top gratings. The vortex beam emitted by the integrated laser is captured, and its OAM mode purity characterized. The electrically pumped OAM laser eliminates the external laser required by silicon- or silicon-on-insulator (SOI)-based OAM emitters, thus demonstrating great potential for applications in communication systems and quantum domain.


title: Skew cyclic codes over $\mathbb{F}_{p}+u\mathbb{F}_{p}$

abstract: In this paper, we study skew cyclic codes with arbitrary length over the ring $R=\mathbb{F}_{p}+u\mathbb{F}_{p}$ where $p$ is an odd prime and $% u^{2}=0$. We characterize all skew cyclic codes of length $n$ as left $% R[x;\theta ]$-submodules of $R_{n}=R[x;\theta ]/\langle x^{n}-1\rangle $. We find all generator polynomials for these codes and describe their minimal spanning sets. Moreover, an encoding and decoding algorithm is presented for skew cyclic codes over the ring $R$. Finally, based on the theory we developed in this paper, we provide examples of codes with good parameters over $F_{p}$ with different odd prime $p.$ In fact, example 25 in our paper is a new ternary code in the class of quasi-twisted codes. The other examples we provided are examples of optimal codes.


title: Carbon stars identified from LAMOST DR4 using Machine Learning

abstract: In this work, we present a catalog of 2651 carbon stars from the fourth Data Release (DR4) of the Large Sky Area Multi-Object Fiber Spectroscopy Telescope (LAMOST). Using an efficient machine-learning algorithm, we find out these stars from more than seven million spectra. As a by-product, 17 carbon-enhanced metal-poor (CEMP) turnoff star candidates are also reported in this paper, and they are preliminarily identified by their atmospheric parameters. Except for 176 stars that could not be given spectral types, we classify the other 2475 carbon stars into five subtypes including 864 C-H, 226 C-R, 400 C-J, 266 C-N, and 719 barium stars based on a series of spectral features. Furthermore, we divide the C-J stars into three subtypes of CJ( H), C-J(R), C-J(N), and about 90% of them are cool N-type stars as expected from previous literature. Beside spectroscopic classification, we also match these carbon stars to multiple broadband photometries. Using ultraviolet photometry data, we find that 25 carbon stars have FUV detections and they are likely to be in binary systems with compact white dwarf companions.


title: Robust readout of bosonic qubits in the dispersive coupling regime

abstract: High-fidelity qubit measurements play a crucial role in quantum computation, communication, and metrology. In recent experiments, it has been shown that readout fidelity may be improved by performing repeated quantum non-demolition (QND) readouts of a qubit's state through an ancilla. For a qubit encoded in a two-level system, the fidelity of such schemes is limited by the fact that a single error can destroy the information in the qubit. On the other hand, if a bosonic system is used, this fundamental limit could be overcome by utilizing higher levels such that a single error still leaves states distinguishable. In this work, we present a robust readout scheme, applicable to bosonic systems dispersively coupled to an ancilla, which leverages both repeated QND readouts and higher-level encodings to asymptotically suppress the effects of qubit/cavity relaxation and individual measurement infidelity. We calculate the measurement fidelity in terms of general experimental parameters, provide an information-theoretic description of the scheme, and describe its application to several encodings, including cat and binomial codes.


title: Quantized Skyrmions from SU(4) Weight Diagrams

abstract: Starting from solutions of the lightly-bound Skyrme model, we construct many new Skyrmion solutions of the standard Skyrme model with tetrahedral or octahedral symmetry. These solutions are closely related to weight diagrams of the group SU(4), which enables us to systematically derive some geometric and energetic properties of the Skyrmions, up to baryon number 85. We discuss the rigid body quantization of these Skyrmions, and compare the results with properties of a selection of observed nuclei.


title: A criterion for existence of right-induced model structures

abstract: Suppose that $F: \mathcal{N} \to \mathcal{M}$ is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on $\mathcal{N}$ in the case when $F$ admits both adjoints. We give several examples, including change-of-rings, operad-like structures, and anti-involutive structures on infinity categories. For the last of these, we explore anti-involutive structures for several different models of $(\infty, 1)$-categories, and show that known Quillen equivalences between base model categories lift to equivalences.


title: Deep Unsupervised Clustering Using Mixture of Autoencoders

abstract: Unsupervised clustering is one of the most fundamental challenges in machine learning. A popular hypothesis is that data are generated from a union of low-dimensional nonlinear manifolds; thus an approach to clustering is identifying and separating these manifolds. In this paper, we present a novel approach to solve this problem by using a mixture of autoencoders. Our model consists of two parts: 1) a collection of autoencoders where each autoencoder learns the underlying manifold of a group of similar objects, and 2) a mixture assignment neural network, which takes the concatenated latent vectors from the autoencoders as input and infers the distribution over clusters. By jointly optimizing the two parts, we simultaneously assign data to clusters and learn the underlying manifolds of each cluster.


title: Efficient spin transport along Si $\langle$100$\rangle$ at room temperature

abstract: We find efficient spin transport in Si at room temperature in lateral spin valves (LSVs). When the crystal orientation of the spin-transport channel in LSVs is changed from $\langle$110$\rangle$, which is a conventional cleavage direction, to $\langle$100$\rangle$, the maximum magnitude of the spin signals is markedly enhanced. From the analyses based on the one-dimensional spin diffusion model, we can understand that the spin injection/detection efficiency in Si$\langle$100$\rangle$ LSVs is larger than that in Si$\langle$110$\rangle$ ones. We infer that, in Si-based LSVs, the spin detection efficiency of the pure spin current is related to the crystallographic orientation of the valley structures of the conduction band in Si.


title: The use of adversaries for optimal neural network training

abstract: B-decay data from the Belle experiment at the KEKB collider have a substantial background from $e^{+}e^{-}\to q \bar{q}$ events. To suppress this we employ deep neural network algorithms. These provide improved signal from background discrimination. However, the deep neural network develops a substantial correlation with the $\Delta E$ kinematic variable used to distinguish signal from background in the final fit due to its relationship with input variables. The effect of this correlation is reduced by deploying an adversarial neural network. Overall the adversarial deep neural network performs better than a Boosted Decision Tree algorithimn and a commercial package, NeuroBayes, which employs a neural net with a single hidden layer.


title: Spontaneous Emission in a Matter-Wave Open Quantum System

abstract: One of the paradigms of a small quantum system in a dissipative environment is the decay of an excited atom undergoing spontaneous photon emission into the fluctuating quantum electrodynamic vacuum. Recent experiments have demonstrated that the gapped photon dispersion in periodic structures can give rise to novel spontaneous-decay behavior including the formation of dissipative bound states. So far, these effects have been restricted to the optical domain. Here, we experimentally demonstrate similar behavior in a system of artificial atoms in an optical lattice that decay by emitting matter-wave, rather than optical, radiation into free space. By controlling the vacuum coupling and excitation energy, we directly observe exponential and partly reversible, non-Markovian dynamics and detect a tunable bound state containing evanescent matter waves for emission at negative excitation energies. Our system provides a flexible platform for the emulation of open-system quantum electrodynamics and studies of dissipative many-body physics with ultracold atoms.


title: An Adaptive Passivity-Based Controller of a Buck-Boost Converter With a Constant Power Load

abstract: This paper addresses the problem of regulating the output voltage of a DC-DC buck-boost converter feeding a constant power load,which is a problem of current practical interest. Designing a stabilising controller is theoretically challenging because its average model is a bilinear second order system that, due to the presence of the constant power load,is non- minimum phase with respect to both states.Moreover,to design a high performance controller, the knowledge of the extracted load power, which is difficult to measure in industrial applications, is required. In this paper, an adaptive interconnection and damping assignment passivity based control that incorporates the immersion and invariance parameter estimator for the load power is proposed to solve the problem. Some detailed simulations are provided to validate the transient behaviour of the proposed controller and compare it with the performance of a classical PD scheme.


title: From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes

abstract: This paper is concerned with a compositional approach for constructing finite Markov decision processes of interconnected discrete-time stochastic control systems. The proposed approach leverages the interconnection topology and a notion of so-called stochastic storage functions describing joint dissipativity-type properties of subsystems and their abstractions. In the first part of the paper, we derive dissipativity-type compositional conditions for quantifying the error between the interconnection of stochastic control subsystems and that of their abstractions. In the second part of the paper, we propose an approach to construct finite Markov decision processes together with their corresponding stochastic storage functions for classes of discrete-time control systems satisfying some incremental passivablity property. Under this property, one can construct finite Markov decision processes by a suitable discretization of the input and state sets. Moreover, we show that for linear stochastic control systems, the aforementioned property can be readily checked by some matrix inequality. We apply our proposed results to the temperature regulation in a circular building by constructing compositionally a finite Markov decision process of a network containing 200 rooms in which the compositionality condition does not require any constraint on the number or gains of the subsystems. We employ the constructed finite Markov decision process as a substitute to synthesize policies regulating the temperature in each room for a bounded time horizon.


title: The Character Thinks Ahead: creative writing with deep learning nets and its stylistic assessment

abstract: We discuss how to control outputs from deep learning models of text corpora so as to create contemporary poetic works. We assess whether these controls are successful in the immediate sense of creating stylo- metric distinctiveness. The specific context is our piece The Character Thinks Ahead (2016/17); the potential applications are broad.


title: Symmetry Realization via a Dynamical Inverse Higgs Mechanism

abstract: The Ward identities associated with spontaneously broken symmetries can be saturated by Goldstone bosons. However, when space-time symmetries are broken, the number of Goldstone bosons necessary to non-linearly realize the symmetry can be less than the number of broken generators. The loss of Goldstones may be due to a redundancy or the generation of a gap. This phenomena is called an Inverse Higgs Mechanism (IHM). However, there are cases when a Goldstone boson associated with a broken generator does not appear in the low energy theory despite the lack of the existence of an associated IHM. In this paper we will show that in such cases the relevant broken symmetry can be realized, without the aid of an associated Goldstone, if there exists a proper set of operator constraints, which we call a Dynamical Inverse Higgs Mechanism (DIHM). We consider the spontaneous breaking of boosts, rotations and conformal transformations in the context of Fermi liquids, finding three possible paths to symmetry realization: pure Goldstones, no Goldstones and DIHM, or some mixture thereof. We show that in the two dimensional degenerate electron system the DIHM route is the only consistent way to realize spontaneously broken boosts and dilatations, while in three dimensions these symmetries could just as well be realized via the inclusion of non-derivatively coupled Goldstone bosons. We have present the action, including the leading order non-linearities, for the rotational Goldstone (angulon), and discuss the constraint associated with the possible DIHM that would need to be imposed to remove it from the spectrum. Finally we discuss the conditions under which Goldstone bosons are non-derivatively coupled, a necessary condition for the existence of a Dynamical Inverse Higgs Constraint (DIHC), generalizaing the results for Vishwanath and Wantanabe.


title: Gibbs sampler with jump diffusion model: application in European call option and annuity

abstract: In this paper, we are presenting a method for estimation of market parameters modeled by jump diffusion process. The method proposed is based on Gibbs sampler, while the market parameters are the drift, the volatility, the jump intensity and its rate of occurrence. Demonstration on how to use these parameters to estimate the fair price of European call option and annuity will be shown, for the situation where the market is modeled by jump diffusion process with different intensity and occurrence. The results is compared to conventional options to observe the impact of jump effects.


title: Symmetry Obstruction to Fermi Liquid Behavior in the Unitary Limit

abstract: We show that a Fermi gas, in three dimensions, at temperatures above the superconducting phase transition but below the Fermi temperature, can not be described by Fermi Liquid Theory (FLT) in the unitary limit where the scattering length diverges. The result follows by showing that the there are no effective field theory descriptions that both behave like a Fermi liquid and properly non-linearly realize the spontaneously broken boost and conformal invariance of the system.


title: Deep learning for predicting refractive error from retinal fundus images

abstract: Refractive error, one of the leading cause of visual impairment, can be corrected by simple interventions like prescribing eyeglasses. We trained a deep learning algorithm to predict refractive error from the fundus photographs from participants in the UK Biobank cohort, which were 45 degree field of view images and the AREDS clinical trial, which contained 30 degree field of view images. Our model use the "attention" method to identify features that are correlated with refractive error. Mean absolute error (MAE) of the algorithm's prediction compared to the refractive error obtained in the AREDS and UK Biobank. The resulting algorithm had a MAE of 0.56 diopters (95% CI: 0.55-0.56) for estimating spherical equivalent on the UK Biobank dataset and 0.91 diopters (95% CI: 0.89-0.92) for the AREDS dataset. The baseline expected MAE (obtained by simply predicting the mean of this population) was 1.81 diopters (95% CI: 1.79-1.84) for UK Biobank and 1.63 (95% CI: 1.60-1.67) for AREDS. Attention maps suggested that the foveal region was one of the most important areas used by the algorithm to make this prediction, though other regions also contribute to the prediction. The ability to estimate refractive error with high accuracy from retinal fundus photos has not been previously known and demonstrates that deep learning can be applied to make novel predictions from medical images. Given that several groups have recently shown that it is feasible to obtain retinal fundus photos using mobile phones and inexpensive attachments, this work may be particularly relevant in regions of the world where autorefractors may not be readily available.


title: Towards a Deep Improviser: a prototype deep learning post-tonal free music generator

abstract: Two modest-sized symbolic corpora of post-tonal and post-metric keyboard music have been constructed, one algorithmic, the other improvised. Deep learning models of each have been trained and largely optimised. Our purpose is to obtain a model with sufficient generalisation capacity that in response to a small quantity of separate fresh input seed material, it can generate outputs that are distinctive, rather than recreative of the learned corpora or the seed material. This objective has been first assessed statistically, and as judged by k-sample Anderson-Darling and Cramer tests, has been achieved. Music has been generated using the approach, and informal judgements place it roughly on a par with algorithmic and composed music in related forms. Future work will aim to enhance the model such that it can be evaluated in relation to expression, meaning and utility in real-time performance.


title: Model-Based Clustering of Nonparametric Weighted Networks with Application to Water Pollution Analysis

abstract: Water pollution is a major global environmental problem, and it poses a great environmental risk to public health and biological diversity. This work is motivated by assessing the potential environmental threat of coal mining through increased sulfate concentrations in river networks, which do not belong to any simple parametric distribution. However, existing network models mainly focus on binary or discrete networks and weighted networks with known parametric weight distributions. We propose a principled nonparametric weighted network model based on exponential-family random graph models and local likelihood estimation and study its model-based clustering with application to large-scale water pollution network analysis. We do not require any parametric distribution assumption on network weights. The proposed method greatly extends the methodology and applicability of statistical network models. Furthermore, it is scalable to large and complex networks in large-scale environmental studies. The power of our proposed methods is demonstrated in simulation studies and a real application to sulfate pollution network analysis in Ohio watershed located in Pennsylvania, United States.


title: Density Estimation with Contaminated Data: Minimax Rates and Theory of Adaptation

abstract: This paper studies density estimation under pointwise loss in the setting of contamination model. The goal is to estimate $f(x_0)$ at some $x_0\in\mathbb{R}$ with i.i.d. observations, $$ X_1,\dots,X_n\sim (1-\epsilon)f+\epsilon g, $$ where $g$ stands for a contamination distribution. In the context of multiple testing, this can be interpreted as estimating the null density at a point. We carefully study the effect of contamination on estimation through the following model indices: contamination proportion $\epsilon$, smoothness of target density $\beta_0$, smoothness of contamination density $\beta_1$, and level of contamination $m$ at the point to be estimated, i.e. $g(x_0)\leq m$. It is shown that the minimax rate with respect to the squared error loss is of order $$ [n^{-\frac{2\beta_0}{2\beta_0+1}}]\vee[\epsilon^2(1\wedge m)^2]\vee[n^{-\frac{2\beta_1}{2\beta_1+1}}\epsilon^{\frac{2}{2\beta_1+1}}], $$ which characterizes the exact influence of contamination on the difficulty of the problem. We then establish the minimal cost of adaptation to contamination proportion, to smoothness and to both of the numbers. It is shown that some small price needs to be paid for adaptation in any of the three cases. Variations of Lepski's method are considered to achieve optimal adaptation. The problem is also studied when there is no smoothness assumption on the contamination distribution. This setting that allows for an arbitrary contamination distribution is recognized as Huber's $\epsilon$-contamination model. The minimax rate is shown to be $$ [n^{-\frac{2\beta_0}{2\beta_0+1}}]\vee [\epsilon^{\frac{2\beta_0}{\beta_0+1}}]. $$ The adaptation theory is also different from the smooth contamination case. While adaptation to either contamination proportion or smoothness only costs a logarithmic factor, adaptation to both numbers is proved to be impossible.


title: Modification of $\Delta (1232)$ in the neutrino nucleus reaction

abstract: The remarkable observations in the pion induced and charge exchange reactions on a nucleus are the significant shift and broadening of the $\Delta (1232)$-peak relative to free pion nucleon scattering. For the forward going massless leptons, the weak process $(\nu_l,l)$ on a nucleon, according to Adler's partially conserved axial current theorem, is connected to the pion nucleon scattering. This mechanism is also applicable to the nucleus. Therefore, the modification of the $\Delta$-peak in a nucleus can be seen in the $(\nu_l,l)$ reaction since it is connected to the pion nucleus scattering. To investigate this issue quantitatively, the double differential cross sections of the forward going ejectile $l$ energy distribution in the $(\nu_l,l)$ reaction are calculated in the $\Delta$-excitation region for both proton and nucleus. The measured pion nucleon and pion nucleus scattering cross sections in the quoted energy region are used in these reactions as input. Since the $(\nu_l,l)$ reaction is connected to the pion induced scattering, the features of the previous reaction is shown analogous to those of the later.


title: Spontaneous Breaking of (2+1)-dimensional Lorentz Symmetry by an antisymmetric tensor

abstract: One kind of spontaneous (2+1)-dimensional Lorentz symmetry breaking is discussed. The symmetry breaking pattern is $SO(2,1)\rightarrow SO(1,1)$. Using the coset construction formalism, we derive the Goldstone covariant derivative and the associated covariant gauge field. Finally, the two-derivative low-energy effective action of the Nambu-Goldstone bosons is obtained.