Miracle-dz/UniFAR-FTUs huggingface dataset:
Convergence Analysis of the Relaxed Douglas-Rachford Algorithm

Motivated by nonconvex, inconsistent feasibility problems in imaging, the relaxed alternating averaged reflections algorithm, or relaxed Douglas-Rachford algorithm (DR$\lambda$), was first proposed over a decade ago. Convergence results for this algorithm are limited either to convex feasibility or consistent nonconvex feasibility with strong assumptions on the regularity of the underlying sets. Using an analytical framework depending only on metric subregularity and pointwise almost averagedness, we analyze the convergence behavior of DR$\lambda$ for feasibility problems that are both nonconvex and inconsistent. We introduce a new type of regularity of sets, called super-regular at a distance, to establish sufficient conditions for local linear convergence of the corresponding sequence. These results subsume and extend existing results for this algorithm.
On Solutions of Three Quasi-Geostrophic Models

We consider the 2D quasi-geostrophic model and its two different regularizations. Global regularity results are established for the regularized models with subcritical or critical indices. The proof of Onsager's conjecture concerning weak solutions of the 3D Euler equations and the notion of dissipative solutions of Duchon and Robert are extended to weak solutions of the quasi-geostrophic equation.
3.5-kW 94.2% DC–DC Efficiency Capacitive Power Transfer With Zero Reactive Power Circulating

Most existing capacitive power transfer (CPT) circuits are developed from basic series–series CPT compensation, which have a common drawback of unavoidable reactive power circulating from the primary side of the capacitive coupler to its secondary side, causing reactive power loss, weakening power transfer capability, and aggravating electric field emission. To solve these concerns, this letter proposed a parallel–parallel (PP) compensation-based CPT system with double-side series–parallel (SP) inductive power transfer (IPT) links. The PP CPT compensation aims at zero reactive power circulating while the SP IPT links achieve high-power transfer capability. A 2.5-MHz prototype is implemented, and experiments validate the zero reactive power circulating property with 3.55 kW output power at a 94.2% dc–dc efficiency, and the peak efficiency achieves 94.6% at 1.62 kW output power. This letter is accompanied by slides as multimedia material demonstrating the motivations, contributions, and advantages over existing state-of-the-art CPT designs.
Reflection groups and discrete integrable systems

We present a method of constructing discrete integrable systems with crystallographic reflection group (Weyl) symmetries, thus clarifying the relationship between different discrete integrable systems in terms of their symmetry groups. Discrete integrable systems are associated with space-filling polytopes arise from the geometric representation of the Weyl groups in the $n$-dimensional real Euclidean space $\mathbb{R}^n$. The "multi-dimensional consistency" property of the discrete integrable system is shown to be inherited from the combinatorial properties of the polytope; while the dynamics of the system is described by the affine translations of the polytopes on the weight lattices of the Weyl groups. The connections between some well-known discrete systems such as the multi-dimensional consistent systems of quad-equations \cite{abs:03} and discrete Painlev\'e equations \cite{sak:01} are obtained via the geometric constraints that relate the polytope of one symmetry group to that of another symmetry group, a procedure which we call geometric reduction.
State and parameter estimation using Monte Carlo evaluation of path integrals

The process of transferring information from observations of a dynamical system to estimate the fixed parameters and unobserved states of a system model can be formulated as the evaluation of a discrete‐time path integral in model state space. The observations serve as a guiding ‘potential’ working with the dynamical rules of the model to direct system orbits in state space. The path‐integral representation permits direct numerical evaluation of the conditional mean path through the state space as well as conditional moments about this mean. Using a Monte Carlo method for selecting paths through state space, we show how these moments can be evaluated and demonstrate in an interesting model system the explicit influence of the role of transfer of information from the observations. We address the question of how many observations are required to estimate the unobserved state variables, and we examine the assumptions of Gaussianity of the underlying conditional probability. Copyright © 2010 Royal Meteorological Society
Procedural Generation of Narrative Worlds

A narrative world typically consists of several interrelated locations that, all together, fully support enacting a given story. For this, each location in a narrative world features all the objects as required there by the narrative, as well as a variety of other objects that plausibly describe or decorate the location. Procedural generation of narrative worlds poses many challenges, including that, First, it cannot lean only on domain knowledge (e.g., patterns of objects commonly found in typical locations), and, second, it involves a temporal dimension, which introduces dynamic fluctuations of objects between locations. In this article, we present a novel approach for the procedural generation of narrative worlds, following two stages: first, a narrative world mold is generated (only once) for a given story; second, the narrative world mold is used to create one (or more) possible narrative worlds for that story. For each story, its narrative world mold integrates spatio-temporal descriptions of its locations with the object semantics and the domain knowledge previously acquired on typical locations. We describe how a narrative world mold can be generated, as well as how it can be fed to existing procedural generation methods, to create a variety of narrative worlds that fit that narrative. We evaluate our own implementation of this approach, performing a number of experiments that illustrate both the expressive power of narrative world molds and their ability to steer the generation of narrative worlds.
Digital Twins Visualization of Large Electromechanical Equipment

