title: Using Trajectories in Quantum Cosmology

abstract: Quantum cosmology based on the Wheeler De Witt equation represents a simple way to implement plausible quantum effects in a gravitational setup. In its minisuperspace version wherein one restricts attention to FLRW metrics with a single scale factor and only a few degrees of freedom describing matter, one can obtain exact solutions and thus acquire full knowledge of the wave function. Although this is the usual way to treat a quantum mechanical system, it turns out however to be essentially meaningless in a cosmological framework. Turning to a trajectory approach then provides an effective means of deriving physical consequences.


title: Photon Assisted Tunneling of Zero Modes in a Majorana Wire

abstract: Hybrid nanowires with proximity-induced superconductivity in the topological regime host Majorana zero modes (MZMs) at their ends, and networks of such structures can produce topologically protected qubits. In a double-island geometry where each segment hosts a pair of MZMs, inter-pair coupling mixes the charge parity of the islands and opens an energy gap between the even and odd charge states at the inter-island charge degeneracy. Here, we report on the spectroscopic measurement of such an energy gap in an InAs/Al double-island device by tracking the position of the microwave-induced quasiparticle (qp) transitions using a radio-frequency (rf) charge sensor. In zero magnetic field, photon assisted tunneling (PAT) of Cooper pairs gives rise to resonant lines in the 2e-2e periodic charge stability diagram. In the presence of a magnetic field aligned along the nanowire, resonance lines are observed parallel to the inter-island charge degeneracy of the 1e-1e periodic charge stability diagram, where the 1e periodicity results from a zero-energy sub-gap state that emerges in magnetic field. Resonant lines in the charge stability diagram indicate coherent photon assisted tunneling of single-electron states, changing the parity of the two islands. The dependence of resonant frequency on detuning indicates a sizable (GHz-scale) hybridization of zero modes across the junction separating islands.


title: The role of magnetic field in molecular cloud formation and evolution

abstract: We review the role that magnetic field may have on the formation and evolution of molecular clouds. After a brief presentation and main assumptions leading to ideal MHD equations, their most important correction, namely the ion-neutral drift is described. The nature of the multi-phase interstellar medium (ISM) and the thermal processes that allows this gas to become denser are presented. Then we discuss our current knowledge of compressible magnetized turbulence, thought to play a fundamental role in the ISM. We also describe what is known regarding the correlation between the magnetic and the density fields. Then the influence that magnetic field may have on the interstellar filaments and the molecular clouds is discussed, notably the role it may have on the prestellar dense cores as well as regarding the formation of stellar clusters. Finally we briefly review its possible effects on the formation of molecular clouds themselves. We argue that given the magnetic intensities that have been measured, it is likely that magnetic field is i) responsible of reducing the star formation rate in dense molecular cloud gas by a factor of a few, ii) strongly shaping the interstellar gas by generating a lot of filaments and reducing the numbers of clumps, cores and stars, although its exact influence remains to be better understood. % by a factor on the order of at least 2. Moreover at small scales, magnetic braking is likely a dominant process that strongly modifies the outcome of the star formation process. Finally, we stress that by inducing the formation of more massive stars, magnetic field could possibly enhance the impact of stellar feedback.


title: Eternal domination on prisms of graphs

abstract: An eternal dominating set of a graph $G$ is a set of vertices (or "guards") which dominates $G$ and which can defend any infinite series of vertex attacks, where an attack is defended by moving one guard along an edge from its current position to the attacked vertex. The size of the smallest eternal dominating set is denoted $\gamma^\infty(G)$ and is called the eternal domination number of $G$. In this paper, we answer a conjecture of Klostermeyer and Mynhardt [Discussiones Mathematicae Graph Theory, vol. 35, pp. 283-300], showing that there exist there are infinitely many graphs $G$ such that $\gamma^\infty(G)=\theta(G)$ and $\gamma^\infty(G \Box K_2)<\theta(G \Box K_2)$, where $\theta(G)$ denotes the clique cover number of $G$.


title: Complexity, Statistical Risk, and Metric Entropy of Deep Nets Using Total Path Variation

abstract: For any ReLU network there is a representation in which the sum of the absolute values of the weights into each node is exactly $1$, and the input layer variables are multiplied by a value $V$ coinciding with the total variation of the path weights. Implications are given for Gaussian complexity, Rademacher complexity, statistical risk, and metric entropy, all of which are shown to be proportional to $V$. There is no dependence on the number of nodes per layer, except for the number of inputs $d$. For estimation with sub-Gaussian noise, the mean square generalization error bounds that can be obtained are of order $V \sqrt{L + \log d}/\sqrt{n}$, where $L$ is the number of layers and $n$ is the sample size.


title: A Robust Volume Conserving Method for Character-Water Interaction

abstract: We propose a novel volume conserving framework for character-water interaction, using a novel volume-of-fluid solver on a skinned tetrahedral mesh, enabling the high degree of the spatial adaptivity in order to capture thin films and hair-water interactions. For efficiency, the bulk of the fluid volume is simulated with a standard Eulerian solver which is two way coupled to our skinned arbitrary Lagrangian-Eulerian mesh using a fast, robust, and straightforward to implement partitioned approach. This allows for a specialized and efficient treatment of the volume-of-fluid solver, since it is only required in a subset of the domain. The combination of conservation of fluid volume and a kinematically deforming skinned mesh allows us to robustly implement interesting effects such as adhesion, and anisotropic porosity. We illustrate the efficacy of our method by simulating various water effects with solid objects and animated characters.


title: Coupling of surface chemistry and electric double layer at TiO$_2$ electrochemical interfaces

abstract: Surfaces of metal oxides at working conditions are usually electrified due to the acid-base chemistry. The charged interface compensated with counterions forms the so-called electric double layer. The coupling of surface chemistry and electric double layer is considered to be crucial but poorly understood because of lacking the information at the atomistic scale. Here, we used the latest development in density functional theory based finite-field molecular dynamics simulation to investigate pH-dependence of the Helmholtz capacitance at electrified rutile TiO$_2$ (110)-NaCl electrolyte interfaces. It is found that, due to competing forces from surface adsorption and from electric double layer, water molecules have a stronger structural fluctuation at high pH and this leads to a much larger capacitance. It is also seen that, interfacial proton transfers at low pH increase significantly the capacitance value. These findings elucidate the microscopic origin for the same trend observed in titration experiments.


title: Goodwillie Calculus

abstract: We survey the theory and applications of Goodwillie's calculus of homotopy functors and related topics.


title: Itemsets for Real-valued Datasets

abstract: Pattern mining is one of the most well-studied subfields in exploratory data analysis. While there is a significant amount of literature on how to discover and rank itemsets efficiently from binary data, there is surprisingly little research done in mining patterns from real-valued data. In this paper we propose a family of quality scores for real-valued itemsets. We approach the problem by considering casting the dataset into a binary data and computing the support from this data. This naive approach requires us to select thresholds. To remedy this, instead of selecting one set of thresholds, we treat thresholds as random variables and compute the average support. We show that we can compute this support efficiently, and we also introduce two normalisations, namely comparing the support against the independence assumption and, more generally, against the partition assumption. Our experimental evaluation demonstrates that we can discover statistically significant patterns efficiently.


title: Weighted limits in an $(\infty,1)$-category

abstract: We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's approach: we identify a meaningful construction for the quasi-category of weighted cones over a diagram in a quasi-category, whose terminal object is the weighted limit of the considered diagram. When the quasi-category arises as the homotopy coherent nerve of a category enriched over Kan complexes, we use techniques by Riehl-Verity to show that the weighted limit agrees with the homotopy weighted limit in the sense of enriched category theory, for which explicit constructions are available. When the quasi-category is complete, tensored and cotensored over the quasi-category of spaces, we discuss a possible comparison of our definition of weighted limit with the approach by Gepner-Haugseng-Nikolaus.


title: On monomial Golod ideals

abstract: We study ideal-theoretic conditions for a monomial ideal to be Golod. For ideals in a polynomial ring in three variables, our criteria give a complete characterization. Over such rings, we show that the product of two monomial ideals is Golod.


title: Cluster structures in Schubert varieties in the Grassmannian

abstract: In this article we explain how the coordinate ring of each (open) Schubert variety in the Grassmannian can be identified with a cluster algebra, whose combinatorial structure is encoded using (target labelings of) Postnikov's plabic graphs. This result generalizes a theorem of Scott (Scott 2006) for the Grassmannian, and proves a folklore conjecture for Schubert varieties that has been believed by experts since (Scott 2006), though the statement was not formally written down until M\"uller-Speyer explicitly conjectured it (M\"uller-Speyer 2016). To prove this conjecture we use a result of Leclerc (Leclerc 2016), who used the module category of the preprojective algebra to prove that coordinate rings of many Richardson varieties in the complete flag variety can be identified with cluster algebras. Our proof also uses a construction of Karpman (Karpman 2016) to build plabic graphs associated to reduced expressions. We additionally generalize our result to the setting of skew Schubert varieties; the latter result uses generalized plabic graphs, i.e. plabic graphs whose boundary vertices need not be labeled in cyclic order.


title: Phoenix: An Epidemic Approach to Time Reconstruction

abstract: Harsh deployment environments and uncertain run-time conditions create numerous challenges for postmortem time reconstruction methods. For example, motes often reboot and thus lose their clock state, considering that the majority of mote platforms lack a real-time clock. While existing time reconstruction methods for long-term data gathering networks rely on a persistent basestation for assigning global timestamps to measurements, the basestation may be unavailable due to hardware and software faults. We present Phoenix, a novel offline algorithm for reconstructing global timestamps that is robust to frequent mote reboots and does not require a persistent global time source. This independence sets Phoenix apart from the majority of time reconstruction algorithms which assume that such a source is always available. Motes in Phoenix exchange their time-related state with their neighbors, establishing a chain of transitive temporal relationships to one or more motes with references to the global time. These relationships allow Phoenix to reconstruct the measurement timeline for each mote. Results from simulations and a deployment indicate that Phoenix can achieve timing accuracy up to 6 ppm for 99% of the collected measurements. Phoenix is able to maintain this performance for periods that last for months without a persistent global time source. To achieve this level of performance for the targeted environmental monitoring application, Phoenix requires an additional space overhead of 4% and an additional duty cycle of 0.2%.


