title: Deep Collaborative Embedding for information cascade prediction

abstract: Recently, information cascade prediction has attracted increasing interest from researchers, but it is far from being well solved partly due to the three defects of the existing works. First, the existing works often assume an underlying information diffusion model, which is impractical in real world due to the complexity of information diffusion. Second, the existing works often ignore the prediction of the infection order, which also plays an important role in social network analysis. At last, the existing works often depend on the requirement of underlying diffusion networks which are likely unobservable in practice. In this paper, we aim at the prediction of both node infection and infection order without requirement of the knowledge about the underlying diffusion mechanism and the diffusion network, where the challenges are two-fold. The first is what cascading characteristics of nodes should be captured and how to capture them, and the second is that how to model the non-linear features of nodes in information cascades. To address these challenges, we propose a novel model called Deep Collaborative Embedding (DCE) for information cascade prediction, which can capture not only the node structural property but also two kinds of node cascading characteristics. We propose an auto-encoder based collaborative embedding framework to learn the node embeddings with cascade collaboration and node collaboration, in which way the non-linearity of information cascades can be effectively captured. The results of extensive experiments conducted on real-world datasets verify the effectiveness of our approach.


title: On the Universal Texture in the PA-2HDM for the V-SPIN case

abstract: In a Partially Aligned Two Higgs Doublet Model, where only is allowed flavor violation between third and second generation of fermions, we propose a mechanism to generate the second Yukawa matrix through a Unitary V-Spin flavor transformation on the mass matrix for quarks and leptons. Also we assume that this flavor transformation is universal, this is, we use the same parameters to generate Yukawa matrix elements in both sectors, reducing drastically the number of free parameters. As consequence we obtained a serie of relations between Yukawa matrix elements, that we called the Universality Constraint. Also, we obtained an interval of values for the second Yukawa matrix elements, expressed in terms of the Cheng and Sher ansatz, for $\tau\to\ mu\mu^+\mu^-$ and $\tau\to\gamma\mu$ coming from the Universality Constraint and experimental bounds for light scalar masses. Finally, we show the allowed region of parameters for the flavor transformation from $B_s\to\mu\mu$ decays, $B_s^0-\bar{B}_s^0$ mixing, $\tau\to\mu\mu^+\mu^-$ and $\tau\to\gamma\mu$ experimental bounds.


title: Multiloop QED in the Euler-Heisenberg approach

abstract: I summarize what is known about the Euler-Heisenberg Lagrangian and its multiloop corrections for scalar and spinor QED, in various types of constant fields, and in various dimensions. Particular attention is given to the asymptotic properties of the weak-field expansion of the Lagrangian, which via Borel summation is related to Schwinger pair-creation, and the status of the "exponentiation conjecture" for the imaginary part of the Euler-Heisenberg to all loop orders.


title: Learning to See Analogies: A Connectionist Exploration

abstract: This dissertation explores the integration of learning and analogy-making through the development of a computer program, called Analogator, that learns to make analogies by example. By "seeing" many different analogy problems, along with possible solutions, Analogator gradually develops an ability to make new analogies. That is, it learns to make analogies by analogy. This approach stands in contrast to most existing research on analogy-making, in which typically the a priori existence of analogical mechanisms within a model is assumed. The present research extends standard connectionist methodologies by developing a specialized associative training procedure for a recurrent network architecture. The network is trained to divide input scenes (or situations) into appropriate figure and ground components. Seeing one scene in terms of a particular figure and ground provides the context for seeing another in an analogous fashion. After training, the model is able to make new analogies between novel situations. Analogator has much in common with lower-level perceptual models of categorization and recognition; it thus serves as a unifying framework encompassing both high-level analogical learning and low-level perception. This approach is compared and contrasted with other computational models of analogy-making. The model's training and generalization performance is examined, and limitations are discussed.


title: Deep residual detection of radio frequency interference for FAST

abstract: Radio frequency interference (RFI) detection and excision are key steps in the data-processing pipeline of the Five-hundred-meter Aperture Spherical radio Telescope (FAST). Because of its high sensitivity and large data rate, FAST requires more accurate and efficient RFI flagging methods than its counterparts. In the last decades, approaches based upon artificial intelligence (AI), such as codes using convolutional neural networks (CNNs), have been proposed to identify RFI more reliably and efficiently. However, RFI flagging of FAST data with such methods has often proved to be erroneous, with further manual inspections required. In addition, network construction as well as preparation of training data sets for effective RFI flagging has imposed significant additional workloads. Therefore, rapid deployment and adjustment of AI approaches for different observations is impractical to implement with existing algorithms. To overcome such problems, we propose a model called RFI-Net. With the input of raw data without any processing, RFI-Net can detect RFI automatically, producing corresponding masks without any alteration of the original data. Experiments with RFI-Net using simulated astronomical data show that our model has outperformed existing methods in terms of both precision and recall. Besides, compared with other models, our method can obtain the same relative accuracy with fewer training data, thus reducing the effort and time required to prepare the training data set. Further, the training process of RFI-Net can be accelerated, with overfittings being minimized, compared with other CNN codes. The performance of RFI-Net has also been evaluated with observing data obtained by FAST and the Bleien Observatory. Our results demonstrate the ability of RFI-Net to accurately identify RFI with fine-grained, high-precision masks that required no further modification.


title: Almost Hermitian Ricci flow

abstract: We introduce a new curvature flow which matches with the Ricci flow on metrics and preserves the almost Hermitian condition. This enables us to use Ricci flow to study almost Hermitian manifolds.


title: Chebyshev's bias in dihedral and generalized quaternion Galois groups

abstract: We study the inequities in the distribution of Frobenius elements in Galois extensions of the rational numbers with Galois groups that are either dihedral $D_{2n}$ or (generalized) quaternion $\mathbb H_{2n}$ of two-power order. In the spirit of recent work of Fiorilli and Jouve arXiv:2001.05428, we study, under natural hypotheses, some families of such extensions, in a horizontal aspect, where the degree is fixed, and in a vertical aspect, where the degree goes to infinity. Our main contribution uncovers in families of extensions a phenomenon, for which Ng gave numerical evidence : real zeros of Artin L-functions sometimes have a radical influence on the distribution of Frobenius elements.


title: Electron and hole trapping in the Ce3+ and Pr3+ doped lutetium pyrosilicate scintillator crystals studied by electron paramagnetic resonance

abstract: Electron and hole trapping was studied in the Ce3+ and Pr3+ doped Lu2Si2O7 scintillation single crystals (LPS:Ce and LPS:Pr) by Electron Paramagnetic Resonance (EPR). Detailed EPR measurements of the X-ray irradiated LPS crystals revealed that holes generated by irradiation are predominantly trapped at oxygen lattice ions creating O- centers. The same X-ray irradiation creates also electron type centers which were attributed to Lu2+ ions, where the trapped electron at Lu lattice ion is stabilized by a defect nearby, such as oxygen vacancy and Ir3+ impurity ion. Both the hole and electron centers can be thus considered as a bound small polarons, which makes the charge trapping in scintillation mechanism quite competitive. The hole O- and electron Lu2+ centers show thermal stability well above room temperature. The thermal decays of their concentrations correlate well with the appearance of the thermally stimulated luminescence glow peaks at 470-550 K. The presence of the same intrinsic traps in the Ce and Pr doped LPS crystals suggests that difference in the light yield of these crystals is an intrinsic property of the Ce3+ and Pr3+ activator centers in LPS lattice. Charge traps origin in this pyrosilicate structure and their role in scintillation mechanism is compared with the results previously described in literature in orthosilicates.


title: A Transfer Learning Approach to Cross-Modal Object Recognition: From Visual Observation to Robotic Haptic Exploration

abstract: In this work, we introduce the problem of cross-modal visuo-tactile object recognition with robotic active exploration. With this term, we mean that the robot observes a set of objects with visual perception and, later on, it is able to recognize such objects only with tactile exploration, without having touched any object before. Using a machine learning terminology, in our application we have a visual training set and a tactile test set, or vice versa. To tackle this problem, we propose an approach constituted by four steps: finding a visuo-tactile common representation, defining a suitable set of features, transferring the features across the domains, and classifying the objects. We show the results of our approach using a set of 15 objects, collecting 40 visual examples and five tactile examples for each object. The proposed approach achieves an accuracy of 94.7%, which is comparable with the accuracy of the monomodal case, i.e., when using visual data both as training set and test set. Moreover, it performs well compared to the human ability, which we have roughly estimated carrying out an experiment with ten participants.


title: Ranking Significant Discrepancies in Clinical Reports

abstract: Medical errors are a major public health concern and a leading cause of death worldwide. Many healthcare centers and hospitals use reporting systems where medical practitioners write a preliminary medical report and the report is later reviewed, revised, and finalized by a more experienced physician. The revisions range from stylistic to corrections of critical errors or misinterpretations of the case. Due to the large quantity of reports written daily, it is often difficult to manually and thoroughly review all the finalized reports to find such errors and learn from them. To address this challenge, we propose a novel ranking approach, consisting of textual and ontological overlaps between the preliminary and final versions of reports. The approach learns to rank the reports based on the degree of discrepancy between the versions. This allows medical practitioners to easily identify and learn from the reports in which their interpretation most substantially differed from that of the attending physician (who finalized the report). This is a crucial step towards uncovering potential errors and helping medical practitioners to learn from such errors, thus improving patient-care in the long run. We evaluate our model on a dataset of radiology reports and show that our approach outperforms both previously-proposed approaches and more recent language models by 4.5% to 15.4%.


title: An Interdisciplinary Guideline for the Production of Videos and Vision Videos by Software Professionals

