title: Optimal Time Scheduling Scheme for Wireless Powered Ambient Backscatter Communication in IoT Network

abstract: In this paper, we investigate optimal scheme to manage time scheduling of different modules including spectrum sensing, radio frequency (RF) energy harvesting (RFH) and ambient backscatter communication (ABCom) by maximizing data transmission rate in the internet of things (IoT). We first consider using spectrum sensing with energy detection techniques to detect high power ambient RF signals, and then performing RFH and ABCom with them. Specifically, to improve the spectrum sensing efficiency, compressive sensing is used to detect the wideband RF singals. We propose a joint optimization problem of optimizing time scheduling parameter and power allocation ratio, where power allocation ratio appears because REH and ABCom work at the same time. In addition, a method to find the threshold of spectrum sensing for backscatter communication by analyzing the outage probability of backscatter communication is proposed. Numerical results demonstrate that the optimal schemes with spectrum sensing are achieved with larger transmission rates. Compressive sensing based method is confirmed to be more efficient, and that the superiorities become more obvious with the increasing of the network operation time. Moreover, the optimal scheduling parameters and power allocation ratios are obtained. Also, simulations illustrate that the threshold of spectrum sensing for backscatter communication is obtained by analyzing the outage probability of backscatter communication.


title: A Computational Approach for the inverse problem of neuronal conductances determination

abstract: The derivation by Alan Hodgkin and Andrew Huxley of their famous neuronal conductance model relied on experimental data gathered using neurons of the giant squid. It becomes clear that determining experimentally the conductances of neurons is hard, in particular under the presence of spatial and temporal heterogeneities. Moreover it is reasonable to expect variations between species or even between types of neurons of a same species. Determining conductances from one type of neuron is no guarantee that it works across the board. We tackle the inverse problem of determining, given voltage data, conductances with non-uniform distribution computationally. In the simpler setting of a cable equation, we consider the Landweber iteration, a computational technique used to identify non-uniform spatial and temporal ionic distributions, both in a single branch or in a tree. Here, we propose and (numerically) investigate an iterative scheme that consists in numerically solving two partial differential equations in each step. We provide several numerical results showing that the method is able to capture the correct conductances given information on the voltages, even for noisy data.


title: Dynamical properties of the finite-size Dicke model coupled to a thermal reservoir

abstract: We investigate the dynamical properties of the finite-size Dicke model coupled to a photon reservoir in the dispersive regime. The system-reservoir coupling in our Hamiltonian includes counter-rotating terms, which are relevant in the strong atom-cavity coupling. Because the dispersive regime is considered, the dynamics of low-energy states are described sufficiently accurately within the finite-dimensional subspace of the dressed states. Using the separation of the time scales between the system and the reservoir, we derive the Markovian quantum master equation in the subspace without ignoring the counter-rotating terms. The temporal evolution of the expectation of the cavity mode shows that the bifurcation of the long-lived state corresponds to the superradiant transition in the isolated model. The master equation explicitly gives the steady state solution. The numerical results for the first-order correlation function on the steady state indicate that the strong atom-cavity coupling enhances the coherence and softens the dephasing in the superradiant region.


title: A New [Combinatorial] Proof of the Commutativity of Matching Polynomials for Cycles

abstract: We prove some functional equations involving the (classical) matching polynomials of path and cycle graphs and the $d$-matching polynomial of a cycle graph. A matching in a (finite) graph $G$ is a subset of edges no two of which share a vertex, and the matching polynomial of $G$ is a generating function encoding the numbers of matchings in $G$ of each size. The $d$-matching polynomial is a weighted average of matching polynomials of degree-$d$ covers, and was introduced in a paper of Hall, Puder, and Sawin. Let $\mathcal{C}_n$ and $\mathcal{P}_n$ denote the respective matching polynomials of the cycle and path graphs on $n$ vertices, and let $\mathcal{C}_{n,d}$ denote the $d$-matching polynomial of the cycle $C_n$. We give a purely combinatorial proof that $\mathcal{C}_k (\mathcal{C}_n (x)) = \mathcal{C}_{kn} (x)$ en route to proving a conjecture made by Hall: that $\mathcal{C}_{n,d} (x) = \mathcal{P}_d (\mathcal{C}_n (x))$.


title: Theory of well-posedness for delay differential equations via prolongations and $C^1$-prolongations: its application to state-dependent delay

abstract: In this paper, we establish a theory of well-posedness for delay differential equations (DDEs) via notions of \textit{prolongations} and \textit{$C^1$-prolongations}, which are continuous and continuously differentiable extensions of histories to the right, respectively. In this sense, this paper serves as a continuation and an extension of the previous paper by this author (\cite{Nishiguchi 2017}). The results in \cite{Nishiguchi 2017} are applicable to various DDEs, however, the results in \cite{Nishiguchi 2017} cannot be applied to general class of state-dependent DDEs, and its extendability is missing. We find this missing link by introducing notions of ($C^1$-) prolongabilities, regulation of topology by ($C^1$-) prolongations, and Lipschitz conditions about ($C^1$-) prolongations, etc. One of the main result claims that the continuity of the semiflow with a parameter generated by the trivial DDEs $\dot{x} = v$ plays an important role for the well-posedness. The results are applied to general class of state-dependent DDEs.


title: Resource Allocation in Wireless Powered IoT Networks

abstract: In this paper, efficient resource allocation for the uplink transmission of wireless powered IoT networks is investigated. We adopt LoRa technology as an example in the IoT network, but this work is still suitable for other communication technologies. Allocating limited resources, like spectrum and energy resources, among a massive number of users faces critical challenges. We consider grouping wireless powered IoT users into available channels first and then investigate power allocation for users grouped in the same channel to improve the network throughput. Specifically, the user grouping problem is formulated as a many to one matching game. It is achieved by considering IoT users and channels as selfish players which belong to two disjoint sets. Both selfish players focus on maximizing their own utilities. Then we propose an efficient channel allocation algorithm (ECAA) with low complexity for user grouping. Additionally, a Markov Decision Process (MDP) is used to model unpredictable energy arrival and channel conditions uncertainty at each user, and a power allocation algorithm is proposed to maximize the accumulative network throughput over a finite-horizon of time slots. By doing so, we can distribute the channel access and dynamic power allocation local to IoT users. Numerical results demonstrate that our proposed ECAA algorithm achieves near-optimal performance and is superior to random channel assignment, but has much lower computational complexity. Moreover, simulations show that the distributed power allocation policy for each user is obtained with better performance than a centralized offline scheme.


title: GreenDataFlow: Minimizing the Energy Footprint of Global Data Movement

abstract: The global data movement over Internet has an estimated energy footprint of 100 terawatt hours per year, costing the world economy billions of dollars. The networking infrastructure together with source and destination nodes involved in the data transfer contribute to overall energy consumption. Although considerable amount of research has rendered power management techniques for the networking infrastructure, there has not been much prior work focusing on energy-aware data transfer solutions for minimizing the power consumed at the end-systems. In this paper, we introduce a novel application-layer solution based on historical analysis and real-time tuning called GreenDataFlow, which aims to achieve high data transfer throughput while keeping the energy consumption at the minimal levels. GreenDataFlow supports service level agreements (SLAs) which give the service providers and the consumers the ability to fine tune their goals and priorities in this optimization process. Our experimental results show that GreenDataFlow outperforms the closest competing state-of-the art solution in this area 50% for energy saving and 2.5x for the achieved end-to-end performance.


title: Deep Learning-Based Channel Estimation

abstract: In this paper, we present a deep learning (DL) algorithm for channel estimation in communication systems. We consider the time-frequency response of a fast fading communication channel as a two-dimensional image. The aim is to find the unknown values of the channel response using some known values at the pilot locations. To this end, a general pipeline using deep image processing techniques, image super-resolution (SR) and image restoration (IR) is proposed. This scheme considers the pilot values, altogether, as a low-resolution image and uses an SR network cascaded with a denoising IR network to estimate the channel. Moreover, an implementation of the proposed pipeline is presented. The estimation error shows that the presented algorithm is comparable to the minimum mean square error (MMSE) with full knowledge of the channel statistics and it is better than ALMMSE (an approximation to linear MMSE). The results confirm that this pipeline can be used efficiently in channel estimation.


title: Spin constrained orbital angular momentum control in high-harmonic generation

abstract: The interplay between spin and orbital angular momentum in the up-conversion process allows us to control the macroscopic wave front of high harmonics by manipulating the microscopic polarizations of the driving field. We demonstrate control of orbital angular momentum in high harmonic generation from both solid and gas phase targets using the selection rules of spin angular momentum. The gas phase harmonics extend the control of angular momentum to extreme-ultraviolet wavelength. We also propose a bi-color scheme to produce spectrally separated extreme-ultraviolet radiation carrying orbital angular momentum.


title: Casimir energy calculation for massive scalar field on spherical surfaces: an alternative approach

abstract: In this study, the Casimir energy for massive scalar field with periodic boundary condition was calculated on spherical surfaces with $S^1$, $S^2$ and $S^3$ topologies. To obtain the Casimir energy on spherical surface, the contribution of the vacuum energy of Minkowski space is usually subtracted from that of the original system. In large mass limit for surface $S^2$; however, some divergences would eventually remain in the obtained result. To remove these remaining divergences, a secondary renormalization program was manually performed. In the present work, a direct approach for calculation of the Casimir energy has been introduced. In this approach, two similar configurations were considered and then the vacuum energies of these configurations were subtracted from each other. This method provides more physical meaning respect to the other common methods. Additionally, in large mass limit for surface $S^2$, it provides a situation in which the second renormalization program is automatically conducted in the calculation procedure, and there was no need to do that anymore manually. Finally, by plotting the obtained values for the Casimir energy of the topologies and investigating their appropriate limits, the logic agreement between the results of our scheme and those of previous studies were discussed.


title: The $*$-core of the graded maximal ideal in a Stanley-Reisner ring