title: Automatic Lesion Boundary Segmentation in Dermoscopic Images with Ensemble Deep Learning Methods

abstract: Early detection of skin cancer, particularly melanoma, is crucial to enable advanced treatment. Due to the rapid growth in the numbers of skin cancers, there is a growing need of computerized analysis for skin lesions. The state-of-the-art public available datasets for skin lesions are often accompanied with very limited amount of segmentation ground truth labeling as it is laborious and expensive. The lesion boundary segmentation is vital to locate the lesion accurately in dermoscopic images and lesion diagnosis of different skin lesion types. In this work, we propose the use of fully automated deep learning ensemble methods for accurate lesion boundary segmentation in dermoscopic images. We trained the Mask-RCNN and DeepLabv3+ methods on ISIC-2017 segmentation training set and evaluate the performance of the ensemble networks on ISIC-2017 testing set. Our results showed that the best proposed ensemble method segmented the skin lesions with Jaccard index of 79.58% for the ISIC-2017 testing set. The proposed ensemble method outperformed FrCN, FCN, U-Net, and SegNet in Jaccard Index by 2.48%, 7.42%, 17.95%, and 9.96% respectively. Furthermore, the proposed ensemble method achieved an accuracy of 95.6% for some representative clinically benign cases, 90.78% for the melanoma cases, and 91.29% for the seborrheic keratosis cases on ISIC-2017 testing set, exhibiting better performance than FrCN, FCN, U-Net, and SegNet.


title: Origin of radio-quiet coronal mass ejections in flare stars