abstract: Background and Motivation: In recent years, the topic of applying videos in requirements engineering has been discussed and its contributions are of interesting potential. In the last 35 years, several researchers proposed approaches for applying videos in requirements engineering due to their communication richness and effectiveness. However, these approaches mainly use videos but omit the details about how to produce them. This lack of guidance is one crucial reason why videos are not an established documentation option for successful requirements communication and thus shared understanding. Software professionals are not directors and thus they do not necessarily know what constitutes a good video in general and for an existing approach. Therefore, this lack of knowledge and skills on how to produce and use videos for visual communication impedes the application of videos by software professionals in requirements engineering. How to Create Effective Videos and Vision Videos?: This technical report addresses this lack of knowledge and skills by software professionals. We provide two guidelines that can be used as checklists to avoid frequent flaws in the production and use of videos respectively vision videos. Software professionals without special training should be able to follow these guidelines to achieve the basic capabilities to produce (vision) videos that are accepted by their stakeholders. These guidelines represent a core set of those capabilities in the preproduction, shooting, postproduction, and viewing of (vision) videos. We do not strive for perfection in any of these capabilities, .e.g., technical handling of video equipment, storytelling, or video editing. Instead, these guidelines support all steps of the (vision) video production and use process to a balanced way.


title: Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width

abstract: Solving the algebraic dichotomy conjecture for constraint satisfaction problems over structures first-order definable in countably infinite finitely bounded homogeneous structures requires understanding the applicability of local-consistency methods in this setting. We study the amount of consistency (measured by relational width) needed to solve CSP for first-order expansions S of countably infinite homogeneous graphs that additionally have bounded strict width, i.e., for which establishing local consistency of an instance of the CSP not only decides if there is a solution but also ensures that every solution may be obtained from a locally consistent instance by greedily assigning values to variables, without backtracking. Our main result is that the structures S under consideration have relational width exactly (2, L) where L is the maximal size of a forbidden subgraph of a homogeneous graph under consideration, but not smaller than 3. It beats the upper bound (2m, 3m) where m = max(arity(S)+1, L, 3) and arity(S) is the largest arity of a relation in S, which follows from a sufficient condition implying bounded relational width from the literature. Since L may be arbitrarily large, our result contrasts the collapse of the relational bounded width hierarchy for finite structures , whose relational width, if finite, is always at most (2,3).


title: Rare-earth ions incorporation into Lu2Si2O7 scintillator crystals: Electron paramagnetic resonance and luminescence study

abstract: The present work reports results of the electron paramagnetic resonance (EPR), optical absorption, radio- and photoluminescence (RL and PL) complex study of the Lu2Si2O7:Pr and Lu2Si2O7:Ce pyrosilicate crystals. In both crystals, the EPR spectra demonstrate the presence of characteristic signals originating from the Yb3+, Er3+, Nd3+, Dy3+, Gd3+ and V3+ ions existing in the material as uncontrolled impurities. The corresponding spectra (except for Gd3+) have been analysed in detail and g- and hyperfine tensors are determined for all these ions in the lutetium pyrosilicate for the first time. Optical absorption, RL and PL measurements in the Lu2Si2O7:Pr crystal demonstrated presence of only characteristic Pr3+ transitions. In addition, the Pr3+- Pr3+ energy transfer was observed and confirmed experimentally.


title: Evolutionary Neural Architecture Search for Retinal Vessel Segmentation

abstract: The accurate retinal vessel segmentation (RVS) is of great significance to assist doctors in the diagnosis of ophthalmology diseases and other systemic diseases. Manually designing a valid neural network architecture for retinal vessel segmentation requires high expertise and a large workload. In order to improve the performance of vessel segmentation and reduce the workload of manually designing neural network, we propose novel approach which applies neural architecture search (NAS) to optimize an encoder-decoder architecture for retinal vessel segmentation. A modified evolutionary algorithm is used to evolve the architectures of encoder-decoder framework with limited computing resources. The evolved model obtained by the proposed approach achieves top performance among all compared methods on the three datasets, namely DRIVE, STARE and CHASE_DB1, but with much fewer parameters. Moreover, the results of cross-training show that the evolved model is with considerable scalability, which indicates a great potential for clinical disease diagnosis.


title: BNAS:An Efficient Neural Architecture Search Approach Using Broad Scalable Architecture

abstract: In this paper, we propose Broad Neural Architecture Search (BNAS) where we elaborately design broad scalable architecture dubbed Broad Convolutional Neural Network (BCNN) to solve the above issue. On one hand, the proposed broad scalable architecture has fast training speed due to its shallow topology. Moreover, we also adopt reinforcement learning and parameter sharing used in ENAS as the optimization strategy of BNAS. Hence, the proposed approach can achieve higher search efficiency. On the other hand, the broad scalable architecture extracts multi-scale features and enhancement representations, and feeds them into global average pooling layer to yield more reasonable and comprehensive representations. Therefore, the performance of broad scalable architecture can be promised. In particular, we also develop two variants for BNAS who modify the topology of BCNN. In order to verify the effectiveness of BNAS, several experiments are performed and experimental results show that 1) BNAS delivers 0.19 days which is 2.37x less expensive than ENAS who ranks the best in reinforcement learning-based NAS approaches, 2) compared with small-size (0.5 millions parameters) and medium-size (1.1 millions parameters) models, the architecture learned by BNAS obtains state-of-the-art performance (3.58% and 3.24% test error) on CIFAR-10, 3) the learned architecture achieves 25.3% top-1 error on ImageNet just using 3.9 millions parameters.


title: Tree-Structured Policy based Progressive Reinforcement Learning for Temporally Language Grounding in Video

abstract: Temporally language grounding in untrimmed videos is a newly-raised task in video understanding. Most of the existing methods suffer from inferior efficiency, lacking interpretability, and deviating from the human perception mechanism. Inspired by human's coarse-to-fine decision-making paradigm, we formulate a novel Tree-Structured Policy based Progressive Reinforcement Learning (TSP-PRL) framework to sequentially regulate the temporal boundary by an iterative refinement process. The semantic concepts are explicitly represented as the branches in the policy, which contributes to efficiently decomposing complex policies into an interpretable primitive action. Progressive reinforcement learning provides correct credit assignment via two task-oriented rewards that encourage mutual promotion within the tree-structured policy. We extensively evaluate TSP-PRL on the Charades-STA and ActivityNet datasets, and experimental results show that TSP-PRL achieves competitive performance over existing state-of-the-art methods.


title: Automating the Generation of Cyber Range Virtual Scenarios with VSDL

abstract: A cyber range is an environment used for training security experts and testing attack and defence tools and procedures. Usually, a cyber range simulates one or more critical infrastructures that attacking (red) and defending (blue) teams must compromise and protect, respectively. The infrastructure can be physically assembled, but much more convenient is to rely on the Infrastructure as a Service (IaaS) paradigm. Although some modern technologies support the IaaS, the design and deployment of scenarios of interest is mostly a manual operation. As a consequence, it is a common practice to have a cyber range hosting few (sometimes only one), consolidated scenarios. However, reusing the same scenario may significantly reduce the effectiveness of the training and testing sessions. In this paper, we propose a framework for automating the definition and deployment of arbitrarily complex cyber range scenarios. The framework relies on the virtual scenario description language (VSDL), i.e., a domain-specific language for defining high-level features of the desired infrastructure while hiding low-level details. The semantics of VSDL is given in terms of constraints that must be satisfied by the virtual infrastructure. These constraints are then submitted to an SMT solver for checking the satisfiability of the specification. If satisfiable, the specification gives rise to a model that is automatically converted to a set of deployment scripts to be submitted to the IaaS provider.


title: Probing the Pinning Strength of Magnetic Vortex Cores with sub-nm Resolution

abstract: Topological magnetic textures such as vortex cores or skyrmions are key candidates for non-volatile information processing. This exploits the texture movement by current pulses that is typically opposed by pinning. A detailed understanding of pinning is hence crucial with previous experiments being either limited in terms of controlled magnetic texture positioning or in terms of spatial resolution. Here, we use spin-polarized scanning tunneling microscopy to track a magnetic vortex core that is deliberately moved by a 3D magnetic field. The core covering about 10.000 Fe-atoms gets pinned by defects that are only a few nm apart. Reproducing the vortex path via parameter fit, we deduce the pinning potential of the defects as a mexican hat with short-range repulsive and long-range attractive part. By comparison with micromagnetic simulations, the attractive part is attributed to a local suppression of exchange interaction. The novel approach to deduce defect induced pinning potentials on the sub-nm scale is transferable to other non-collinear spin textures eventually enabling an atomic scale design of defect configurations, e.g., for reliable read-out in race-track type devices.


title: The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Final Report

abstract: The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Such a mission can also be equipped with instrumentation that will enable broad and exciting general astrophysics and planetary science not possible from current or planned facilities. HabEx is a space telescope with unique imaging and multi-object spectroscopic capabilities at wavelengths ranging from ultraviolet (UV) to near-IR. These capabilities allow for a broad suite of compelling science that cuts across the entire NASA astrophysics portfolio. HabEx has three primary science goals: (1) Seek out nearby worlds and explore their habitability; (2) Map out nearby planetary systems and understand the diversity of the worlds they contain; (3) Enable new explorations of astrophysical systems from our own solar system to external galaxies by extending our reach in the UV through near-IR. This Great Observatory science will be selected through a competed GO program, and will account for about 50% of the HabEx primary mission. The preferred HabEx architecture is a 4m, monolithic, off-axis telescope that is diffraction-limited at 0.4 microns and is in an L2 orbit. HabEx employs two starlight suppression systems: a coronagraph and a starshade, each with their own dedicated instrument.


title: How do Data Science Workers Collaborate? Roles, Workflows, and Tools