abstract: We consider ideals $I$ in a Stanley-Reisner ring $k[\Delta]$ over the simplical complex $\Delta$, such that the tight closure of $I$, $I^*$, is equal to $\mathfrak{m}$, the standard graded maximal ideal of $k[\Delta]$. We determine the minimal number of generators of $I$ to be the $\dim \Delta+1$ and note the important role this value plays in bounding the intersection of all such ideals $I$. We make mention of this intersection in special cases of Stanley-Reisner rings. We conclude with a description of how this work relates to integral closure.


title: Some conformally invariant gap theorems for Bach-flat 4-manifolds

abstract: Around 2007, A. Chang, J. Qing, and P. Yang proved a conformal gap theorem for Bach-flat metrics with round sphere as the model case. In this article, we extend this result to prove conformally invariant gap theorems for Bach-flat $4$-manifolds with $(\mathbb{CP}^2, g_{FS})$ and $(\mathbb{S}^2\times\mathbb{S}^2,g_{prod})$ as model cases. An iteration argument plays an important role in the case of $(\mathbb{CP}^2, g_{FS})$ and the convergence theory of Bach-flat metrics is of particular importance in the case of $(\mathbb{S}^2\times\mathbb{S}^2,g_{prod})$.


title: Power Flow as Intersection of Circles: A new Fixed Point Method

abstract: The power flow (PF) problem is a fundamental problem in power system engineering. Many popular solvers face challenges, such as convergence issues. One can try to rewrite the PF problem into a fixed point equation, which can be solved exponentially fast. But, existing methods have their own restrictions, such as the required AC network structure or bus types. To remove these restrictions, we employ the circle geometry per-bus via rectangular coordinate representation to embed our physical knowledge of operation point selection in PV curves. Each iteration of the algorithm consists of finding intersections of circles, which can be computed efficiently with high numerical accuracy. Such analysis also helps in visualizing PV curve to always select the high voltage solution. We compare the performance of our fixed point algorithm with existing state-of-the-art methods, showing that the proposed method can correctly find the solutions when other methods cannot. In addition, we empirically show that the fixed point algorithm is much more robust to bad initialization points than the existing methods.


title: Compactness of operators on the Bergman space of the Thullen domain

abstract: We study compact operators on the Bergman space of the Thullen domain defined by $\{(z_1,z_2)\in \mathbb C^2: |z_1|^{2p}+|z_2|^2<1\}$ with $p>0$ and $p\neq 1$. The domain need not be smooth nor have a transitive automorphism group. We give a sufficient condition for the boundedness of various operators on the Bergman space. Under this boundedness condition, we characterize the compactness of operators on the Bergman space of the Thullen domain.


title: A Geometric Analysis of Time Series Leading to Information Encoding and a New Entropy Measure

abstract: A time series is uniquely represented by its geometric shape, which also carries information. A time series can be modelled as the trajectory of a particle moving in a force field with one degree of freedom. The force acting on the particle shapes the trajectory of its motion, which is made up of elementary shapes of infinitesimal neighborhoods of points in the trajectory. It has been proved that an infinitesimal neighborhood of a point in a continuous time series can have at least 29 different shapes or configurations. So information can be encoded in it in at least 29 different ways. A 3-point neighborhood (the smallest) in a discrete time series can have precisely 13 different shapes or configurations. In other words, a discrete time series can be expressed as a string of 13 symbols. Across diverse real as well as simulated data sets it has been observed that 6 of them occur more frequently and the remaining 7 occur less frequently. Based on frequency distribution of 13 configurations or 13 different ways of information encoding a novel entropy measure, called semantic entropy (E), has been defined. Following notion of power in Newtonian mechanics of the moving particle whose trajectory is the time series, a notion of information power (P) has been introduced for time series. E/P turned out to be an important indicator of synchronous behaviour of time series as observed in epileptic EEG signals.


title: An inequality associated with $\mathcal{Q}_p$ functions

abstract: The M\"obius invariant space $\mathcal{Q}_p$, $0<p<\infty$, consists of functions $f$ which are analytic in the open unit disk $\mathbb{D}$ with $$ \|f\|_{\mathcal{Q}_p}=|f(0)|+\sup_{w\in \D} \left(\int_\D |f'(z)|^2(1-|\sigma_w(z)|^2)^p dA(z)\right)^{1/2}<\infty, $$ where $\sigma_w(z)=(w-z)/(1-\overline{w}z)$ and $dA$ is the area measure on $\mathbb{D}$. It is known that the following inequality $$ |f(0)|+\sup_{w\in \D} \left(\int_\D \left|\frac{f(z)-f(w)}{1-\overline{w}z}\right|^2 (1-|\sigma_w(z)|^2)^p dA(z)\right)^{1/2} \lesssim \|f\|_{\mathcal{Q}_p} $$ played a key role to characterize multipliers and certain Carleson measures for $\mathcal{Q}_p$ spaces. The converse of the inequality above is a conjectured-inequality in [14]. In this paper, we show that this conjectured-inequality is true for $p>1$ and it does not hold for $0<p\leq 1$.


title: Theoretical-Experimental failure analysis of the c-Al0.66Ti0.33N-M2 steel system using nanoindentation instrumented and finite element analysis

abstract: A theoretical-experimental methodology for failure analysis of the c-Al0.66Ti0.33N / Interface / M2 steel coating system is proposed here. This c-Al0.66Ti0.33N coating was deposited by the arc-PVD technique. For coating modeling the traction-separation law and the extended finite element method-XFEM were applied, the cohesive zones model was used for interface modeling and the Ramberg-Osgood law for substrate modeling. Experimental values using the instrumented nanoindentation technique, the scratch test and tensile stress test were obtained and introduced into the model. By means of nanoindentation the elastic modulus of coating, the fracture energy release rate and the nano-hardness. Normal and shear stress values of the interface were obtained with the scratch test, at the adhesive and cohesive critical loads. Vickers indentation was used to generate cracking patterns in the c-Al0.66Ti0.33N / Interface / M2 steel coating system. Radial and lateral cracks were generated and analyzed after transversal FIB cuts of the fracture zones. A finite element analysis was carried out to understand the relationship between the load-displacement curve and mechanical failure of in the system, associating the pop-in with nucleation, crack growth and cracking pattern. This works present a theoretical-experimental methodology for failure analysis of hard coatings (monolithic body) allowing to calculate fracture toughness of the coating material and model cracking patterns caused by contact mechanics.


title: Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility

abstract: We provide formal definitions of degree of blameworthiness and intention relative to an epistemic state (a probability over causal models and a utility function on outcomes). These, together with a definition of actual causality, provide the key ingredients for moral responsibility judgments. We show that these definitions give insight into commonsense intuitions in a variety of puzzling cases from the literature.


title: Deep diving into the comparative study of Choline dynamics using molecular dynamics simulation and neutron scattering technique

abstract: We present here the comparative study between the dynamics Choline and Tetra-methyl ammonium bromide. This is well known that deficiency in Choline would cause many severe diseases. No wonder why Choline is crucial component for our nutrients and dietary requirements. We present here a comprehensive study using all-atom molecular dynamics simulation combined with neutron scattering technique for solute behavior in aqueous solution. The solvent behavior is discussed in the follow up work


title: Search for resonant $\mathrm{t}\overline{\mathrm{t}}$ production in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for a heavy resonance decaying into a top quark and antiquark ($\mathrm{t\bar{t}}$) pair is performed using proton-proton collisions at $\sqrt{s} =$ 13 TeV. The search uses the data set collected with the CMS detector in 2016, which corresponds to an integrated luminosity of 35.9 fb$^{-1}$. The analysis considers three exclusive final states and uses reconstruction techniques that are optimized for top quarks with high Lorentz boosts, which requires the use of nonisolated leptons and jet substructure techniques. No significant excess of events relative to the expected yield from standard model processes is observed. Upper limits on the production cross section of heavy resonances decaying to a $\mathrm{t\bar{t}}$ pair are calculated. Limits are derived for a leptophobic topcolor Z' resonance with widths of 1, 10, and 30%, relative to the mass of the resonance, and exclude masses up to 3.80, 5.25, and 6.65 TeV, respectively. Kaluza-Klein excitations of the gluon in the Randall-Sundrum model are excluded up to 4.55 TeV. To date, these are the most stringent limits on $\mathrm{t\bar{t}}$ resonances.


title: New indefinite integrals of confluent Heun functions

abstract: We obtain some new formulae to compute the first derivative of confluent and biconfluent Heun functions under the minimal assumption of fixing only one parameter. These results together with the Lagrangian formulation of a general homogeneous linear ordinary differential equation allow to construct several new indefinite integrals for the confluent, biconfluent, doubly confluent, and triconfluent Heun functions.


title: Computing the partition function of the Sherrington-Kirkpatrick model is hard on average

abstract: We establish the average-case hardness of the algorithmic problem of exact computation of the partition function associated with the Sherrington-Kirkpatrick model of spin glasses with Gaussian couplings and random external field. In particular, we establish that unless $P= \#P$, there does not exist a polynomial-time algorithm to exactly compute the partition function on average. This is done by showing that if there exists a polynomial time algorithm, which exactly computes the partition function for inverse polynomial fraction ($1/n^{O(1)}$) of all inputs, then there is a polynomial time algorithm, which exactly computes the partition function for all inputs, with high probability, yielding $P=\#P$. The computational model that we adopt is {\em finite-precision arithmetic}, where the algorithmic inputs are truncated first to a certain level $N$ of digital precision. The ingredients of our proof include the random and downward self-reducibility of the partition function with random external field; an argument of Cai et al. \cite{cai1999hardness} for establishing the average-case hardness of computing the permanent of a matrix; a list-decoding algorithm of Sudan \cite{sudan1996maximum}, for reconstructing polynomials intersecting a given list of numbers at sufficiently many points; and near-uniformity of the log-normal distribution, modulo a large prime $p$. To the best of our knowledge, our result is the first one establishing a provable hardness of a model arising in the field of spin glasses. Furthermore, we extend our result to the same problem under a different {\em real-valued} computational model, e.g. using a Blum-Shub-Smale machine \cite{blum1988theory} operating over real-valued inputs.


title: Impact of inhomogeneous CMB heating of gas on the HI 21-cm signal during dark ages

