Miracle-dz/UniFAR-FTUs huggingface dataset:
Maps, immersions and permutations

We consider the problem of counting and of listing topologically inequivalent "planar" {4-valent} maps with a single component and a given number n of vertices. This enables us to count and to tabulate immersions of a circle in a sphere (spherical curves), extending results by Arnold and followers. Different options where the circle and/or the sphere are/is oriented are considered in turn, following Arnold's classification of the different types of symmetries. We also consider the case of bicolourable and bicoloured maps or immersions, where faces are bicoloured. Our method extends to immersions of a circle in a higher genus Riemann surface. There the bicolourability is no longer automatic and has to be assumed. We thus have two separate countings in non zero genus, that of bicolourable maps and that of general maps. We use a classical method of encoding maps in terms of permutations, on which the constraints of "one-componentness" and of a given genus may be applied. Depending on the orientation issue and on the bicolourability assumption, permutations for a map with n vertices live in S(4n) or in S(2n). In a nutshell, our method reduces to the counting (or listing) of orbits of certain subset of S(4n) (resp. S(2n)) under the action of the centralizer of a certain element of S(4n) (resp. S(2n)). This is achieved either by appealing to a formula by Frobenius or by a direct enumeration of these orbits. Applications to knot theory are briefly mentioned.
Diagonal complexes and the integral homology of the automorphism group of a free product

The main goal of this paper is a calculation of the integral (co)homology of the group of symmetric automorphisms of a free product. We proceed by giving a geometric interpretation of symmetric automorphisms via a moduli space of certain diagrams, which we name cactus products. To describe this moduli space, a theory of diagonal complexes is introduced. This offers a generalization of the theory of right‐angled Artin groups in that each diagonal complex defines what we call a diagonal right‐angled Artin group (DRAAG).
Effects of Three Different Doses of Inter-Alpha Inhibitor Proteins on Severe Hypoxia–Ischemia-Related Brain Injury in Neonatal Rats

Hypoxia–ischemia (HI)-related brain injury is an important cause of morbidity and long-standing disability in newborns. We have previously shown that human plasma-derived inter-alpha inhibitor proteins (hIAIPs) attenuate HI-related brain injury in neonatal rats. The optimal dose of hIAIPs for their neuroprotective effects and improvement in behavioral outcomes remains to be determined. We examined the efficacy of 30, 60, or 90 mg/kg of hIAIPs administered to neonatal rats after exposure to HI for 2 h. Postnatal day 7 (P7) Wistar rats were exposed to either sham-surgery or unilateral HI (right carotid artery ligation, 2 h of 8% O2) brain injury. A placebo, 30, 60, or 90 mg/kg of hIAIPs were injected intraperitoneally at 0, 24 and 48 h after HI (n = 9–10/sex). We carried out the following behavioral analyses: P8 (righting reflex), P9 (negative geotaxis) and P10 (open-field task). Rats were humanely killed on P10 and their brains were stained with cresyl violet. Male extension/contraction responses and female righting reflex times were higher in the HI placebo groups than the sham groups. Female open-field exploration was lower in the HI placebo group than the sham group. hIAIPs attenuated these behavioral deficits. However, the magnitude of the responses did not vary by hIAIP dose. hIAIPs reduced male brain infarct volumes in a manner that correlated with improved behavioral outcomes. Increasing the hIAIP dose from 30 to 90 mg/kg did not further accentuate the hIAIP-related decreases in infarct volumes. We conclude that larger doses of hIAIPs did not provide additional benefits over the 30 mg/kg dose for behavior tasks or reductions in infarct volumes in neonatal rats after exposure to severe HI.
Optimal Control of a Rate-Independent System Constrained to Parametrized Balanced Viscosity Solutions