Digital Twin is a bridge connecting physical world and virtual world, which can provide support for large electromechanical equipment in design, production and maintenance. Large electromechanical equipment is complex which brings difficulties for Digital Twins Visualization. In this paper, an interactive Digital Twin visualization framework is proposed for large electromechanical equipment. Using offline pre-rasterization and interactive cloud-end fusion rendering, complex equipment model can be rendered rapidly. Finally, a case study of heavy trucks is introduced to verify the system.
Partial Riemann problem, boundary conditions, and gas dynamics

We introduce in this contribution the notion of partial Riemann problem. Recall that the Riemann problem describes a shock tube interaction between two given states ; the partial Riemann problem is a generalization of the previous concept and introduces the notion of boundary manifold. In what follows, we first recall very classical notions concerning gas dynamics and the associated Riemann problem. In a second part, we introduce the partial Riemann problem for general systems of conservation laws and proves that this problem admits a solution in some class of appropriate nonlinear waves. In section 3, we recall the linearized analysis with the method of characteristics, introduce the weak formulation of the Dirichlet boundary condition for nonlinear situations in terms of the partial Riemann problem and show that lot of physically relevant situations are described with this theoretical framework. In the last paragraph, we propose a practical implementation of the previous onsiderations with the finite volume method.
Determination of the exchange interaction energy from the polarization expansion of the wave function

The exchange contribution to the energy of the hydrogen atom interacting with a proton is calculated from the polarization expansion of the wave function using the conventional surface-integral formula and two formulas involving volume integrals: the formula of the symmetry-adapted perturbation theory (SAPT) and the variational formula recommended by us. At large internuclear distances $R$, all three formulas yield the correct expression $-(2/e)Re^{-R}$, but approximate it with very different convergence rates. In the case of the SAPT formula, the convergence is geometric with the error falling as $3^{-K}$, where $K$ is the order of the applied polarization expansion. The error of the surface-integral formula decreases exponentially as $a^K/(K+1)! $, where $a=\ln2 -\tfrac{1}{2}$. The variational formula performs best, its error decays as $K^{1/2} [a^{ K}/(K+1)! ]^2$. These convergence rates are much faster than those resulting from approximating the wave function through the multipole expansion. This shows the efficiency of the partial resummation of the multipole series effected by the polarization expansion. Our results demonstrate also the benefits of incorporating the variational principle into the perturbation theory of molecular interactions.
Sustainable professional development for STEM teachers in Saudi Arabia

This paper responds to the call for the need to develop professional development practices for leaders, supervisors, teachers, and student guidance within the framework of international standards, particularly in line with the Kingdom of Saudi Arabia’s (KSA) vision 2030 (KSA, 2019). The current study aims to identify the obstacles and challenges for implementing sustainable professional development methods for teachers in KSA, who had participated in a ten-month Australian cross-national STEM professional development program. In addition, the teachers also participated in an immersion in Australian schools that lasted for 11 months. This paper reports on a sample of 22 male and female teachers coming from primary and secondary KSA schooling contexts. The participating teachers in the study were those who had participated in the Australian STEM immersion professional learning program in 2019-2020. Drawing from previous studies (Ermeling & Yarbo, 2016; Greene, 2015; Kayi-Aydar & Goering, 2019; Piqueras & Achiam, 2019), we have proposed a framework involving four methods for sustainable professional development for STEM teachers: professional learning communities, communities of practice, action research, and the outside expert. A mixed-methods research design was applied including three methods: individual interviews, open-ended questions to identify the proposed plan of STEM teachers’ implementation of the sustainable professional development methods. Also, a questionnaire to identify obstacles to the implementation of sustainable professional development methods from the viewpoint of STEM teachers was also employed. The results showed that the most prominent obstacles to the implementation of the sustainable professional development methods by STEM teachers in the Saudi educational system where there is no coordination in the school meetings schedule for the members of the professional learning STEM education community, there is no clear plan for communities of practice of STEM education, teachers’ overload teaching duties, lack of coordination between schools to benefit from STEM experts. Implications of our study reside in developing teachers’ ongoing STEM professional development opportunities through execution of a sustainable model of collaborative teacher communities in KSA. Suggestions for curriculum stakeholders and administrator’s coordination and supporting teachers’ ongoing participation and implementation of professional development programs are discussed.
Lattice simulations of $G_2$-QCD at finite density