abstract: Today, the prominence of data science within organizations has given rise to teams of data science workers collaborating on extracting insights from data, as opposed to individual data scientists working alone. However, we still lack a deep understanding of how data science workers collaborate in practice. In this work, we conducted an online survey with 183 participants who work in various aspects of data science. We focused on their reported interactions with each other (e.g., managers with engineers) and with different tools (e.g., Jupyter Notebook). We found that data science teams are extremely collaborative and work with a variety of stakeholders and tools during the six common steps of a data science workflow (e.g., clean data and train model). We also found that the collaborative practices workers employ, such as documentation, vary according to the kinds of tools they use. Based on these findings, we discuss design implications for supporting data science team collaborations and future research directions.


title: Reflecting random walks in curvilinear wedges

abstract: We study a random walk (Markov chain) in an unbounded planar domain whose boundary is described by two curves of the form $x_2 = a^+ x_1^{\beta^+}$ and $x_2 = -a^- x_1^{\beta^-}$, with $x_1 \geq 0$. In the interior of the domain, the random walk has zero drift and a given increment covariance matrix. From the vicinity of the upper and lower sections of the boundary, the walk drifts back into the interior at a given angle $\alpha^+$ or $\alpha^-$ to the relevant inwards-pointing normal vector. Here we focus on the case where $\alpha^+$ and $\alpha^-$ are equal but opposite, which includes the case of normal reflection. For $0 \leq \beta^+, \beta^- < 1$, we identify the phase transition between recurrence and transience, depending on the model parameters, and quantify recurrence via moments of passage times.


title: The logic induced by effect algebras

abstract: Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a simple axiom system in Gentzen style in order to axiomatize the logic induced by lattice effect algebras. For effect algebras which need not be lattice-ordered we introduce a certain kind of implication which is everywhere defined but whose result need not be a single element. Then we study effect implication algebras and prove the correspondence between these algebras and effect algebras satisfying the Ascending Chain Condition. We present an axiom system in Gentzen style also for not necessarily lattice-ordered effect algebras and prove that it is an algebraic semantics for the logic induced by finite effect algebras.


title: Rank 3 Quadratic Generators of Veronese Embeddings