We analyze an optimal control problem governed by a rate-independent system in an abstract infinite-dimensional setting. The rate-independent system is characterized by a nonconvex stored energy functional, which depends on time via a time-dependent external loading, and by a convex dissipation potential, which is assumed to be bounded and positively homogeneous of degree one. The optimal control problem uses the external load as control variable and is constrained to normalized parametrized balanced viscosity solutions (BV solutions) of the rate-independent system. Solutions of this type appear as vanishing viscosity limits of viscously regularized versions of the original rate-independent system. Since BV solutions in general are not unique, as a main ingredient for the existence of optimal solutions we prove the compactness of solution sets for BV solutions.
Intrinsic brain functional connectivity patterns in alcohol use disorder

Abstract Alcohol use disorder is associated with damaging effects to the brain. This study aimed to examine differences in static and dynamic intrinsic functional connectivity patterns in individuals with a history of alcohol use disorder in comparison to those with no history of alcohol abuse. A total of 55 participants consisting of 23 patients and 32 control individuals underwent neuropsychological assessments and resting-state functional magnetic resonance imaging on a 3 Tesla MRI scanner. Differences in functional connectivity between the two groups were determined using static and dynamic independent component analysis. Differences in static functional connectivity between the two groups were identified in the default mode network, attention network, frontoparietal network, frontal cortical network and cerebellar network. Furthermore, the analyses revealed specific differences in the dynamic temporal characteristics of functional connectivity between the two groups of participants, in a cluster involving key regions in reward, sensorimotor and frontal cortical functional networks, with some connections correlating with the length of sobriety and some others with the severity of drinking. The findings altogether suggest dysregulation in the intrinsic connectivity of cortico-basal ganglia-thalamo-cortical loops that may reflect persistent alcohol use disorder-related network abnormalities, compensatory recovery-related processes whereby additional neural resources are recruited to achieve normal levels of performance, or a predisposition toward developing alcohol use disorder.
Special multiserial algebras, Brauer configuration algebras and more : a survey

We survey results on multiserial algebras, special multiserial algebras and Brauer configuration algebras. A structural property of modules over a special multiserial algebra is presented. Almost gentle algebras are introduced and we describe some results related to this class of algebras. We also report on the structure of radical cubed zero symmetric algebras.
The equivalence between doubly nonnegative relaxation and semidefinite relaxation for binary quadratic programming problems

It has recently been shown (Burer, Math. Program Ser. A 120:479-495, 2009) that a large class of NP-hard nonconvex quadratic programming problems can be modeled as so called completely positive programming problems, which are convex but still NP-hard in general. A basic tractable relaxation is gotten by doubly nonnegative relaxation, resulting in a doubly nonnegative programming. In this paper, we prove that doubly nonnegative relaxation for binary quadratic programming (BQP) problem is equivalent to a tighter semidifinite relaxation for it. When problem (BQP) reduces to max-cut (MC) problem, doubly nonnegative relaxation for it is equivalent to the standard semidifinite relaxation. Furthermore, some compared numerical results are reported.
Fatigue Increases Muscle Activations but Does Not Change Maximal Joint Angles during the Bar Dip

The purpose of this study was to profile and compare the bar dip’s kinematics and muscle activation patterns in non-fatigued and fatigued conditions. Fifteen healthy males completed one set of bar dips to exhaustion. Upper limb and trunk kinematics, using 3D motion capture, and muscle activation intensities of nine muscles, using surface electromyography, were recorded. The average kinematics and muscle activations of repetitions 2–4 were considered the non-fatigued condition, and the average of the final three repetitions was considered the fatigued condition. Paired t-tests were used to compare kinematics and muscle activation between conditions. Fatigue caused a significant increase in repetition duration (p < 0.001) and shifted the bottom position to a significantly earlier percentage of the repetition (p < 0.001). There were no significant changes in the peak joint angles measured. However, there were significant changes in body position at the top of the movement. Fatigue also caused an increase in peak activation amplitude in two agonist muscles (pectoralis major [p < 0.001], triceps brachii [p < 0.001]), and three stabilizer muscles. For practitioners prescribing the bar dip, fatigue did not cause drastic alterations in movement technique and appears to target pectoralis major and triceps brachii effectively.
A Cross-Area Knowledge Learning Method for Status Monitoring of Transportation-Oriented Energy Interconnected System