$G_2$-QCD, in which the exceptional Lie group $G_2$ replaces the $SU(3)$ gauge group of QCD, does not suffer from a fermion sign problem. It can therefore be simulated also at comparatively low temperatures and high densities on the lattice, which hence allows to map out the phase diagram of this QCD-like theory. We briefly review some of our previous results from such finite density simulations to then present further evidence for a first-order transition to what might be called $G_2$-nuclear matter. In order to isolate diquark condensation effects, we introduce simulations with Majorana fermions and diquark sources. This allows to disentangle states in the spectrum that are connected by charge conjugation. We discuss chiral symmetry in the presence of diquark sources and present first results from our ongoing large-scale simulations.
Electrical and high-frequency properties of compensated GaN under electron streaming conditions

Conditions required for the streaming effect and the optical-phonon transit-time resonance to take place in a compensated bulk GaN are analyzed in detail. Monte Carlo calculations of the high-frequency differential electron mobility are carried out. It is shown that the negative dynamic differential mobility can be realized in the terahertz frequency range, at low lattice temperatures of 30--77 K, and applied electric fields of 3--10 kV/cm. New manifestations of the streaming effect are revealed, namely, the anisotropy of the dynamic differential mobility and a specific behavior of the diffusion coefficient in the direction perpendicular to the applied electric field. The theory of terahertz radiation transmission through the structure with an epitaxial GaN layer is developed. Conditions for the amplification of electromagnetic waves in the frequency range of 0.5--2 THz are obtained. The polarization dependence of the radiation transmission coefficient through the structure in electric fields above 1 kV/cm is found.
A duality relation for matrix pencils with application to linearizations

The aim of this paper is twofold. First, we introduce a new class of linearizations, based on the generalization of a construction used in polynomial algebra to find the zeros of a system of (scalar) polynomial equations. We show that one specific linearization in this class, which is constructed naturally from the QR factorization of the matrix obtained by stacking the coefficients of $A(x)$, has good conditioning and stability properties. Moreover, while analyzing this class, we introduce a general technique to derive new linearizations from existing ones. This technique generalizes some ad-hoc arguments used in dealing with the existing linearization classes, and can hopefully be used to derive a simpler and more general theory of linearizations. This technique relates linearizations to \emph{pencil arithmetic}, a technique used in solving matrix equations that allows to extend some algebraic operations from matrix to matrix pencils.
Modeling Modulation of the Tick Regulome in Response to Anaplasma phagocytophilum for the Identification of New Control Targets

Ticks act as vectors of pathogens affecting human and animal health worldwide, and recent research has focused on the characterization of tick-pathogen interactions using omics technologies to identify new targets for developing novel control interventions. The regulome (transcription factors-target genes interactions) plays a critical role in cell response to pathogen infection. Therefore, the application of regulomics to tick-pathogen interactions would advance our understanding of these molecular interactions and contribute to the identification of novel control targets for the prevention and control of tick infestations and tick-borne diseases. However, limited information is available on the role of tick regulome in response to pathogen infection. In this study, we applied complementary in silico approaches to modeling how Anaplasma phagocytophilum infection modulates tick vector regulome. This proof-of-concept research provided support for the use of network analysis in the study of regulome response to infection, resulting in new information on tick-pathogen interactions and potential targets for developing interventions for the control of tick infestations and pathogen transmission. Deciphering the precise nature of circuits that shape the tick regulome in response to pathogen infection is an area of research that in the future will advance our knowledge of tick-pathogen interactions, and the identification of new antigens for the control of tick infestations and pathogen infection/transmission.
RECONSTRUCTING REDSHIFT DISTRIBUTIONS WITH CROSS-CORRELATIONS: TESTS AND AN OPTIMIZED RECIPE

Many of the cosmological tests to be performed by planned dark energy experiments will require extremely well-characterized photometric redshift measurements. Current estimates for cosmic shear are that the true mean redshift of the objects in each photo-z bin must be known to better than 0.002(1 + z), and the width of the bin must be known to ∼0.003(1 + z) if errors in cosmological measurements are not to be degraded significantly. A conventional approach is to calibrate these photometric redshifts with large sets of spectroscopic redshifts. However, at the depths probed by Stage III surveys (such as DES), let alone Stage IV (LSST, JDEM, and Euclid), existing large redshift samples have all been highly (25%–60%) incomplete, with a strong dependence of success rate on both redshift and galaxy properties. A powerful alternative approach is to exploit the clustering of galaxies to perform photometric redshift calibrations. Measuring the two-point angular cross-correlation between objects in some photometric redshift bin and objects with known spectroscopic redshift, as a function of the spectroscopic z, allows the true redshift distribution of a photometric sample to be reconstructed in detail, even if it includes objects too faint for spectroscopy or if spectroscopic samples are highly incomplete. We test this technique using mock DEEP2 Galaxy Redshift survey light cones constructed from the Millennium Simulation semi-analytic galaxy catalogs. From this realistic test, which incorporates the effects of galaxy bias evolution and cosmic variance, we find that the true redshift distribution of a photometric sample can, in fact, be determined accurately with cross-correlation techniques. We also compare the empirical error in the reconstruction of redshift distributions to previous analytic predictions, finding that additional components must be included in error budgets to match the simulation results. This extra error contribution is small for surveys that sample large areas of sky (>∼10°–100°), but dominant for ∼1 deg2 fields. We conclude by presenting a step-by-step, optimized recipe for reconstructing redshift distributions from cross-correlation information using standard correlation measurements.
Geometrical Construction of Supertwistor Theory