abstract: Observations of redshifted 21-cm signal from neutral hydrogen (HI) appear to be the most promising probe of the cosmic dark ages. The signal carries information about the thermal state along with density distribution of the intergalactic medium (IGM). The cosmic microwave background radiation (CMBR), through its interaction with charged particles, plays a major role in determining the kinetic and spin temperature of HI gas in the IGM during dark ages. A Spatially fluctuating ionization fraction, which is caused by inhomogeneous recombinations, causes heat transfer from the CMBR to the IGM gas inhomogeneous. We revisit the impact of this inhomogeneous heat transfer on spatial fluctuations in the observed HI 21-cm signal over a large redshift range during dark ages. Our study shows that the effect negatively impacts fluctuations in the HI spin temperature and results in an enhanced HI 21-cm power spectrum. We find that the effect is particularly important during the transition of the gas kinetic temperature being coupled to the CMBR to fully decoupled from it, i.e., in the redshift range $30 \lesssim z \lesssim 300$. It is found that, on the average the HI power spectrum, $P_{T_b}(k, z)$ is enhanced by $\sim 4\%$, $\sim10 \%$ , $\sim 20\%$, and $\sim 30 \%$ at redshifts $60$, $90$, $140$, and $200$ respectively at $k=0.1 \, {\rm Mpc}^{-1}$. The effect becomes even more significant at lower values of $k_{\parallel}^2/k^2$ due to the reduced dominance of the peculiar velocity. It is observed that the power spectrum is enhanced by $\sim 49\%$ and $\sim 93\%$ at redshifts $140$ and $200$ respectively at $k=0.1 \, {\rm Mpc}^{-1}$ for $k_{\parallel}^2/k^2=0$. This enhancement has a weak $k$-mode dependence.


title: Bayesian Evidence Accumulation on Social Networks

abstract: To make decisions we are guided by the evidence we collect, as well as the opinions of friends and neighbors. How do we integrate our private beliefs with information we obtain from our social network? To understand the strategies humans use to do so it is useful to compare them to observers that optimally integrate all evidence. Here we derive network models of rational (Bayes optimal) agents who accumulate private measurements and observe decisions of their neighbors to make an irreversible choice between two options. The resulting information exchange dynamics has interesting properties: When one option is preferred, the absence of a decision can be increasingly informative over time. In recurrent networks an absence of a decision can lead to a sequence of belief updates akin to those in the literature on common knowledge. Information obtained from observing repeated non-decisions is independent of realization, unless the private information of agents is redundant. On the other hand, in larger networks a single decision can trigger a cascade of agreements and disagreements that depend on the private information agents have gathered. Our approach provides a bridge between social decision making models in the economics literature, which largely ignore the temporal dynamics of decisions, and the single-observer evidence accumulator models used widely in neuroscience and psychology.


title: Thermonuclear Supernovae: Prospecting in the Age of Time-Domain and Multi-Wavelength Astronomy

abstract: We show how new and upcoming advances in the age of time-domain and multi-wavelength astronomy will open up a new venue to probe the diversity of SN~Ia. We discuss this in the context of the ELT (ESO), as well as space based instrument such as James Webb Space Telescope (JWST). As examples we demonstrate how the power of very early observations, within hours to days after the explosion, and very late-time observations, such as light curves and mid-infrared spectra beyond 3 years, can be used to probe the link to progenitors and explosion scenarios. We identify the electron-capture cross sections of Cr, Mn, and Ni/Co as one of the limiting factors we will face in the future.


title: A comparative study of solvent dynamics in Choline Bromide aqueous solution using combination of neutron scattering technique and molecular dynamics simulation

abstract: A comparative study between Choline and Tetra-methyl ammonium bromide is presented here. Choline which is a crucial component for our dietary requirements causes many diseases if there is deficiency. We used combined approach of all-atom molecular dynamics simulation coupled with neutron scattering technique to study mainly the solvent behavior in this study. There is follow up work where we discussed about the solute dynamical behavior.


title: An absorption profile centred at 78 megahertz in the sky-averaged spectrum

abstract: After stars formed in the early Universe, their ultraviolet light is expected, eventually, to have penetrated the primordial hydrogen gas and altered the excitation state of its 21-centimetre hyperfine line. This alteration would cause the gas to absorb photons from the cosmic microwave background, producing a spectral distortion that should be observable today at radio frequencies of less than 200 megahertz. Here we report the detection of a flattened absorption profile in the sky-averaged radio spectrum, which is centred at a frequency of 78 megahertz and has a best-fitting full-width at half-maximum of 19 megahertz and an amplitude of 0.5 kelvin. The profile is largely consistent with expectations for the 21-centimetre signal induced by early stars, however, the best-fitting amplitude of the profile is more than a factor of two greater than the largest predictions. This discrepancy suggests that either the primordial gas was much colder than expected or the background radiation temperature was hotter than expected. Astrophysical phenomena (such as radiation from stars and stellar remnants) are unlikely to account for this discrepancy, of the proposed extensions to the standard model of cosmology and particle physics, only cooling of the gas as a result of interactions between dark matter and baryons seems to explain the observed amplitude. The low-frequency edge of the observed profile indicates that stars existed and had produced a background of Lyman-alpha photons by 180 million years after the Big Bang. The high-frequency edge indicates that the gas was heated to above the radiation temperature less than 100 million years later.


title: Nonequilibrium fluctuations of a driven quantum heat engine via machine learning

abstract: We propose a machine learning approach based on artificial neural network to gain faster insights on the role of geometric contributions to the nonequilibrium fluctuations of an adiabatically temperature-driven quantum heat engine coupled to a cavity. Using the artificial neural network we have explored the interplay between bunched and antibunched photon exchange statistics for different engine parameters. We report that beyond a pivotal cavity temperature, the Fano factor oscillates between giant and low values as a function of phase difference between the driving protocols. We further observe that the standard thermodynamic uncertainty relation is not valid when there are finite geometric contributions to the fluctuations, but holds true for zero phase difference even in presence of coherences.


title: Group Inverse of the Laplacian of Connections of Networks

abstract: In previous works the group inverse of a network obtained by some perturbations, as the deletion of a vertex, the addition of a new vertex, contraction of an edge, etc. is obtained in terms of the group inverse of the original network. In this work, two given networks are connected with some new edges and the group inverse of the new network is related with the group inverses of the two original networks. In particular, the formula for the connection of two networks by just one edge is obtained, and besides the formula for the Kirchhoff index of this kind of network.


title: Wigner solids of wide quantum wells near Landau filling $\nu=1$

abstract: Microwave spectroscopy within the Landau filling ($\nu$) range of the integer quantum Hall effect (IQHE) has revealed pinning mode resonances signifying Wigner solids (WSs) composed of quasi-particles or -holes. We study pinning modes of WSs in wide quantum wells (WQWs) for $ 0.8\le\nu\le1.2$, varying the density, $n$, and tilting the sample by angle $\theta$ in the magnetic field. Three distinct WS phases are accessed. One phase, S1, is phenomenologically the same as the WS observed in the IQHEs of narrow QWs. The second phase, S2, exists at $\nu$ further from $\nu=1$ than S1, and requires a sufficiently large $n$ or $\theta$, implying S2 is stabilized by the Zeeman energy. The melting temperatures of S1 and S2, estimated from the disappearance of the pinning mode, show different behavior vs $\nu$. At the largest $n$ or $\theta$, S2 disappears and the third phase, S1A, replaces S1, also exhibiting a pinning mode. This occurs as the WQW $\nu=1$ IQHE becomes a two-component, Halperin-Laughlin $\pone$ state. We interpret S1A as a WS of the excitations of $\pone$, which has not been previously observed.


title: On the inverse absolute continuity of quasiconformal mappings on hypersurfaces

abstract: We construct quasiconformal mappings $f\colon \mathbb{R}^{3} \rightarrow \mathbb{R}^{3}$ for which there is a Borel set $E \subset \mathbb{R}^2 \times \{0\}$ of positive Lebesgue $2$-measure whose image $f(E)$ has Hausdorff $2$-measure zero. This gives a solution to the open problem of inverse absolute continuity of quasiconformal mappings on hypersurfaces, attributed to Gehring. By implication, our result also answers questions of V\"ais\"al\"a and Astala--Bonk--Heinonen.


title: Partial dynamical symmetry and the vibrational structure of Cd isotopes

abstract: The recently reported deviations of selected non-yrast states in $^{110}$Cd from the expected spherical-vibrator behaviour, is addressed by means of an Hamiltonian with U(5) partial dynamical symmetry. The latter preserves the U(5) symmetry in a segment of the spectrum and breaks it in other states. The effect of intruder states is treated in the framework of the interacting boson model with configuration mixing.


title: Evacuation simulation considering action of the guard in an artificial attack

abstract: To investigate the evacuation behaviors of pedestrians considering action of the guard and develop an effective evacuation strategy in the artificial attack, an extended floor field model was proposed. In this model, the assault on pedestrians, the death of pedestrians and the capture of the guard were involved simultaneously. An alternative evacuation strategy which can largely reduce the number of death was developed and effects of several key parameters such as the deterrence radius and capture distance on evacuation dynamics were studied. Results show that congestion near the exit has dual effects. More specially, the guard could catch all attackers in a short time because the attackers would have more concentrated distribution, but more casualties would happen because pedestrians are hard to escape the attack due to congestion. In contrast, when pedestrians have more preference of approaching the guard, although the guard would take more time to capture the attackers result from the dispersion of attackers, the death toll would decrease. One of the reason is the dispersal of the crowd and the decrease in congestion would be beneficial for escape. Another is the attackers would be killed before launching the attack to the people those are around the guard, in other words, the guard would protect a large number of pedestrians from being killed. Moreover, increasing capture distance of the guard can effectively reduce the casualties and the catch time. As the deterrence radius reflecting the tendency of escaping from the guard for attackers rises, it would become more difficult for the guard to catch the attackers and more casualties are caused. However, when the deterrence radius reaches a certain level, the number of deaths would be reduced because the attackers would prefer to stay as far away as possible from instead of the position where they could attack more people.