In the status monitoring study of transportation-oriented energy interconnected system, the labor-intensive nature of collecting enough labeled samples tremendously limits the actual applications of deep-learning-based methods. To address it, a cross-area knowledge learning (CKL) method with domain-invariant information of system status is proposed in this article. First, considering the spatial–temporal correlation change in the transportation-oriented energy interconnected system, convolutional neural network with global feature enhancement, as feature extraction module, is proposed to extract and separate features of different system status. Second, to improve the learning ability of the proposed model on the condition of unlabeled samples, sample classify module including two classifiers is proposed to make feature extraction module capture the intrinsic similarity features between different systems. Third, for improving the classification accuracy of status monitoring, virtual adversarial training item is added in the loss function of the proposed method to reduce the disturbance influence. The proposed method is evaluated by three different datasets, and ten typical methods are selected for comparison. The comprehensive results demonstrate effectiveness and superiority of the proposed method for status monitoring of transportation-oriented energy interconnected system with unlabeled samples.
A Miniaturized Dual-Resonator-Based High-Capacity Chipless Radio Frequency Identification Tag Sensor

The chipless radio-frequency identification (RFID) sensor is a potential technology for future RFID-based sensing systems. A novel ultra-wideband and retransmission-method-based frequency-coded chipless RFID tag is presented in this letter. The footprint of the proposed RFID tag is reduced by incorporating spur-line spiral resonators along with the spiral resonators. These resonators are designed within and around the transmission line connecting two orthogonal ports of the dual-polarized monopole antenna operating in the transceiver mode. Initially, the patch antenna and the resonator circuits are optimized separately for the intended impedance bandwidth and frequency response, respectively, and are later integrated together to achieve the required performance. The operating range of the tag antenna is from 2 to 5.2 GHz. Furthermore, two prototypes of the proposed RFID tag with the 10-b code are fabricated and tested. The simulation and experimental results are found to be in good agreement, validating the proposed design.
Regularized mean curvature flow for invariant hypersurfaces in a Hilbert space and its application to gauge theory

In this paper, we investigate the regularized mean curvature flow starting from an invariant hypersurface in a Hilbert space equipped with an isometric and almost free action of a Hilbert Lie group whose orbits are regularized minimal. We prove that, if the invariant hypersurface satisfies a certain kind of horizontally convexity condition and its image by the orbit map of the Hilbert Lie group action is included by the geodesic ball of some radius, then it collapses to an orbit of the Hilbert Lie group action along the regularized mean curvature flow. As an application of this result to the gauge theory, we derive a result for the behaviour of the holonomy elements (along a fixed loop) of connections belonging to some based gauge-invariant hypersurface in the space of connections of the principal bundle having a compact Lie group as the structure group over a compact Riemannian manifold along the regularized mean curvature flow flow starting from the hypersurface.
Fossil Fruits of Ceratophyllum from the Upper Eocene and Miocene of South China

Simple Summary Two fruit fossil species of Ceratophyllum L. are discovered from South China, namely C. cf. muricatum Chamisso from the upper Eocene of the Maoming Basin, Guangdong, and C. demersum L. from the Miocene of the Guiping Basin, Guangxi. Our findings provide evidence for the distribution of Ceratophyllum in South China in the late Eocene, and its wide expansion in subtropical China during the Miocene. Abstract Ceratophyllum L. is a cosmopolitan genus of perennial aquatic herbs that occur in quiet freshwaters. Fossils of this genus have been widely reported from the Northern Hemisphere, most of them occurring in the temperate zone. Here, we describe two species of fossil fruits discovered from subtropical areas of China. The fossil fruit discovered from the upper Eocene Huangniuling Formation of the Maoming Basin is designated as C. cf. muricatum Chamisso, and fruits discovered from the Miocene Erzitang Formation of the Guiping Basin are assigned to the extant species C. demersum L. The discovery of these two fossil species indicates that Ceratophyllum had spread to South China by the late Eocene and their distribution expanded in subtropical China during the Miocene.
Quasi-projectivity of even Artin groups