Supertwistor theory is geometrically constructed based on the SUSY Hopf map. We derive a new incidence relation for the geometrical supertwistor theory. The present supertwistor exhibits remarkable properties: Minkowski space need not be complexified to introduce spin degrees of freedom, and even number SUSY is {automatically} incorporated by the geometrical set-up. We also develop a theory for massless free particle in Minkowski superspace, which physically corresponds to the geometrical supertwistor theory. The spin degrees of freedom are originated from fermionic momenta as well as fermionic coordinates. The geometrical supertwistor is quantized to reproduce same physical contents as in the original supertwistor theory. Relationships to superspin formalism and SUSY quantum Hall effect are also discussed.
An Algorithmic Approach for Inner Max-Min Model Under Norm-2 Type Uncertainty Set in Data-Driven Distributionally Robust Optimization

To accelerate the computational speed of data-driven distributionally robust optimization (DDRO), this letter presents a novel algorithmic approach to solve the inner max-min model under norm-2 type uncertainty set in DDRO. The proposed method can solve the problem in an easily implemented way instead of a time-consuming optimization process using commercial solvers. Comparisons of computational time between the algorithmic approach and optimization solvers verify the effectiveness of the proposed method.
Vortex formation and dynamics of defects in active nematic shells

We present a hydrodynamic model for a thin spherical shell of active nematic liquid crystal with an arbitrary configuration of defects. The active flows generated by defects in the director lead to the formation of stable vortices, analogous to those seen in confined systems in flat geometries, which generate effective dynamics for four +1/2 defects that reproduces the tetrahedral to planar oscillations observed in experiments. As the activity is increased and two counterrotating vortices dominate the flow, the defects are drawn more tightly into pairs, rotating about antipodal points. We extend this situation to also describe the dynamics of other configurations of defects. For example, two +1 defects are found to attract or repel according to the local geometric character of the director field around them and the extensile or contractile nature of the material, while additional pairs of opposite charge defects can give rise to flow states containing more than two vortices. Finally, we describe the generic relationship between defects in the orientation and singular points of the flow, and suggest implications for the three-dimensional nature of the flow and deformation in the shape of the shell.
The 74 MHz System on the Very Large Array

The Naval Research Laboratory and the National Radio Astronomy Observatory completed implementation of a low-frequency capability on the Very Large Array at 73.8 MHz in 1998. This frequency band offers unprecedented sensitivity (~25 mJy beam-1) and resolution for low-frequency observations. The longest baselines in the VLA itself provide 25'' resolution; the system has recently been extended to the nearby Pie Town antenna of the Very Long Baseline Array, which provides resolutions as high as 12''. This paper reviews the hardware, the calibration, and imaging strategies of this relatively new system. Ionospheric phase fluctuations pose the major difficulty in calibrating the array, and they influence the choice of calibration strategy. Over restricted fields of view (e.g., when imaging a strong source) or at times of extremely quiescent ionospheric "weather" (when the ionospheric isoplanatic patch size is larger than the field of view), an angle-invariant calibration strategy can be used. In this approach a single phase correction is devised for each antenna, typically via self-calibration; this approach is similar to that used at higher frequencies. Over larger fields of view or at times of more normal ionospheric weather when the ionospheric isoplanatic patch size is smaller than the field of view, we adopt a field-based strategy in which the phase correction depends on location within the field of view. In practice, we have implemented this second calibration strategy by modeling the ionosphere above the array using Zernike polynomials. Images of 3C sources of moderate strength are provided as examples of routine, angle-invariant calibration and imaging. Flux density measurements of a subsample of these sources with previously well-determined low-frequency spectra indicate that the 74 MHz flux scale at the Very Large Array is stable to a few percent and that flux densities tied to the Baars et al. value of Cygnus A are reliable to at least 5%. We also present an example of a wide-field image, devoid of bright objects and containing hundreds of weaker sources, constructed from the field-based calibration. The paper also reviews other practical aspects of low-frequency observations, in so far as they differ from those encountered at higher frequencies, including aspects of interference excision and wide-field imaging. We close with a summary of lessons that the 74 MHz system offers as a model for new and developing low-frequency telescopes.