title: No-reference Image Denoising Quality Assessment

abstract: A wide variety of image denoising methods are available now. However, the performance of a denoising algorithm often depends on individual input noisy images as well as its parameter setting. In this paper, we present a no-reference image denoising quality assessment method that can be used to select for an input noisy image the right denoising algorithm with the optimal parameter setting. This is a challenging task as no ground truth is available. This paper presents a data-driven approach to learn to predict image denoising quality. Our method is based on the observation that while individual existing quality metrics and denoising models alone cannot robustly rank denoising results, they often complement each other. We accordingly design denoising quality features based on these existing metrics and models and then use Random Forests Regression to aggregate them into a more powerful unified metric. Our experiments on images with various types and levels of noise show that our no-reference denoising quality assessment method significantly outperforms the state-of-the-art quality metrics. This paper also provides a method that leverages our quality assessment method to automatically tune the parameter settings of a denoising algorithm for an input noisy image to produce an optimal denoising result.


title: Quick-cast: A method for fast and precise scalable production of fluid-driven elastomeric soft actuators

abstract: Fluid-driven elastomeric actuators (FEAs) are among the most popular actuators in the emerging field of soft robotics. Intrinsically compliant, with continuum of motion, large strokes, little friction, and high power-to-weight ratio, they are very similar to biological muscles, and have enabled new applications in automation, architecture, medicine, and human-robot interaction. To foster future applications of FEAs, in this paper we present a new manufacturing method for fast and precise scalable production of complex FEAs of high quality (leak-free, single-body form, with <0.2 mm precision). The method is based on 3d moulding and supports elastomers with a wide range of viscosity, pot life, and Young's modulus. We developed this process for two different settings: one in laboratory conditions for fast prototyping with 3d printed moulds and using multi-component liquid elastomers, and the other process in an industrial setting with 3d moulds micromachined in metal and applying compression moulding. We demonstrate these methods in fabrication of up to several tens of two-axis, three-chambered soft actuators, with two types of chamber walls: cylindrical and corrugated. The actuators are then applied as motion drivers in kinetic photovoltaic building envelopes.


title: Two Can Play That Game: An Adversarial Evaluation of a Cyber-alert Inspection System

abstract: Cyber-security is an important societal concern. Cyber-attacks have increased in numbers as well as in the extent of damage caused in every attack. Large organizations operate a Cyber Security Operation Center (CSOC), which form the first line of cyber-defense. The inspection of cyber-alerts is a critical part of CSOC operations. A recent work, in collaboration with Army Research Lab, USA proposed a reinforcement learning (RL) based approach to prevent the cyber-alert queue length from growing large and overwhelming the defender. Given the potential deployment of this approach to CSOCs run by US defense agencies, we perform a red team (adversarial) evaluation of this approach. Further, with the recent attacks on learning systems, it is even more important to test the limits of this RL approach. Towards that end, we learn an adversarial alert generation policy that is a best response to the defender inspection policy. Surprisingly, we find the defender policy to be quite robust to the best response of the attacker. In order to explain this observation, we extend the earlier RL model to a game model and show that there exists defender policies that can be robust against any adversarial policy. We also derive a competitive baseline from the game theory model and compare it to the RL approach. However, we go further to exploit assumptions made in the MDP in the RL model and discover an attacker policy that overwhelms the defender. We use a double oracle approach to retrain the defender with episodes from this discovered attacker policy. This made the defender robust to the discovered attacker policy and no further harmful attacker policies were discovered. Overall, the adversarial RL and double oracle approach in RL are general techniques that are applicable to other RL usage in adversarial environments.


title: Porosity Amount Estimation in Stones Based on Combination of One Dimensional Local Binary Patterns and Image Normalization Technique

abstract: Since now, many approaches has been proposed for surface defect detection based on image texture analysis techniques. One of the efficient texture analysis operations is local binary patterns which provides good accuracy.


title: Theoretical aspects of quantum electrodynamics in a finite volume with periodic boundary conditions

abstract: First-principles studies of strongly-interacting hadronic systems using lattice quantum chromodynamics (QCD) have been complemented in recent years with the inclusion of quantum electrodynamics (QED). The aim is to confront experimental results with more precise theoretical determinations, e.g. for the anomalous magnetic moment of the muon and the CP-violating parameters in the decay of mesons. Quantifying the effects arising from enclosing QED in a finite volume remains a primary target of investigations. To this end, finite-volume corrections to hadron masses in the presence of QED have been carefully studied in recent years. This paper extends such studies to the self-energy of moving charged hadrons, both on and away from their mass shell. In particular, we present analytical results for leading finite-volume corrections to the self-energy of spin-0 and spin-$\frac{1}{2}$ particles in the presence of QED on a periodic hypercubic lattice, once the spatial zero mode of the photon is removed, a framework that is called $\mathrm{QED}_{\mathrm{L}}$. By altering modes beyond the zero mode, an improvement scheme is introduced to eliminate the leading finite-volume corrections to masses, with potential applications to other hadronic quantities. Our analytical results are verified by a dedicated numerical study of a lattice scalar field theory coupled to $\mathrm{QED}_{\mathrm{L}}$. Further, this paper offers new perspectives on the subtleties involved in applying low-energy effective field theories in the presence of $\mathrm{QED}_{\mathrm{L}}$, a theory that is rendered non-local with the exclusion of the spatial zero mode of the photon, clarifying recent discussions on this matter.


title: Statistical properties of uniformly hyperbolic maps and transfer operators' spectrum

abstract: This is a lightning introduction to some modern techniques used in the study of the statistical properties of hyperbolic dynamical systems. The emphasis is not in presenting a comprehensive theory but rather in fleshing out the main ideas in the simplest and fastest possible manner so that the reader can quickly get the intuition necessary to easily read the more technical (and more complete) accounts of the theory.


title: Wigner solid pinning modes tuned by fractional quantum Hall states of a nearby layer

abstract: We study a bilayer system hosting exotic many-body states of two-dimensional electron systems (2DESs) in close proximity but isolated from one another by a thin barrier. One 2DES has low electron density and forms a Wigner solid (WS) at high magnetic fields. The other has much higher density and, in the same field exhibits fractional quantum Hall states (FQHSs). The WS manifests microwave resonances which are understood as pinning modes, collective oscillations of the WS within the small but finite ubiquitous disorder. Our measurements reveal a striking evolution of the pinning mode frequencies of the WS layer with the formation of the FQHSs in the nearby layer, evincing a strong coupling between the WS pinning modes and the state of the 2DES in the adjacent layer, mediated by screening.


title: Shapes of Centrally Symmetric Octahedra with Prescribed Cone-Deficits

abstract: In his paper "Shapes of Polyhedra and Triangulations of the Sphere", Thurston found that the set of shapes of convex polyhedra with prescribed cone-deficits has a complex hyperbolic structure. Inspired by his work, this paper studies the set of shapes of centrally symmetric octahedra with prescribed cone-deficits. We show that this set forms a real hyperbolic ideal tetrahedron, whose dihedral angles are half of the prescribed cone-deficits.


title: A Data-Driven CO2 Leakage Detection Using Seismic Data and Spatial-Temporal Densely Connected Convolutional Neural Networks

abstract: In carbon capture and sequestration, developing effective monitoring methods is needed to detect and respond to CO2 leakage. CO2 leakage detection methods rely on geophysical observations and monitoring sensor network. However, traditional methods usually require the development of site-specific physical models and expert interpretation, and the effectiveness of these methods can be limited to different application locations, operational scenarios, and conditions. In this paper, we developed a novel data-driven leakage detection method based on densely connected convolutional neural networks. Our method differs from conventional leakage monitoring methods by directly learning a mapping relationship between seismic data and the CO2 leakage mass. To account for the spatial and temporal characteristics of seismic data, our novel networks architecture combines 1D and 2D convolutional neural networks. To overcome the computational expense of solving optimization problems, we apply a densely-connecting strategy in our network architecture that reduces the number of network parameters. Based on the features generated by our convolutional neural networks, we further incorporate a long short-term memory network to utilize time-sequential information, which further improves the detection accuracy. Finally, we employ our detection method to synthetic seismic datasets generated based on flow simulations of a hypothetical CO2 storage scenario with injection into a partially compartmentalized sandstone storage reservoir. To evaluate method performance, we conducted multiple experiments including a random leakage test, a sequential test, and a robustness test. Numerical results show that our CO2 leakage detection method successfully detects the leakage and accurately predicts the leakage mass, suggesting that it has the potential for application in monitoring of real CO2 storage sites.


title: On a dissipative Gross-Pitaevskii-type model for exciton-polariton condensates

abstract: We study a generalized dissipative Gross-Pitaevskii-type model arising in the description of exciton-polariton condensates. We derive global in-time existence results and various a-priori estimates for this model posed on the one-dimensional torus. Moreover, we analyze in detail the long-time behavior of spatially homogenous solutions and their respective steady states and present numerical simulations in the case of more general initial data. We also study the convergence to the corresponding adiabatic regime, which results in a single damped-driven Gross-Pitaveskii equation.

categories: math.AP cond-mat.quant-gas math-ph math.MP nlin.PS


title: Segre invariant and a stratification of the moduli space of coherent systems

abstract: The aim of this paper is to generalize the $m-$Segre invariant for vector bundles to coherent systems. Let $X$ be a non-singular irreducible complex projective curve of genus $g$ over $\mathbb{C}$ and $(E,V)$ be a coherent system on $X$ of type $(n,d,k)$. For any pair of integers $m, t$, $0 < m < n$, $0 \leq t \leq k$ we define the $(m,t)-$Segre invariant, denoted by $S^\alpha_{m,t}$ and show that $S^\alpha_{m,t}$ induces a semicontinuous function on the families of coherent systems. Thus, $S^\alpha_{m,t}$ gives a stratification of the moduli space $G(\alpha;n,d,k)$ of $\alpha-$stable coherent systems of type $(n,d,k)$ on $X$ into locally closed subvarieties $G(\alpha;n,d,k;m,t;s)$ according to the value $s$ of $S^\alpha_{m,t}$. We study the stratification, determine conditions under which the different strata are non-empty and compute their dimension.