Even Artin groups generalize right-angled Artin groups by allowing the labels in the defining graph to be even. In this paper a complete characterization of quasi-projective even Artin groups is given in terms of their defining graphs. Also, it is shown that quasi-projective even Artin groups are realizable by K(pi,1) quasi-projective spaces.
Existence of non-trivial embeddings of Interval Exchange Transformations into Piecewise Isometries

We prove that almost every interval exchange transformation, with an associated translation surface of genus $g\geq 2$, can be non-trivially and isometrically embedded in a family of piecewise isometries. In particular this proves the existence of invariant curves for piecewise isometries, reminiscent of KAM curves for area preserving maps, which are not unions of circle arcs or line segments.
Short-Term Electricity Price Forecast Using Frequency Analysis and Price Spikes Oversampling

This paper proposes a new short-term electricity price forecast framework using frequency analysis and price spikes oversampling. To perform normal price forecast, firstly, the variational mode decomposition (VMD) method is adopted to decompose price data into multiple frequency band-limited modes where each mode has a center frequency. Then, the extended discrete Fourier transform (EDFT) method is utilized to transform the decomposed price modes from time domain into frequency domain to predict the price. In addition, to facilitate price spike prediction, over-sampling methods including the enhanced structure preserving oversampling (ESPO) and the synthetic minority oversampling technique (SMOTE) for regression, are adopted to synthesize price spike cases. Multiple electricity markets are studied and numerous comparison results illustrate that the proposed forecast framework is capable to accurately predict both normal electricity prices and price spikes.
Heterogeneously Integrated Membrane III-V Compound Semiconductor Devices With Silicon Photonics Platform

Silicon photonics is a key technology for constructing large-scale photonic integrated circuits (PICs) because it enables large-scale wafer processes with high uniformity and quality. To further improve device characteristics, heterogeneous integration of III-V compound semiconductors that provide optical gain, a high modulation efficiency, and optical non-linearity is desired. This paper describes the heterogeneous integration of membrane III-V compound semiconductor photonic devices that have a similar structure including thickness and refractive index. These devices provide efficient optical coupling with a Si waveguide using a simple taper waveguide structure. If the total thickness of the film structure is designed to be less than the critical thickness (calculated to be 430 nm for fabrication conditions such as bonding and growth temperatures), high-quality epitaxial layers can be grown on a thin InP layer directly bonded to the Si substrate. Therefore, regrowth techniques are employed on bonded InP layer on SiO2/Si substrate. We fabricate two kinds of laser-integrated Mach-Zehnder modulators using epitaxial regrowth on Si substrates. One uses Si phase modulators, and the other uses InP-based modulators. A micro-transfer-printing technology is also important when the number of III-V devices is relatively small. Furthermore, the micro-transfer-printing technology enables devices to be selected that meet the required characteristics before integration. For this purpose, we try to integrate a membrane laser on a Si substrate, in which the membrane laser is fabricated on InP substrate. The device shows a threshold current of 0.8 mA when the active region length is 140 μm. Finally, we briefly describe a transmission module, in which directly modulated membrane lasers and electronic drivers are integrated by flip-chip bonding through Au bumps. To reduce power consumption, it is important to design driver circuits that incorporate semiconductor lasers as electronic components. We demonstrate a 2-channel 53-Gbit/s 4-level pulse amplitude modulation (PAM4) transmitter front-end consisting of a 2-channel PAM4 shunt laser driver and 2-channel O-band directly modulated membrane lasers. The total power consumption is only 60.7 mW, resulting in 0.57 mW/Gbit/s.
Remote Sensing Image Change Captioning With Dual-Branch Transformers: A New Method and a Large Scale Dataset