abstract: Type II radio bursts are observed in the Sun in association with many coronal mass ejections (CME's. In view of this association, there has been an expectation that, by scaling from solar flares to the flares which are observed on M dwarfs, radio emission analogous to solar Type II bursts should be detectable in association with M dwarf flares. However, several surveys have revealed that this expectation does not seem to be fulfilled. Here we hypothesize that the presence of larger global field strengths in low-mass stars, suggested by recent magneto-convective modeling, gives rise to such large Alfven speeds in the corona that it becomes difficult to satisfy the conditions for the generation of Type II radio bursts. As a result, CME's propagating in the corona/wind of a flare stars are expected to be "radio-quiet" as regards Type II bursts. In view of this, we suggest that, in the context of Type II bursts, scaling from solar to stellar flares is of limited effectiveness.


title: Scalable high-rate, high-dimensional quantum key distribution

abstract: We propose and experimentally demonstrate a new scheme for measuring high-dimensional phase states using a two-photon interference technique, which we refer to as quantum-controlled measurement. Using this scheme, we implement a $d$-dimensional time-phase quantum key distribution (QKD) system and achieve secret key rates of 5.26 and 8.65 Mbps using $d = 2$ and $d = 8$ quantum states, respectively, for a 4~dB channel loss, illustrating that high-dimensional time-phase QKD protocols are advantageous for low-loss quantum channels. This work paves the way for practical high-dimensional QKD protocols for metropolitan-scale systems. Furthermore, our results apply equally well for other high-dimensional protocols, such as those using the spatial degree-of-freedom with orbital angular momentum states being one example.


title: Planar digraphs for automatic complexity

abstract: We show that the digraph of a nondeterministic finite automaton witnessing the automatic complexity of a word can always be taken to be planar. In the case of total transition functions studied by Shallit and Wang, planarity can fail. Let $s_q(n)$ be the number of binary words $x$ of length $n$ having nondeterministic automatic complexity $A_N(x)=q$. We show that $s_q$ is eventually constant for each $q$ and that the eventual constant value of $s_q$ is computable.


title: Collaborative Sampling in Generative Adversarial Networks

abstract: The standard practice in Generative Adversarial Networks (GANs) discards the discriminator during sampling. However, this sampling method loses valuable information learned by the discriminator regarding the data distribution. In this work, we propose a collaborative sampling scheme between the generator and the discriminator for improved data generation. Guided by the discriminator, our approach refines the generated samples through gradient-based updates at a particular layer of the generator, shifting the generator distribution closer to the real data distribution. Additionally, we present a practical discriminator shaping method that can smoothen the loss landscape provided by the discriminator for effective sample refinement. Through extensive experiments on synthetic and image datasets, we demonstrate that our proposed method can improve generated samples both quantitatively and qualitatively, offering a new degree of freedom in GAN sampling.


title: Distributional property testing in a quantum world

abstract: A fundamental problem in statistics and learning theory is to test properties of distributions. We show that quantum computers can solve such problems with significant speed-ups. In particular, we give fast quantum algorithms for testing closeness between unknown distributions, testing independence between two distributions, and estimating the Shannon / von Neumann entropy of distributions. The distributions can be either classical or quantum, however our quantum algorithms require coherent quantum access to a process preparing the samples. Our results build on the recent technique of quantum singular value transformation, combined with more standard tricks such as divide-and-conquer. The presented approach is a natural fit for distributional property testing both in the classical and the quantum case, demonstrating the first speed-ups for testing properties of density operators that can be accessed coherently rather than only via sampling; for classical distributions our algorithms significantly improve the precision dependence of some earlier results.


title: The number of languages with maximum state complexity

abstract: C\^{a}mpeanu and Ho (2004) determined the maximum finite state complexity of finite languages, building on work of Champarnaud and Pin (1989). They stated that it is very difficult to determine the number of maximum-complexity languages. Here we give a formula for this number. We also generalize their work from languages to functions on finite sets.


title: Sound Event Detection Using Graph Laplacian Regularization Based on Event Co-occurrence

abstract: The types of sound events that occur in a situation are limited, and some sound events are likely to co-occur; for instance, ``dishes'' and ``glass jingling.'' In this paper, we propose a technique of sound event detection utilizing graph Laplacian regularization taking the sound event co-occurrence into account. In the proposed method, sound event occurrences are represented as a graph whose nodes indicate the frequency of event occurrence and whose edges indicate the co-occurrence of sound events. This graph representation is then utilized for sound event modeling, which is optimized under an objective function with a regularization term considering the graph structure. Experimental results obtained using TUT Sound Events 2016 development, 2017 development, and TUT Acoustic Scenes 2016 development indicate that the proposed method improves the detection performance of sound events by 7.9 percentage points compared to that of the conventional CNN-BiGRU-based method in terms of the segment-based F1-score. Moreover, the results show that the proposed method can detect co-occurring sound events more accurately than the conventional method.


title: Anderson-like localization transition of random walks with resetting

abstract: We study several lattice random walk models with stochastic resetting to previously visited sites which exhibit a phase transition between an anomalous diffusive regime and a localization regime where diffusion is suppressed. The localized phase settles above a critical resetting rate, or rate of memory use, and the probability density asymptotically adopts in this regime a non-equilibrium steady state similar to that of the well known problem of diffusion with resetting to the origin. The transition occurs because of the presence of a single impurity site where the resetting rate is lower than on other sites, and around which the walker spontaneously localizes. Near criticality, the localization length diverges with a critical exponent that falls in the same class as the self-consistent theory of Anderson localization of waves in random media. The critical dimensions are also the same in both problems. Our study provides analytically tractable examples of localization transitions in path-dependent, reinforced stochastic processes, which can be also useful for understanding spatial learning by living organisms.


title: Automated ZFC Theorem Proving with E

abstract: I introduce an approach for automated reasoning in first order set theories that are not finitely axiomatizable, such as $ZFC$, and describe its implementation alongside the automated theorem proving software E. I then compare the results of proof search in the class based set theory $NBG$ with those of $ZFC$.


title: Randomized Allocation with Nonparametric Estimation for Contextual Multi-Armed Bandits with Delayed Rewards

abstract: We study a multi-armed bandit problem with covariates in a setting where there is a possible delay in observing the rewards. Under some mild assumptions on the probability distributions for the delays and using an appropriate randomization to select the arms, the proposed strategy is shown to be strongly consistent.


title: DeepPBM: Deep Probabilistic Background Model Estimation from Video Sequences

abstract: This paper presents a novel unsupervised probabilistic model estimation of visual background in video sequences using a variational autoencoder framework. Due to the redundant nature of the backgrounds in surveillance videos, visual information of the background can be compressed into a low-dimensional subspace in the encoder part of the variational autoencoder, while the highly variant information of its moving foreground gets filtered throughout its encoding-decoding process. Our deep probabilistic background model (DeepPBM) estimation approach is enabled by the power of deep neural networks in learning compressed representations of video frames and reconstructing them back to the original domain. We evaluated the performance of our DeepPBM in background subtraction on 9 surveillance videos from the background model challenge (BMC2012) dataset, and compared that with a standard subspace learning technique, robust principle component analysis (RPCA), which similarly estimates a deterministic low dimensional representation of the background in videos and is widely used for this application. Our method outperforms RPCA on BMC2012 dataset with 23% in average in F-measure score, emphasizing that background subtraction using the trained model can be done in more than 10 times faster.


title: Review Conversational Reading Comprehension

abstract: Inspired by conversational reading comprehension (CRC), this paper studies a novel task of leveraging reviews as a source to build an agent that can answer multi-turn questions from potential consumers of online businesses. We first build a review CRC dataset and then propose a novel task-aware pre-tuning step running between language model (e.g., BERT) pre-training and domain-specific fine-tuning. The proposed pre-tuning requires no data annotation, but can greatly enhance the performance on our end task. Experimental results show that the proposed approach is highly effective and has competitive performance as the supervised approach. The dataset is available at \url{https://github.com/howardhsu/RCRC}


title: Long-term concentration of measure and cut-off

abstract: We present new concentration of measure inequalities for Markov chains, generalising results for chains that are contracting in Wasserstein distance. These are particularly suited to establishing the cut-off phenomenon for suitable chains. We apply our discrete-time inequality to the well-studied Bernoulli-Laplace model of diffusion, and give a probabilistic proof of cut-off, recovering and improving the bounds of Diaconis and Shahshahani. We also extend the notion of cut-off to chains with an infinite state space, and illustrate this in a second example, of a two-host model of disease in continuous time. We give a third example, giving concentration results for the supermarket model, illustrating the full generality and power of our results.


title: Monogamy Relations for the Generalized W Class

abstract: Here we investigate the monogamy relations for the generalized W class. Monogamy inequalities for the generalized W class in terms of the $\beta$-th ($\beta\in (0,2)$) power of the concurrence, the concurrence of assistance and the negativity are presented. At last, under some restricted conditions of the generalized W class, we present stronger monogamy inequalities.


title: Joint User Selection, Power Allocation, and Precoding Design with Imperfect CSIT for Multi-Cell MU-MIMO Downlink Systems

abstract: In this paper, a new optimization framework is presented for the joint design of user selection, power allocation, and precoding in multi-cell multi-user multiple-input multiple-output (MU-MIMO) systems when imperfect channel state information at transmitter (CSIT) is available. By representing the joint optimization variables in a higher-dimensional space, the weighted sum-spectral efficiency maximization is formulated as the maximization of the product of Rayleigh quotients. Although this is still a non-convex problem, a computationally efficient algorithm, referred to as generalized power iteration precoding (GPIP), is proposed. The algorithm converges to a stationary point (local maximum) of the objective function and therefore it guarantees the first-order optimality of the solution. By adjusting the weights in the weighted sum-spectral efficiency, the GPIP yields a joint solution for user selection, power allocation, and downlink precoding. The GPIP is also extended to a multi-cell scenario, where cooperative base stations perform joint user selection and design their precoding vectors by sharing global yet imperfect CSIT within the cooperative BSs. System-level simulations show the gains of the proposed approach with respect to conventional user selection and linear downlink precoding.


title: Quasilocal Smarr relations for static black holes

abstract: Generalized Smarr relations in terms of quasilocal variables are obtained for Schwarzschild and Reissner-Nordstr\"om black holes. The approach is based on gravitational path integrals with finite boundaries on which, following Brown and York, thermodynamic variables are identified through a Hamilton-Jacobi analysis of the action. The resulting expressions allow us to construct the relation between the quasilocal energy obtained in this setting and the Komar and Misner-Sharp energies, which are regarded as thermodynamical internal energy in other approaches. The quasilocal Smarr relation is obtained through scaling arguments, and terms evaluated in the external boundary and the horizon are present. By considering some properties of the metric, it is shown that this quasilocal Smarr relation can be regarded as a thermodynamical realization of Einstein equations. The approach is suitable to be generalized to any spherically symmetric metric.


title: Cosmological constraints on the velocity-dependent baryon-dark matter coupling

abstract: We present the cosmological constraints on the cross section of baryon-dark matter interactions for the dark matter mass below the MeV scale from the Planck CMB (cosmic microwave background) and SDSS (Sloan Digital Sky Survey) Lyman-$\alpha$ forest data. To explore the dark matter mass $m_{\chi}\lesssim 1$ MeV for which the dark matter's free-streaming effect can suppress the observable small scale density fluctuations, in addition to the acoustic oscillation damping in existence of the baryon-dark matter coupling, we apply the approximated treatment of dark matter free-streaming analogous to that of the conventional warm dark matter. We also demonstrate the mass dependence of the baryon-dark matter cross section bounds (for the dark matter mass down to $m_{\chi} \sim 5~{\rm keV}$), in contrast to the dark matter mass independence of the cross section constraints for the light dark matter below the MeV scale claimed in the previous literature.


title: Beyond Sperner's lemma

abstract: In 1967 Herbert Scarf suggested a new proof of Brouwer's fixed point theorem based on a combinatorial analogue of Sperner's lemma. Scarf presented his arguments in very geometric language, even purely combinatorial ones. Recently H. Petri and M. Voorneveld published an almost geometry-free version of Scarf's proof. Their version eliminated even only implicitly geometric aspects of Scarf's proof, namely, the structure of an abstract simplicial complex behind the combinatorial arguments. The present paper is devoted to a proof of Scarf's analogue of Sperner's lemma in the abstract setting of a collection of linear orders on a finite set. This proof partially follows the proof by Petri and Voorneveld, but restores the implicit geometry to its rightful place. We also deduce Brouwer's fixed point theorem from this analogue and discuss various versions of Scarf's proof.


title: The likely Fermi detection of the Be X-ray binary GRO J1008-57: hint for gamma-ray production in neutron-star X-ray binaries

abstract: In our search for gamma-ray emission from Be X-ray binaries from analysis of the data obtained with the Large Area Telescope (LAT) on board the Fermi Gamma-Ray Space Telescope, we find likely detection of GRO J1008-57. The binary has an orbital period of 249.48 days, and it is only significantly detected in its orbital phase 0.8--0.9 (>4 sigma). Further light curve analysis indicates that the detection is probably largely due to an emitting event in one orbital cycle around year 2012--2013, following a giant X-ray outburst of the source. This property of having occasional gamma-ray emitting events is similar to that seen in another high-mass X-ray binary 4U 1036-56. However, models considering possible gamma-ray emission from an accreting neutron star have difficulty in explaining the observed 10^{34} erg s^{-1} luminosity of the source, unless the distance was largely over-estimated. Further observational studies are required, in order to more clearly establish the high-energy emission properties of GRO J1008-57 or similar high-mass X-ray binaries and find clues for understanding how gamma-ray emission is produced from them.


title: Incremental Learning with Maximum Entropy Regularization: Rethinking Forgetting and Intransigence

abstract: Incremental learning suffers from two challenging problems; forgetting of old knowledge and intransigence on learning new knowledge. Prediction by the model incrementally learned with a subset of the dataset are thus uncertain and the uncertainty accumulates through the tasks by knowledge transfer. To prevent overfitting to the uncertain knowledge, we propose to penalize confident fitting to the uncertain knowledge by the Maximum Entropy Regularizer (MER). Additionally, to reduce class imbalance and induce a self-paced curriculum on new classes, we exclude a few samples from the new classes in every mini-batch, which we call DropOut Sampling (DOS). We further rethink evaluation metrics for forgetting and intransigence in incremental learning by tracking each sample's confusion at the transition of a task since the existing metrics that compute the difference in accuracy are often misleading. We show that the proposed method, named 'MEDIC', outperforms the state-of-the-art incremental learning algorithms in accuracy, forgetting, and intransigence measured by both the existing and the proposed metrics by a large margin in extensive empirical validations on CIFAR100 and a popular subset of ImageNet dataset (TinyImageNet).


title: Bose-Einstein condensate in Bloch bands with off-diagonal periodic potential

abstract: We report the Bose-Einstein condensate (BEC) in the Bloch bands with off-diagonal periodic potential (ODPP), which simultaneously plays the role of spin-orbit coupling (SOC) and Zeeman field. This model can be realized using two independent Raman couplings in the same three level system, in which the time-reversal symmetry ensures the energy degeneracy between the two states with opposite momenta. We find that these two Raman couplings can be used to tune the spin polarization in momentum space, thus greatly modifies the effective scatterings over the Bloch bands. We observe a transition from the Bloch plane wave phase with condensate at one wave vector to the Bloch stripe phase with condensates at the two Bloch states with opposite wave vectors. These two phases will exhibit totally different spin textures and density modulations in real space, which are totally different from that in free space. In momentum space multiple peaks differ by some reciprocal lattice vectors can be observed, reflecting the periodic structure of the ODPP. A three-band effective model is proposed to understand these observations. This system can provide a new platform in investigating of various physics, such as collective excitations, polaron and topological superlfuids, over the Bloch bands.


title: Hodge cycles for cubic hypersurfaces

abstract: We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic Fermat variety $X_0$ of even dimension $n\geq 4$ and with $\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m$. We take a smooth deformation space $\sf S$ of $X_0$ such that the triple $(X_0, {\mathbb P}^\frac{n}{2}, \check{\mathbb P}^\frac{n}{2})$ becomes rigid. For $m=\frac{n}{2}-2$ and for many examples of $N\in{\mathbb N}$ and $n$ we show that the $N$-th order Hodge locus attached to $Z_0$ is smooth and reduced of positive dimension if and only if $( r ,\check r )=(1,-1)$. In this case, the underlying algebraic cycles are conjectured to be cubic ruled cycles. For $m=\frac{n}{2}-3$ the same happens for all choices of coefficients $ r $ and $\check r $ and we do not know what kind of algebraic cycles might produce such Hodge cycles. The first case gives us a conjectural description of a component of the Hodge locus, and the second case gives us strong computer assisted evidences for the existence of new Hodge cycles for cubic hypersurfaces. Whereas the well-known construction of Hodge cycles due to D. Mumford and A. Weil for CM abelian varieties, and Y. Andr\'e's motivated cycles can be described in theoretical terms, the full proof of the existence of our Hodge cycle seems to be only possible with more powerful computing machines.


title: Quantitative Weak Convergence for Discrete Stochastic Processes

abstract: In this paper, we quantitative convergence in $W_2$ for a family of Langevin-like stochastic processes that includes stochastic gradient descent and related gradient-based algorithms. Under certain regularity assumptions, we show that the iterates of these stochastic processes converge to an invariant distribution at a rate of $\tilde{O}\lrp{1/\sqrt{k}}$ where $k$ is the number of steps; this rate is provably tight up to log factors. Our result reduces to a quantitative form of the classical Central Limit Theorem in the special case when the potential is quadratic.


title: Long range antiferromagnetic order in a rocksalt high entropy oxide

abstract: We report for the first time the magnetic structure of the high entropy oxide $(Mg_{0.2}Co_{0.2}Ni_{0.2}Cu_{0.2}Zn_{0.2})O$ using neutron powder diffraction. This material exhibits a sluggish magnetic transition but possesses a long-range ordered antiferromagnetic ground state, as revealed by DC and AC magnetic susceptibility, elastic and inelastic neutron scattering measurements. The magnetic propagation wavevector is k=(1/2, 1/2, 1/2) based on the cubic structure Fm-3m, and the magnetic structure consists of ferromagnetic sheets in the (111) planes with spins antiparallel between two neighboring planes. Inelastic neutron scattering reveals strong magnetic excitations at 100 K that survive up to room temperature. This work demonstrates that entropy-stabilized oxides represent a unique platform to study long range magnetic order with extreme chemical disorder.


title: The Optimal Uncertainty Relation

abstract: Employing the lattice theory on majorization, we investigate the universal quantum uncertainty relation for any number observables and general measurement. We find: 1. The least bounds of the universal uncertainty relations can only be properly defined in the lattice theory; 2. Contrary to variance and entropy, the metric induced by the majorization lattice implies an intrinsic structure of the quantum uncertainty; 3. The lattice theory correlates the optimization of uncertainty relation with the entanglement transformation under local quantum operation and classical communication. Interestingly, the optimality of the universal uncertainty relation is found can be mimicked by the Lorenz curve, initially introduced in economics to measure the wealth concentration degree of a society.


title: Automatic trajectory measurement of large numbers of crowded objects

abstract: Complex motion patterns of natural systems, such as fish schools, bird flocks, and cell groups, have attracted great attention from scientists for years. Trajectory measurement of individuals is vital for quantitative and high-throughput study of their collective behaviors. However, such data are rare mainly due to the challenges of detection and tracking of large numbers of objects with similar visual features and frequent occlusions. We present an automatic and effective framework to measure trajectories of large numbers of crowded oval-shaped objects, such as fish and cells. We first use a novel dual ellipse locator to detect the coarse position of each individual and then propose a variance minimization active contour method to obtain the optimal segmentation results. For tracking, cost matrix of assignment between consecutive frames is trainable via a random forest classifier with many spatial, texture, and shape features. The optimal trajectories are found for the whole image sequence by solving two linear assignment problems. We evaluate the proposed method on many challenging data sets.


title: Secrecy Transmission in Large-Scale UAV-Enabled Wireless Networks

abstract: This paper considers the secrecy transmission in a large-scale unmanned aerial vehicle (UAV)-enabled wireless network, in which a set of UAVs in the sky transmit confidential information to their respective legitimate receivers on the ground, in the presence of another set of randomly distributed suspicious ground eavesdroppers. We assume that the horizontal locations of legitimate receivers and eavesdroppers are distributed as two independent homogeneous Possion point processes (PPPs), and each of the UAVs is positioned exactly above its corresponding legitimate receiver for efficient secrecy communication. Furthermore, we consider an elevation-angle-dependent line-of-sight (LoS)/non-LoS (NLoS) path-loss model for air-to-ground (A2G) wireless channels and employ the wiretap code for secrecy transmission. Under such setups, we first characterize the secrecy communication performance (in terms of the connection probability, secrecy outage probability, and secrecy transmission capacity) in mathematically tractable forms, and accordingly optimize the system configurations (i.e., the wiretap code rates and UAV positioning altitude) to maximize the secrecy transmission capacity, subject to a maximum secrecy outage probability constraint. Next, we propose to use the secrecy guard zone technique for further secrecy protection, and analyze the correspondingly achieved secrecy communication performance. Finally, we present numerical results to validate the theoretical analysis. It is shown that the employment of secrecy guard zone significantly improves the secrecy transmission capacity of this network, and the desirable guard zone radius generally decreases monotonically as the UAVs' and/or the eavesdroppers' densities increase.


title: UAV-aided urban target tracking system based on edge computing

abstract: Target tracking is an important issue of social security. In order to track a target, traditionally a large amount of surveillance video data need to be uploaded into the cloud for processing and analysis, which put stremendous bandwidth pressure on communication links in access networks and core networks. At the same time, the long delay in wide area network is very likely to cause a tracking system to lose its target. Often, unmanned aerial vehicle (UAV) has been adopted for target tracking due to its flexibility, but its limited flight time due to battery constraint and the blocking by various obstacles in the field pose two major challenges to its target tracking task, which also very likely results in the loss of target. A novel target tracking model that coordinates the tracking by UAV and ground nodes in an edge computing environment is proposed in this study. The model can effectively reduce the communication cost and the long delay of the traditional surveillance camera system that relies on cloud computing, and it can improve the probability of finding a target again after an UAV loses the tracing of that target. It has been demonstrated that the proposed system achieved a significantly better performance in terms of low latency, high reliability, and optimal quality of experience (QoE).


title: A New Codebook Design for Analog Beamforming in Millimeter-wave Communication

abstract: In this study, we analyze the codebook design used for analog beamforming. Analog beamforming and combining suffer from a subspace sampling limitation, that is, the receiver cannot directly observe the channel coefficients; instead, the receiver observes a noisy version of their weighted combination. To resolve this, the transmitter and the receiver usually collaborate to determine the best beamformer combiner pair during the beam-sweeping process. This is done by evaluating a limited number of codewords chosen from a pre-defined codebook. In this study, we propose a new framework inspired by the generalized Lloyd algorithm to design analog beamforming codebooks that optimize various performance metrics including the average beamforming gain, the outage, and the average data rate. The flexibility of our framework enables us to design beamforming codebooks for any array shapes including uniform linear and planar arrays. The other practical complexity in analog beamforming is the low resolution of the phase shifters. Therefore, we have extended our algorithm to create quantized codebooks that outperform the existing codebooks in literature. We have also provided extensive simulations to verify the superiority of our proposed codebook as compared with the existing codebooks.


title: A note on weak factorization of Meyer-type Hardy space via Cauchy integral operator

abstract: This paper provides a weak factorization for the Meyer-type Hardy space $H^1_b(\mathbb{R})$, and characterizations of its dual ${\rm BMO}_b(\mathbb{R})$ and its predual ${\rm VMO}_b(\mathbb{R})$ via boundedness and compactness of a suitable commutator with the Cauchy integral $\mathscr{C}_{\Gamma}$, respectively. Here $b(x)=1+iA'(x)$ where $A'\in L^{\infty}(\mathbb{R})$, and the Cauchy integral $\mathscr{C}_{\Gamma}$ is associated to the Lipschitz curve $\Gamma=\{x+iA(x)\, : \, x\in \mathbb{R}\}$.


title: SSGP topologies on free groups of infinite rank

abstract: We prove that every free group G with infinitely many generators admits a Hausdorff group topology T with the following property: for every T-open neighbourhood U of the identity of G, each element g in G can be represented as a product g=g_1 g_2 ... g_k such that the cyclic group generated by each g_i is contained in U. In particular, G admits a Hausdorff group topology with the small subgroup generating property of Gould. This provides a positive answer to a question of Comfort and Gould in the case of free groups with infinitely many generators. The case of free groups with finitely many generators remains open.


title: Group-theoretic remarks on Goldbach's conjecture

abstract: The famous strongly binary Goldbach's conjecture asserts that every even number $2n \geq 8$ can always be expressible as the sum of two distinct odd prime numbers. We use a new approach to dealing with this conjecture. Specifically, we apply the element order prime graphs of alternating groups of degrees $2n$ and $2n-1$ to characterize this conjecture, and present its six group-theoretic versions; and further prove that this conjecture is true for $p+1$ and $p-1$ whenever $p \geq 11$ is a prime number.


title: Real-Time Freespace Segmentation on Autonomous Robots for Detection of Obstacles and Drop-Offs

abstract: Mobile robots navigating in indoor and outdoor environments must be able to identify and avoid unsafe terrain. Although a significant amount of work has been done on the detection of standing obstacles (solid obstructions), not much work has been done on the detection of negative obstacles (e.g. dropoffs, ledges, downward stairs). We propose a method of terrain safety segmentation using deep convolutional networks. Our custom semantic segmentation architecture uses a single camera as input and creates a freespace map distinguishing safe terrain and obstacles. We then show how this freespace map can be used for real-time navigation on an indoor robot. The results show that our system generalizes well, is suitable for real-time operation, and runs at around 55 fps on a small indoor robot powered by a low-power embedded GPU.


title: A Meta-MDP Approach to Exploration for Lifelong Reinforcement Learning

abstract: In this paper we consider the problem of how a reinforcement learning agent that is tasked with solving a sequence of reinforcement learning problems (a sequence of Markov decision processes) can use knowledge acquired early in its lifetime to improve its ability to solve new problems. We argue that previous experience with similar problems can provide an agent with information about how it should explore when facing a new but related problem. We show that the search for an optimal exploration strategy can be formulated as a reinforcement learning problem itself and demonstrate that such strategy can leverage patterns found in the structure of related problems. We conclude with experiments that show the benefits of optimizing an exploration strategy using our proposed approach.


title: TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids

abstract: Power grids are undergoing major changes due to rapid growth in renewable energy and improvements in battery technology. Prompted by the increasing complexity of power systems, decentralized IoT solutions are emerging, which arrange local communities into transactive microgrids. The core functionality of these solutions is to provide mechanisms for matching producers with consumers while ensuring system safety. However, there are multiple challenges that these solutions still face: privacy, trust, and resilience. The privacy challenge arises because the time series of production and consumption data for each participant is sensitive and may be used to infer personal information. Trust is an issue because a producer or consumer can renege on the promised energy transfer. Providing resilience is challenging due to the possibility of failures in the infrastructure that is required to support these market based solutions. In this paper, we develop a rigorous solution for transactive microgrids that addresses all three challenges by providing an innovative combination of MILP solvers, smart contracts, and publish-subscribe middleware within a framework of a novel distributed application platform, called Resilient Information Architecture Platform for Smart Grid. Towards this purpose, we describe the key architectural concepts, including fault tolerance, and show the trade-off between market efficiency and resource requirements.


title: GA-Novo: De Novo Peptide Sequencing via Tandem Mass Spectrometry using Genetic Algorithm

abstract: Proteomics is the large-scale analysis of the proteins. The common method for identifying proteins and characterising their amino acid sequences is to digest the proteins into peptides, analyse the peptides using mass spectrometry and assign the resulting tandem mass spectra (MS/MS) to peptides using database search tools. However, database search algorithms are highly dependent on a reference protein database and they cannot identify peptides and proteins not included in the database. Therefore, de novo sequencing algorithms are developed to overcome the problem by directly reconstructing the peptide sequence of an MS/MS spectrum without using any protein database. Current de novo sequencing algorithms often fail to construct the completely matched sequences, and produce partial matches. In this study, we propose a genetic algorithm based method, GA-Novo, to solve the complex optimisation task of de novo peptide sequencing, aiming at constructing full length sequences. Given an MS/MS spectrum, GA-Novo optimises the amino acid sequences to best fit the input spectrum. On the testing dataset, GA-Novo outperforms PEAKS, the most commonly used software for this task, by constructing 8% higher number of fully matched peptide sequences, and 4% higher recall at partially matched sequences.


title: A Billion Updates per Second Using 30,000 Hierarchical In-Memory D4M Databases

abstract: Analyzing large scale networks requires high performance streaming updates of graph representations of these data. Associative arrays are mathematical objects combining properties of spreadsheets, databases, matrices, and graphs, and are well-suited for representing and analyzing streaming network data. The Dynamic Distributed Dimensional Data Model (D4M) library implements associative arrays in a variety of languages (Python, Julia, and Matlab/Octave) and provides a lightweight in-memory database. Associative arrays are designed for block updates. Streaming updates to a large associative array requires a hierarchical implementation to optimize the performance of the memory hierarchy. Running 34,000 instances of a hierarchical D4M associative arrays on 1,100 server nodes on the MIT SuperCloud achieved a sustained update rate of 1,900,000,000 updates per second. This capability allows the MIT SuperCloud to analyze extremely large streaming network data sets.


title: Axiomatic Theory of Betweenness

abstract: Betweenness as a relation between three individual points has been widely studied in geometry and axiomatized by several authors in different contexts. The article proposes a more general notion of betweenness as a relation between three sets of points. The main technical result is a sound and complete logical system describing universal properties of this relation between sets of vertices of a graph.


title: Analysis of a one-dimensional forager-exploiter model

abstract: \begin{abstract} \noindent % We consider the one-dimensional parabolic system The system \bas \left\{ \begin{array}{l} u_t= u_{xx} - \chi_1 (uw_x)_x, \\[1mm] v_t = v_{xx} - \chi_2 (vu_x)_x, \\[1mm] w_t = dw_{xx} - \lambda (u+v)w - \mu w + r, \end{array} \right. \eas % that has been proposed as a model to describe social interactions within mixed forager-exploiter groups. is considered in a bounded real interval, with positive parameters $\chi_1,\chi_2,d,\lambda$ and $\mu$, and with $r \ge 0$. Proposed to describe social interactions within mixed forager-exploiter groups, this model extends classical one-species chemotaxis-consumption systems by additionally accounting for a second axis mechanism coupled to the first in a consecutive manner. \abs % It is firstly shown that for all suitably regular initial data $(u_0, v_0, w_0)$, an associated Neumann-type initial-boundary value problem possesses a globally defined bounded classical solution. Moreover, it is asserted that this solution stabilizes to a spatially homogeneous equilibrium at an exponential rate under a smallness condition on $\min\{\io u_0, \io v_0\}$ that appears to be consistent with predictions obtained from formal stability analysis.\abs


title: Contra: A Programmable System for Performance-aware Routing

abstract: We present Contra, a system for performance-aware routing that can adapt to traffic changes at hardware speeds. While existing work has developed point solutions for performance-aware routing on a fixed topology (e.g., a Fattree) with a fixed routing policy (e.g., use least utilized paths), Contra can be configured to operate seamlessly over any network topology and a wide variety of sophisticated routing policies. Users of Contra write network-wide policies that rank network paths given their current performance. A compiler then analyzes such policies in conjunction with the network topology and decomposes them into switch-local P4 programs, which collectively implement a new, specialized distance-vector protocol. This protocol generates compact probes that traverse the network, gathering path metrics to optimize for the user policy dynamically. Switches respond to changing network conditions at hardware speeds by routing flowlets along the best policy-compliant paths. Our experiments show that Contra scales to large networks, and that in terms of flow completion times, it is competitive with hand-crafted systems that have been customized for specific topologies and policies.


title: Regularity theory for time-fractional advection-diffusion-reaction equations

abstract: We investigate the behavior of the time derivatives of the solution to a linear time-fractional, advection-diffusion-reaction equation, allowing space- and time-dependent coefficients as well as initial data that may have low regularity. Our focus is on proving estimates that are needed for the error analysis of numerical methods. The nonlocal nature of the fractional derivative creates substantial difficulties compared with the case of a classical parabolic PDE. In our analysis, we rely on novel energy methods in combination with a fractional Gronwall inequality and certain properties of fractional integrals.


title: Value-aware Recommendation based on Reinforced Profit Maximization in E-commerce Systems

abstract: Existing recommendation algorithms mostly focus on optimizing traditional recommendation measures, such as the accuracy of rating prediction in terms of RMSE or the quality of top-$k$ recommendation lists in terms of precision, recall, MAP, etc. However, an important expectation for commercial recommendation systems is to improve the final revenue/profit of the system. Traditional recommendation targets such as rating prediction and top-$k$ recommendation are not directly related to this goal. In this work, we blend the fundamental concepts in online advertising and micro-economics into personalized recommendation for profit maximization. Specifically, we propose value-aware recommendation based on reinforcement learning, which directly optimizes the economic value of candidate items to generate the recommendation list. In particular, we generalize the basic concept of click conversion rate (CVR) in computational advertising into the conversation rate of an arbitrary user action (XVR) in E-commerce, where the user actions can be clicking, adding to cart, adding to wishlist, etc. In this way, each type of user action is mapped to its monetized economic value. Economic values of different user actions are further integrated as the reward of a ranking list, and reinforcement learning is used to optimize the recommendation list for the maximum total value. Experimental results in both offline benchmarks and online commercial systems verified the improved performance of our framework, in terms of both traditional top-$k$ ranking tasks and the economic profits of the system.


title: Jost function based on the Hartree-Fock-Bogoliubov formalism

abstract: We formulate the Jost function formalism based on the Hartree-Fock-Bogoliubov (HFB) theory which has been used to represent the nature of the superfluidity of nucleus. The Jost function based on the HFB can give the analytic representation of the S-matrix for the nucleon elastic scattering targeting on the open-shell nucleus taking into account the pairing effect. By adopting the Woods-Saxon potential, we show the numerical results of S-matrix poles and their trajectories with varying the pairing strength in two cases of Fermi energies. The total cross sections in each cases for neutron elastic scattering are also analyzed, and we confirmed some staggering shapes or sharp resonances originated from the effect of pairing can be seen in the cross section.


title: Radiative decays and the $\mathbf {SU(6)}$ Lie Algebra

abstract: We present research on radiative decays of vector ($J^{PC}=1^{--}$) to pseudoscalar ($J^{PC}=0^{-+}$) particles ($u$, $d$, $s$, $c$, $b$, $t$ quark system) using broken symmetry techniques in the infinite momentum frame and equal time commutation relations and the $SU(6)$ Lie algebra and conducted without ascribing any specific form to meson quark structure or intra-quark interactions. We utilize the physical electromagnetic current $j_{em}^{\mu}(0)$ including its singlet $U(1)$ term and focus on the $SU(6)$ $35$-plet. We derive new relations involving the electromagnetic current (including its singlet--proportional to the $SU(6)$ singlet). Remarkably, we find that the electromagnetic current singlet plays an intrinsic role in understanding the physics of radiative decays and that the charged and neutral $\rho$ meson radiative decays into $\pi \, \gamma$ are due entirely to the singlet term in $j_{em}^{\mu}(0)$. Although there is insufficient radiative decay experimental data available at this time, parametrization of possible predicted values of $\Gamma({{{D}}^{*}}^{0}\rightarrow D^{0}\,\gamma)$ is made. For conciseness and self-containment, we compute all $SU(6)$ Lie algebra simple roots, positive roots, weights and fundamental weights which allow the construction of all $SU(6)$ representations. We also derive all non-zero $SU(6)$ generator commutators and anti-commutators---useful for further research on grand unified theories.


title: Fluid-gravity and membrane-gravity dualities - Comparison at subleading orders

abstract: In this note we have compared two different perturbation techniques that could be used to generate solutions of Einstein's equations in presence of negative cosmological constant. One of these two methods is derivative expansion and the other is an expansion in inverse powers of dimension. Both the techniques generate space-time with a singularity shielded by a dynamical event horizon. We have shown that in the appropriate regime of parameter space and with appropriate choice of coordinates, the metrics and corresponding horizon dynamics, generated by these two different techniques, are exactly equal to the order the solutions are known both sides. This work is essentially extension of \cite{prevwork} where the authors have shown the equivalence of the two techniques up to the first non-trivial order.


title: Night Time Haze and Glow Removal using Deep Dilated Convolutional Network

abstract: In this paper, we address the single image haze removal problem in a nighttime scene. The night haze removal is a severely ill-posed problem especially due to the presence of various visible light sources with varying colors and non-uniform illumination. These light sources are of different shapes and introduce noticeable glow in night scenes. To address these effects we introduce a deep learning based DeGlow-DeHaze iterative architecture which accounts for varying color illumination and glows. First, our convolution neural network (CNN) based DeGlow model is able to remove the glow effect significantly and on top of it a separate DeHaze network is included to remove the haze effect. For our recurrent network training, the hazy images and the corresponding transmission maps are synthesized from the NYU depth datasets and consequently restored a high-quality haze-free image. The experimental results demonstrate that our hybrid CNN model outperforms other state-of-the-art methods in terms of computation speed and image quality. We also show the effectiveness of our model on a number of real images and compare our results with the existing night haze heuristic models.


title: X-ray Activity from Different Types of Stars

abstract: X-ray emission is an important indicator of stellar activity. In this paper, we study stellar X-ray activity using the XMM-Newton and LAMOST data for different types of stars. We provide a sample including 1259 X-ray emitting stars, of which 1090 have accurate stellar parameter estimations. Our sample size is much larger than those in previous works. We find a bimodal distribution of X-ray to optical flux ratio (log(fX/fV)) for G and K stars. We interpret that this bimodality is due to two subpopulations with different coronal heating rates. Furthermore, using the full widths at half maxima calculated from H{\alpha} and H\b{eta} lines, we show that these stars in the inactive peaks have smaller rotational velocities. This is consistent with the magnetic dynamo theory that stars with low rotational velocities have low levels of stellar activity. We also examine the correlation between log(fX/fV) and luminosity of the excess emission in the H{\alpha} line, and find a tight relation between the coronal and chromospheric activity indicators.


title: On the effect of Re addition on microstructural evolution of a CoNi-based superalloy

abstract: In this study, the effect of rhenium (Re) addition on microstructural evolution of a new low-density Co-Ni-Al-Mo-Nb based superalloy is presented. Addition of Re significantly influences the {\gamma}' precipitate morphology, the {\gamma}/{\gamma}' lattice misfit and the {\gamma}/{\gamma}' microstructural stability during long term aging. An addition of 2 at.% Re to a Co-30Ni-10Al-5Mo-2Nb (all in at.%) alloy, aged at 900{\deg}C for 50 hours, reduces the {\gamma}/{\gamma}' lattice misfit by {\approx} 40% (from +0.32% to +0.19%, measured at room temperature) and hence alters the {\gamma}' morphology from cuboidal to round-cornered cuboidal precipitates. The composition profiles across the {\gamma}/{\gamma}' interface by atom probe tomography (APT) reveals Re partitions to the {\gamma} phase (K_Re=0.34) and also results in the partitioning reversal of Mo to the {\gamma} phase (K_Mo=0.90) from the {\gamma}' precipitate. An inhomogeneous distribution of Gibbsian interfacial excess for the solute Re ({\Gamma}_Re, ranging from 0.8 to 9.6 atom.nm-2) has been observed at the {\gamma}/{\gamma}' interface. A coarsening study at 900{\deg}C (up to 1000 hours) suggests that the coarsening of {\gamma}' precipitates occurs solely by an evaporation--condensation (EC) mechanism. This is contrary to that observed in the Co-30Ni-10Al-5Mo-2Nb alloy as well as in some of the Ni-Al based and high mass density Co-Al-W based superalloys, where {\gamma}' precipitates coarsen by coagulation/coalescence mechanism with extensive alignment of {\gamma}' along <100> directions as a sign of microstructural instability. The {\gamma}' coarsening rate exponent (K_r) and {\gamma}/{\gamma}' interfacial energy are estimated to be 1.41 x 10-27 m3/s and 8.4 mJ/m2, which are comparable and lower than Co-Al-W based superalloys.


title: A conformal gauge theory of solids: insights into a class of electromechanical and magnetomechanical phenomena

abstract: A gauge theory of solids with conformal symmetry is formulated to model various electromechanical and magnetomechanical coupling phenomena. If the pulled back metric of the current configuration (the right Cauchy-Green tensor) is scaled with a constant, the volumetric part of the Lagrange density changes while the isochoric part remains invariant. However, upon a position dependent scaling, the isochoric part also loses invariance. In order to restore the invariance of the isochoric part, a 1-form compensating field is introduced and the notion of a gauge covariant derivative is utilized to minimally replace the Lagrangian. In view of obvious similarities with the Weyl geometry, the Weyl condition is imposed through the Lagrangian and a minimal coupling is employed so the 1-form could evolve. On deriving the Euler-Lagrange equations based on the action functional, we observe a close similarity with the governing equations for flexoelectricity under isochoric deformation if the exact part of 1-form is interpreted as the electric field and the anti-exact part as the polarization vector. Next, we model piezoelectricity and electrostriction phenomena by contracting the Weyl condition in various ways. Applying the Hodge decomposition theorem on the 1-form which leads to the curl of a pseudo-vector field and a vector field, we also model magnetomechanical phenomena. Identifying the pseudo-vector field with magnetic potential and the vector part with magnetization, flexomagnetism, piezomagnetism and magnetostriction phenomena under isochoric deformation are also modeled. Finally, we consider an analytical solution of the equations for piezoelectricity to provide an illustration on the insightful information that the present approach potentially provides.


title: Surface tide on a rapidly rotating body

abstract: By solving Laplace's tidal equations with friction terms we study the surface tide on a rapidly rotating body. When $\epsilon=\Omega^2 R/g$, the square of the ratio of dynamical timescale to rotational timescale, is very small for the Earth the asymptotic result was derived. When it is not so small, e.g. a rapidly rotating star or planet, we perform numerical calculations. It is found that when rotation is sufficiently fast ($\epsilon$ reaches $0.1$) a great amount of tidal resonances appear. To generate the same level of tide, a faster rotation corresponds to a lower tidal frequency. Friction suppresses tidal resonances but cannot completely suppress them at fast rotation. The thickness of fluid layer can change tidal resonances but this change becomes weaker at faster rotation. This result is of help to understanding the tides in the atmosphere of a rapidly rotating star or planet or in the ocean of a neutron star.

categories: astro-ph.SR astro-ph.EP physics.flu-dyn physics.geo-ph


title: Unraveling the Metastability of C_n^{2+} (n=2-4) Clusters

abstract: Pure carbon clusters have received considerable attention for a long time. However, fundamental questions such as what the smallest stable carbon cluster dication is remain unclear. Here, we investigated the stability and fragmentation behavior of C_n^{2+} (n=2-4) dications using state-of-the-art atom probe tomography. These small doubly charged carbon cluster ions were produced by laser-pulsed field evaporation from a tungsten carbide field emitter. Correlation analysis of the fragments detected in coincidence reveals that they only decay to C_{n-1}^+ + C^+. During C_2^{2+} => C^+ + C^+, significant kinetic energy release (\approx 5.75-7.8 eV) is evidenced. Through advanced experimental data processing combined with \textit{ab initio} calculations and simulations, we show that the field evaporated diatomic ^12C_2^{2+} dications are either in a weakly bound ^3{\Pi}_u and ^3{\Sigma}_g^- state, quickly dissociating under the intense electric field, or in a deeply bound electronic ^5{\Sigma}_u^- state with lifetimes longer than 180 ps.


title: Linear optics based entanglement concentration protocols for Cluster-type entangled coherent state

abstract: We proposed two linear optics based entanglement concentration protocols (ECPs) to obtain maximally entangled 4-mode Cluster-type entangled coherent state (ECS) from less (partially) entangled Cluster-type ECS. The first ECP is designed using a superposition of single-mode coherent state with two unknown parameters, whereas the second ECP is obtained using a superposition of single-mode coherent state and a superposition of two-mode coherent state with four unknown parameters. The success probabilities have been calculated for both the ECPs. Necessary quantum circuits enabling future experimental realizations of the proposed ECPs are provided using linear optical elements. Further, the benefit of the proposed schemes is established in the context of long distance quantum communication where photon loss is an obstruction.


title: Distributed Optimization for a Class of High-order Nonlinear Multi-agent Systems with Unknown Dynamics

abstract: In this paper, we study a distributed optimization problem for a class of high-order multi-agent systems with unknown dynamics. In comparison with existing results for integrators or linear agents, we need to overcome the difficulties brought by the unknown nonlinearities and also the optimization requirement. For this purpose, we employ an embedded control based design and first convert this problem into an output stabilization problem. Then, two kinds of adaptive controllers are given for these agents to drive their outputs to the global optimal solution under some mild conditions. Finally, we show that the estimated parameter vector converges to the true parameter vector under some well-known persistence of excitation condition. The efficacy of these algorithms was verified by a simulation example.


title: Neural Extractive Text Summarization with Syntactic Compression

abstract: Recent neural network approaches to summarization are largely either selection-based extraction or generation-based abstraction. In this work, we present a neural model for single-document summarization based on joint extraction and syntactic compression. Our model chooses sentences from the document, identifies possible compressions based on constituency parses, and scores those compressions with a neural model to produce the final summary. For learning, we construct oracle extractive-compressive summaries, then learn both of our components jointly with this supervision. Experimental results on the CNN/Daily Mail and New York Times datasets show that our model achieves strong performance (comparable to state-of-the-art systems) as evaluated by ROUGE. Moreover, our approach outperforms an off-the-shelf compression module, and human and manual evaluation shows that our model's output generally remains grammatical.


title: The monoid of monotone functions on a poset and quasi-arithmetic multiplicities for uniform matroids

abstract: We describe the structure of the monoid of natural-valued monotone functions on an arbitrary poset. For this monoid we provide a presentation, a characterization of prime elements, and a description of its convex hull. We also study the associated monoid ring, proving that it is normal, and thus Cohen-Macaulay. We determine its Cohen-Macaulay type, characterize the Gorenstein property, and provide a Gr\"obner basis of the defining ideal. Then we apply these results to the monoid of quasi-arithmetic multiplicities on a uniform matroid. Finally we state some conjectures on the number of irreducibles for the monoid of multiplicities on an arbitrary matroid.


title: Distributed Optimal Steady-State Regulation for High-Order Multi-Agent Systems with External Disturbances

abstract: In this paper, a distributed optimal steady-state regulation problem is formulated and investigated for heterogeneous linear multi-agent systems subject to external disturbances. We aim to steer this high-order multi-agent network to a prescribed steady-state determined as the optimal solution of a resource allocation problem in a distributed way. To solve this problem, we employ an embedded control design and convert the formulated problem to two simpler subproblems. Then, both state-feedback and output feedback controls are presented under mild assumptions to solve this problem with disturbance rejection. Moreover, we extend these results to the case with only real-time gradient information by high-gain control techniques. Finally, numerical simulations verify their effectiveness.


title: Semi-Supervised Learning Detector for MU-MIMO Systems with One-bit ADCs

abstract: We study an uplink multiuser multiple-input multiple-output (MU-MIMO) system with one-bit analog-to-digital converters (ADCs). For such system, a supervised-learning (SL) detector has been recently proposed by modeling a non-linear end-to-end system function into a parameterized Bernoulli-like model. Despite its attractive performance, the SL detector requires a large amount of labeled data (i.e., pilot signals) to estimate the parameters of the underlying model accurately. This is because the amount of the parameters grows exponentially with the number of users. To overcome this drawback, we propose a semi-supervised learning (SSL) detector where both pilot signals (i.e., labeled data) and some part of data signals (i.e., unlabeled data) are used to estimate the parameters via expectation-maximization (EM) algorithm. Via simulation results, we demonstrate that the proposed SSL detector can achieve the performance of the existing SL detector with significantly lower pilot-overhead.


title: Convergence study and optimal weight functions of an explicit particle method for the incompressible Navier--Stokes equations

abstract: To increase the reliability of simulations by particle methods for incompressible viscous flow problems, convergence studies and improvements of accuracy are considered for a fully explicit particle method for incompressible Navier--Stokes equations. The explicit particle method is based on a penalty problem, which converges theoretically to the incompressible Navier--Stokes equations, and is discretized in space by generalized approximate operators defined as a wider class of approximate operators than those of the smoothed particle hydrodynamics (SPH) and moving particle semi-implicit (MPS) methods. By considering an analytical derivation of the explicit particle method and truncation error estimates of the generalized approximate operators, sufficient conditions of convergence are conjectured.Under these conditions, the convergence of the explicit particle method is confirmed by numerically comparing errors between exact and approximate solutions. Moreover, by focusing on the truncation errors of the generalized approximate operators, an optimal weight function is derived by reducing the truncation errors over general particle distributions. The effectiveness of the generalized approximate operators with the optimal weight functions is confirmed using numerical results of truncation errors and driven cavity flow. As an application for flow problems with free surface effects, the explicit particle method is applied to a dam break flow.


title: Cosmic-ray muon flux at Canfranc Underground Laboratory

abstract: Residual flux and angular distribution of high-energy cosmic muons have been measured in two underground locations at the Canfranc Underground Laboratory (LSC) using a dedicated Muon Monitor. The instrument consists of three layers of fast scintillation detector modules operating as 352 independent pixels. The monitor has flux-defining area of 1 m${}^{2}$, covers all azimuth angles, and zenith angles up to $80^\circ$. The measured integrated muon flux is $(5.26 \pm 0.21) \times 10^{-3}$ m${}^{-2}$s${}^{-1}$ in the Hall A of the LAB2400 and $(4.29 \pm 0.17) \times 10^{-3}$ m${}^{-2}$s${}^{-1}$ in LAB2500. The angular dependence is consistent with the known profile and rock density of the surrounding mountains. In particular, there is a clear maximum in the flux coming from the direction of the Rioseta valley.


title: Quantum Speedup in Adaptive Boosting of Binary Classification

abstract: In classical machine learning, a set of weak classifiers can be adaptively combined to form a strong classifier for improving the overall performance, a technique called adaptive boosting (or AdaBoost). However, constructing the strong classifier for a large data set is typically resource consuming. Here we propose a quantum extension of AdaBoost, demonstrating a quantum algorithm that can output the optimal strong classifier with a quadratic speedup in the number of queries of the weak classifiers. Our results also include a generalization of the standard AdaBoost to the cases where the output of each classifier may be probabilistic even for the same input. We prove that the update rules and the query complexity of the non-deterministic classifiers are the same as those of deterministic classifiers, which may be of independent interest to the classical machine-learning community. Furthermore, the AdaBoost algorithm can also be applied to data encoded in the form of quantum states; we show how the training set can be simplified by using the tools of t-design. Our approach describes a model of quantum machine learning where quantum speedup is achieved in finding the optimal classifier, which can then be applied for classical machine-learning applications.


title: Robust self-testing of two-qubit states

abstract: It is well-known that observing nonlocal correlations allows us to draw conclusions about the quantum systems under consideration. In some cases this yields a characterisation which is essentially complete, a phenomenon known as self-testing. Self-testing becomes particularly interesting if we can make the statement robust, so that it can be applied to a real experimental setup. For the simplest self-testing scenarios the most robust bounds come from the method based on operator inequalities. In this work we elaborate on this idea and apply it to the family of tilted CHSH inequalities. These inequalities are maximally violated by partially entangled two-qubit states and our goal is to estimate the quality of the state based only on the observed violation. For these inequalities we have reached a candidate bound and while we have not been able to prove it analytically, we have gathered convincing numerical evidence that it holds. Our final contribution is a proof that in the usual formulation, the CHSH inequality only becomes a self-test when the violation exceeds a certain threshold. This shows that self-testing scenarios fall into two distinct classes depending on whether they exhibit such a threshold or not.


title: Cube complexes and abelian subgroups of automorphism groups of RAAGs

abstract: We construct free abelian subgroups of the group $U(A_\Gamma)$ of untwisted outer automorphisms of a right-angled Artin group, thus giving lower bounds on the virtual cohomological dimension. The group $U(A_\Gamma)$ was previously studied by Charney, Stambaugh and the second author, who constructed a contractible cube complex on which it acts properly and cocompactly, giving an upper bound for the virtual cohomological dimension. The ranks of our free abelian subgroups are equal to the dimensions of the principal cubes in this complex. These are often of maximal dimension, so that the upper and lower bounds agree. In many cases when the principal cubes are not of maximal dimension we show there is an invariant contractible subcomplex of strictly lower dimension.


title: Notes on the Szego minimum problem. II. Singular measures

abstract: In this part, we prove several quantitative results concerning with the Szego minimum problem for classes of measure on the unit circle concentrated on small subsets. As a by-product, we refute one conjecture of Nevai. This note can be read independently from the first one.


title: An Empirical Study on Regularization of Deep Neural Networks by Local Rademacher Complexity

abstract: Regularization of Deep Neural Networks (DNNs) for the sake of improving their generalization capability is important and challenging. The development in this line benefits theoretical foundation of DNNs and promotes their usability in different areas of artificial intelligence. In this paper, we investigate the role of Rademacher complexity in improving generalization of DNNs and propose a novel regularizer rooted in Local Rademacher Complexity (LRC). While Rademacher complexity is well known as a distribution-free complexity measure of function class that help boost generalization of statistical learning methods, extensive study shows that LRC, its counterpart focusing on a restricted function class, leads to sharper convergence rates and potential better generalization given finite training sample. Our LRC based regularizer is developed by estimating the complexity of the function class centered at the minimizer of the empirical loss of DNNs. Experiments on various types of network architecture demonstrate the effectiveness of LRC regularization in improving generalization. Moreover, our method features the state-of-the-art result on the CIFAR-$10$ dataset with network architecture found by neural architecture search.


title: Notes on the Szego minimum problem. I. Measures with deep zeroes

abstract: The classical Szego polynomial approximation theorem states that the polynomials are dense in the space $L^2(\rho)$, where $\rho$ is a measure on the unit circle, if and only if the logarithmic integral of the measure $\rho$ diverges. In this note we give a quantitative version of Szego's theorem in the special case when the divergence of the logarithmic integral is caused by deep zeroes of the measure $\rho$ on a sufficiently rare subset of the circle.


title: Automated identification and characterization method of turbulent bursting from single-point records of the velocity field

abstract: A new automated method capable of accurately identifying bursting periods in single-point turbulent velocity field records is presented. Manual selection of the method sensitivity (tau*) and threshold (eT) are necessary for effective discrimination between burst periods and the background turbulent flow fluctuations (burst-free periods). The flow characteristic used for identification is the normalized 'instantaneous' TKE dissipation rate levels, calculated using sliding window averaging. Use of the record root mean square and average values for normalization eliminates the need for definition of a physics-based flow-specific threshold. Instead, the suitable sensitivity range and the threshold parameters are selected based on preliminary examination of the velocity records. This, potentially, makes the method applicable for use across various flow fields, especially as it does not require resolving the burst-generation mechanism. The method performance is examined using a field obtained dataset of buoyancy driven turbulent boundary layer flow. Here, the selection of a two-fold (eT=2) increase is used and the sensitivity of the method is examined. Spectral shapes of non-bursting periods show distinguished similarity to those of the Kolmogorov theory, while the bursting period spectral shapes vary significantly. Low resolution records of temperature fluctuations were observed to exhibit a significant decrease in temperature (scalar) dissipation rate during bursting periods. Based on this observation and additional processing, a statistical examination of temperature (scalar) dissipation rate is presented along with a normalization procedure. Future examination of additional scalar variations, i.e. particulate matter and/or gaseous pollutant concentrations, in connection with turbulent bursting periods can assist in further understanding of bursting generation and scalar transfer processes.


title: Spectrality of polytopes and equidecomposability by translations

abstract: Let $A$ be a polytope in $\mathbb{R}^d$ (not necessarily convex or connected). We say that $A$ is spectral if the space $L^2(A)$ has an orthogonal basis consisting of exponential functions. A result due to Kolountzakis and Papadimitrakis (2002) asserts that if $A$ is a spectral polytope, then the total area of the $(d-1)$-dimensional faces of $A$ on which the outward normal is pointing at a given direction, must coincide with the total area of those $(d-1)$-dimensional faces on which the outward normal is pointing at the opposite direction. In this paper, we prove an extension of this result to faces of all dimensions between $1$ and $d-1$. As a consequence we obtain that any spectral polytope $A$ can be dissected into a finite number of smaller polytopes, which can be rearranged using translations to form a cube.


title: Topology Optimization with Bilevel Knapsack: An Efficient 51 Lines MATLAB Code

abstract: This paper presents an efficient 51 lines Matlab code to solve topology optimization problems. By the fact that the presented code is based on an hard 0-1 optimization method that handles the integer part of the optimization in a simple fashion and in sub-polynomial time, it has been possible to not only reduce the number of lines to 51 without sacrificing any readability, but also to obtain void-solid designs with close to none checkerboard patterns with improved efficiency. The numerical results in the paper show that the proposed method has the best average times compared to several codes available in literature. We also present extensions to different boundary conditions and to three dimensional designs. The code can be used by students and the newcomers in topology optimization because of its simplicity and readability. The 51 lines Matlab code and the presented extensions can be downloaded on the webpage https://github.com/vlatorre847/TOSSE.


title: On the Practicality of Smart Contract PKI

abstract: Public key infrastructures (PKIs) are one of the main building blocks for securing communications over the Internet. Currently, PKIs are under the control of centralized authorities, which is problematic as evidenced by numerous incidents where they have been compromised. The distributed, fault tolerant log of transactions provided by blockchains and more recently, smart contract platforms, constitutes a powerful tool for the decentralization of PKIs. To verify the validity of identity records, blockchain-based identity systems store on chain either all identity records, or, a small (or even constant) sized amount of data to verify identity records stored off chain. However, as most of these systems have never been implemented, there is little information regarding the practical implications of each design's tradeoffs. In this work, we first implement and evaluate the only provably secure, smart contract based PKI of [1] on top of Ethereum. This construction incurs constant-sized storage at the expense of computational complexity. To explore this tradeoff, we propose and implement a second construction which, eliminates the need for trusted setup, preserves the security properties of [1] and, as illustrated through our evaluation, is the only version with constant-sized state that can be deployed on the live chain of Ethereum. Furthermore, we compare these two systems with the simple approach of most prior works, e.g., the Ethereum Name Service, where all identity records are stored on the smart contract's state, to illustrate several shortcomings of Ethereum and its cost model. We propose several modifications for fine tuning the model, which would be useful to be considered for any smart contract platform like Ethereum so that it reaches its full potential to support arbitrary distributed applications.


title: Scarring in open chaotic systems: The local density of states

abstract: Chaotic Hamiltonians are known to follow Random Matrix Theory (RMT) ensembles in the apparent randomness of their spectra and wavefunction statistics. Deviations form RMT also do occur, however, due to system-specific properties, or as quantum signatures of classical chaos. Scarring, for instance, is the enhancement of wavefunction intensity near classical periodic orbits, and it can be characterized by a local density of states (or local spectrum) that clearly deviates from RMT expectations, by exhibiting a peaked envelope, which has been described semiclassically. Here, the system is connected to an opening, the local density of states is introduced for the resulting non-Hermitian chaotic Hamiltonian, and estimated a priori in terms of the Green's function of the closed system and the open channels. The predictions obtained are tested on quantum maps coupled both to a single-channel opening and to a Fresnel-type continuous opening. The main outcome is that strong coupling to the opening gradually suppresses the energy dependence of the local density of states due to scarring, and restores RMT behavior.


title: Doubling Constructions and Tensor Product $L$-Functions: coverings of the symplectic group

abstract: In this work we develop an integral representation for the partial $L$-function of a pair $\pi\times\tau$ of genuine irreducible cuspidal automorphic representations, $\pi$ of the $m$-fold covering of Matsumoto of the symplectic group $Sp_{2n}$, and $\tau$ of a certain covering group of $GL_k$, with arbitrary $m$, $n$ and $k$. Our construction is based on the recent extension by Cai, Friedberg, Ginzburg and the author, of the classical doubling method of Piatetski-Shapiro and Rallis, from rank-$1$ twists to arbitrary rank twists. We prove a basic global identity for the integral and compute the local integrals with unramified data. Possible applications include an analytic definition of local factors for representations of covering groups, and a Shimura type lift of representations from covering groups to general linear groups.


title: An Alternative Paradigm for Developing and Pricing Storage on Smart Contract Platforms

abstract: Smart contract platforms facilitate the development of important and diverse distributed applications in a simple manner. This simplicity stems from the inherent utility of employing the state of smart contracts to store, query and verify the validity of application data. In Ethereum, data storage incurs an underpriced, non-recurring, predefined fee. Furthermore, as there is no incentive for freeing or minimizing the state of smart contracts, Ethereum is faced with a tragedy of the commons problem with regards to its monotonically increasing state. This issue, if left unchecked, may lead to centralization and directly impact Ethereum's security and longevity. In this work, we introduce an alternative paradigm for developing smart contracts in which their state is of constant size and facilitates the verification of application data that are stored to and queried from an external, potentially unreliable, storage network. This approach is relevant for a wide range of applications, such as any key-value store. We evaluate our approach by adapting the most widely deployed standard for fungible tokens, i.e., the ERC20 token standard. We show that Ethereum's current cost model penalizes our approach, even though it minimizes the overhead to Ethereum's state and aligns well with Ethereum's future. We address Ethereum's monotonically increasing state in a two-fold manner. First, we introduce recurring fees that are proportional to the state of smart contracts and adjustable by the miners that maintain the network. Second, we propose a scheme where the cost of storage-related operations reflects the effort that miners have to expend to execute them. Lastly, we show that under such a pricing scheme that encourages economy in the state consumed by smart contracts, our ERC20 token adaptation reduces the incurred transaction fees by up to an order of magnitude.


title: Online Diversity Control in Symbolic Regression via a Fast Hash-based Tree Similarity Measure

abstract: Diversity represents an important aspect of genetic programming, being directly correlated with search performance. When considered at the genotype level, diversity often requires expensive tree distance measures which have a negative impact on the algorithm's runtime performance. In this work we introduce a fast, hash-based tree distance measure to massively speed-up the calculation of population diversity during the algorithmic run. We combine this measure with the standard GA and the NSGA-II genetic algorithms to steer the search towards higher diversity. We validate the approach on a collection of benchmark problems for symbolic regression where our method consistently outperforms the standard GA as well as NSGA-II configurations with different secondary objectives.


title: Modelling the Political Context in Requirements Engineering. The System is made for Man, not Man for the System

abstract: This paper describes the authors point of view on reaching a stage at which it is necessary to understand customer organizations better to identify their problems and how to address them. To resolve this issue we need a mechanism to capture and model how that organization actually operates by mapping organizations against the system to be developed, by including power and politics in their "too human" and even emotional dimension. We then describe here a notation by which to recognize and document power, politics and the emotional aspects of software requirements-related decision-making in customer organizations. We conclude by outlining that our suggested graphical notation would maybe not solve the problem: but even if it just raises awareness, this would make us closer to solving the problem. Given the sensibility of the political issue, it is assumed that the generated diagram using the above mentioned notations is only for the requirements engineer and his/her team, thus remaining strictly private.


title: Stimulated Raman adiabatic passage: effect of system parameters on population transfer

abstract: The Stimulated Raman Adiabatic Passage (STIRAP) procedure is a robust and complete population transfer method which have various application in chemistry and atomic physics. Here, we study the effects of one-photon detuning, transition time, pulse width, and pulse delay parameters on the population transfer via STIRAP and b-STIRAP techniques. Moreover, the impact of the field amplitude which decreases the population transfer has been analyzed and it is shown that in b-STIRAP, the robustness of the complete transition can be improved by decreasing the field amplitude in the single-photon resonance condition.


title: Hadronic vacuum polarization contribution to the muon $g-2$ with 2+1 flavor lattice QCD on a larger than (10 fm$)^4$ lattice at the physical point

abstract: We study systematic uncertainties in the lattice QCD computation of hadronic vacuum polarization (HVP) contribution to the muon $g-2$. We investigate three systematic effects; finite volume (FV) effect, cutoff effect, and integration scheme dependence. We evaluate the FV effect at the physical pion mass on two different volumes of (5.4 fm$)^4$ and (10.8 fm$)^4$ using the PACS10 configurations at the same cutoff scale. For the cutoff effect, we compare two types of lattice vector operators, which are local and conserved (point-splitting) currents, by varying the cutoff scale on a larger than (10 fm$)^4$ lattice at the physical point. For the integration scheme dependence, we compare the results between the coordinate- and momentum-space integration schemes at the physical point on a (10.8 fm$)^4$ lattice. Our result for the HVP contribution to the muon $g-2$ is given by $a_\mu^{\rm hvp} = 737(9)(^{+13}_{-18})\times 10^{-10}$ in the continuum limit, where the first error is statistical and the second one is systematic.


title: Propagation of QCD Color through Strongly Interacting Systems

abstract: The propagation of QCD color through atomic nuclei is studied via a new analysis using a geometric model of semi-inclusive deep inelastic scattering. The experimental data were previously published by the HERMES Collaboration and consisted of the multiplicity ratio observable (2007) and the transverse momentum broadening observable (2010). We perform a simultaneous fit of these two observables to estimate (1) the color lifetime of the quark, (2) quark energy loss, (3) the $\hat{q}$ transport coefficient, and (4) the cross section for hadronic interaction with the medium. We present preliminary results for this fit.


title: Multi-walled carbon nanotube films for the measurement of the alcoholic concentration

abstract: We show that a multi-walled carbon nanotube film can be used as the sensing element of a low-cost sensor for the alcoholic concentration in liquid solutions. To this purpose, we investigate the electrical resistance of the film as a function of the isopropanol concentration in a water solution. The analysis reveals a growing resistance with increasing isopropanol concentration and a fast response. The sensing element is re-usable as the initial resistance value is restored once the solution has evaporated. The electrical resistance increases linearly when the multi-walled carbon nanotube film is exposed to common beverages with increasing alcoholic content. This work paves the way for the development of low-cost, miniaturized MWCNT-based sensors for quality monitoring and control of alcoholic beverages and general liquid solutions.