title: Testing extreme-axion wave dark matter using the BOSS Lyman-Alpha forest data

abstract: Using cosmological particle hydrodynamical simulations and uniform ultraviolet backgrounds, we compare Lyman-$\alpha$ forest flux spectra predicted by the conventional cold dark matter (CDM) model, the free-particle wave dark matter (FP$\psi$DM) model and extreme-axion wave dark matter (EA$\psi$DM) models of different initial axion field angles against the BOSS Lyman-$\alpha$ forest absorption spectra with a fixed boson mass $m_b\sim 10^{-22}$eV. We recover results reported previously (Ir\v{s}i\v{c} et al. 2017b; Armengaud et al. 2017) that the CDM model agrees better with the BOSS data than the FP$\psi$DM model by a large margin, and we find the difference of total $\chi^2$'s is $120$ for $420$ data bins. These previous results demand a larger boson mass by a factor $>10$ to be consistent with the date and are in tension with the favoured value determined from local satellite galaxies. We however find that such tension is removed as some EA$\psi$DM models predict Lyman-$\alpha$ flux spectra agreeing better with the BOSS data than the CDM model, and the difference of total $\chi^2$'s can be as large as $24$ for the same bin number. This finding arises with no surprise since EA$\psi$DM models have unique spectral shapes with spectral bumps in excess of the CDM power near the small-scale cutoff typical of $\psi$DM linear matter power spectra as well as more extended cutoffs than FP$\psi$DM (Zhang & Chiueh 2017a,b).


title: A Transformation-Proximal Bundle Algorithm for Multistage Adaptive Robust Optimization and Application to Constrained Robust Optimal Control

abstract: This paper presents a novel transformation-proximal bundle algorithm for multistage adaptive robust optimization problems. By partitioning recourse decisions into state and control decisions, the proposed algorithm applies affine control policy only to state decisions and allows control decisions to be fully adaptive, thus transforming the original problem into an equivalent two-stage Adaptive Robust Optimization (ARO) problem. Importantly, this multi-to-two transformation is general enough to be employed with any two-stage ARO solution algorithms, thus opening a new avenue for a variety of multistage ARO algorithms. The proximal bundle method is developed for the resulting two-stage problem along with convergence analysis. In an inventory control application, the affine disturbance-feedback control policy suffers from a severe suboptimality with an average gap of 34.88%, while the proposed algorithm generates an average gap of merely 1.68%.


title: Spatial-Temporal Densely Connected Convolutional Networks: An Application to CO2 Leakage Detection

abstract: In carbon capture and sequestration, building an effective monitoring method is a crucial step to detect and respond to CO2 leakage. CO2 leakage detection methods rely on geophysical observations and monitoring sensor network. However, traditional methods usually require physical models to be interpreted by experts, and the accuracy of these methods will be restricted by different application conditions. In this paper, we develop a novel data-driven detection method based on densely connected convolutional networks. Our detection method learns a mapping relation between seismic data and the CO2 leakage mass. To account for the spatial and temporal characteristics of seismic data, we design a novel network architecture by combining 1-D and 2-D convolutional neural networks together. To overcome the expensive computational cost, we further apply a densely-connecting policy to our network architecture to reduce the network parameters. We employ our detection method to synthetic seismic datasets using Kimberlina model. The numerical results show that our leakage detection method accurately detects the leakage mass. Therefore, our novel CO2 leakage detection method has great potential for monitoring CO2 storage.


title: GKSL Generators and Digraphs: Computing Invariant States

abstract: In recent years, digraph induced generators of quantum dynamical semigroups have been introduced and studied, particularly in the context of unique relaxation and invariance. In this article we define the class of pair block diagonal generators, which allows for additional interaction coefficients but preserves the main structural properties. Namely, when the basis of the underlying Hilbert space is given by the eigenbasis of the Hamiltonian (for example the generic semigroups), then the action of the semigroup leaves invariant the diagonal and off-diagonal matrix spaces. In this case, we explicitly compute all invariant states of the semigroup. In order to define this class we provide a characterization of when the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation defines a proper generator when arbitrary Lindblad operators are allowed (in particular, they do not need to be traceless as demanded by the GKSL Theorem). Moreover, we consider the converse construction to show that every generator naturally gives rise to a digraph, and that under certain assumptions the properties of this digraph can be exploited to gain knowledge of both the number and the structure of the invariant states of the corresponding semigroup.


title: A System for Massively Parallel Hyperparameter Tuning

abstract: Modern learning models are characterized by large hyperparameter spaces and long training times. These properties, coupled with the rise of parallel computing and the growing demand to productionize machine learning workloads, motivate the need to develop mature hyperparameter optimization functionality in distributed computing settings. We address this challenge by first introducing a simple and robust hyperparameter optimization algorithm called ASHA, which exploits parallelism and aggressive early-stopping to tackle large-scale hyperparameter optimization problems. Our extensive empirical results show that ASHA outperforms existing state-of-the-art hyperparameter optimization methods; scales linearly with the number of workers in distributed settings; and is suitable for massive parallelism, as demonstrated on a task with 500 workers. We then describe several design decisions we encountered, along with our associated solutions, when integrating ASHA in Determined AI's end-to-end production-quality machine learning system that offers hyperparameter tuning as a service.


title: Uniform Convergence Rate of the Kernel Density Estimator Adaptive to Intrinsic Volume Dimension

abstract: We derive concentration inequalities for the supremum norm of the difference between a kernel density estimator (KDE) and its point-wise expectation that hold uniformly over the selection of the bandwidth and under weaker conditions on the kernel and the data generating distribution than previously used in the literature. We first propose a novel concept, called the volume dimension, to measure the intrinsic dimension of the support of a probability distribution based on the rates of decay of the probability of vanishing Euclidean balls. Our bounds depend on the volume dimension and generalize the existing bounds derived in the literature. In particular, when the data-generating distribution has a bounded Lebesgue density or is supported on a sufficiently well-behaved lower-dimensional manifold, our bound recovers the same convergence rate depending on the intrinsic dimension of the support as ones known in the literature. At the same time, our results apply to more general cases, such as the ones of distribution with unbounded densities or supported on a mixture of manifolds with different dimensions. Analogous bounds are derived for the derivative of the KDE, of any order. Our results are generally applicable but are especially useful for problems in geometric inference and topological data analysis, including level set estimation, density-based clustering, modal clustering and mode hunting, ridge estimation and persistent homology.


title: Mathematical analysis of unstable density fluctuations in the dissipative gravitational collapse

abstract: A detailed analysis of the dynamics of unstable modes present in the linearized Navier-Stokes-Fourier system in the presence of a gravitational field is carried out. The transition between the non-dissipative and dissipative regimes is explored from the mathematical point of view by considering the same equation of state in both cases, a procedure which sheds light on the discontinuity present in the critical parameter. It is also shown that two distinct behaviours for the propagation of unstable modes can be identified below the critical value for a gravitational instability to occur, depending on a parameter $r$ that quantifies the relevance of dissipation relative to gravitational effects.


title: End-to-End Service Level Agreement Specification for IoT Applications

abstract: The Internet of Things (IoT) promises to help solve a wide range of issues that relate to our wellbeing within application domains that include smart cities, healthcare monitoring, and environmental monitoring. IoT is bringing new wireless sensor use cases by taking advantage of the computing power and flexibility provided by Edge and Cloud Computing. However, the software and hardware resources used within such applications must perform correctly and optimally. Especially in applications where a failure of resources can be critical. Service Level Agreements (SLA) where the performance requirements of such applications are defined, need to be specified in a standard way that reflects the end-to-end nature of IoT application domains, accounting for the Quality of Service (QoS) metrics within every layer including the Edge, Network Gateways, and Cloud. In this paper, we propose a conceptual model that captures the key entities of an SLA and their relationships, as a prior step for end-to-end SLA specification and composition. Service level objective (SLO) terms are also considered to express the QoS constraints. Moreover, we propose a new SLA grammar which considers workflow activities and the multi-layered nature of IoT applications. Accordingly, we develop a tool for SLA specification and composition that can be used as a template to generate SLAs in a machine-readable format. We demonstrate the effectiveness of the proposed specification language through a literature survey that includes an SLA language comparison analysis, and via reflecting the user satisfaction results of a usability study.


title: Groupoids on a skew lattice of objects

abstract: Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals with algebraic structures which extend skew lattices by locally invertible elements. Following the meme of the Ehresmann-Schein-Nambooripad theorem, we consider a groupoid (small category of isomorphisms) in which the set of objects carries the structure of a skew lattice. The objects act on the morphisms by left and right restriction and extension mappings of the morphisms, imitating those of an inductive groupoid. Conditions are placed on the actions, from which pseudoproducts may be defined. This gives an algebra of signature (2,2,1), in which each binary operation has the structure of an orthodox semigroup. In the reverse direction, a groupoid of the kind described may be reconstructed from the algebra.


title: Enhancing Power System Cyber-Security with Systematic Two-Stage Detection Strategy

abstract: State estimation estimates the system condition in real-time and provides a base case for other energy management system (EMS) applications including real-time contingency analysis and security-constrained economic dispatch. Recent work in the literature shows malicious cyber-attack can inject false measurements that bypass traditional bad data detection in state estimation and cause actual overloads. Thus, it is very important to detect such cyber-attack. In this paper, multiple metrics are proposed to monitor abnormal load deviations and suspicious branch flow changes. A systematic two-stage approach is proposed to detect false data injection (FDI) cyber-attack. The first stage determines whether the system is under attack while the second stage identifies the target branch. Numerical simulations verify that FDI can cause severe system violations and demonstrate the effectiveness of the proposed two-stage FDI detection (FDID) method. It is concluded that the proposed FDID approach can efficiently detect FDI cyber-attack and identify the target branch, which will substantially improve operators situation awareness in real-time.


title: Enhanced Energy Management System with Corrective Transmission Switching Strategy. Part I: Methodology