Analyzing land cover changes with multitemporal remote sensing (RS) images is crucial for environmental protection and land planning. In this article, we explore RS image change captioning (RSICC), a new task aiming at generating human-like language descriptions for the land cover changes in multitemporal RS images. We propose a novel Transformer-based RSICC (RSICCformer) model. It consists of three main components: 1) a CNN-based feature extractor to generate high-level features of RS image pairs; 2) a dual-branch Transformer encoder (DTE) to improve the feature discrimination capacity for the changes; and 3) a caption decoder to generate sentences describing the differences. The DTE consists of a hierarchy of processing stages to capture and recognize multiple changes of interest. Concretely, we use the bitemporal feature differences as keys to enhance image features (queries) from each temporal image in the dual-branch Transformer encoder (DTE). To explore the RSICC task, we build a large-scale dataset named LEVIR-CC, which contains 10077 pairs of bitemporal RS images and 50385 sentences describing the differences between images. We benchmark existing state-of-the-art synthetic image change captioning methods on the LEVIR Change Captioning dataset (LEVIR-CC dataset), and our RSICCformer outperforms previous methods with a significant margin (+4.98% on BLEU-4 and +9.86% on CIDEr-D). The attention visualization results also suggest that our model can focus on changes of interest and ignore irrelevant changes.
Advertisements on Knowledge Payment Platforms: A Game Theoretic Analysis of Pricing Strategies

Most knowledge payment platforms are keen to adopt a business model based on transaction revenue and advertising revenue. However, challenge with platforms has been to balance the interests of advertisers as well as their consumers. Increasing of advertising revenue, by having more advertisers may lead to higher consumers’ aversion. To address these queries, we develop a three-sided model to study the optimal pricing strategy of the knowledge payment platform. Specifically, we discuss the impact of the proportion of transaction fees charged by the platform on platform’s strategy under which the platform charges transaction fees from consumers and advertising fees from advertisers. We find that when the proportion of transaction fees charged by the platform is at a low level, the platform’s profit reaches the maximum. Once the proportion of transaction fees charged by the platform is high, which will have a negative impact on the platform’s profit although the platform adopts a strategy of increasing advertising price for advertisers. Besides, we analyze the changes of pricing strategy of knowledge payment platform under different level of network externalities. We find that with the increase of proportion of transaction fees charged by the platform and network externalities, both of the advertising price and platform’s profit are more sensitive to the proportion of transaction fees charged by the platform. On the contrary, as the degree of consumers’ aversion to advertisements increases, the platform’s profit is less sensitive to the proportion of transaction fees charged by the platform.
Memo Writing Procedures in Grounded Theory Research Methodology

This paper develops memo writing techniques within the framework of grounded theory methodology of qualitative research in social sciences. In grounded theory, memoing is one of the most important processes to develop and enrich theory. Memo is the written record of the researcher’s thinking. It is an analytical strategy that facilitates the researcher to achieve clear concept and truth from the data. It is considered as the tool of all kinds of notes taken by the researchers in grounded theory during their research. But yet there is a limited use of memo writing in other qualitative researches. Memoing increases investigation, inspection and continuity of data during the research analysis. In this study an attempt has been taken to discuss the aspects of memoing along with its benefits.
Einstein-Hilbert Action and on the Gauss-Bonnet Theorem for Riemannian Noncommutative Tori

We show the non-positivity of the Einstein-Hilbert action for conformal flat Riemannian metrics. The action vanishes only when the metric is constant flat. This recovers an earlier result of Fathizadeh-Khalkhali in the setting of spectral triples on noncommutative four-torus. Furthermore, computations of the gradient flow and the scalar curvature of this space based on modular operator are given. We also show the Gauss-Bonnet theorem for a parametrized class of non-diagonal metrics on noncommutative two-torus.