abstract: Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}~\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf{QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset \mathbb{P}H^0 (X,L)$ can be generated by quadrics of rank $\leq k$. Many classical varieties such as Segre-Veronese embeddings, rational normal scrolls and curves of high degree satisfy property $\mathsf{QR}(4)$. In this paper, we first prove that if ${\rm char}~\Bbbk \neq 3$ then $(\mathbb{P}^n , \mathcal{O}_{\mathbb{P}^n} (d))$ satisfies property $\mathsf{QR}(3)$ for all $n \geq 1$ and $d \geq 2$. We also investigate an asymptotic behavior of property $\mathsf{QR}(3)$ for any projective scheme. Namely, we prove that $(i)$ if $X \subset \mathbb{P} H^0 (X,L)$ is $m$-regular then $(X,L^d )$ satisfies property $\mathsf{QR}(3)$ for all $d \geq m$ and $(ii)$ if $A$ is an ample line bundle on $X$ then $(X,A^d )$ satisfies property $\mathsf{QR}(3)$ for all sufficiently large even number $d$. These results provide an affirmative evidence for the expectation that property $\mathsf{QR}(3)$ holds for all sufficiently ample line bundles on $X$, as in the cases of Green-Lazarsfeld's condition $\mathrm{N}_p$ and Eisenbud-Koh-Stillman's determininantal presentation in [EKS88]. Finally, when ${\rm char}~\Bbbk = 3$ we prove that $(\mathbb{P}^n , \mathcal{O}_{\mathbb{P}^n} (2))$ fails to satisfy property $\mathsf{QR}(3)$ for all $n \geq 3$.


title: Impact of Substrate on Tip-enhanced Raman Spectroscopy --- A Comparison of Frequency Domain Simulations and Graphene Measurements

abstract: Tip-enhanced Raman spectroscopy (TERS) has reached nanometer spatial resolution for measurements performed at ambient conditions and sub-nanometer resolution at ultra high vacuum. Super-resolution (beyond the tip apex diameter) TERS has been obtained, mostly in the gap mode configuration, where a conductive substrate localizes the electric fields. Here we present experimental and theoretical TERS to explore the field distribution responsible for spectral enhancement. We use gold tips of $40\pm 10 \ \text{nm}$ apex diameter to measure TERS on graphene, a spatially delocalized two-dimensional sample, sitting on different substrates: (i) glass, (ii) a thin layer of gold and (iii) a surface covered with $12\ \text{nm}$ diameter gold spheres, for which $6\ \text{nm}$ resolution is achieved at ambient conditions. The super-resolution is due to the field configuration resulting from the coupled tip-sample-substrate system, exhibiting a non-trivial spatial surface distribution. The field distribution and the symmetry selection rules are different for non-gap vs. gap mode configurations. This influences the overall enhancement which depends on the Raman mode symmetry and substrate structure.


title: Convergence problems along curves for generalized Schr\"{o}dinger operators with polynomial growth

abstract: In this paper we build the relationship between smoothness of the functions and convergence rate along curves for a class of generalized Schr\"{o}dinger operators with polynomial growth. We show that the convergence rate depends only on the growth condition of the phase function and regularity of the curve. Our result can be applied to a wide class of operators. In particular, convergence results along curves for a class of generalized Schr\"{o}dinger operators with non-homogeneous phase functions is built and then the convergence rate is established.


title: NETNet: Neighbor Erasing and Transferring Network for Better Single Shot Object Detection

abstract: Due to the advantages of real-time detection and improved performance, single-shot detectors have gained great attention recently. To solve the complex scale variations, single-shot detectors make scale-aware predictions based on multiple pyramid layers. However, the features in the pyramid are not scale-aware enough, which limits the detection performance. Two common problems in single-shot detectors caused by object scale variations can be observed: (1) small objects are easily missed; (2) the salient part of a large object is sometimes detected as an object. With this observation, we propose a new Neighbor Erasing and Transferring (NET) mechanism to reconfigure the pyramid features and explore scale-aware features. In NET, a Neighbor Erasing Module (NEM) is designed to erase the salient features of large objects and emphasize the features of small objects in shallow layers. A Neighbor Transferring Module (NTM) is introduced to transfer the erased features and highlight large objects in deep layers. With this mechanism, a single-shot network called NETNet is constructed for scale-aware object detection. In addition, we propose to aggregate nearest neighboring pyramid features to enhance our NET. NETNet achieves 38.5% AP at a speed of 27 FPS and 32.0% AP at a speed of 55 FPS on MS COCO dataset. As a result, NETNet achieves a better trade-off for real-time and accurate object detection.


title: Teaching Software Engineering for AI-Enabled Systems

abstract: Software engineers have significant expertise to offer when building intelligent systems, drawing on decades of experience and methods for building systems that are scalable, responsive and robust, even when built on unreliable components. Systems with artificial-intelligence or machine-learning (ML) components raise new challenges and require careful engineering. We designed a new course to teach software-engineering skills to students with a background in ML. We specifically go beyond traditional ML courses that teach modeling techniques under artificial conditions and focus, in lecture and assignments, on realism with large and changing datasets, robust and evolvable infrastructure, and purposeful requirements engineering that considers ethics and fairness as well. We describe the course and our infrastructure and share experience and all material from teaching the course for the first time.


title: Density-density Correlation Function of Strongly Inhomogeneous Luttinger Liquids

abstract: In this work, we show in pedagogical detail that the most singular contributions to the slow part of the asymptotic density-density correlation function of Luttinger liquids with fermions interacting mutually with only short-range forward scattering and also with localised scalar static impurities (where backward scattering takes place) has a compact analytical expression in terms of simple functions that have second order poles and involve only the scale-independent bare transmission and reflection coefficients. This proof uses conventional fermionic perturbation theory resummed to all orders, together with the idea that for such systems, the (connected) moments of the density operator all vanish beyond the second order - the odd ones vanish identically and the higher order even moments are less singular than the second order moment which is the only one included. This important result is the crucial input to the recently introduced "Non-Chiral Bosonization Technique" (NCBT) to study such systems. The results of NCBT cannot be easily compared with the results obtained using conventional bosonization as the former only extracts the most singular parts of the correlation functions albeit for arbitrary impurity strengths and mutual interactions. The latter, ambitiously attempts to study all the parts of the asymptotic correlation functions and is thereby unable to find simple analytical expressions and is forced to operate in the vicinity of the homogeneous system or the half line (the opposite extreme). For a fully homogeneous system or its antithesis viz. the half-line, all the higher order connected moments of the density vanish identically which means the results of chiral bosonization and NCBT ought to be the same and indeed they are.


title: Fair Transfer of Multiple Style Attributes in Text

abstract: To preserve anonymity and obfuscate their identity on online platforms users may morph their text and portray themselves as a different gender or demographic. Similarly, a chatbot may need to customize its communication style to improve engagement with its audience. This manner of changing the style of written text has gained significant attention in recent years. Yet these past research works largely cater to the transfer of single style attributes. The disadvantage of focusing on a single style alone is that this often results in target text where other existing style attributes behave unpredictably or are unfairly dominated by the new style. To counteract this behavior, it would be nice to have a style transfer mechanism that can transfer or control multiple styles simultaneously and fairly. Through such an approach, one could obtain obfuscated or written text incorporated with a desired degree of multiple soft styles such as female-quality, politeness, or formalness. In this work, we demonstrate that the transfer of multiple styles cannot be achieved by sequentially performing multiple single-style transfers. This is because each single style-transfer step often reverses or dominates over the style incorporated by a previous transfer step. We then propose a neural network architecture for fairly transferring multiple style attributes in a given text. We test our architecture on the Yelp data set to demonstrate our superior performance as compared to existing one-style transfer steps performed in a sequence.


title: Flatness and Shipley's algebraicization theorem

abstract: We provide an enhancement of Shipley's algebraicization theorem which behaves better in the context of commutative algebras. This involves defining flat model structures as in Shipley and Pavlov-Scholbach, and showing that the functors still provide Quillen equivalences in this refined context. The use of flat model structures allows one to identify the algebraic counterparts of change of groups functors, as demonstrated in forthcoming work of the author.


title: Gravitational Tensor and Acoustic Waves in A Radiation Dominated Universe: Weyl Curvature and Polarization Patterns

abstract: We provide evidence that gravitational radiation in a 4D radiation-dominated universe, with equation-of-state $w=1/3$, consists of two components: helicity-2 gravitons and massless scalar acoustic waves. On physical grounds, we would expect the homogeneous solution of the Weyl tensor components to be a good approximation to its inhomogeneous counterparts, whenever the observer is located well in the far zone of an isolated astrophysical source of cosmological gravitational radiation. We show explicitly that these homogeneous and inhomogeneous solutions both receive contributions from the gauge-invariant tensor {\it and} the two Bardeen (acoustic) scalars. Comparison of these Weyl tensor computations thus allows us to not only identify, in the high frequency limit, the corresponding gravitational tensor and scalar radiation; but also their oscillatory polarization patterns.


title: Non-wellfounded sets in homotopy type theory

abstract: Aczel's anti-foundation axiom (AFA) is an alternative -- dual -- axiom to the usual axiom of foundation in set theory. This article constructs a model of AFA in homotopy type theory. Like the previous model of AFA in type theory, by Lindstr\"om (1989), we use M-types, but rather than forming a setoid, we identify a subtype where the identity type is the correct notion of equality. We show that this model is dual to the model previously described in the HoTT book -- being the final coalgebra, as opposed to the initial algebra, of the powerset operation. The results presented here are being formalised in Agda as part of a bigger project of formalising set theory on the basis of homotopy type theory. The development repository can be found at https://git.app.uib.no/hott/hott-set-theory and the project has homepage https://hakon.gylterud.net/research/iterative/.


title: Quasi-stationary distributions for subcritical superprocesses

abstract: Suppose that $X$ is a subcritical superprocess. Under some asymptotic conditions on the mean semigroup of $X$, we prove the Yaglom limit of $X$ exists and identify all quasi-stationary distributions of $X$.


title: Kibble-Zurek exponent and chiral transition of the period-4 phase of Rydberg chains

abstract: Chains of Rydberg atoms have emerged as an amazing playground to study quantum physics in 1D. Playing with inter-atomic distances and laser detuning, one can in particular explore the commensurate-incommensurate transition out of charge-density waves through the Kibble-Zurek mechanism, and the possible presence of a chiral transition with dynamical exponent $z>1$. Here we address this problem theoretically with effective blockade models where the short-distance repulsions are replaced by a constraint of no double occupancy. For the period-4 phase, we show there is an Ashkin-Teller transition point with exponent $\nu=0.78$ surrounded by a direct chiral transition with a dynamical exponent $z=1.14$ and a Kibble-Zurek exponent $\mu=0.4$. For Rydberg atoms with a van der Waals potential, we suggest that the experimental value $\mu=0.25$ is due to a chiral transition with $z\simeq 1.9$ and $\nu\simeq 0.47$ surrounding an Ashkin-Teller transition close to the 4-state Potts universality.


title: Adaptive Stochastic Optimization

abstract: Optimization lies at the heart of machine learning and signal processing. Contemporary approaches based on the stochastic gradient method are non-adaptive in the sense that their implementation employs prescribed parameter values that need to be tuned for each application. This article summarizes recent research and motivates future work on adaptive stochastic optimization methods, which have the potential to offer significant computational savings when training large-scale systems.


title: A Comparative Study of Social Network Classifiers for Predicting Churn in the Telecommunication Industry

abstract: Relational learning in networked data has been shown to be effective in a number of studies. Relational learners, composed of relational classifiers and collective inference methods, enable the inference of nodes in a network given the existence and strength of links to other nodes. These methods have been adapted to predict customer churn in telecommunication companies showing that incorporating them may give more accurate predictions. In this research, the performance of a variety of relational learners is compared by applying them to a number of CDR datasets originating from the telecommunication industry, with the goal to rank them as a whole and investigate the effects of relational classifiers and collective inference methods separately. Our results show that collective inference methods do not improve the performance of relational classifiers and the best performing relational classifier is the network-only link-based classifier, which builds a logistic model using link-based measures for the nodes in the network.


title: Social Network Analytics for Churn Prediction in Telco: Model Building, Evaluation and Network Architecture

abstract: Social network analytics methods are being used in the telecommunication industry to predict customer churn with great success. In particular it has been shown that relational learners adapted to this specific problem enhance the performance of predictive models. In the current study we benchmark different strategies for constructing a relational learner by applying them to a total of eight distinct call-detail record datasets, originating from telecommunication organizations across the world. We statistically evaluate the effect of relational classifiers and collective inference methods on the predictive power of relational learners, as well as the performance of models where relational learners are combined with traditional methods of predicting customer churn in the telecommunication industry. Finally we investigate the effect of network construction on model performance; our findings imply that the definition of edges and weights in the network does have an impact on the results of the predictive models. As a result of the study, the best configuration is a non-relational learner enriched with network variables, without collective inference, using binary weights and undirected networks. In addition, we provide guidelines on how to apply social networks analytics for churn prediction in the telecommunication industry in an optimal way, ranging from network architecture to model building and evaluation.


title: FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits

abstract: Simulink is a graphical environment that is widely adapted for the modeling and the Laplace transform based analysis of linear analog circuits used in signal processing architectures. However, due to the involvement of the numerical algorithms of MATLAB in the analysis process, the analysis results cannot be termed as complete and accurate. Higher-order-logic theorem proving is a formal verification method that has been recently proposed to overcome these limitations for the modeling and the Laplace transform based analysis of linear analog circuits. However, the formal modeling of a system is not a straightforward task due to the lack of formal methods background for engineers working in the industry. Moreover, due to the undecidable nature of higher-order logic, the analysis generally requires a significant amount of user guidance in the manual proof process. In order to facilitate industrial engineers to formally analyze the linear analog circuits based on the Laplace transform, we propose a framework, FASiM, which allows automatically conducting the formal analysis of the Simulink models of linear analog circuits using the HOL Light theorem prover. For illustration, we use FASiM to formally analyze Simulink models of some commonly used linear analog filters, such as Sallen-key filters.


title: THz Channel Sounding: Design and Validation of a High Performance Channel Sounder at 300 GHz

abstract: In this paper, a novel instrument-based time-domain THz channel sounder for the 300 GHz band is introduced. The performance is characterized by conducted measurements and verified by over-the-air measurements, which confirm the sensitivity and highlight the temporal resolution of the setup. Dynamic range, maximum measurable path loss and phase stability are evaluated. The results show that the performance in terms of dynamic range and maximum measurable path loss is, to the best knowledge of the authors, unprecedented in this frequency range.


title: A Bayesian Framework for Power System Components Identification

abstract: Having actual models for power system components (such as generators and loads or auxiliary equipment) is vital to correctly assess the power system operating state and to establish stability margins. However, power system operators often have limited information about the actual values for power system component parameters. Even when a model is available, its operating parameters and control settings are time-dependent and subject to real-time identification. Ideally, these parameters should be identified from measurement data, such as phasor measurement unit (PMU) signals. However, it is challenging to do this from the ambient measurements in the absence of transient dynamics since the signal-to-noise ratio (SNR) for such signals is not necessarily large. In this paper, we design a Bayesian framework for on-line identification of power system component parameters based on ambient PMU data, which has reliable performance for SNR as low as five and for certain parameters can give good estimations even for unit SNR. We support the framework with a robust and time-efficient numerical method. We illustrate the approach efficiency on a synchronous generator example.


title: The Gumm level equals the alvin level in congruence distributive varieties

abstract: Congruence modular and congruence distributive varieties can be characterized by the existence of sequences of Gumm and J\'onsson terms, respectively. Such sequences have variable lengths, in general. It is immediate from the above paragraph that there is a variety with Gumm terms but without J\'onsson terms. We prove the quite unexpected result that, on the other hand, if some variety has both kinds of terms, then the minimal lengths of the sequences differ at most by $1$. It follows that every $r$-modular congruence distributive variety is $r^2-r+2$-distributive.


title: Dynamics of an infinite age-structured particle system

abstract: The Markov evolution is studied of an infinite age-structured population of migrants arriving in and departing from a continuous habitat $X \subseteq\mathds{R}^d$ -- at random and independently of each other. Each population member is characterized by its age $a\geq 0$ (time of presence in the population) and location $x\in X$. The population states are probability measures on the space of the corresponding marked configurations. The result of the paper is constructing the evolution $\mu_0 \to \mu_t$ of such states by solving a standard Fokker-Planck equation for this models. We also found a stationary state $\mu$ existing if the emigration rate is separated away from zero. It is then shown that $\mu_t$ weakly converges to $\mu$ as $t\to +\infty$.


title: A methodology for designing fixed-time stable systems with a predefined upper-bound in their settling time

abstract: Algorithms having uniform convergence with respect to their initial condition (i.e., with fixed-time stability) are receiving increasing attention for solving control and observer design problems under time constraints. However, we still lack a general methodology to design these algorithms for high-order perturbed systems when we additionally need to impose a user-defined upper-bound on their settling time, especially for systems with perturbations. Here, we fill this gap by introducing a methodology to redesign a class of asymptotically, finite- and fixed-time stable systems into non-autonomous fixed-time stable systems with a user-defined upper-bound on their settling time. Our methodology redesigns a system by adding time-varying gains. However, contrary to existing methods where the time-varying gains tend to infinity as the origin is reached, we provide sufficient conditions to maintain bounded gains. We illustrate our methodology by building fixed-time online differentiators with user-defined upper-bound on their settling time and bounded gains.


title: Smoothing effect for time-degenerate Schr\"odinger operators

abstract: In this work we consider an example of a linear time-degenerate Schr\"odinger operator. We show that with the appropriate assumptions the operator satisfies a Kato smoothing effect. We also show that the solutions to the nonlinear initial value problems involving this operator and polynomial derivative nonlinearities are locally well-posed and their solutions also satisfy the same smoothing estimates as the linear solutions.


title: Cancellation of Morita and Skew Types

abstract: We study both Morita cancellative and skew cancellative properties of noncommutative algebras as initiated recently in several papers and explore that which classes of noncommutative algebras are Morita cancellative (respectively, skew cancellative). Several new results concerning these two types of cancellations, as well as the classical cancellation, are proved.


title: Flat conical Laplacian in the square of the canonical bundle and its regularized determinants

abstract: Let $X$ be a compact Riemann surface of genus $g\geq 2$ equipped with flat conical metric $|\Omega|$, where $\Omega$ be a holomorphic quadratic differential on $X$ with $4g-4$ simple zeroes. Let $K$ be the canonical line bundle on $X$. Introduce the Cauchy-Riemann operators $\bar \partial$ and $\partial$ acting on sections of holomorphic line bundles over $X$ ($K^2$ in the definition of $\Delta^{(2)}_{|\Omega|}$ below) and, respectively, anti-holomorphic line bundles ($\bar { K}^{-1}$ below). Consider the Laplace operator $\Delta^{(2)}_{|\Omega|}:=|\Omega| \partial |\Omega|^{-2}\bar\partial$ acting in the Hilbert space of square integrable sections of the bundle $K^2$ equipped with inner product $<Q_1, Q_2>_{K^2}=\int_X\frac {Q_1\bar Q_2}{|\Omega|}$. We discuss two natural definitions of the determinant of the operator $\Delta^{(2)}_{|\Omega|}$. The first one uses the zeta-function of some special self-adjoint extension of the operator (initially defined on smooth sections of $K^2$ vanishing near the zeroes of $\Omega$), the second one is an analog of Eskin-Kontsevich-Zorich (EKZ) regularization of the determinant of the conical Laplacian acting in the trivial bundle. In contrast to the situation of operators acting in the trivial bundle, for operators acting in $K^2$ these two regularizations turn out to be essentially different. Considering the regularized determinant of $\Delta^{(2)}_{|\Omega|}$ as a functional on the moduli space $Q_g(1, \dots, 1)$ of quadratic differentials with simple zeroes on compact Riemann surfaces of genus $g$, we derive explicit expressions for this functional for the both regularizations. The expression for the EKZ regularization is closely related to the well-known explicit expressions for the Mumford measure on the moduli space of compact Riemann surfaces of genus $g$.


title: The Heritage of Cayley-Sudoku Tables

abstract: A Cayley-Sudoku table of a finite group G is a Cayley table for G subdivided into uniformly sized rectangular blocks, in such a way that each group element appears once in each block. They were introduced by J. Carmichael, K. Schloeman, and M. B. Ward [CSW], who also gave three ways to construct them. This paper has four aims. First, we review Constructions 1 and 2 of [CSW] and uncover their unexpected heritage in the work of R. Baer and J. Denes. Next we turn to some new instances of Construction 2 inspired by Baer, which answer an open question in [CSW]. Third, we provide a very brief outline of recent reinventions of special cases of Construction 1 in the literature. We conclude with an invitation to seek out the heritage of Construction 3. Portions of this paper appear in: Kady Hossner Boden and Michael B. Ward (2019) A New Class of Cayley-Sudoku Tables, Mathematics Magazine, 92:4, 243-251, DOI: 10.1080/0025570X.2019.1613949


title: Monitoring the optical quality of the FACT Cherenkov Telescope

abstract: In gamma ray astronomy muon events have a distinct feature of casting ring-like images on the sensor plane, thus forming a well known signal class for Cherenkov telescopes. These ring-like images can then be used to deduce the optical point spread function (PSF) which is an important measure of the optical quality of the imaging-reflector. In this thesis the observed 'fuzziness' of muon rings is used as a measure to infer the PSF. However to have a good estimate for this 'fuzziness' parameter, the reconstruction of the ring center and ring radius itself needs to be accurate, so different methods of ring feature extraction are studied. To check for the accuracy of the methods a simulation and analysis is performed. Measuring the evolution of the PSF over time allows to identify its effects and take them into account for the reconstruction of gamma-rays postliminary. As a further benefit of the methods presented here no additional observations are needed to measure the PSF nor any human activity on site is required. The accuracy of the method, and the PSF of FACT vs. time are presented.


title: The sensitivity of the microstructure and properties to the peak temperature in an ultrafast heat treated low carbon-steel

abstract: In this work, we investigate the sensitivity of the microstructure and mechanical properties of an ultrafast heat treated low carbon-steel to the peak temperature. In all studied cases, the steel was heated within the intercritical temperature range (i.e. between the AC1 and AC3 temperatures). Both the peak temperature and soaking time were varied, and their effect on the size, the fraction of individual microstructural constituents and their tensile mechanical response were investigated. It is shown that the increasing peak temperature and soaking time promote austenite formation and recrystallization processes in the ferritic matrix. The highest nanohardness is shown by martensitic grains, while recovered ferrite demonstrated slightly higher nanohardness compared to recrystallized ferrite. The applied heat treatment parameters have strong effect on the nanohardness of martensite, whereas nanohardness of ferrite microconstituents is not sensitive to variation of the peak temperature and soaking time. The non-recrystallized ferrite is harder than its recrystallized counterpart due to the higher dislocation density of the former. Increasing peak temperatures promote strengthening in the material at the expense of its ductility mainly due to increased martensite fraction. The steel demonstrates enhanced strain hardening ability independently of the peak temperature. Analysis of the experimental results showed that the industrial processing window of +- 10 oC may lead to some heterogeneity of the local microstructure in the ultrafast heat treated sheets. However, the latter should not have any negative effect on the overall mechanical behavior of the ultrafast heat treated steel sheets on the macro-scale.


title: Stability of parabolic Harnack inequalities on metric measure spaces

abstract: Let $(X,d,\mu)$ be a metric measure space with a local regular Dirichlet form. We give necessary and sufficient conditions for a parabolic Harnack inequality with global space-time scaling exponent $\beta\ge 2$ to hold. We show that this parabolic Harnack inequality is stable under rough isometries. As a consequence, once such a Harnack inequality is established on a metric measure space, then it holds for any uniformly elliptic operator in divergence form on a manifold naturally defined from the graph approximation of the space.


title: Harmonic spaces

abstract: We use the density function of a harmonic space to obtain estimates for the eigenvalues of the Jacobi operator; when these estimates are sharp, then the harmonic space is a symmetric Osserman space.


title: Load Shaping Based Privacy Protection in Smart Grids: An Overview

abstract: Fine-grained energy usage data collected by Smart Meters (SM) is one of the key components of the smart grid (SG). While collection of this data enhances efficiency and flexibility of SG, it also poses a serious threat to the privacy of consumers. Through techniques such as nonintrusive appliance load monitoring (NALM), this data can be used to identify the appliances being used, and hence disclose the private life of the consumer. Various methods have been proposed in the literature to preserve the consumer privacy. This paper focuses on load shaping (LS) methods, which alters the consumption data by means of household amenities in order to ensure privacy. An overview of the privacy protection techniques, as well as heuristics of the LS methods, privacy measures, and household amenities used for privacy protection are presented in order to thoroughly analyze the effectiveness and applicability of these methods to smart grid systems. Finally, possible research directions related to privacy protection in smart grids are discussed.


title: Existence and relaxation theorems for differential inclusions involving time dependent maximal monotone operators

abstract: In this paper, we consider evolution problems involving time dependent maximal monotone operators in Hilbert spaces. Existence and relaxation theorems are proved.


title: Ultrasound in Locomotion Research -- The Quest for Wider Views

abstract: In a systematic review, we investigate current applications of ultrasound in locomotion research. Shortcomings in the range of view of ultrasound systems affect the direct validation of musculoskeletal simulations as inverse approaches have to be applied. We present currently used methods to estimate muscle and tendon length in human plantarflexors.


title: System-on-Chip Security Assertions

abstract: Assertions are widely used for functional validation as well as coverage analysis for both software and hardware designs. Assertions enable runtime error detection as well as faster localization of errors. While there is a vast literature on both software and hardware assertions for monitoring functional scenarios, there is limited effort in utilizing assertions to monitor System-on-Chip (SoC) security vulnerabilities. In this paper, we identify common SoC security vulnerabilities by analyzing the design. To monitor these vulnerabilities, we define several classes of assertions to enable runtime checking of security vulnerabilities. Our experimental results demonstrate that the security assertions generated by our proposed approach can detect all the inserted vulnerabilities while the functional assertions generated by state-of-the-art assertion generation techniques fail to detect most of them.


title: A Classification-Based Approach to Semi-Supervised Clustering with Pairwise Constraints

abstract: In this paper, we introduce a neural network framework for semi-supervised clustering (SSC) with pairwise (must-link or cannot-link) constraints. In contrast to existing approaches, we decompose SSC into two simpler classification tasks/stages: the first stage uses a pair of Siamese neural networks to label the unlabeled pairs of points as must-link or cannot-link; the second stage uses the fully pairwise-labeled dataset produced by the first stage in a supervised neural-network-based clustering method. The proposed approach, S3C2 (Semi-Supervised Siamese Classifiers for Clustering), is motivated by the observation that binary classification (such as assigning pairwise relations) is usually easier than multi-class clustering with partial supervision. On the other hand, being classification-based, our method solves only well-defined classification problems, rather than less well specified clustering tasks. Extensive experiments on various datasets demonstrate the high performance of the proposed method.


title: $L^2$ estimates of Poincar\'e-Lelong equations on convex domains in $\mathbb{C}^n$

abstract: In this paper, we prove the existence of solutions of the Poincar\'e-Lelong equation $\sqrt{-1}\partial\bar{\partial}u=f$ on a strictly convex bounded domain $\Omega\subset\mathbb{C}^n$ $(n\geq1)$, where $f$ is a $d$-closed $(1,1)$ form and is in the weighted Hilbert space $L^2_{(1,1)}(\Omega,e^{-\varphi})$. The novelty of this paper is to apply a weighted $L^2$ version of Poincar\'e Lemma for real $2$-forms, and then apply H\"{o}rmander's $L^2$ solutions for Cauchy-Riemann equations.


title: True Nonlinear Dynamics from Incomplete Networks

abstract: We study nonlinear dynamics on complex networks. Each vertex $i$ has a state $x_i$ which evolves according to a networked dynamics to a steady-state $x_i^*$. We develop fundamental tools to learn the true steady-state of a small part of the network, without knowing the full network. A naive approach and the current state-of-the-art is to follow the dynamics of the observed partial network to local equilibrium. This dramatically fails to extract the true steady state. We use a mean-field approach to map the dynamics of the unseen part of the network to a single node, which allows us to recover accurate estimates of steady-state on as few as 5 observed vertices in domains ranging from ecology to social networks to gene regulation. Incomplete networks are the norm in practice, and we offer new ways to think about nonlinear dynamics when only sparse information is available.


title: Control of single quantum emitters in bio-inspired aperiodic nano-photonic devices

abstract: Enhancing light-matter interactions on a chip is of paramount importance to study nano- and quantum optics effects and to realise integrated devices, for instance, for classical and quantum photonics, sensing and energy harvesting applications. Engineered nano-devices enable the efficient confinement of light and the control of the spontaneous emission dynamics of single emitters, which is crucial for cavity quantum electrodynamics experiments and for the development of classical and quantum light sources. Here, we report on the demonstration of enhanced light-matter interaction and Purcell effects on a chip, based on bio-inspired aperiodic devices fabricated in silicon nitride and gallium arsenide. Internal light sources, namely optically-active defect centers in silicon nitride and indium arsenide single quantum dots, are used to image and characterize, by means of micro-photoluminescence spectroscopy, the individual optical modes confined by photonic membranes with Vogel-spiral geometry. By studying the statistics of the measured optical resonances, in partnership with rigorous multiple scattering theory, we observe log-normal distributions and report quality factors with values as high as 2201+/-443. Building on the strong light confinement achieved in this novel platform, we further investigate the coupling of single semiconductor quantum dots to the confined optical modes. Our results show cavity quantum electrodynamics effects providing strong modifications of the spontaneous emission decay of single optical transitions: we show control of the decay lifetime of single emitters with a dynamic range reaching 20. Our findings improve the understanding of the fundamental physical properties of light-emitting Vogel-spiral systems, show their application to quantum photonic devices, and form the basis for the further development of classical and quantum active devices on a chip.

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


title: DynUnlock: Unlocking Scan Chains Obfuscated using Dynamic Keys

abstract: Outsourcing in semiconductor industry opened up venues for faster and cost-effective chip manufacturing. However, this also introduced untrusted entities with malicious intent, to steal intellectual property (IP), overproduce the circuits, insert hardware Trojans, or counterfeit the chips. Recently, a defense is proposed to obfuscate the scan access based on a dynamic key that is initially generated from a secret key but changes in every clock cycle. This defense can be considered as the most rigorous defense among all the scan locking techniques. In this paper, we propose an attack that remodels this defense into one that can be broken by the SAT attack, while we also note that our attack can be adjusted to break other less rigorous (key that is updated less frequently) scan locking techniques as well.


title: Effects of sparse rewards of different magnitudes in the speed of learning of model-based actor critic methods

abstract: Actor critic methods with sparse rewards in model-based deep reinforcement learning typically require a deterministic binary reward function that reflects only two possible outcomes: if, for each step, the goal has been achieved or not. Our hypothesis is that we can influence an agent to learn faster by applying an external environmental pressure during training, which adversely impacts its ability to get higher rewards. As such, we deviate from the classical paradigm of sparse rewards and add a uniformly sampled reward value to the baseline reward to show that (1) sample efficiency of the training process can be correlated to the adversity experienced during training, (2) it is possible to achieve higher performance in less time and with less resources, (3) we can reduce the performance variability experienced seed over seed, (4) there is a maximum point after which more pressure will not generate better results, and (5) that random positive incentives have an adverse effect when using a negative reward strategy, making an agent under those conditions learn poorly and more slowly. These results have been shown to be valid for Deep Deterministic Policy Gradients using Hindsight Experience Replay in a well known Mujoco environment, but we argue that they could be generalized to other methods and environments as well.


title: Removable sets in elliptic equations with Musielak-Orlicz growth

abstract: We characterize, in the terms of intrinsic Hausdorff measures, the size of~removable sets for H\"older continuous solutions to elliptic equations with Musielak-Orlicz growth. In the general case we provide an elegant form of the measure that captures -- as special cases -- the classical results, slightly refines the ones provided for problems stated in the variable exponent and double phase spaces and essentially improves the known one in the Orlicz case.


title: Phi, Primorials, and Poisson

abstract: The primorial $p\#$ of a prime $p$ is the product of all primes $q\le p$. Let pr$(n)$ denote the largest prime $p$ with $p\# \mid \phi(n)$, where $\phi$ is Euler's totient function. We show that the normal order of pr$(n)$ is $\log\log n/\log\log\log n$. That is, pr$(n) \sim \log\log n/\log\log\log n$ as $n\to\infty$ on a set of integers of asymptotic density 1. In fact we show there is an asymptotic secondary term and, on a tertiary level, there is an asymptotic Poisson distribution. We also show an analogous result for the largest integer $k$ with $k!\mid \phi(n)$.


title: Big-Data Science in Porous Materials: Materials Genomics and Machine Learning

abstract: By combining metal nodes with organic linkers we can potentially synthesize millions of possible metal organic frameworks (MOFs). At present, we have libraries of over ten thousand synthesized materials and millions of in-silico predicted materials. The fact that we have so many materials opens many exciting avenues to tailor make a material that is optimal for a given application. However, from an experimental and computational point of view we simply have too many materials to screen using brute-force techniques. In this review, we show that having so many materials allows us to use big-data methods as a powerful technique to study these materials and to discover complex correlations. The first part of the review gives an introduction to the principles of big-data science. We emphasize the importance of data collection, methods to augment small data sets, how to select appropriate training sets. An important part of this review are the different approaches that are used to represent these materials in feature space. The review also includes a general overview of the different ML techniques, but as most applications in porous materials use supervised ML our review is focused on the different approaches for supervised ML. In particular, we review the different method to optimize the ML process and how to quantify the performance of the different methods. In the second part, we review how the different approaches of ML have been applied to porous materials. In particular, we discuss applications in the field of gas storage and separation, the stability of these materials, their electronic properties, and their synthesis. The range of topics illustrates the large variety of topics that can be studied with big-data science. Given the increasing interest of the scientific community in ML, we expect this list to rapidly expand in the coming years.


title: Your Noise, My Signal: Exploiting Switching Noise for Stealthy Data Exfiltration from Desktop Computers

abstract: Attacks based on power analysis have been long existing and studied, with some recent works focused on data exfiltration from victim systems without using conventional communications (e.g., WiFi). Nonetheless, prior works typically rely on intrusive direct power measurement, either by implanting meters in the power outlet or tapping into the power cable, thus jeopardizing the stealthiness of attacks. In this paper, we propose NoDE (Noise for Data Exfiltration), a new system for stealthy data exfiltration from enterprise desktop computers. Specifically, NoDE achieves data exfiltration over a building's power network by exploiting high-frequency voltage ripples (i.e., switching noises) generated by power factor correction circuits built into today's computers. Located at a distance and even from a different room, the receiver can non-intrusively measure the voltage of a power outlet to capture the high-frequency switching noises for online information decoding without supervised training/learning. To evaluate NoDE, we run experiments on seven different computers from top-vendors and using top brand power supply units. Our results show that for a single transmitter, NoDE achieves a rate of up to 28.48 bits/second with a distance of 90 feet (27.4 meters) without the line of sight, demonstrating a practically stealthy threat. Based on the orthogonality of switching noise frequencies of different computers, we also demonstrate simultaneous data exfiltration from four computers using only one receiver. Finally, we present a few possible defenses, such as installing noise filters, and discuss their limitations.


title: Computation of Nielsen and Reidemeister coincidence numbers for multiple maps

abstract: Let $f_1,...,f_k:M\to N$ be maps between closed manifolds, $N(f_1,...,f_k)$ and $R(f_1,...,f_k)$ be the Nielsen and the Reideimeister coincidence numbers respectively. In this note, we relate $R(f_1,...,f_k)$ with $R(f_1,f_2),...,R(f_1,f_k)$. When $N$ is a torus or a nilmanifold, we compute $R(f_1,...,f_k)$ which, in these cases, is equal to $N(f_1,...,f_k)$.


title: AI Data Wrangling with Associative Arrays

abstract: The AI revolution is data driven. AI "data wrangling" is the process by which unusable data is transformed to support AI algorithm development (training) and deployment (inference). Significant time is devoted to translating diverse data representations supporting the many query and analysis steps found in an AI pipeline. Rigorous mathematical representations of these data enables data translation and analysis optimization within and across steps. Associative array algebra provides a mathematical foundation that naturally describes the tabular structures and set mathematics that are the basis of databases. Likewise, the matrix operations and corresponding inference/training calculations used by neural networks are also well described by associative arrays. More surprisingly, a general denormalized form of hierarchical formats, such as XML and JSON, can be readily constructed. Finally, pivot tables, which are among the most widely used data analysis tools, naturally emerge from associative array constructors. A common foundation in associative arrays provides interoperability guarantees, proving that their operations are linear systems with rigorous mathematical properties, such as, associativity, commutativity, and distributivity that are critical to reordering optimizations.


title: Spectral form factors of clean and random quantum Ising chains

abstract: We compute the spectral form factor of two integrable quantum-critical many body systems in one spatial dimension. The spectral form factor of the quantum Ising chain is periodic in time in the scaling limit described by a conformal field theory; we also compute corrections from lattice effects and deviation from criticality. Criticality in the random Ising chain is described by rare regions associated with a strong randomness fixed point, and these control the long time limit of the spectral form factor.


title: Transfinite product reduction in fundamental groupoids

abstract: Infinite products, indexed by countably infinite linear orders, arise naturally in the context of fundamental groupoids. Such products are called "transfinite" if the index orders are permitted to contain a dense suborder and are called "scattered" otherwise. In this paper, we prove several technical lemmas related to the reduction (i.e. combining of factors) of transfinite products in fundamental groupoids. Applying these results, we show that if the transfinite fundamental group operations are well-defined in a space $X$ with a scattered algebraic $1$-wild set $\mathbf{aw}(X)$, then all transfinite fundamental groupoid operations are also well-defined.


title: On Elliptical Wings in Subsonic Flow: Indicial Lift Generation via CFD Simulations -- with Parametric Analytical Approximations

abstract: This study deals with the process and benefits of generating aerodynamic indicial-admittance functions with the support of computational fluid dynamics based on the Euler equations. A simple parametric analytical approximation is alongside developed based on linear lifting line and piston theory, for the sake of assessing the physical consistency of numerical solutions while investigating the suitability of theoretical models in the subsonic regime. Thin elliptical wings are hence considered and the design space is described by three parameters: wing aspect ratio (6, 8, 12, 20), free-stream Mach number (0.3, 0.5, 0.6) and flow perturbation type (angle of attack step, vertical sharp-edged gust). All numerical simulations exhibit good quality and weak sensitivity to parameters other than Mach number and flow aspect ratio, accounting for their combined effects. The benefit of using numerical results to tune analytical approximations and improve their accuracy is finally demonstrated by matching both initial and final behaviours of the wing lift development, with an effective synthesis of the high-fidelity features in the low-fidelity model.


title: The star avoidance game

abstract: Let $n, k$ be positive integers. The $(k+1)$-star avoidance game on $K_n$ is played as follows. Two players take it in turn to claim a (previously unclaimed) edge of the complete graph on $n$ vertices. The first player to claim all edges of a subgraph isomorphic to a $(k+1)$-star loses. Equivalently, each player must keep all degrees in the subgraph formed by his edges at most $k$. If all edges have been chosen and neither player has lost, the game is declared a draw. We prove that, for each fixed $k$, the game is a win for the second player for all $n$ sufficiently large.


title: Reflected BSDEs with two optional barriers and monotone coefficient on general filtered space

abstract: We consider reflected backward stochastic differential equations with two optional barriers of class (D) satisfying Mokobodzki's separation condition and coefficient which is only continuous and non-increasing. We assume that data are merely integrable and the terminal time is an arbitrary (possibly infinite) stopping time. We study the problem of existence and uniqueness of solutions, and their connections with the value process in nonlinear Dynkin games.


title: Developing and Validating an Interactive Training Tool for Inferring 2D Cross-Sections of Complex 3D Structures

abstract: Understanding 2D cross-sections of 3D structures is a crucial skill in many disciplines, from geology to medical imaging. Cross-section inference in the context of 3D structures requires a complex set of spatial/visualization skills including mental rotation, spatial structure understanding, and viewpoint projection. Prior studies show that experts differ from novices in these, and other, skill dimensions. Building on a previously developed model that hierarchically characterizes the specific spatial sub-skills needed for this task, we have developed the first domain-agnostic, computer-based training tool for cross-section understanding of complex 3D structures. We demonstrate, in an evaluation with 60 participants, that this interactive tool is effective for increasing cross-section inference skills for a variety of structures, from simple primitive ones to more complex biological structures.


title: A Generalization of Gleason's Frame Function for Quantum Measurement

abstract: The goal is to extend Gleason's notion of a frame function, which is essential in his fundamental theorem in quantum measurement, to a more general function acting on 1-tight, so-called, Parseval frames. We refer to these functions as Gleason functions for Parseval frames. The reason for our generalization is that positive operator valued measures (POVMs) are essentially equivalent to Parseval frames, and that POVMs arise naturally in quantum measurement theory. We prove that under the proper assumptions, Gleason functions for Parseval frames are quadratic forms, as well as other results analogous to Gleason's original theorem. Further, we solve an intrinsic problem relating Gleason functions for Parseval frames of different lengths. We use this solution to weaken the hypotheses in the finite dimensional version of Busch's theorem, that itself is an analog of Gleason's mathematical characterization of quantum states.


title: Phase Transformation Characteristics of High-Temperature Shape Memory Alloy under Tension, Compression, and Bending Actuation Cycling

abstract: Shape Memory Alloys (SMAs) are a unique class of intermetallic alloys that can cyclically sustain large deformations and recover a designed geometry through a solid-to-solid phase transformation. SMAs provide favorable actuation energy density properties, making them suitable for engineering applications requiring a significant, repeated, work output. To facilitate the development and validation of an SMA constitutive model considering the evolving anisotropic material response for High-Temperature SMA (HTSMA), uniaxial and pure bending actuation cycling tests on HTSMA specimens are performed by a custom-built testing frames. The phase transformation characteristics for Ni$_{50.3}$TiHf$_{20}$ HTSMA under uniaxial tension/compression and four-point bending actuation cycles are investigated. The experimental results show that the polycrystalline HTSMAs has a strong tension-compression asymmetry under uniaxial actuation cycling loading conditions. Furthermore, the four-point beam bending test shows that there is an intrinsic phenomenon when HTSMAs are subjected to cyclic actuation bending conditions, i.e., the zero-strain neutral axis shifts as a result of the asymmetric tension-compression phase transformations and the asymmetric generation of TRIP strains on different sides of the beam. The conducted experiments provide invaluable information to develop and improve the SMA constitutive model considering tension-compression asymmetry and TRIP strain generation within a unified modeling effort. As future work, additional experiments on other HTSMA components, such as torque tubes and specimens with notches or cutouts, under actuation cycling would provide more comprehensive validation data and component performance for HTSMA-based actuators.


title: Coamenability of type I locally compact quantum groups

abstract: We establish two conditions equivalent to coamenability for type I locally compact quantum groups. The first condition is concerned with the spectra of certain convolution operators on the space $\operatorname{L}^2(\operatorname{Irr}(\mathbb{G}))$ of functions which are square integrable with respect to the Plancherel measure. The second condition involves spectra of character-like operators associated with direct integrals of irreducible representations. As examples we study special classes of quantum groups: classical, dual to classical, compact or given by a certain bicrossed product construction.


title: Computing the probability of gene trees concordant with the species tree in the multispecies coalescent

abstract: The multispecies coalescent process models the genealogical relationships of genes sampled from several species, enabling useful predictions about phenomena such as the discordance between the gene tree and the species phylogeny due to incomplete lineage sorting. Conversely, knowledge of large collections of gene trees can inform us about several aspects of the species phylogeny, such as its topology and ancestral population sizes. A fundamental open problem in this context is how to efficiently compute the probability of a gene tree topology, given the species phylogeny. Although a number of algorithms for this task have been proposed, they either produce approximate results, or, when they are exact, they do not scale to large data sets. In this paper, we present some progress towards exact and efficient computation of the probability of a gene tree topology. We provide a new algorithm that, given a species tree and the number of genes sampled for each species, calculates the probability that the gene tree topology will be concordant with the species tree. Moreover, we provide an algorithm that computes the probability of any specific gene tree topology concordant with the species tree. Both algorithms run in polynomial time and have been implemented in Python. Experiments show that they are able to analyse data sets where thousands of genes are sampled, in a matter of minutes to hours.


title: Searching for small droplets of hydrodynamic fluid in proton--proton collisions at the LHC

abstract: In this paper, we investigate the hydrodynamic collectivity in high-multiplicity events of proton-proton collisions at $\sqrt{s}=$ 13 TeV, using iEBE-VISHNU hybrid model with three different initial conditions, namely, HIJING, super-MC and TRENTo. With properly tuned parameters, hydrodynamic simulations with each initial model give reasonable descriptions of the measured two-particle correlations, including the integrated and $p_{\rm T}$-differential flow for all charged and identified hadrons. However, the hydrodynamic simulations fail to describe the negative value of the four-particle cumulant $c_2^v\{4\}$ as measured in experiments. Further investigations show that the non-linear response between the elliptic flow $v_2$ and the initial eccentricity $\varepsilon_2$ becomes significant in the small p-p systems. This leads to a large deviation from linear eccentricity scaling and generates additional flow fluctuations, which results in a positive $c_2^v\{4\}$ even with a negative $c_2^\varepsilon\{4\}$ from the initial state. We also presented the first hydrodynamic calculations of multi-particle mixed harmonic azimuthal correlations in p-p collisions, such as normalized asymmetric cumulant $nac_n\{3\}$, normalized Symmetric-Cumulant, $nsc_{2,3}\{4\}$ and $nsc_{2,4}\{4\}$. Although many qualitative features are reproduced by the hydrodynamic simulations with chosen parameters, the measured negative $nsc_{2,3}\{4\}$ cannot be reproduced. The failure of the description of negative $c_2\{4\}$ and $nsc_{2,3}\{4\}$ triggers the question on whether hydrodynamics with a fundamentally new initial state model could solve this puzzle, or hydrodynamics itself might not be the appreciated mechanism of the observed collectivity in p-p collisions at the LHC.


title: Large and Moderate Deviation Principles for the SIR Epidemic in a Random Environment

abstract: In this paper, we are concerned with SIR epidemics in a random environment on complete graphs, where every edges are assigned with i.i.d. weights. Our main results give large and moderate deviation principles of sample paths of this model.


title: Dual Stochastic Natural Gradient Descent and convergence of interior half-space gradient approximations

abstract: The multinomial logistic regression (MLR) model is widely used in statistics and machine learning. Stochastic gradient descent (SGD) is the most common approach for determining the parameters of a MLR model in big data scenarios. However, SGD has slow sub-linear rates of convergence. A way to improve these rates of convergence is to use manifold optimization. Along this line, stochastic natural gradient descent (SNGD), proposed by Amari, was proven to be Fisher efficient when it converged. However, SNGD is not guaranteed to converge and it is computationally too expensive for MLR models with a large number of parameters. Here, we propose a stochastic optimization method for MLR based on manifold optimization concepts which (i) has per-iteration computational complexity is linear in the number of parameters and (ii) can be proven to converge. To achieve (i) we establish that the family of joint distributions for MLR is a dually flat manifold and we use that to speed up calculations. S\'anchez-L\'opez and Cerquides have recently introduced convergent stochastic natural gradient descent (CSNGD), a variant of SNGD whose convergence is guaranteed. To obtain (ii) our algorithm uses the fundamental idea from CSNGD, thus relying on an independent sequence to build a bounded approximation of the natural gradient. We call the resulting algorithm dual stochastic natural gradient descent (DNSGD). By generalizing a result from Sunehag et al., we prove that DSNGD converges. Furthermore, we prove that the computational complexity of DSNGD iterations are linear on the number of variables of the model.


title: Neutron drip line of $Z=9-11$ isotopic chains

abstract: A recent experimental breakthrough identified the last bound neutron-rich nuclei in fluorine and neon isotopes. Based on this finding, we perform a theoretical study of $Z=9, 10, 11, 12$ isotopes in the relativistic mean field (RMF) model. The mean field parameters are assumed from the PK1 parameterization, and the pairing correlation is described by the particle number conservation BCS (FBCS) method recently formulated in the RMF model. We show that the FBCS approach plays an essential role in reproducing experimental results of fluorine and neon isotopes. Furthermore, we predict $^{39}$Na and $^{40}$Mg to be the last bound neutron-rich nuclei in sodium and magnesium isotopes.


title: Efficient and Robust Estimation of the Generalized LATE Model

abstract: This paper studies the estimation of causal parameters in the generalized local average treatment effect (GLATE) model, a generalization of the classical LATE model encompassing multi-valued treatment and instrument. We derive the efficient influence function (EIF) and the semiparametric efficiency bound (SPEB) for two types of parameters: local average structural function (LASF) and local average structural function for the treated (LASF-T). The moment condition generated by the EIF satisfies two robustness properties: double robustness and Neyman orthogonality. Based on the robust moment condition, we propose the double/debiased machine learning (DML) estimators for LASF and LASF-T. The DML estimator is semiparametric efficient and suitable for high dimensional settings. We also propose null-restricted inference methods that are robust against weak identification issues. As an empirical application, we study the effects across different sources of health insurance by applying the developed methods to the Oregon Health Insurance Experiment.


title: On Dykstra's algorithm: finite convergence, stalling, and the method of alternating projections

abstract: A popular method for finding the projection onto the intersection of two closed convex subsets in Hilbert space is Dykstra's algorithm. In this paper, we provide sufficient conditions for Dykstra's algorithm to converge rapidly, in finitely many steps. We also analyze the behaviour of Dykstra's algorithm applied to a line and a square. This case study reveals stark similarities to the method of alternating projections. Moreover, we show that Dykstra's algorithm may stall for an arbitrarily long time. Finally, we present some open problems.


title: ARPES autocorrelation in electron-doped cuprate superconductors

abstract: The angle-resolved photoemission spectroscopy (ARPES) autocorrelation in the electron-doped cuprate superconductors is studied based on the kinetic-energy driven superconducting (SC) mechanism. It is shown that the strong electron correlation induces the electron Fermi surface (EFS) reconstruction, where the most of the quasiparticles locate at around the hot spots on EFS, and then these hot spots connected by the scattering wave vectors ${\bf q}_{i}$ construct an {\it octet} scattering model. In a striking analogy to the hole-doped case, the sharp ARPES autocorrelation peaks are directly correlated with the scattering wave vectors ${\bf q}_{i}$, and are weakly dispersive in momentum space. However, in a clear contrast to the hole-doped counterparts, the position of the ARPES autocorrelation peaks move toward to the opposite direction with the increase of doping. The theory also indicates that there is an intrinsic connection between the ARPES autocorrelation and quasiparticle scattering interference (QSI) in the electron-doped cuprate superconductors.


title: Radially Symmetric Stationary Wave for Two-dimensional Burgers Equation

abstract: We are concerned with the radially symmetric stationary wave for the exterior problem of two-dimensional Burgers equation. A sufficient and necessary condition to guarantee the existence of such a stationary wave is given and it is also shown that such a stationary wave satisfies nice decay estimates and is time-asymptotically nonlinear stable under radially symmetric perturbation.


title: An Analytical Process of Spatial Autocorrelation Functions Based on Moran's Index

abstract: A number of spatial statistic measurements such as Moran's I and Geary's C can be used for spatial autocorrelation analysis. Spatial autocorrelation modeling proceeded from the 1-dimension autocorrelation of time series analysis, with time lag replaced by spatial weights so that the autocorrelation functions degenerated to autocorrelation coefficients. This paper develops 2-dimensional spatial autocorrelation functions based on the Moran index using the relative staircase function as a weight function to yield a spatial weight matrix with a displacement parameter. The displacement bears analogy with time lag of time series analysis. Based on the spatial displacement parameter, two types of spatial autocorrelation functions are constructed for 2-dimensional spatial analysis. Then the partial spatial autocorrelation functions are derived by Yule-Walker recursive equation. The spatial autocorrelation functions are generalized to the autocorrelation functions based on Geary's coefficient and Getis' index. As an example, the new analytical framework was applied to the spatial autocorrelation modeling of Chinese cities. A conclusion can be reached that it is an effective method to build an autocorrelation function based on the relative step function. The spatial autocorrelation functions can be employed to reveal deep geographical information and perform spatial dynamic analysis, and lay the foundation for the scaling analysis of spatial correlation.


title: Interaction-induced phase transitions of type-II Weyl semimetals

abstract: The study of Weyl semimetals (WSMs) lies at the forefront of the nontrivial topological phenomena in condensed-matter physics. In this work, we study the effect of on-site repulsive Hubbard interaction on the WSM system with a nonzero tilt at half filling. Within the Hartree-Fock mean-field approximation, we treat the Hubbard interaction self-consistently and find that the Fock exchange field vanishes, while the Hartree field can renormalize the topological mass, the tilt, and the Fermi velocity of the Weyl cones. When the renormalized tilt is larger than the renormalized Fermi velocity, the Hubbard interaction will induce the quantum phase transition from a type-I WSM to a type-II WSM. We then provide the interaction-induced phase diagrams of WSMs in different parametric spaces, in which the antiferromagnetic order at strong interaction is also considered. In addition, we analyze another model hosting two pairs of Weyl nodes, and similar results are obtained. The implications of these results are discussed.


title: Quadratic Embedding Constants of Graph Joins

abstract: The quadratic embedding constant (QE constant) of a graph is a new characteristic value of a graph defined through the distance matrix. We derive formulae for the QE constants of the join of two regular graphs, double graphs and certain lexicographic product graphs. Examples include complete bipartite graphs, wheel graphs, friendship graphs, completely split graph, and some graphs associated to strongly regular graphs.


title: Singularity formation for radially symmetric expanding wave of Compressible Euler Equations

abstract: In this paper, for compressible Euler equations in multiple space dimensions, we prove the break-down of classical solutions with a large class of initial data by tracking the propagation of radially symmetric expanding wave including compression. The singularity formation is corresponding to the finite time shock formation. We also provide some new global sup-norm estimates on velocity and density functions for classical solutions. The results in this paper have no restriction on the size of solutions, hence are large data results.


title: Psychological effect can lead to bistability in epidemics

abstract: In this paper, we study the psychological effect in a SIS epidemic model. The basic reproduction number is obtained. However, the disease free equilibrium is always asymptotically stable, which doesn't depends on the basic reproduction number. The system has a saddle-node bifurcation appear and displays bistable behavior, which is a new phenomenon in epidemic dynamics and different from the backward bifurcation behavior.


title: Fully-charm tetraquarks: $cc\bar{c}\bar{c}$

abstract: In this work, we continue to study the mass spectra of fully-heavy tetraquarks $cc\bar{c}\bar{c}$ with the quantum numbers of $J^{PC}=0^{++}, 1^{+-}, 2^{++}$ in the nonrelativistic chiral quark model. With the help of the Gaussian Expansion Method, we present dynamical computations for $cc\bar{c}\bar{c}$ state with considering two structures, meson-meson [$\bar{c}c$][$\bar{c}c$] and diquark-antidiquark [$cc$][$\bar{c}\bar{c}$] and their mixing. The results manifest that the energies of the low-lying states are all higher than the meson-meson thresholds [$\bar{c}c$][$\bar{c}c$]. However, resonances are possible because of the color structure. Several resonances are proposed and the lowest resonance is predicted to be 6.5 GeV and the stability of the resonance states is checked using the real scaling method.