abstract: The flexibility in transmission networks is not fully utilized and reflected in existing energy management systems (EMSs). Corrective transmission switching (CTS) is proposed in this two-part paper to enable EMS to take advantage of the flexibility in transmission systems in a practical way. This paper proposes two EMS procedures: 1) Procedure-A connects real-time security-constrained economic dispatch (RT SCED) with real-time contingency analysis (RTCA), which is consistent with industrial practice; 2) Procedure-B, an enhanced version of Procedure-A, includes CTS in EMS with the proposed concept of branch pseudo limit used in RT SCED. Part-I of this paper presents the methodology while Part-II includes detailed results analysis. It is demonstrated that Procedure-A can effectively eliminate the potential post-contingency overloads identified by RTCA and Procedure-B can achieve significant congestion cost reduction with consideration of CTS in RT SCED. Numerical simulations also illustrate that integrating CTS into RT SCED would improve social welfare.


title: Enhanced Energy Management System with Corrective Transmission Switching Strategy. Part II: Results and Discussion

abstract: This paper presents a novel procedure for energy management system (EMS) that can utilize the flexibility in transmission network in a practical way. With the proposed enhanced EMS procedure, the reliability benefits that are provided by corrective transmission switching (CTS) in real-time contingency analysis (RTCA) can be translated into significant cost savings in real-time security-constrained economic dispatch (RT SCED). Simulation results show the congestion cost with consideration of CTS is largely reduced as CTS can relieve potential post-contingency network violations. The effects of integrating CTS in existing EMS procedure on markets are also analyzed. In conclusion, this two-part paper shows that CTS can achieve substantial reliability benefits, as well as significant cost savings.


title: On the Existence of Stable Unduloids of Dimension Eight

abstract: In this paper we study the stability of $n$-dimensional constant mean curvature unduloids embedded in slabs in $\mathbb{R}^{n+1}$. We prove that among the family of half period unduloids stability is determined by whether the volume is increasing or decreasing along this family provided some conditions on the volume function are met. We then use this theorem to prove the existence of stable unduloids of dimension eight.


title: Varifocal-Net: A Chromosome Classification Approach using Deep Convolutional Networks

abstract: Chromosome classification is critical for karyotyping in abnormality diagnosis. To expedite the diagnosis, we present a novel method named Varifocal-Net for simultaneous classification of chromosome's type and polarity using deep convolutional networks. The approach consists of one global-scale network (G-Net) and one local-scale network (L-Net). It follows three stages. The first stage is to learn both global and local features. We extract global features and detect finer local regions via the G-Net. By proposing a varifocal mechanism, we zoom into local parts and extract local features via the L-Net. Residual learning and multi-task learning strategies are utilized to promote high-level feature extraction. The detection of discriminative local parts is fulfilled by a localization subnet of the G-Net, whose training process involves both supervised and weakly-supervised learning. The second stage is to build two multi-layer perceptron classifiers that exploit features of both two scales to boost classification performance. The third stage is to introduce a dispatch strategy of assigning each chromosome to a type within each patient case, by utilizing the domain knowledge of karyotyping. Evaluation results from 1909 karyotyping cases showed that the proposed Varifocal-Net achieved the highest accuracy per patient case (%) 99.2 for both type and polarity tasks. It outperformed state-of-the-art methods, demonstrating the effectiveness of our varifocal mechanism, multi-scale feature ensemble, and dispatch strategy. The proposed method has been applied to assist practical karyotype diagnosis.


title: Social Media Brand Engagement as a Proxy for E-commerce Activities: A Case Study of Sina Weibo and JD

abstract: E-commerce platforms facilitate sales of products while product vendors engage in Social Media Activities (SMA) to drive E-commerce Platform Activities (EPA) of consumers, enticing them to search, browse and buy products. The frequency and timing of SMA are expected to affect levels of EPA, increasing the number of brand related queries, clickthrough, and purchase orders. This paper applies cross-sectional data analysis to explore such beliefs and demonstrates weak-to-moderate correlations between daily SMA and EPA volumes. Further correlation analysis, using 30-day rolling windows, shows a high variability in correlation of SMA-EPA pairs and calls into question the predictive potential of SMA in relation to EPA. Considering the moderate correlation of selected SMA and EPA pairs (e.g., Post-Orders), we investigate whether SMA features can predict changes in the EPA levels, instead of precise EPA daily volumes. We define such levels in terms of EPA distribution quantiles (2, 3, and 5 levels) over training data. We formulate the EPA quantile predictions as a multi-class categorization problem. The experiments with Random Forest and Logistic Regression show a varied success, performing better than random for the top quantiles of purchase orders and for the lowest quantile of search and clickthrough activities. Similar results are obtained when predicting multi-day cumulative EPA levels (1, 3, and 7 days). Our results have considerable practical implications but, most importantly, urge the common beliefs to be re-examined, seeking a stronger evidence of SMA effects on EPA.


title: Testing the context-independence of quantum gates

abstract: The actual gate performed on, say, a qubit in a quantum computer may depend, not just on the actual laser pulses and voltages we programmed to implement the gate, but on its {\em context} as well. For example, it may depend on what gate has just been applied to the same qubit, or on how much a long series of previous laser pulses has been heating up the qubit's environment. This paper analyzes several tests to detect such context-dependent errors (which include various types of non-Markovian errors). A key feature of these tests is that they are robust against both state preparation and measurement (SPAM) errors and gate-dependent errors. Since context-dependent errors are expected to be small in practice, it becomes important to carefully analyze the effects of statistical fluctuations and so we investigate the power and precision of our tests as functions of the number of repetitions and the length of the sequences of gates. From our tests an important quantity emerges: the logarithm of the determinant (log-det) of a probability (relative frequency) matrix $\mathcal{P}.$ For this reason, we derive the probability distribution of the log-det estimates which we then use to examine the performance of our tests for various single- and two-qubit sets of measurements and initial states. Finally, we emphasize the connection between the log-det and the degree of reversibility (the unitarity) of a context-independent operation.


title: Tunable Magnetism of Transition Metal Nanostructures by Hydrogenated Graphene

abstract: Controlling magnetism of transition metal atoms by pairing with $\pi$ electronic states of graphene is intriguing. Herein, through first - principle computation we explore the possibility of switching magnetization by forming the tetrahedral $sp^3$ - metallic $d$ hybrid bonds. Graphene multilayers capped by single - layer cobalt atoms can transform into the $sp^3$ - bonded diamond films upon the hydrogenation of the bottom surface. While the conversion is favored by hybridization between the $sp^3$ dangling bonds and metallic $d_{z^2}$ states, such a strong hybridization can lead to the reorientation of magnetization easy axis of cobalt adatoms in plane to perpendicular. The further investigations identify that this anisotropic magnetization even can be modulated upon the change in charge carrier density, suggesting the possibility of an electric - field control of magnetization reorientation. These results provide a novel alternative that would represent tailoring magnetism by means of degree of the interlayer hybrid bonds in the layered materials.


title: Robust Model Predictive Control of Irrigation Systems with Active Uncertainty Learning and Data Analytics

abstract: We develop a novel data-driven robust model predictive control (DDRMPC) approach for automatic control of irrigation systems. The fundamental idea is to integrate both mechanistic models, which describe dynamics in soil moisture variations, and data-driven models, which characterize uncertainty in forecast errors of evapotranspiration and precipitation, into a holistic systems control framework. To better capture the support of uncertainty distribution, we take a new learning-based approach by constructing uncertainty sets from historical data. For evapotranspiration forecast error, the support vector clustering-based uncertainty set is adopted, which can be conveniently built from historical data. As for precipitation forecast errors, we analyze the dependence of their distribution on forecast values, and further design a tailored uncertainty set based on the properties of this type of uncertainty. In this way, the overall uncertainty distribution can be elaborately described, which finally contributes to rational and efficient control decisions. To assure the quality of data-driven uncertainty sets, a training-calibration scheme is used to provide theoretical performance guarantees. A generalized affine decision rule is adopted to obtain tractable approximations of optimal control problems, thereby ensuring the practicability of DDRMPC. Case studies using real data show that, DDRMPC can reliably maintain soil moisture above the safety level and avoid crop devastation. The proposed DDRMPC approach leads to a 40% reduction of total water consumption compared to the fine-tuned open-loop control strategy. In comparison with the carefully tuned rule-based control and certainty equivalent model predictive control, the proposed DDRMPC approach can significantly reduce the total water consumption and improve the control performance.


title: Slow continued fractions and permutative representations of $\mathcal{O}_N$

abstract: Representations of the Cuntz algebra $\mathcal{O}_N$ are constructed from interval dynamical systems associated with slow continued fraction algorithms introduced by Giovanni Panti. Their irreducible decomposition formulas are characterized by using the modular group action on real numbers, as a generalization of results by Kawamura, Hayashi and Lascu. Furthermore, a certain symmetry of such an interval dynamical system is interpreted as a covariant representation of the $C^*$--dynamical system ofthe `flip-flop' automorphism of $\mathcal{O}_2$.


title: Delay-Constrained Covert Communications with A Full-Duplex Receiver

abstract: In this work, we consider delay-constrained covert communications with the aid of a full-duplex (FD) receiver. Without delay constraints, it has been shown that the transmit power of artificial noise (AN) at the FD receiver should be random in order to enhance covert communications. In this work, we show that transmitting AN with a fixed power indeed improve covert communications with delay constraints, since in a limited time period the warden cannot exactly learn its received power. This explicitly shows one benefit of considering practical delay constraints in the context of covert communications. We analyze the optimal transmit power of AN for either fixed or globally optimized transmit power of covert information, based on which we also determine the specific condition under which transmitting AN by the FD receiver can aid covert communications and a larger transmit power of AN always leads to better covert communication performance.


title: A degenerate elliptic system with variable exponents

abstract: We study a degenerate elliptic system with variable exponents. Using the variational approach and some recent theory on weighted Lebesgue and Sobolev spaces with variable exponents, we prove the existence of at least two distinct nontrivial weak solutions of the system. Several consequences of the main theorem are derived; in particular, the existence of at lease two distinct nontrivial nonnegative solution are established for a scalar degenerate problem. One example is provided to showthe applicability of our results.


title: The relationship between graphs and Nichols braided Lie algebras

abstract: In this paper we give the relationship between the connected components of pure generalized Dynkin graphs and Nichols braided Lie algebras.


title: Comparison-Based Convolutional Neural Networks for Cervical Cell/Clumps Detection in the Limited Data Scenario

abstract: Automated detection of cervical cancer cells or cell clumps has the potential to significantly reduce error rate and increase productivity in cervical cancer screening. However, most traditional methods rely on the success of accurate cell segmentation and discriminative hand-crafted features extraction. Recently there are emerging deep learning-based methods which train convolutional neural networks (CNN) to classify image patches, but they are computationally expensive. In this paper we propose an efficient CNN-based object detection methods for cervical cancer cells/clumps detection. Specifically, we utilize the state-of-the-art two-stage object detection method, the Faster-RCNN with Feature Pyramid Network (FPN) as the baseline and propose a novel comparison detector to deal with the limited data problem. The key idea is that classify the proposals by comparing with the reference samples of each category in object detection. In addition, we propose to learn the reference samples of the background from data instead of manually choosing them by some heuristic rules. Experimental results show that the proposed Comparison Detector yields significant improvement on the small dataset, achieving a mean Average Precision (mAP) of 26.3% and an Average Recall (AR) of 35.7%, both improving about 20 points compared to the baseline. Moreover, Comparison Detector improved AR by 4.6 points and achieved marginally better performance in terms of mAP compared with baseline model when training on the medium dataset. Our method is promising for the development of automation-assisted cervical cancer screening systems. Code is available at https://github.com/kuku-sichuan/ComparisonDetector.


title: Infinite sequence on 2-element alphabet as coordinates of points, determines by unimodal maps

abstract: We study in this work different $(0, 1)$-codings of points from the unit interval $[0, 1]$ in the relation with the treatment of continuous unimodal maps.


title: The QED Radiative Corrections to Chiral Magnetic Effect

abstract: We study in this paper the radiative corrections to chiral magnetic current at both zero and nonzero temperature. Our motivation is a radiative correction to the matrix element of the anomalous Ward identity in massless QED stemming from a three-loop diagram where the two photons coming from the one-loop anomalous triangle are re-scattered. Through the interplay between the Ward identity and the infrared subtlety of the fermion loop integral, we are able to reproduce the corrections known in literature in a simpler approach and obtain its contribution to the chiral magnetic current at zero temperature. At a nonzero temperature, the infrared subtlety disappeared in a static magnetic field and the three-loop diagram does not contribute to the chiral magnetic current any more. The generalization to all orders of the massless QED and the QCD corrections are discussed.


title: A fractal proof of the infinitude of primes

abstract: This short paper gives another proof of the infinitude of primes by using upper box dimension, which is one of fractal dimensions.


title: Critical exponent for nonlinear damped wave equations with non-negative potential in 3D

abstract: We are studying possible interaction of damping coefficients in the subprincipal part of the linear 3D wave equation and their impact on the critical exponent of the corresponding nonlinear Cauchy problem with small initial data. The main new phenomena is that certain relation between these coefficients may cause very strong jump of the critical Strauss exponent in 3D to the critical 5D Strauss exponent for the wave equation without damping coefficients.


title: Approximating optimal transport with linear programs

abstract: In the regime of bounded transportation costs, additive approximations for the optimal transport problem are reduced (rather simply) to relative approximations for positive linear programs, resulting in faster additive approximation algorithms for optimal transport.


title: Metallicity distributions of mono-age stellar populations of the Galactic disc from the LAMOST Galactic spectroscopic surveys

abstract: We have investigated the metallicity distributions of mono-age stellar populations across the disc of $6 \lesssim R \lesssim 12$\,kpc and $|Z| \lesssim 2$\,kpc using samples selected from the main-sequence turn-off and sub-giant (MSTO-SG) stars targeted by the LAMOST Galactic Spectroscopic surveys. Both the mean values and the profiles of the distributions exhibit significant variations with age and position. We confirm that the oldest ($>11$\,Gyr) stars have nearly flat radial [Fe/H] gradients at all heights above the disc but show negative vertical [Fe/H] gradients. For stars younger than 11\,Gyr, the radial [Fe/H] gradients flatten with $|Z|$, while the vertical [Fe/H] gradients flatten with $R$. Stars of 4--6\,Gyr exhibit steeper negative radial [Fe/H] gradients than those of either younger or older ages. Values of [$\alpha$/Fe] of mono-age stellar populations also show significant radial and vertical gradients, with patterns varying with age. The [Fe/H] distribution profiles of old ($>8$\,Gyr) stars vary little with $R$, while those of younger stars exhibit strong radial variations, probably a consequence of significant radial migration. The [$\alpha$/Fe] radial distribution profiles show opposite patterns of variations with age compared to those of [Fe/H]. We have also explored the impacts of stellar mixing by epicycle motions (blurring) on the [Fe/H] and [$\alpha$/Fe] distributions, and found that blurring mainly change the widths of the distribution profiles. Our results suggest that the disc may have experienced a complex assemblage history, in which both the "inside-out" and "upside-down" formation processes may have played an important role.


title: Top-K Influential Nodes in Social Networks: A Game Perspective

abstract: Influence maximization, the fundamental of viral marketing, aims to find top-$K$ seed nodes maximizing influence spread under certain spreading models. In this paper, we study influence maximization from a game perspective. We propose a Coordination Game model, in which every individual makes its decision based on the benefit of coordination with its network neighbors, to study information propagation. Our model serves as the generalization of some existing models, such as Majority Vote model and Linear Threshold model. Under the generalized model, we study the hardness of influence maximization and the approximation guarantee of the greedy algorithm. We also combine several strategies to accelerate the algorithm. Experimental results show that after the acceleration, our algorithm significantly outperforms other heuristics, and it is three orders of magnitude faster than the original greedy method.


title: Rainbow triangles in arc-colored digraphs

abstract: Let $D$ be an arc-colored digraph. The arc number $a(D)$ of $D$ is defined as the number of arcs of $D$. The color number $c(D)$ of $D$ is defined as the number of colors assigned to the arcs of $D$. A rainbow triangle in $D$ is a directed triangle in which every pair of arcs have distinct colors. Let $f(D)$ be the smallest integer such that if $c(D)\geq f(D)$, then $D$ contains a rainbow triangle. In this paper we obtain $f(\overleftrightarrow{K}_{n})$ and $f(T_n)$, where $\overleftrightarrow{K}_{n}$ is a complete digraph of order $n$ and $T_n$ is a strongly connected tournament of order $n$. Moreover we characterize the arc-colored complete digraph $\overleftrightarrow{K}_{n}$ with $c(\overleftrightarrow{K}_{n})=f(\overleftrightarrow{K}_{n})-1$ and containing no rainbow triangles. We also prove that an arc-colored digraph $D$ on $n$ vertices contains a rainbow triangle when $a(D)+c(D)\geq a(\overleftrightarrow{K}_{n})+f(\overleftrightarrow{K}_{n})$, which is a directed extension of the undirected case.


title: Introduction to Dialectical Nets

abstract: This paper initiates the dialectical approach to net theory. This approach views nets as special, but very important and natural, dialectical systems. By following this approach, a suitably generalized version of nets, called dialectical nets, can be defined in terms of the "fundamental contradiction" inherent in the structure of closed preorders. Dialectical nets are the least conceptual upper bound subsuming the notions of Petri nets, Kan quantification and transition systems. The nature of dialectical nets is that of logical dynamics, and is succinctly defined and summarized in the statement that "dialectical nets are transition systems relativized to closed preorders, and hence are general predicate transformers".


title: Empirical determination of the optimum attack for fragmentation of modular networks

abstract: All possible removals of $n=5$ nodes from networks of size $N=100$ are performed in order to find the optimal set of nodes which fragments the original network into the smallest largest connected component. The resulting attacks are ordered according to the size of the largest connected component and compared with the state of the art methods of network attacks. We chose attacks of size $5$ on relative small networks of size $100$ because the number of all possible attacks, ${100}\choose{5}$ $\approx 10^8$, is at the verge of the possible to compute with the available standard computers. Besides, we applied the procedure in a series of networks with controlled and varied modularity, comparing the resulting statistics with the effect of removing the same amount of vertices, according to the known most efficient disruption strategies, i.e., High Betweenness Adaptive attack (HBA), Collective Index attack (CI), and Modular Based Attack (MBA). Results show that modularity has an inverse relation with robustness, with $Q_c \approx 0.7$ being the critical value. For modularities lower than $Q_c$, all heuristic method gives mostly the same results than with random attacks, while for bigger $Q$, networks are less robust and highly vulnerable to malicious attacks.


title: A Universal Molecular-Kinetic Scaling Relation for Slip of a Simple Fluid at a Solid Boundary

abstract: Using the observation that slip in simple fluids at low and moderate shear rates is a thermally activated process driven by the shear stress in the fluid close to the solid boundary, we develop a molecular-kinetic model for simple fluid slip at solid boundaries. The proposed model, which is in the form of a universal scaling relation that connects slip and shear rate, reduces to the well known Navier-slip condition under low shear conditions, providing a direct connection between molecular parameters and the slip length. Molecular-dynamics simulations are in very good agreement with the predicted dependence of slip on system parameters, including the temperature and fluid-solid interaction strength. Connections between our model and previous work, as well as simulation and experimental results are explored and discussed.


title: Perceptual Image Quality Assessment through Spectral Analysis of Error Representations

abstract: In this paper, we analyze the statistics of error signals to assess the perceived quality of images. Specifically, we focus on the magnitude spectrum of error images obtained from the difference of reference and distorted images. Analyzing spectral statistics over grayscale images partially models interference in spatial harmonic distortion exhibited by the visual system but it overlooks color information, selective and hierarchical nature of visual system. To overcome these shortcomings, we introduce an image quality assessment algorithm based on the Spectral Understanding of Multi-scale and Multi-channel Error Representations, denoted as SUMMER. We validate the quality assessment performance over 3 databases with around 30 distortion types. These distortion types are grouped into 7 main categories as compression artifact, image noise, color artifact, communication error, blur, global and local distortions. In total, we benchmark the performance of 17 algorithms along with the proposed algorithm using 5 performance metrics that measure linearity, monotonicity, accuracy, and consistency. In addition to experiments with standard performance metrics, we analyze the distribution of objective and subjective scores with histogram difference metrics and scatter plots. Moreover, we analyze the classification performance of quality assessment algorithms along with their statistical significance tests. Based on our experiments, SUMMER significantly outperforms majority of the compared methods in all benchmark categories


title: Gas transport in partially-saturated sand packs

abstract: Understanding gas transport in porous media and its mechanism has broad applications in various research areas, such as carbon sequestration in deep saline aquifers and gas explorations in reservoir rocks. Gas transport is mainly controlled by pore space geometrical and morphological characteristics. In this study, we apply a physically-based model developed using concepts from percolation theory (PT) and the effective-medium approximation (EMA) to better understand diffusion and permeability of gas in packings of angular and rounded sand grains as well as glass beads. Two average sizes of grain i.e., 0.3 and 0.5 mm were used to pack sands in a column of 6 cm height and 4.9 cm diameter so that the total porosity of all packs was near 0.4. Water content, gas-filled porosity (also known as gas content), gas diffusion, and gas permeability were measured at different capillary pressures. The X-ray computed tomography method and the 3DMA-Rock software package were applied to determine the average pore coordination number z. Results showed that both saturation-dependent diffusion and permeability of gas showed almost linear behavior at higher gas-filled porosities, while deviated substantially from linear scaling at lower gas saturations. Comparing the theory with the diffusion and permeability experiments showed that the determined value of z ranged between 2.8 and 5.3, not greatly different from X-ray computed tomography results. The obtained results clearly indicate that the effect of the pore-throat size distribution on gas diffusion and permeability was minimal in these sand and glass bead packs.


title: Information-theoretic model of self-organizing fullerenes and the emergence of C60

abstract: An information-theoretic model describes the dissipative dynamical systems composed of ensembles of fragmenting, self-organizing fullerenes. The probabilities derived from the variations of the fullerene number densities that occur during cage-to-cage transformations are used to evaluate Shannon entropy for every carbon cage. Fractal dimension of the cages are calculated from the respective entropy. C60 is shown to emerges as the end-directed evolution of dynamical systems of four different ensembles of fullerenes. The information generating, transforming cages of carbon provide a perspective to evaluate the self-organizational behavior of dissipative structures.


title: Efficient Reconstructions of Common Era Climate via Integrated Nested Laplace Approximations

abstract: Paleoclimate reconstruction on the Common Era (1-2000AD) provide critical context for recent warming trends. This work leverages integrated nested Laplace approximations (INLA) to conduct inference under a Bayesian hierarchical model using data from three sources: a state-of-the-art prox database (PAGES 2k), surface temperature observations (HadCRUT4), and latest estimates of external forcings. INLA's computational efficiency allows to explore several model formulations (with or without forcings, explicitly modeling internal variability or not), as well as five data reduction techniques. Two different validation exercises find a small impact of data reduction choices, but a large impact for model choice, with best results for the two models that incorporate external forcings. These models confirm that man-made greenhouse gas emissions are the largest contributor to temperature variability over the Common Era, followed by volcanic forcing. Solar effects are indistinguishable from zero. INLA provide an efficient way to estimate the posterior mean, comparable with the much costlier Monte Carlo Markov Chain procedure, but with wider uncertainty bounds. We recommend using it for exploration of model designs, but full MCMC solutions should be used for proper uncertainty quantification.


title: Tamm plasmon Photonic Crystals : from Bandgap Engineering to Defect Cavity

abstract: We report for the first time the bandgap engineering of Tamm plasmon photonic crystals - Tamm plasmon structures of which the metalic layer is periodically patterned into lattice of subwavelength period. By adopting a double period design, we evidenced experimentally a complete photonic bandgap up to $150\,nm$ in the telecom range. Moreover, such design offers a great flexibility to tailor on-demand, and independently, the band-gap size from $30\,nm$ to $150\,nm$ and its spectral position within $50\,nm$. Finally, by implementing a defect cavity within the Tamm plasmon photonic crystal, an ultimate cavity of $1.6\mu m$ supporting a single highly confined Tamm mode is experimentally demonstrated. All experimental results are in perfect agreement with numerical calculations. Our results suggests the possibility to engineer novel band dispersion with surface modes of hybrid metalic/dielectric structures, thus open the way to Tamm plasmon towards applications in topological photonics, metamaterials and parity symmetry physics.


title: Hochschild (co)homologies of dg $K$-rings and their Koszul duals

abstract: We formulate the (co)bar construction theory of dg $K$-(co)rings and the calculus theory of the Hochschild homology and cohomology of dg $K$-rings. As applications, we compare the Hochschild (co)homologies of a complete typical dg $K$-ring and its Koszul dual. Moreover, we show that the Koszul dual of a finite dimensional complete typical $d$-symmetric dg $K$-ring is a $d$-Calabi-Yau dg algebra whose Hochschild cohomology is a Batalin-Vilkovisky algebra. Furthermore, we prove that the Hochschild cohomologies of a finite dimensional complete typical $d$-symmetric dg $K$-ring and its Koszul dual are isomorphic as Batalin-Vilkovisky algebras. In conclusion, we found a connection between the Batalin-Vilkovisky algebra structures on the Hochschild cohomologies of $d$-Calabi-Yau dg algebras and $d$-symmetric dg $K$-rings.


title: Analysis of the strong vertices of $\Sigma_cND^{*}$ and $\Sigma_bNB^{*}$ in QCD sum rules

abstract: The strong coupling constant is an important parameter which can help us to understand the strong decay behaviors of baryons. In our previous work, we have analyzed strong vertices $\Sigma_{c}^{*}ND$, $\Sigma_{b}^{*}NB$, $\Sigma_{c}ND$, $\Sigma_{b}NB$ in QCD sum rules. Following these work, we further analyze the strong vertices $\Sigma_{c}ND^{*}$ and $\Sigma_{b}NB^{*}$ using the three-point QCD sum rules under Dirac structures $q\!\!\!/p\!\!\!/\gamma_{\alpha}$ and $q\!\!\!/p\!\!\!/p_{\alpha}$. In this work, we first calculate strong form factors considering contributions of the perturbative part and the condensate terms $\langle\overline{q}q\rangle$, $\langle\frac{\alpha_{s}}{\pi}GG\rangle$ and $\langle\overline{q}g_{s}\sigma Gq\rangle$. Then, these form factors are used to fit into analytical functions. According to these functions, we finally determine the values of the strong coupling constants for these two vertices $\Sigma_{c}ND^{*}$ and $\Sigma_{b}NB^{*}$.


title: $B_c$ mesons and their properties on the light front

abstract: We investigate the unequal mass relativistic bound state system, the $B_c$ mesons, in a light-front Hamiltonian formalism. We adopt an effective Hamiltonian based on soft-wall light-front holography, together with a longitudinal confinement that was first introduced for heavy quarkonium. We also include the one gluon-exchange interaction with a running coupling, which produces the spin structure. We present the mass spectrum and light-front wave functions. We also use the light-front wave functions to calculate decay constants, charge and momentum densities, as well as distribution amplitudes. The results are compared with experiments and other theoretical approaches, all of which are in reasonable agreement.


title: DDSL: Efficient Subgraph Listing on Distributed and Dynamic Graphs

abstract: Subgraph listing is a fundamental problem in graph theory and has wide applications in areas like sociology, chemistry, and social networks. Modern graphs can usually be large-scale as well as highly dynamic, which challenges the efficiency of existing subgraph listing algorithms. Recent works have shown the benefits of partitioning and processing big graphs in a distributed system, however, there is only few work targets subgraph listing on dynamic graphs in a distributed environment. In this paper, we propose an efficient approach, called Distributed and Dynamic Subgraph Listing (DDSL), which can incrementally update the results instead of running from scratch. DDSL follows a general distributed join framework. In this framework, we use a Neighbor-Preserved storage for data graphs, which takes bounded extra space and supports dynamic updating. After that, we propose a comprehensive cost model to estimate the I/O cost of listing subgraphs. Then based on this cost model, we develop an algorithm to find the optimal join tree for a given pattern. To handle dynamic graphs, we propose an efficient left-deep join algorithm to incrementally update the join results. Extensive experiments are conducted on real-world datasets. The results show that DDSL outperforms existing methods in dealing with both static dynamic graphs in terms of the responding time.


title: Sequential Change-point Detection for High-dimensional and non-Euclidean Data

abstract: In many applications, it is often of practical and scientific interest to detect anomaly events in a streaming sequence of high-dimensional or non-Euclidean observations. We study a non-parametric framework that utilizes nearest neighbor information among the observations to detect changes in an online setting. It can be applied to data in arbitrary dimension and non-Euclidean data as long as a similarity measure on the sample space can be defined. We consider new test statistics under this framework that can detect anomaly events more effectively than the existing test while keeping the false discovery rate controlled at a fixed level. Analytic formulas approximating the average run lengths of the new approaches are derived to make them fast applicable to modern datasets. Simulation studies are provided to support theoretical results. The proposed approach is illustrated with an analysis of the NYC taxi dataset.


title: Effect of Internal Breeding of Tritium and Helium-3 on the Ignition of an ICF Fuel Pellet

abstract: Self-heating condition and following ignition in an Inertial Confinement Fusion (ICF) fuel pellet is evaluated by calculating the power equations, dynamically. In fact, the self-heating condition is a criterion that determines the minimum parameters of a fuel (such as temperature, density and areal density) that can be ignited. Deuterium is the main component of ICF fuels as large amounts of it are naturally available. In addition, the use of deuterium as a fuel in ICF causes the production of tritium and helium-3. However, pure deuterium has a high ignition temperature (T$\geq$40 keV) which makes it inefficient. In this paper, the power equations are solved, dynamically, and it has been indicated that internal tritium and helium-3 production at early evolution of compressed deuterium fuel causes ignition at lower predicted temperatures.