title: Integrodifference master equation describing actively growing blood vessels in angiogenesis

abstract: We study a system of particles in a two-dimensional geometry that move according to a reinforced random walk with transition probabilities dependent on the solutions of reaction-diffusion equations for the underlying fields. A birth process and a history-dependent killing process are also considered. This system models tumor-induced angiogenesis, the process of formation of blood vessels induced by a growth factor released by a tumor. Particles represent vessel tip cells, whose trajectories constitute the growing vessel network. New vessels appear and may fuse with existing ones during their evolution. Thus, the system is described by tracking the density of active tips, calculated as an ensemble average over many realizations of the stochastic process. Such density satisfies a novel discrete master equation with source and sink terms. The sink term is proportional to a space-dependent and suitably fitted killing coefficient. Results are illustrated studying two influential angiogenesis models.

categories: q-bio.TO cond-mat.stat-mech math.DS nlin.AO physics.bio-ph


title: Magnetic torques on T Tauri stars: accreting vs. non-accreting systems

abstract: Classical T Tauri stars (CTTs) magnetically interact with their surrounding disks, a process that is thought to regulate their rotational evolution. In this work, we compute torques acting onto the stellar surface of CTTs arising from different accreting (accretion funnels) and ejecting (stellar winds and magnetospheric ejections) flow components. Furthermore, we compare the magnetic braking due to stellar winds in two different systems: isolated and accreting stars. 2.5D magnetohydrodynamic, time-dependent, axisymmetric simulations are employed. For both systems the stellar wind is thermally driven. In the star-disk-interaction (SDI) simulations the accretion disk is Keplerian, viscous, and resistive. Two series of simulations are presented, one for each system. We find that in classical T Tauri systems the presence of magnetospheric ejections confines the stellar-wind expansion, resulting in an hourglass-shaped geometry of the outflow. In addition, the formation of the accretion columns modifies the amount of open magnetic flux exploited by the stellar wind. These effects have a strong impact on the stellar wind properties and we show that the stellar-wind braking is more efficient in the star-disk-interacting systems than in the isolated ones. We also derive torque scalings, over a wide range of magnetic field strengths, for each flow component in a SDI system that directly applies a torque on the stellar surface. In all the performed SDI simulations the stellar wind extracts less than 2% of the mass accretion rate and the disk is truncated up to 66% of the corotation radius. All the simulations show a net spin-up torque. In order to achieve a stellar-spin equilibrium we need either more massive stellar winds or disks being truncated closer to the corotation radius, which increases the torque efficiency by the magnetospheric ejections.


title: Degenerate optical resonator for the enhancement of large laser beams

abstract: Enhancement cavities where a beam of large size (several millimeters) can resonate have several applications, in particular in atomic physics. However, reaching large beam waists in a compact geometry (less than a meter long) typically brings the resonator close to the degeneracy limit. Here we experimentally study a degenerate optical cavity, 44-cm long and consisting of two flat mirrors placed in the focal planes of a lens, in a regime of intermediate finesse ($\sim 150$). We study the impact of the longitudinal misalignement on the optical gain, for different input beam waists up to 5.6~mm, and find data consistent with the prediction of a model based on ABCD propagation of Gaussian beams. We reach an optical gain of 26 for a waist of 1.4~mm, which can have an impact on several applications, in particular atom interferometry. We numerically investigate the optical gain reduction for large beam waists using the angular spectrum method to consider the effects of optical aberrations, which play an important role in such a degenerate cavity. Our calculations quantitatively reproduce the experimental data and will provide a key tool for designing enhancement cavities close to the degeneracy limit. As an illustration, we discuss the application of this resonator geometry to the enhancement of laser beams with top-hat intensity profiles.


title: GW190814: Circumstantial Evidence for Up-Down Quark Star

abstract: Within a confining quark matter model which considers phenomenologically the quark confinement and asymptotic freedom as well as the chiral symmetry restoration and quark deconfinement at high baryon density, we find that if the up-down quark matter ($ud$QM) is more stable than nuclear matter and strange quark matter (SQM), the maximum mass of static quark stars with $ud$QM is $2.87M_{\odot}$ under agreement with both the constraints on star tidal deformability from gravitational wave signal GW170817 and the mass-radius of PSR J0030+0451 and PSR J0740+6620 measured by NICER. In contrast, the conventional strange quark star with the SQM that is more stable than nuclear matter while the nuclear matter is more stable than $ud$QM, has a maximum static mass of only $1.87M_{\odot}$ and its radius significantly deviates from NICER's constraint. Our results thus provide circumstantial evidence suggesting the recently reported GW190814's secondary component with a mass of $2.59^{+0.08}_{-0.09}M_\odot$ could be an up-down quark star.

categories: astro-ph.HE hep-ex hep-ph nucl-ex nucl-th


title: Yet Another Generalization of The Notion of a Metric Space

abstract: A generalization of the triangle inequality is introduced by a mapping similar to a t-conorm mapping. This generalization leads us to a notion for which we use the $\star$-metric terminology. We are interested in the topological space induced by a $\star$-metric. Considering some examples of non-trivial $\star$-metrizable topological spaces, we also study the product topology for a finite family of $\star$-metrizable topological spaces.


title: Structure-Aware Generation Network for Recipe Generation from Images

abstract: Sharing food has become very popular with the development of social media. For many real-world applications, people are keen to know the underlying recipes of a food item. In this paper, we are interested in automatically generating cooking instructions for food. We investigate an open research task of generating cooking instructions based on only food images and ingredients, which is similar to the image captioning task. However, compared with image captioning datasets, the target recipes are long-length paragraphs and do not have annotations on structure information. To address the above limitations, we propose a novel framework of Structure-aware Generation Network (SGN) to tackle the food recipe generation task. Our approach brings together several novel ideas in a systematic framework: (1) exploiting an unsupervised learning approach to obtain the sentence-level tree structure labels before training; (2) generating trees of target recipes from images with the supervision of tree structure labels learned from (1); and (3) integrating the inferred tree structures with the recipe generation procedure. Our proposed model can produce high-quality and coherent recipes, and achieve the state-of-the-art performance on the benchmark Recipe1M dataset.


title: LAVARNET: Neural Network Modeling of Causal Variable Relationships for Multivariate Time Series Forecasting

abstract: Multivariate time series forecasting is of great importance to many scientific disciplines and industrial sectors. The evolution of a multivariate time series depends on the dynamics of its variables and the connectivity network of causal interrelationships among them. Most of the existing time series models do not account for the causal effects among the system's variables and even if they do they rely just on determining the between-variables causality network. Knowing the structure of such a complex network and even more specifically knowing the exact lagged variables that contribute to the underlying process is crucial for the task of multivariate time series forecasting. The latter is a rather unexplored source of information to leverage. In this direction, here a novel neural network-based architecture is proposed, termed LAgged VAriable Representation NETwork (LAVARNET), which intrinsically estimates the importance of lagged variables and combines high dimensional latent representations of them to predict future values of time series. Our model is compared with other baseline and state of the art neural network architectures on one simulated data set and four real data sets from meteorology, music, solar activity, and finance areas. The proposed architecture outperforms the competitive architectures in most of the experiments.


title: Real-time implementation of an iterative solver for atmospheric tomography

abstract: The image quality of the new generation of earthbound Extremely Large Telescopes (ELTs) is heavily influenced by atmospheric turbulences. To compensate these optical distortions a technique called adaptive optics (AO) is used. Many AO systems require the reconstruction of the refractive index fluctuations in the atmosphere, called atmospheric tomography. The standard way of solving this problem is the Matrix Vector Multiplication, i.e., the direct application of a (regularized) generalized inverse of the system operator. However, over the last years the telescope sizes have increased significantly and the computational efficiency become an issue. Promising alternatives are iterative methods such as the Finite Element Wavelet Hybrid Algorithm (FEWHA), which is based on wavelets. Due to its efficient matrix-free representation of the underlying operators, the number of floating point operations and memory usage decreases significantly. In this paper, we focus on performance optimization techniques, such as parallel programming models, for the implementation of this iterative method on CPUs and GPUs. We evaluate the computational performance of our optimized, parallel version of FEWHA for ELT-sized test configurations.


title: Cyclotomic preperiodic points for morphisms in affine spaces and preperiodic points with bounded house and height

abstract: Under special conditions, we prove that the set of preperiodic points for semigroups of self-morphisms of affine spaces falling on cyclotomic closures is not dense. generalising results of Ostafe and Young (2020). We also extend previous results about boundness of house and height on certain preperiodicity sets of higher dimension in semigroup dynamics.


title: Quantitative precipitate classification and grain boundary property control in Co/Ni-base superalloys

abstract: A correlative approach is employed to simultaneously assess structure and chemistry of (carbide and boride) precipitates in a set of novel Co/Ni-base superalloys. Structure is derived from electron backscatter diffraction (EBSD) with pattern template matching, and chemistry obtained with energy dispersive X-ray spectroscopy (EDS). It is found that the principal carbide in these alloys is Mo and W rich with the M6C structure. An M2B boride, also exhibiting Mo and W segregation is observed at B levels above approximately 0.085 at.%. These phases are challenging to distinguish in an SEM with chemical information (EDS or backscatter Z-contrast) alone, without the structural information provided by EBSD. Only correlative chemical and structural fingerprinting is necessary and sufficient to fully define a phase. The identified phases are dissimilar to those predicted using ThermoCalc. We additionally perform an assessment of the grain boundary serratability in these alloys, and observe that significant amplitude is only obtained in the absence of pinning intergranular precipitates.


title: 3+1 Formulation of the Standard-Model Extension Gravity Sector

abstract: We present a 3+1 formulation of the effective field theory framework called the Standard-Model Extension in the gravitational sector. The explicit local Lorentz and diffeomorphism symmetry breaking assumption is adopted and we perform a Dirac-Hamiltonian analysis. We show that the structure of the dynamics presents significant differences from General Relativity and other modified gravity models. We explore Hamilton's equations for some special choices of the coefficients. Our main application is cosmology and we present the modified Friedmann equations for this case. The results show some intriguing modifications to standard cosmology. In addition, we compare our results to existing frameworks and models and we comment on the potential impact to other areas of gravitational theory and phenomenology.


title: Jarzynski Equality for Soret Equilibria -- Virtues of Virtual Potentials

abstract: The Jarzynski equality relates the free energy difference between two equilibrium states to the fluctuating irreversible work afforded to switch between them. The prescribed fixed temperature for the equilibrium states implicitly constrains the dissipative switching process that can take the system far from equilibrium. Here, we demonstrate theoretically and experimentally that such a relation also holds for the nonisothermal case, where the initial stationary state is not in equilibrium and the switching is effected by dynamically changing temperature gradients instead of a conservative force. Our demonstration employs a single colloidal particle trapped by optically induced thermophoretic drift currents. It relies on identifying suitable equivalents of classical work and heat and our ability to measure their distributions and express them in terms of a virtual potential.


title: Embedded Blockchains: A Synthesis of Blockchains, Spread Spectrum Watermarking, Perceptual Hashing & Digital Signatures

abstract: In this paper we introduce a scheme for detecting manipulated audio and video. The scheme is a synthesis of blockchains, encrypted spread spectrum watermarks, perceptual hashing and digital signatures, which we call an Embedded Blockchain. Within this scheme, we use the blockchain for its data structure of a cryptographically linked list, cryptographic hashing for absolute comparisons, perceptual hashing for flexible comparisons, digital signatures for proof of ownership, and encrypted spread spectrum watermarking to embed the blockchain into the background noise of the media. So each media recording has its own unique blockchain, with each block holding information describing the media segment. The problem of verifying the integrity of the media is recast to traversing the blockchain, block-by-block, and segment-by-segment of the media. If any chain is broken, the difference in the computed and extracted perceptual hash is used to estimate the level of manipulation.


title: Mutual Teaching for Graph Convolutional Networks

abstract: Graph convolutional networks produce good predictions of unlabeled samples due to its transductive label propagation. Since samples have different predicted confidences, we take high-confidence predictions as pseudo labels to expand the label set so that more samples are selected for updating models. We propose a new training method named as mutual teaching, i.e., we train dual models and let them teach each other during each batch. First, each network feeds forward all samples and selects samples with high-confidence predictions. Second, each model is updated by samples selected by its peer network. We view the high-confidence predictions as useful knowledge, and the useful knowledge of one network teaches the peer network with model updating in each batch. In mutual teaching, the pseudo-label set of a network is from its peer network. Since we use the new strategy of network training, performance improves significantly. Extensive experimental results demonstrate that our method achieves superior performance over state-of-the-art methods under very low label rates.


title: Unsupervised Feature Learning by Autoencoder and Prototypical Contrastive Learning for Hyperspectral Classification

abstract: Unsupervised learning methods for feature extraction are becoming more and more popular. We combine the popular contrastive learning method (prototypical contrastive learning) and the classic representation learning method (autoencoder) to design an unsupervised feature learning network for hyperspectral classification. Experiments have proved that our two proposed autoencoder networks have good feature learning capabilities by themselves, and the contrastive learning network we designed can better combine the features of the two to learn more representative features. As a result, our method surpasses other comparison methods in the hyperspectral classification experiments, including some supervised methods. Moreover, our method maintains a fast feature extraction speed than baseline methods. In addition, our method reduces the requirements for huge computing resources, separates feature extraction and contrastive learning, and allows more researchers to conduct research and experiments on unsupervised contrastive learning.


title: Atomistic analysis of Li migration in $\text{Li}_{1+x} \text{Al}_x \text{Ti}_{2-x} {(\text{P} \text{O}_4)}_3$ (LATP) solid electrolytes

abstract: We examine the ionic migration of Li in LATP [$\text{Li}_{1+x} \text{Al}_x \text{Ti}_{2-x} {(\text{P} \text{O}_4)}_3$] solid electrolytes from an atomistic viewpoint by means of density functional theory calculations. We vary the Al content and investigate its effects on the crystal structure of LATP and on the migration energy landscape of interstitial Li ions. The energy profiles governing the Li diffusion are found to be systematically influenced by the position of Al ions in direct vicinity of the migration path, and we derive a simplified classification scheme of three universal energy profile shapes. The overall influence of the Al/Ti-ratio on the Li migration is analyzed by a separation into chemical and geometrical aspects. This work provides a solid basis for a resource-efficient computational examination of the ionic conductivity of Li in LATP with varying Al/Ti concentrations.


title: Molecular aggregation in liquid water: Laplace spectra and spectral clustering of H-bonded network

abstract: Application of the spectral clustering method based on the analyses of the Laplace matrix is an acceptable indicator of the global properties of H-bonded network. The first peak of the Laplace spectra contains six eigenvalues. These results suggest that six communities are always formed in our simulated systems independently of the number of molecules in the cubic box. We showed that the H-bonded environment on the surface of the clusters is different from what can be found inside of the clusters. The fraction of four-coordinated molecules is significantly larger in the case of surface molecules. Our work emphasizes that the periodic boundary conditions always cause clustering in the system.


title: CcNav: Understanding Compiler Optimizations in Binary Code

abstract: Program developers spend significant time on optimizing and tuning programs. During this iterative process, they apply optimizations, analyze the resulting code, and modify the compilation until they are satisfied. Understanding what the compiler did with the code is crucial to this process but is very time-consuming and labor-intensive. Users need to navigate through thousands of lines of binary code and correlate it to source code concepts to understand the results of the compilation and to identify optimizations. We present a design study in collaboration with program developers and performance analysts. Our collaborators work with various artifacts related to the program such as binary code, source code, control flow graphs, and call graphs. Through interviews, feedback, and pair-analytics sessions, we analyzed their tasks and workflow. Based on this task analysis and through a human-centric design process, we designed a visual analytics system Compilation Navigator (CcNav) to aid exploration of the effects of compiler optimizations on the program. CcNav provides a streamlined workflow and a unified context that integrates disparate artifacts. CcNav supports consistent interactions across all the artifacts making it easy to correlate binary code with source code concepts. CcNav enables users to navigate and filter large binary code to identify and summarize optimizations such as inlining, vectorization, loop unrolling, and code hoisting. We evaluate CcNav through guided sessions and semi-structured interviews. We reflect on our design process, particularly the immersive elements, and on the transferability of design studies through our experience with a previous design study on program analysis.


title: The boulder population of asteroid 4 Vesta: Size-frequency distribution and survival time

abstract: Dawn's framing camera observed boulders on the surface of Vesta when the spacecraft was in its lowest orbit (LAMO). We identified, measured, and mapped boulders in LAMO images, which have a scale of 20 m per pixel. We estimate that our sample is virtually complete down to a boulder size of 4 pixels (80 m). The largest boulder is a 400 m-sized block on the Marcia crater floor. Relatively few boulders reside in a large area of relatively low albedo, surmised to be the carbon-rich ejecta of the Veneneia basin, either because boulders form less easily here or live shorter. By comparing the density of boulders around craters with a known age, we find that the maximum boulder lifetime is about 300 Ma. The boulder size-frequency distribution (SFD) is generally assumed to follow a power law. We fit power laws to the Vesta SFD by means of the maximum likelihood method, but they do not fit well. Our analysis of power law exponents for boulders on other small Solar System bodies suggests that the derived exponent is primarily a function of boulder size range. The Weibull distribution mimics this behavior and fits the Vesta boulder SFD well. The Weibull distribution is often encountered in rock grinding experiments, and may result from the fractal nature of cracks propagating in the rock interior. We propose that, in general, the SFD of particles (including boulders) on the surface of small bodies follows a Weibull distribution rather than a power law.


title: Film coating by directional droplet spreading on fibers

abstract: Plants and insects use slender conical structures to transport and collect small droplets, which are propelled along the conical structures due to capillary action. These droplets can deposit a fluid film during their motion, but despite its importance to many biological systems and industrial applications the properties of the deposited film are unknown. We characterise the film deposition by developing an asymptotic analysis together with experimental measurements and numerical simulations based on the lubrication equation. We show that the deposited film thickness depends significantly on both the fiber radius and the droplet size, highlighting that the coating is affected by finite size effects relevant to film deposition on fibres of any slender geometry. We demonstrate that by changing the droplet size, while the mean fiber radius and the Capillary number are fixed, the thickness of the deposited film can change by an order of magnitude or more. We show that self-propelled droplets have significant potential to create passively coated structures.


title: A Study of Maintainability in Evolving Open-Source Software

abstract: Our study is focused on an evaluation of the maintainability characteristic in the context of the long-term evolution of open-source software. According to well established software quality models such as the ISO 9126 and the more recent ISO 25010, maintainability remains among key quality characteristics alongside performance, security and reliability. To achieve our objective, we selected three complex, widely used target applications for which access to their entire development history and source code was available. To enable cross-application comparison, we restricted our selection to GUI-driven software developed on the Java platform. We focused our examination on released versions, resulting in 111 software releases included in our case study. These covered more than 10 years of development for each of the applications. For each version, we determined its maintainability using three distinct quantitative models of varying complexity. We examined the relation between software size and maintainability and studied the main drivers of important changes to software maintainability. We contextualized our findings using manual source code examination. We also carried out a finer grained evaluation at package level to determine the distribution of maintainability issues within application source code. Finally, we provided a cross-application analysis in order to identify common as well as application-specific patterns.


title: Simulating Unknown Target Models for Query-Efficient Black-box Attacks

abstract: Many adversarial attacks have been proposed to investigate the security issues of deep neural networks. In the black-box setting, current model stealing attacks train a substitute model to counterfeit the functionality of the target model. However, the training requires querying the target model. Consequently, the query complexity remains high, and such attacks can be defended easily. This study aims to train a generalized substitute model called "Simulator", which can mimic the functionality of any unknown target model. To this end, we build the training data with the form of multiple tasks by collecting query sequences generated during the attacks of various existing networks. The learning process uses a mean square error-based knowledge-distillation loss in the meta-learning to minimize the difference between the Simulator and the sampled networks. The meta-gradients of this loss are then computed and accumulated from multiple tasks to update the Simulator and subsequently improve generalization. When attacking a target model that is unseen in training, the trained Simulator can accurately simulate its functionality using its limited feedback. As a result, a large fraction of queries can be transferred to the Simulator, thereby reducing query complexity. Results of the comprehensive experiments conducted using the CIFAR-10, CIFAR-100, and TinyImageNet datasets demonstrate that the proposed approach reduces query complexity by several orders of magnitude compared to the baseline method. The implementation source code is released at https://github.com/machanic/SimulatorAttack.


title: Tuning Band Alignment and Optical Properties of 2D van der Waals Heterostructure via Ferroelectric Polarization Switching

abstract: Favourable band alignment and excellent visible light response are vital for photochemical water splitting. In this work, we have theoretically investigated how ferroelectric polarization and its reversibility in direction can be utilized to modulate the band alignment and optical absorption properties. For this objective, 2D van der Waals heterostructures (HTSs) are constructed by interfacing monolayer MoS2 with ferroelectric In2Se3. We find the switch of polarization direction has dramatically changed the band alignment, thus facilitating different type of reactions. In In2Se3/MoS2/In2Se3 heterostructures, one polarization direction supports hydrogen evolution reaction and another polarization direction can favour oxygen evolution reaction. These can be used to create tuneable photocatalyst materials where water reduction reactions can be selectively controlled by polarization switching. The modulation of band alignment is attributed to the shift of reaction potential caused by spontaneous polarization. Additionally, the formed type-II van der Waals HTSs also significantly improve charge separation and enhance the optical absorption in the visible and infrared regions. Our results pave a way in the design of van der Waals HTSs for water splitting using ferroelectric materials.


title: The distribution of star formation in galactic bars as seen with H$\alpha$ and stacked GALEX UV imaging

abstract: We investigate the spatial distribution of star formation (SF) within bars of nearby disk galaxies (inclination $< 65^{\circ}$) from the S$^4$G survey. We use archival GALEX far- and near-UV imaging for 772 barred galaxies. We also assemble a compilation of continuum-subtracted H$\alpha$ images for 433 barred galaxies, of which 70 are produced by ourselves from ancillary photometry and MUSE/CALIFA IFU data cubes. We employ two complementary approaches: i) the analysis of bar/disk stacks built from co-added UV images of hundreds of galaxies; and ii) the classification of the morphology of ionised regions in galaxies into three main SF classes: A) only circumnuclear SF, B) SF at the bar ends, but not along the bar, and C) SF along the bar. Lenticular galaxies typically belong to SF class A: this is probably related to bar-induced SF quenching. The distribution of SF class B peaks for early- and intermediate-type spirals: this most likely results from the interplay of gas flow, shocks, and enhanced shear in centrally concentrated galaxies with large bar amplitudes. Late-type galaxies are mainly assigned to SF class C: we argue that this is a consequence of low shear. In bar stacks of spirals, the UV emission traces the stellar bars and dominates on their leading side, as witnessed in simulations. For early-types, the central UV emission is $\sim$0.5 mag brighter in strongly barred galaxies, relative to their weakly barred counterparts: this is related to the efficiency of strong bars sweeping the disk gas and triggering central starbursts. We also show that the distributions of SF in inner ringed galaxies are broadly the same in barred and non-barred galaxies, including a UV/H$\alpha$ deficit in the middle part of the bar: this hints at the effect of resonance rings trapping gas. Distinct distributions of SF within bars are reported in galaxies of different morphological types (Abridged).


title: Emergent Stereoselective Interactions and Self-recognition in Polar Chiral Active Ellipsoids

abstract: In many active matter systems, particle trajectories have a well-defined handedness or chirality. Whether such chiral activity can introduce stereoselective interactions between particles is not known. Here we developed a strategy to tune the nature of chiral activity of 3D-printed granular ellipsoids without altering their shape or size. In vertically agitated monolayers of these particles, we observed two types of dimers form depending on the chirality of the pairing monomers. Heterochiral dimers moved collectively as a single achiral active unit, while homochiral ones formed a translationally immobile spinner. In active racemic mixtures, the former was more abundant than the latter indicating stereoselectivity. Through dimer lifetime measurements, we provide compelling evidence for chiral self-recognition in mixtures of particles with different chiral activities. We finally show that changing only the net chirality of a dense active liquid from a racemic mixture to an enantiopure liquid fundamentally alters its nature of collective relaxation.


title: A framework for a modular multi-concept lexicographic closure semantics

abstract: We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledge base can then be defined as a combination of the preferences of the single modules. The range of possibilities, from fine grained to coarse grained modules, provides a spectrum of alternative semantics.


title: Sub-Riemannian geodesics on nested principal bundles

abstract: We study the interplay between geodesics on two non-holono\-mic systems that are related by the action of a Lie group on them. After some geometric preliminaries, we use the Hamiltonian formalism to write the parametric form of geodesics. We present several geometric examples, including a non-holonomic structure on the Gromoll-Meyer exotic sphere and twistor space.


title: A Flux and Speed Observer for Induction Motors with Unknown Rotor Resistance and Load Torque and no Persistent Excitation Requirement

abstract: In this paper we address the problems of flux and speed observer design for voltage-fed induction motors with unknown rotor resistance and load torque. The only measured signals are stator current and control voltage. Invoking the recently reported Dynamic Regressor Extension and Mixing-Based Adaptive Observer (DREMBAO) we provide the first global solution to this problem. The proposed DREMBAO achieve asymptotic convergence under an excitation condition that is strictly weaker than persistent excitation. If the latter condition is assumed the convergence is exponential.


title: Big Ramsey degrees using parameter spaces

abstract: We show that the universal homogeneous partial order has finite big Ramsey degrees, and we discuss several corollaries. Our proof relies on parameter spaces and the Carlson--Simpson theorem rather than (a strengthening of) the Halpern--L\"auchli theorem and the Milliken tree theorem, which are typically used to bound big Ramsey degrees in existing literature (originating from work of Laver and Milliken). This new technique has many additional applications. We show that the homogeneous universal triangle-free graph has finite big Ramsey degrees, providing a short proof of a recent result by Dobrinen. Moreover, generalizing indivisibility (vertex partition) result of Nguyen van Th\'e and Sauer, we give upper bound on big Ramsey degrees of metric spaces with finitely many distances. This leads to a new combinatorial argument for the oscillation stability of the Urysohn Sphere.


title: Tangential weak defectiveness and generic identifiability

abstract: We investigate the uniqueness of decomposition of general tensors $T\in {\mathbb C}^{n_1+1}\otimes\cdots\otimes{\mathbb C}^{n_r+1}$ as a sum of tensors of rank $1$. This is done extending the theory developed in a previous paper by the second author to the framework of non twd varieties. In this way we are able to prove the non generic identifiability of infinitely many partially symmetric tensors.


title: Simulation of microswimmer hydrodynamics with multiparticle collision dynamics

abstract: In this review we discuss the recent progress in the simulation of soft active matter systems and in particular the hydrodynamics of microswimmers using the method of multiparticle collision dynamics, which solves the hydrodynamic flows around active objects on a coarse-grained level. We first present a brief overview of the basic simulation method and the coupling between microswimmers and fluid. We then review the current achievements in simulating flexible and rigid microswimmers using multiparticle collision dynamics, and briefly conclude and discuss possible future directions.


title: Geometry of complex instability and escape in four-dimensional symplectic maps

abstract: In four-dimensional symplectic maps complex instability of periodic orbits is possible, which cannot occur in the two-dimensional case. We investigate the transition from stable to complex unstable dynamics of a fixed point under parameter variation. The change in the geometry of regular structures is visualized using 3D phase-space slices and in frequency space using the example of two coupled standard maps. The chaotic dynamics is studied using escape time plots and by computations of the 2D invariant manifolds associated with the complex unstable fixed point. Based on a normal-form description, we investigate the underlying transport mechanism by visualizing the escape paths and the long-time confinement in the surrounding of the complex unstable fixed point. We find that the escape is governed by the transport along the unstable manifold across invariant planes of the normal-form.


title: Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics

abstract: We establish a generic upper bound ExpTime for reasoning with global assumptions (also known as TBoxes) in coalgebraic modal logics. Unlike earlier results of this kind, our bound does not require a tractable set of tableau rules for the instance logics, so that the result applies to wider classes of logics. Examples are Presburger modal logic, which extends graded modal logic with linear inequalities over numbers of successors, and probabilistic modal logic with polynomial inequalities over probabilities. We establish the theoretical upper bound using a type elimination algorithm. We also provide a global caching algorithm that potentially avoids building the entire exponential-sized space of candidate states, and thus offers a basis for practical reasoning. This algorithm still involves frequent fixpoint computations; we show how these can be handled efficiently in a concrete algorithm modelled on Liu and Smolka's linear-time fixpoint algorithm. Finally, we show that the upper complexity bound is preserved under adding nominals to the logic, i.e. in coalgebraic hybrid logic.


title: Infinite horizon utility maximisation from inter-temporal wealth

abstract: We develop a duality theory for the problem of maximising expected lifetime utility from inter-temporal wealth over an infinite horizon, under the minimal no-arbitrage assumption of No Unbounded Profit with Bounded Risk (NUPBR). We use only deflators, with no arguments involving equivalent martingale measures, so do not require the stronger condition of No Free Lunch with Vanishing Risk (NFLVR). Our formalism also works without alteration for the finite horizon version of the problem. As well as extending work of Bouchard and Pham to any horizon and to a weaker no-arbitrage setting, we obtain a stronger duality statement, because we do not assume by definition that the dual domain is the polar set of the primal space. Instead, we adopt a method akin to that used for inter-temporal consumption problems, developing a supermartingale property of the deflated wealth and its path that yields an infinite horizon budget constraint and serves to define the correct dual variables. The structure of our dual space allows us to show that it is convex, without forcing this property by assumption. We proceed to enlarge the primal and dual domains to confer solidity to them, and use supermartingale convergence results which exploit Fatou convergence, to establish that the enlarged dual domain is the bipolar of the original dual space. The resulting duality theorem shows that all the classical tenets of convex duality hold. Moreover, at the optimum, the deflated wealth process is a potential converging to zero. We work out examples, including a case with a stock whose market price of risk is a three-dimensional Bessel process, so satisfying NUPBR but not NFLVR.


title: Application-Based Coexistence of Different Waveforms on Non-orthogonal Multiple Access

abstract: The coexistence of different wireless communication systems such as LTE and Wi-Fi by sharing the unlicensed band is well studied in the literature. In these studies, various methods are proposed to support the coexistence of systems, including listen-before-talk mechanism, joint user association and resource allocation. However, in this study, the coexistence of different waveform structures in the same resource elements are studied under the theory of non-orthogonal multiple access. This study introduces a paradigm-shift on NOMA towards the application-centric waveform coexistence. Throughout the paper, the coexistence of different waveforms is explained with two specific use cases, which are power-balanced NOMA and joint radar-sensing and communication with NOMA. In addition, some of the previous works in the literature regarding non-orthogonal waveform coexistence are reviewed. However, the concept is not limited to these use cases. With the rapid development of wireless technology, next-generation wireless systems are proposed to be flexible and hybrid, having different kinds of capabilities such as sensing, security, intelligence, control, and computing. Therefore, the concept of different waveforms' coexistence to meet these concerns are becoming impressive for researchers.


title: Mechanical characterization of brain tissue in tension at dynamic strain rates

abstract: Mechanical characterization of brain tissue at high loading velocities is crucial for modeling Traumatic Brain Injury (TBI). During severe impact conditions, brain tissue experiences compression, tension and shear. Limited experimental data is available for brain tissue in extension at dynamic strain rates. In this research, a High Rate Tension Device (HRTD) was developed to obtain dynamic properties of brain tissue in extension at strain rates of < 90/s. In vitro tensile tests were performed to obtain properties of brain tissue at strain rates of 30, 60 and 90/s up to 30% strain. The brain tissue showed a stiffer response with increasing strain rates, showing that hyperelastic models are not adequate. Specifically, the tensile engineering stress at 30% strain was 3.1 +/- 0.49 kPa, 4.3 +/- 0.86 kPa, 6.5 +/- 0.76 kPa (mean +/- SD) at strain rates of 30, 60 and 90/s, respectively. Force relaxation tests in tension were also conducted at different strain magnitudes (10-60% strain) with the average rise time of 24 ms, which were used to derive time dependent parameters. One-term Ogden, Fung and Gent models were used to obtain material parameters from the experimental data. Numerical simulations were performed using a one-term Ogden model to analyze hyperelastic behavior of brain tissue up to 30% strain. The material parameters obtained in this study will help to develop biofidelic human brain finite element models, which can subsequently be used to predict brain injuries under impact conditions and as a reconstruction and simulation tool for forensic investigations.


title: Adaptive Scale Factor Compensation for Missiles with Strapdown Seekers via Predictive Coding

abstract: In this work we present a method to adaptively compensate for scale factor errors in both rotational velocity and seeker angle measurements. The adaptation scheme estimates the scale factor errors using a predictive coding model implemented as a deep neural network with recurrent layer, and then uses these estimates to compensate for the error. During training, the model learns over a wide range of scale factor errors that ideally bound the expected errors that can occur during deployment, allowing the deployed model to quickly adapt in real time to the ground truth error. We demonstrate in a realistic six degrees-of-freedom simulation of an exoatmospheric intercept that our method effectively compensates for concurrent rotational velocity and seeker angle scale factor errors. The compensation method is general in that it is independent of a given guidance, navigation, and control system implementation. Although demonstrated using an exoatmospheric missile with strapdown seeker, the method is also applicable to endoatmospheric missiles with both gimbaled and strapdown seekers, as well as general purpose inertial measurement unit rate gyro compensation.


title: Constant cycle subvarieties in the Mukai system of rank two and genus two

abstract: Combining theorems of Voisin and Marian, Shen, Yin and Zhao, we compute the dimensions of the orbits under rational equivalence in the Mukai system of rank two and genus two. We produce several examples of algebraically coisotropic and constant cycle subvarieties.


title: Scaling Relations in the Network of Voids: Implications for Local Universe Dynamics and Inferring the Metric of Space

abstract: The large-scale distribution of matter in the universe forms a network of clusters, filaments and walls enclosing large empty voids. Voids in turn can be described as a cellular system in which voids/cells define dynamically distinct regions. Cellular systems arising from a variety of physical and biological processes have been observed to closely follow scaling laws relating their geometry, topology and dynamics. These scaling laws have never been studied for cosmological voids, the largest known cellular system. Using a cosmological N-body simulation we present a study of the scaling relations of the network of voids, extending their validity by over 30 orders of magnitude in scale with respect to other known cellular systems. Scaling relations allow us to make indirect measurements of the dynamical state of voids from their geometry and topology. Using our results we interpret the "local velocity anomaly" observed in the Leo Spur as the result of a collapsing void in our cosmic backyard. Moreover, the geometry and connectivity of voids directly depends on the curvature of space. Here we propose scaling relations as an independent and novel measure of the metric of space and discuss their use in future galaxy surveys.


title: Non-Euclidean Laguerre geometry and incircular nets

abstract: Classical (Euclidean) Laguerre geometry studies oriented hyperplanes, oriented hyperspheres, and their oriented contact in Euclidean space. We describe how this can be generalized to arbitrary Cayley-Klein spaces, in particular hyperbolic and elliptic space, and study the corresponding groups of Laguerre transformations. We give an introduction to Lie geometry and describe how these Laguerre geometries can be obtained as subgeometries. As an application of two-dimensional Lie and Laguerre geometry we study the properties of incircular nets.


title: A Novel Design of Soft Robotic Hand with a Human-inspired Soft Palm for Dexterous Grasping

abstract: Soft robotic hands and grippers are increasingly attracting attention as a robotic end-effector. Compared with rigid counterparts, they are safer for human-robot and environment-robot interactions, easier to control, lower cost and weight, and more compliant. Current soft robotic hands have mostly focused on the soft fingers and bending actuators. However, the palm is also essential part for grasping. In this work, we propose a novel design of soft humanoid hand with pneumatic soft fingers and soft palm. The hand is inexpensive to fabricate. The configuration of the soft palm is based on modular design which can be easily applied into actuating all kinds of soft fingers before. The splaying of the fingers, bending of the whole palm, abduction and adduction of the thumb are implemented by the soft palm. Moreover, we present a new design of soft finger, called hybrid bending soft finger (HBSF). It can both bend in the grasping axis and deflect in the side-to-side axis as human-like motion. The functions of the HBSF and soft palm were simulated by SOFA framework. And their performance was tested in experiments. The 6 fingers with 1 to 11 segments were tested and analyzed. The versatility of the soft hand is evaluated and testified by the grasping experiments in real scenario according to Feix taxonomy. And the results present the diversity of grasps and show promise for grasping a variety of objects with different shapes and weights.


title: Study of anomalous gauge-Higgs couplings using $Z$ boson polarization at LHC

abstract: We estimate model-independent bounds that could be obtained on the anomalous $ZZH$ vertex using polarization parameters of the $Z$ boson produced in the Higgstrahlung process at the LHC. We calculate the eight independent polarization parameters from the spin density matrix elements of the $Z$, which can probe underlying new physics contributions to $ZH$ production. By using the approach that connects these polarization observables to the coefficients in the angular distribution of the decay products of the $Z$, we estimate the limits on the anomalous $ZZH$ coupling that can be obtained at the 14 TeV LHC.


title: Analysis of open source license selection for the GitHub programming community

abstract: Developers usually select different open source licenses to restrain the conditions of using open source software, in order to protect intellectual property rights effectively and maintain the long-term development of the software. However, the open source community has a wide variety of licenses available, developers generally find it difficult to understand the differences between different open source license. And existing open source license selection tools require developers to understand the terms of the open source license and identify their business needs, which makes it hard for developers to make the right choice. Although academia has extensive research to the open source license, but there is no systematic analysis on the actual difficulties of the developers to choose the open source license, thus lacking a clear understanding, for this reason, the purpose of this paper is to understand the difficulties faced by open source developers in choosing open source licenses, analyze the components of open source license and the affecting factors of open source license selection, and to provide references for developers to choose open source licenses.


title: Classification of Diabetic Retinopathy Using Unlabeled Data and Knowledge Distillation

abstract: Knowledge distillation allows transferring knowledge from a pre-trained model to another. However, it suffers from limitations, and constraints related to the two models need to be architecturally similar. Knowledge distillation addresses some of the shortcomings associated with transfer learning by generalizing a complex model to a lighter model. However, some parts of the knowledge may not be distilled by knowledge distillation sufficiently. In this paper, a novel knowledge distillation approach using transfer learning is proposed. The proposed method transfers the entire knowledge of a model to a new smaller one. To accomplish this, unlabeled data are used in an unsupervised manner to transfer the maximum amount of knowledge to the new slimmer model. The proposed method can be beneficial in medical image analysis, where labeled data are typically scarce. The proposed approach is evaluated in the context of classification of images for diagnosing Diabetic Retinopathy on two publicly available datasets, including Messidor and EyePACS. Simulation results demonstrate that the approach is effective in transferring knowledge from a complex model to a lighter one. Furthermore, experimental results illustrate that the performance of different small models is improved significantly using unlabeled data and knowledge distillation.


title: Comment on "Understanding the Frauchiger-Renner argument" by Jeffrey Bub

abstract: Bub has recently claimed that the Frauchiger-Renner argument does not require an assumption that the state vector undergoes projection after measurement. It is shown that this claim is not true, and an alternative understanding of the argument is offered.


title: Perceiving Humans: from Monocular 3D Localization to Social Distancing

abstract: Perceiving humans in the context of Intelligent Transportation Systems (ITS) often relies on multiple cameras or expensive LiDAR sensors. In this work, we present a new cost-effective vision-based method that perceives humans' locations in 3D and their body orientation from a single image. We address the challenges related to the ill-posed monocular 3D tasks by proposing a neural network architecture that predicts confidence intervals in contrast to point estimates. Our neural network estimates human 3D body locations and their orientation with a measure of uncertainty. Our proposed solution (i) is privacy-safe, (ii) works with any fixed or moving cameras, and (iii) does not rely on ground plane estimation. We demonstrate the performance of our method with respect to three applications: locating humans in 3D, detecting social interactions, and verifying the compliance of recent safety measures due to the COVID-19 outbreak. We show that it is possible to rethink the concept of "social distancing" as a form of social interaction in contrast to a simple location-based rule. We publicly share the source code towards an open science mission.


title: Nuclear Multifragmentation: Basic Concepts

abstract: We present a brief overview of nuclear multifragmentation reaction. Basic formalism of canonical thermodynamical model based on equilibrium statistical mechanics is described. This model is used to calculate basic observables of nuclear multifragmentation like mass distribution, fragment multiplicity, isotopic distribution and isoscaling. Extension of canonical thermodynamical model to a projectile fragmentation model is outlined. Application of the projectile fragmentation model for calculating average number of intermediate mass fragments and the average size of largest cluster at different $Z_{bound}$, differential charge distribution and cross-section of neutron rich nuclei of different projectile fragmentation reactions at different energies are described. Application of nuclear multifragmentation reaction in basic research as well as in other domains is outlined.


title: Sharp pinching estimates for mean curvature flow in the sphere

abstract: We prove a suite of asymptotically sharp quadratic curvature pinching estimates for mean curvature flow in the sphere which generalize Simons' rigidity theorem for minimal hypersurfaces. We then obtain derivative estimates for the second fundamental form which we utilize, via a compactness argument, to obtain a convexity estimate. Together, the convexity and cylindrical estimates yield a partial classification of singularity models. We also obtain new rigidity results for ancient solutions.


title: Experimental Evidence of Stable 2$H$ Phase on the Surface of Layered 1$T'$-TaTe$_2$

abstract: We report on the low-energy electronic structure of Tantalum ditelluride (1$T'$-TaTe$_2$), one of the charge density wave (CDW) materials from the group V transition metal dichalcogenides using angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT). We find that the Fermi surface topology of TaTe$_2$ is quite complicated compared to its isovalent compounds such as TaS$_2$, TaSe$_2$, and isostructural compound NbTe$_2$. More importantly, we discover that the surface electronic structure of 1$T'$-TaTe$_2$ has more resemblance to the 2$H$-TaTe$_2$, while the bulk electronic structure has more resemblance to the hypothetical 1$T$-TaTe$_2$. These experimental observations are thoroughly compared with our DFT calculations performed on 1$T$-, 2$H$- and 2$H$ (monolayer)/1$T$- TaTe$_2$. We further notice that the Fermi surface topology is temperature independent up to 180 K, confirming that the 2$H$ phase on the surface is stable up to 180 K and the CDW order is not due to the Fermi surface nesting.


title: Central extensions of filiform Zinbiel algebras

abstract: In this paper we describe central extensions (up to isomorphism) of all complex null-filiform and filiform Zinbiel algebras. It is proven that every non-split central extension of an $n$-dimensional null-filiform Zinbiel algebra is isomorphic to an $(n+1)$-dimensional null-filiform Zinbiel algebra. Moreover, we obtain all pairwise non isomorphic quasi-filiform Zinbiel algebras.


title: A compactness result for scalar-flat metrics on low dimensional manifolds with umbilic boundary

abstract: Let (M,g) a compact Riemannian $n$-dimensional manifold with umbilic boundary. It is well know that, under certain hypothesis, in the conformal class of g there are scalar-flat metrics that have the boundary of M as a constant mean curvature hypersurface. In this paper we prove that these metrics are a compact set in the case of low dimensional manifolds, that is n=6,7,8, provided that the Weyl tensor is always not vanishing on the boundary.


title: Fast Immune System Inspired Hypermutation Operators for Combinatorial Optimisation

abstract: Various studies have shown that immune system inspired hypermutation operators can allow artificial immune systems (AIS) to be very efficient at escaping local optima of multimodal optimisation problems. However, this efficiency comes at the expense of considerably slower runtimes during the exploitation phase compared to standard evolutionary algorithms. We propose modifications to the traditional `hypermutations with mutation potential' (HMP) that allow them to be efficient at exploitation as well as maintaining their effective explorative characteristics. Rather than deterministically evaluating fitness after each bit-flip of a hypermutation, we sample the fitness function stochastically with a `parabolic' distribution which allows the `stop at first constructive mutation' (FCM) variant of HMP to reduce the linear amount of wasted function evaluations when no improvement is found to a constant. The stochastic distribution also allows the removal of the FCM mechanism altogether as originally desired in the design of the HMP operators. We rigorously prove the effectiveness of the proposed operators for all the benchmark functions where the performance of HMP is rigorously understood in the literature and validating the gained insights to show linear speed-ups for the identification of high quality approximate solutions to classical NP-Hard problems from combinatorial optimisation. We then show the superiority of the HMP operators to the traditional ones in an analysis of the complete standard Opt-IA AIS, where the stochastic evaluation scheme allows HMP and ageing operators to work in harmony. Through a comparative performance study of other `fast mutation' operators from the literature, we conclude that a power-law distribution for the parabolic evaluation scheme is the best compromise in black box scenarios where little problem knowledge is available.


title: Explicit and Energy-Conserving Constraint Energy Minimizing Generalized Multiscale Discontinuous Galerkin Method for Wave Propagation in Heterogeneous Media

abstract: In this work, we propose a local multiscale model reduction approach for the time-domain scalar wave equation in a heterogenous media. A fine mesh is used to capture the heterogeneities of the coefficient field, and the equation is solved globally on a coarse mesh in the discontinuous Galerkin discretization setting. The main idea of the model reduction approach is to extract dominant modes in local spectral problems for representation of important features, construct multiscale basis functions in coarse oversampled regions by constraint energy minimization problems, and perform a Petrov-Galerkin projection and a symmetrization onto the coarse grid. The method is expicit and energy conserving, and exhibits both coarse-mesh and spectral convergence, provided that the oversampling size is appropriately chosen. We study the stability and convergence of our method. We also present numerical results on the Marmousi model in order to test the performance of the method and verify the theoretical results.


title: Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons

abstract: We consider a system of N trapped bosons with repulsive interactions in a combined semiclassical mean-field limit at positive temperature. We show that the free energy is well approximated by the minimum of the Hartree free energy functional - a natural extension of the Hartree energy functional to positive temperatures. The Hartree free energy functional converges in the same limit to a semiclassical free energy functional, and we show that the system displays Bose-Einstein condensation if and only if it occurs in the semiclassical free energy functional. This allows us to show that for weak coupling the critical temperature decreases due to the repulsive interactions.

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


title: Survey of Machine Learning Accelerators

abstract: New machine learning accelerators are being announced and released each month for a variety of applications from speech recognition, video object detection, assisted driving, and many data center applications. This paper updates the survey of of AI accelerators and processors from last year's IEEE-HPEC paper. This paper collects and summarizes the current accelerators that have been publicly announced with performance and power consumption numbers. The performance and power values are plotted on a scatter graph and a number of dimensions and observations from the trends on this plot are discussed and analyzed. For instance, there are interesting trends in the plot regarding power consumption, numerical precision, and inference versus training. This year, there are many more announced accelerators that are implemented with many more architectures and technologies from vector engines, dataflow engines, neuromorphic designs, flash-based analog memory processing, and photonic-based processing.


title: Joint estimation of atmospheric and instrumental defects using a parsimonious point spread function model.On-sky validation using state of the art worldwide adaptive-optics assisted instruments

abstract: Modeling the optical point spread function (PSF) is particularly challenging for adaptive optics (AO)-assisted observations owing to the its complex shape and spatial variations. We aim to (i) exhaustively demonstrate the accuracy of a recent analytical model from comparison with a large sample of imaged PSFs, (ii) assess the conditions for which the model is optimal, and (iii) unleash the strength of this framework to enable the joint estimation of atmospheric parameters, AO performance and static aberrations. We gathered 4812 on-sky PSFs obtained from seven AO systems and used the same fitting algorithm to test the model on various AO PSFs and diagnose AO performance from the model outputs. Finally, we highlight how this framework enables the characterization of the so-called low wind effect on the SPHERE instrument and piston cophasing errors on the Keck II telescope. Over 4812 PSFs, the model reaches down to 4% of error on both the Strehl-ratio (SR) and full width at half maximum (FWHM). We particularly illustrate that the estimation of the Fried parameter, which is one of the model parameters, is consistent with known seeing statistics and follows expected trends in wavelength using the MUSE instrument ($\lambda^{6/5}$) and field (no variations) from GSAOI images with a standard deviation of 0.4cm. Finally, we show that we can retrieve a combination of differential piston, tip, and tilt modes introduced by the LWE that compares to ZELDA measurements, as well as segment piston errors from the Keck II telescope and particularly the stair mode that has already been revealed from previous studies. This model matches all types of AO PSFs at the level of 4% error and can be used for AO diagnosis, post-processing, and wavefront sensing purposes.


title: Resonant Vibrational-Electronic Coupling between Photosynthetic Excitons is Inadequately Described by Reduced Basis Sets

abstract: Vibrational-electronic (vibronic) resonance and its role in energy and charge transfer has been experimentally and theoretically investigated in several photosynthetic proteins. Using a dimer modeled on a typical photosynthetic protein, we contrast the description of such excitons provided by an exact basis set description, as opposed to a basis set with reduced vibrational dimensionality. Using a reduced analytical description of the full Hamiltonian, we show that in the presence of vibrational excitation both on electronically excited as well as unexcited sites, constructive interference between such basis states causes vibronic coupling between excitons to become progressively stronger with increasing quanta of vibrational excitation. This effect leads to three distinguishing features of excitons coupled through a vibronic resonance which are not captured in basis sets with reduced vibrational dimensionality - 1. the vibronic resonance criterion itself, 2. vibronically assisted perfect delocalization between sites even though purely electronic mixing between the sites is imperfect due to energetic disorder, 3. the nuclear distortion accompanying vibronic excitons becoming increasingly larger for resonant vibronic coupling involving higher vibrational quanta. In terms of spectroscopically observable limitations of reduced basis set descriptions of vibronic resonance, several differences are seen in absorption and emission spectra, but may be obscured on account of overwhelming line broadening. However, we show that several features such as vibronic exciton delocalization and vibrational distortions associated with electronic excitations, which ultimately dictate the excited state wavepacket motions and relaxation processes, are fundamentally not described under reduced basis set descriptions of vibronic resonance.


title: Wavefront engineering for controlled structuring of far-field intensity and phase patterns from multimodal optical fibers

abstract: Adaptive optics methods have long been used to perform complex light shaping at the output of a multimode fiber (MMF), with the specific aim of controlling the emitted beam in the near-field. Gaining control of other emission properties, including the far-field pattern and the phase of the generated beam, would open up the possibility for MMFs to act as miniaturized beam splitting, steering components and to implement phase-encoded imaging and sensing. In this study, we employ phase modulation at the input of a MMF to generate multiple, low divergence rays with controlled angles and phase, showing how wavefront engineering can enable beam steering and phase-encoded applications through MMFs.


title: The Optics of Language-Integrated Query

abstract: Monadic comprehensions reign over the realm of language-integrated query (LINQ), and for good reasons. Indeed, comprehensions are tightly integrated with general purpose programming languages and close enough to common query languages, such as SQL, to guarantee their translation into effective queries. Comprehensions also support features for writing reusable and composable queries, such as the handling of nested data and the use of functional abstractions. In parallel to these developments, optics have emerged in recent years as the technology of choice to write programs that manipulate complex data structures with nested components. Optic abstractions are easily composable and, in principle, permit both data access and updates. This paper attempts to exploit the notion of optic for LINQ as a higher-level language that complements comprehension-based approaches. In order to do this, we lift a restricted subset of optics, namely getters, affine folds and folds, into a full-blown DSL. The type system of the resulting language of optics, that we have named Optica, distills their compositional properties, whereas its denotational semantics is given by standard optics. This formal specification of the concept of optic enables the definition of non-standard optic representations beyond van Laarhoven, profunctor optics, etc. In particular, the paper demonstrates that a restricted subset of XQuery can be understood as an optic representation; it introduces Triplets, a non-standard semantic domain to normalize optic expressions and facilitate the generation of SQL queries; and it describes how to generate comprehension-based queries from optic expressions, thus showing that both approaches can coexist.The paper also describes S-Optica, a Scala implementation of Optica using the tagless-final approach.


title: Effect of molecular constitution and conformation on positron binding and annihilation in alkanes

abstract: The model-potential approach previously developed by the authors to study positron interactions with molecules is used to calculate the positron binding energy for $n$-alkanes (C$_n$H$_{2n+2}$) and the corresponding cycloalkanes (C$_n$H$_{2n}$). For $n$-alkanes, the dependence of the binding energy on the conformation of the molecule is investigated, with more compact structures showing greater binding energies. As a result, thermally averaged binding energies for larger alkanes ($n\gtrsim 9$) show a strong temperature dependence in the range of 100-600 K. This suggests that positron resonant annihilation can be used as a probe of rotational (trans-gauche) isomerization of $n$-alkanes. In particular, the presence of different conformers leads to shifts and broadening of vibrational Feshbach resonances in the annihilation rate, as observed with a trap-based low-energy positron beam.


title: An Automatically Verified Prototype of the Tokeneer ID Station Specification

abstract: The Tokeneer project was an initiative set forth by the National Security Agency (NSA, USA) to be used as a demonstration that developing highly secure systems can be made by applying rigorous methods in a cost effective manner. Altran Praxis (UK) was selected by NSA to carry out the development of the Tokeneer ID Station. The company wrote a Z specification later implemented in the SPARK Ada programming language, which was verified using the SPARK Examiner toolset. In this paper, we show that the Z specification can be easily and naturally encoded in the {log} set constraint language, thus generating a functional prototype. Furthermore, we show that {log}'s automated proving capabilities can discharge all the proof obligations concerning state invariants as well as important security properties. As a consequence, the prototype can be regarded as correct with respect to the verified properties. This provides empirical evidence that Z users can use {log} to generate correct prototypes from their Z specifications. In turn, these prototypes enable or simplify some verificatio activities discussed in the paper.


title: Discriminating qubit amplitude damping channels

abstract: We address the issue of the discrimination between two-qubit amplitude damping channels by exploring several strategies. For the single-shot, we show that the excited state does not always give the optimal input, and that side entanglement assistance has limited benefit. On the contrary, feedback assistance from the environment is more beneficial. For the two-shot, we prove the in-utility of entangled inputs. Then focusing on individual (local) measurements, we find the optimal adaptive strategy.


title: Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)

abstract: This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages 2020. The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions.


title: A quantum model for rf-SQUIDs based metamaterials enabling 3WM and 4WM Travelling Wave Parametric Amplification

abstract: A quantum model for Josephson-based metamaterials working in the Three-Wave Mixing (3WM) and Four-Wave Mixing (4WM) regimes at the single-photon level is presented. The transmission line taken into account, namely Traveling Wave Josephson Parametric Amplifier (TWJPA), is a bipole composed by a chain of rf-SQUIDs which can be biased by a DC current or a magnetic field in order to activate the 3WM or 4WM nonlinearities. The model exploits a Hamiltonian approach to analytically determine the time evolution of the system both in the Heisenberg and interaction pictures. The former returns the analytic form of the gain of the amplifier, while the latter allows recovering the probability distributions vs. time of the photonic populations, for multimodal Fock and coherent input states. The dependence of the metamaterial's nonlinearities is presented in terms of circuit parameters in a lumped model framework while evaluating the effects of the experimental conditions on the model validity.


title: Variational Inference-Based Dropout in Recurrent Neural Networks for Slot Filling in Spoken Language Understanding

abstract: This paper proposes to generalize the variational recurrent neural network (RNN) with variational inference (VI)-based dropout regularization employed for the long short-term memory (LSTM) cells to more advanced RNN architectures like gated recurrent unit (GRU) and bi-directional LSTM/GRU. The new variational RNNs are employed for slot filling, which is an intriguing but challenging task in spoken language understanding. The experiments on the ATIS dataset suggest that the variational RNNs with the VI-based dropout regularization can significantly improve the naive dropout regularization RNNs-based baseline systems in terms of F-measure. Particularly, the variational RNN with bi-directional LSTM/GRU obtains the best F-measure score.


title: FAT ALBERT: Finding Answers in Large Texts using Semantic Similarity Attention Layer based on BERT

abstract: Machine based text comprehension has always been a significant research field in natural language processing. Once a full understanding of the text context and semantics is achieved, a deep learning model can be trained to solve a large subset of tasks, e.g. text summarization, classification and question answering. In this paper we focus on the question answering problem, specifically the multiple choice type of questions. We develop a model based on BERT, a state-of-the-art transformer network. Moreover, we alleviate the ability of BERT to support large text corpus by extracting the highest influence sentences through a semantic similarity model. Evaluations of our proposed model demonstrate that it outperforms the leading models in the MovieQA challenge and we are currently ranked first in the leader board with test accuracy of 87.79%. Finally, we discuss the model shortcomings and suggest possible improvements to overcome these limitations.


title: ALANET: Adaptive Latent Attention Network forJoint Video Deblurring and Interpolation

abstract: Existing works address the problem of generating high frame-rate sharp videos by separately learning the frame deblurring and frame interpolation modules. Most of these approaches have a strong prior assumption that all the input frames are blurry whereas in a real-world setting, the quality of frames varies. Moreover, such approaches are trained to perform either of the two tasks - deblurring or interpolation - in isolation, while many practical situations call for both. Different from these works, we address a more realistic problem of high frame-rate sharp video synthesis with no prior assumption that input is always blurry. We introduce a novel architecture, Adaptive Latent Attention Network (ALANET), which synthesizes sharp high frame-rate videos with no prior knowledge of input frames being blurry or not, thereby performing the task of both deblurring and interpolation. We hypothesize that information from the latent representation of the consecutive frames can be utilized to generate optimized representations for both frame deblurring and frame interpolation. Specifically, we employ combination of self-attention and cross-attention module between consecutive frames in the latent space to generate optimized representation for each frame. The optimized representation learnt using these attention modules help the model to generate and interpolate sharp frames. Extensive experiments on standard datasets demonstrate that our method performs favorably against various state-of-the-art approaches, even though we tackle a much more difficult problem.


title: Nonlinear stochastic modeling with Langevin regression

abstract: Many physical systems characterized by nonlinear multiscale interactions can be effectively modeled by treating unresolved degrees of freedom as random fluctuations. However, even when the microscopic governing equations and qualitative macroscopic behavior are known, it is often difficult to derive a stochastic model that is consistent with observations. This is especially true for systems such as turbulence where the perturbations do not behave like Gaussian white noise, introducing non-Markovian behavior to the dynamics. We address these challenges with a framework for identifying interpretable stochastic nonlinear dynamics from experimental data, using both forward and adjoint Fokker-Planck equations to enforce statistical consistency. If the form of the Langevin equation is unknown, a simple sparsifying procedure can provide an appropriate functional form. We demonstrate that this method can effectively learn stochastic models in two artificial examples: recovering a nonlinear Langevin equation forced by colored noise and approximating the second-order dynamics of a particle in a double-well potential with the corresponding first-order bifurcation normal form. Finally, we apply the proposed method to experimental measurements of a turbulent bluff body wake and show that the statistical behavior of the center of pressure can be described by the dynamics of the corresponding laminar flow driven by nonlinear state-dependent noise.


title: Bose-Einstein condensate-mediated superconductivity in graphene

abstract: We propose a mechanism for robust BCS-like superconductivity in graphene placed in the vicinity of a Bose-Einstein condensate. Electrons in the graphene interact with the excitations above the condensate, called Bogoliubov quasiparticles (or bogolons). It turns out that bogolon-pair-mediated interaction allows us to surpass the long-standing problem of the vanishing density of states of particles with a linear spectrum. This results in a dramatic enhancement of the superconducting properties of graphene while keeping its relativistic dispersion. We study the behavior of the superconducting gap and calculate critical temperatures in cases with single-bogolon and bogolon-pair-mediated pairing processes, accounting for the complex band structure of graphene. We also compare the critical temperature of the superconducting transition with the BKT temperature.


title: Cross-Utterance Language Models with Acoustic Error Sampling

abstract: The effective exploitation of richer contextual information in language models (LMs) is a long-standing research problem for automatic speech recognition (ASR). A cross-utterance LM (CULM) is proposed in this paper, which augments the input to a standard long short-term memory (LSTM) LM with a context vector derived from past and future utterances using an extraction network. The extraction network uses another LSTM to encode surrounding utterances into vectors which are integrated into a context vector using either a projection of LSTM final hidden states, or a multi-head self-attentive layer. In addition, an acoustic error sampling technique is proposed to reduce the mismatch between training and test-time. This is achieved by considering possible ASR errors into the model training procedure, and can therefore improve the word error rate (WER). Experiments performed on both AMI and Switchboard datasets show that CULMs outperform the LSTM LM baseline WER. In particular, the CULM with a self-attentive layer-based extraction network and acoustic error sampling achieves 0.6% absolute WER reduction on AMI, 0.3% WER reduction on the Switchboard part and 0.9% WER reduction on the Callhome part of Eval2000 test set over the respective baselines.


title: SAR Tomography via Nonlinear Blind Scatterer Separation

abstract: Layover separation has been fundamental to many synthetic aperture radar applications, such as building reconstruction and biomass estimation. Retrieving the scattering profile along the mixed dimension (elevation) is typically solved by inversion of the SAR imaging model, a process known as SAR tomography. This paper proposes a nonlinear blind scatterer separation method to retrieve the phase centers of the layovered scatterers, avoiding the computationally expensive tomographic inversion. We demonstrate that conventional linear separation methods, e.g., principle component analysis (PCA), can only partially separate the scatterers under good conditions. These methods produce systematic phase bias in the retrieved scatterers due to the nonorthogonality of the scatterers' steering vectors, especially when the intensities of the sources are similar or the number of images is low. The proposed method artificially increases the dimensionality of the data using kernel PCA, hence mitigating the aforementioned limitations. In the processing, the proposed method sequentially deflates the covariance matrix using the estimate of the brightest scatterer from kernel PCA. Simulations demonstrate the superior performance of the proposed method over conventional PCA-based methods in various respects. Experiments using TerraSAR-X data show an improvement in height reconstruction accuracy by a factor of one to three, depending on the used number of looks.


title: Algebraic uniqueness of K\"{a}hler-Ricci flow limits and optimal degenerations of Fano varieties

abstract: We prove that for any $\mathbb{Q}$-Fano variety $X$, the special $\mathbb{R}$-test configuration that minimizes the $H$-functional is unique and has a K-semistable $\mathbb{Q}$-Fano central fibre $(W, \xi)$. Moreover there is a unique K-polystable degeneration of $(W, \xi)$. As an application, we confirm the conjecture of Chen-Sun-Wang about the algebraic-uniqueness for K\"{a}hler-Ricci flow limits on Fano manifolds, which implies that the Gromov-Hausdorff limit of the flow does not depend on the choice of initial K\"{a}hler metrics. The results are achieved by studying algebraic optimal degeneration problems via new functionals of real valuations, which are analogous to the minimization problem for normalized volumes.


title: Sign reversal of anomalous Hall conductivity and magnetoresistance in cubic non-collinear antiferromagnet Mn$_3$Pt thin films

abstract: The two dimensional kagome spin lattice structure of Mn atoms in the family of Mn$_3$X non-collinear antiferromagnets are providing substantial excitement in the exploration of Berry curvature physics and the associated non-trivial magnetotransport responses. Much of these studies are performed in the hexagonal systems, mainly Mn$_3$Sn and Mn$_3$Ge, with the kagome planes having their normal along the [001] direction. In this manuscript, we report our study in the cubic Mn$_3$Pt thin films with their kagome planes normal to the [111] crystal axis. Our studies reveal a hole conduction dominant Hall response with a non-monotonic temperature dependence of anomalous Hall conductivity (AHC), increasing from 9 $\Omega^{-1}$cm$^{-1}$ at room temperature to 29 $\Omega^{-1}$cm$^{-1}$ at 100 K, followed by a drop and unexpected sign-reversal at lower temperatures. Similar sign reversal is also observed in magnetoresistance measurements. We attribute this sign reversal to the transition from a Berry curvature dominated AHC at high temperature to a weak canted ferromagnetic AHC response at lower temperature, below 70 K, caused by the reorientation of Mn moments out of the kagome plane. Our above results in thin films of Mn$_3$Pt make advances in their integration with room temperature antiferromagnetic spintronics.


title: Reconstructing the Dynamic Sea Surface from Tide Gauge Records Using Optimal Data-Dependent Triangulations

abstract: Reconstructions of sea level prior to the satellite altimeter era are usually derived from tide gauge records; however most algorithms for this assume that modes of sea level variability are stationary which is not true over several decades. Here we suggest a method that is based on optimized data-dependent triangulations of the network of gauge stations. Data-dependent triangulations are triangulations of point sets that rely not only on 2D point positions but also on additional data (e.g. elevation, anomalies). In this article, we show how data-dependent triangulations with min-error criteria can be used to reconstruct 2D maps of the sea surface anomaly over a longer time period, assuming that height anomalies are continuously monitored at a sparse set of stations and, in addition, observations of a reference surface is provided over a shorter time period. At the heart of our method is the idea to learn a min-error triangulation based on the available reference data, and to use the learned triangulation subsequently to compute piece-wise linear surface models for epochs in which only observations from monitoring stations are given. We combine our approach of min-error triangulation with $k$-order Delaunay triangulation to stabilize the triangles geometrically. We show that this approach is advantageous for the reconstruction of the sea surface by combining tide gauge measurements with data of modern satellite altimetry. We show how to learn a min-error triangulation and a min-error $k$-order Delaunay triangulation using integer linear programming. We confront our reconstructions against the Delaunay triangulation. With real data for the North Sea we show that the min-error triangulation outperforms the Delaunay method significantly for reconstructions back in time up to 18 years, and the $k$-order Delaunay min-error triangulation even up to 21 years for $k=2$.


title: An algebraic approach to discrete time integrability

abstract: We propose the systematic construction of classical and quantum two dimensional space-time lattices primarily based on algebraic considerations, i.e. on the existence of associated r-matrices and underlying spatial and temporal classical and quantum algebras. This is a novel construction that leads to the derivation of fully discrete integrable systems governed by sets of consistent integrable non-linear space-time difference equations. To illustrate the proposed methodology, we derive two versions of the fully discrete non-linear Schrodinger type system. The first one is based on the existence of a rational r-matrix, whereas the second one is the fully discrete Ablowitz-Ladik model and is associated to a trigonometric r-matrix. The Darboux-dressing method is also applied for the first discretization scheme, mostly as a consistency check, and solitonic as well as general solutions, in terms of solutions of the fully discrete heat equation, are also derived. The quantization of the fully discrete systems is then quite natural in this context and the two dimensional quantum lattice is thus also examined.


title: Old Quantization, Angular Momentum, and Nonanalytic Problems

abstract: We explore the method of old quantization as applied to states with nonzero angular momentum, and show that it leads to qualitatively and quantitatively useful information about systems with spherically symmetric potentials. We begin by reviewing the traditional application of this model to hydrogen, and discuss the way Einstein-Brillouin-Keller quantization resolves a mismatch between old quantization states and true quantum mechanical states. We then analyze systems with logarithmic and Yukawa potentials, and compare the results of old quantization to those from solving Schrodinger's equation. We show that the old quantization techniques provide insight into the spread of energy levels associated with a given principal quantum number, as well as giving quantitatively accurate approximations for the energies. Analyzing systems in this manner involves an educationally valuable synthesis of multiple numerical methods, as well as providing deeper insight into the connections between classical and quantum mechanical physics.


title: Elastic Cherenkov effects in transversely isotropic soft materials-I: Theoretical analysis, simulations and inverse method

abstract: A body force concentrated at a point and moving at a high speed can induce shear-wave Mach cones in dusty-plasma crystals or soft materials, as observed experimentally and named the elastic Cherenkov effect (ECE). The ECE in soft materials forms the basis of the supersonic shear imaging (SSI) technique, an ultrasound-based dynamic elastography method applied in clinics in recent years. Previous studies on the ECE in soft materials have focused on isotropic material models. In this paper, we investigate the existence and key features of the ECE in anisotropic soft media, by using both theoretical analysis and finite element (FE) simulations, and we apply the results to the non=invasive and non-destructive characterization of biological soft tissues. We also theoretically study the characteristics of the shear waves induced in a deformed hyperelastic anisotropic soft material by a source moving with high speed, considering that contact between the ultrasound probe and the soft tissue may lead to finite deformation. On the basis of our theoretical analysis and numerical simulations, we propose an inverse approach to infer both the anisotropic and hyperelastic parameters of incompressible transversely isotropic (TI) soft materials. Finally, we investigate the properties of the solutions to the inverse problem by deriving the condition numbers in analytical form and performing numerical experiments. In Part II of the paper, both ex vivo and in vivo experiments are conducted to demonstrate the applicability of the inverse method in practical use.


title: Travel time prediction for congested freeways with a dynamic linear model

abstract: Accurate prediction of travel time is an essential feature to support Intelligent Transportation Systems (ITS). The non-linearity of traffic states, however, makes this prediction a challenging task. Here we propose to use dynamic linear models (DLMs) to approximate the non-linear traffic states. Unlike a static linear regression model, the DLMs assume that their parameters are changing across time. We design a DLM with model parameters defined at each time unit to describe the spatio-temporal characteristics of time-series traffic data. Based on our DLM and its model parameters analytically trained using historical data, we suggest an optimal linear predictor in the minimum mean square error (MMSE) sense. We compare our prediction accuracy of travel time for freeways in California (I210-E and I5-S) under highly congested traffic conditions with those of other methods: the instantaneous travel time, k-nearest neighbor, support vector regression, and artificial neural network. We show significant improvements in the accuracy, especially for short-term prediction.


title: The percolation phase transition and statistical multifragmentation in finite systems

abstract: The cumulant ratios up to fourth order of the $Z$ distributions of the largest fragment in spectator fragmentation following $^{107,124}$Sn+Sn and $^{124}$La+Sn collisions at 600 MeV/nucleon have been investigated. They are found to exhibit the signatures of a second-order phase transition established with cubic bond percolation and previously observed in the ALADIN experimental data for fragmentation of $^{197}$Au projectiles at similar energies. The deduced pseudocritical points are found to be only weakly dependent on the $A/Z$ ratio of the fragmenting spectator source. The same holds for the corresponding chemical freeze-out temperatures of close to 6 MeV. The experimental cumulant distributions are quantitatively reproduced with the Statistical Multifragmentation Model and parameters used to describe the experimental fragment multiplicities, isotope distributions and their correlations with impact-parameter related observables in these reactions. The characteristic coincidence of the zero transition of the skewness with the minimum of the kurtosis excess appears to be a generic property of statistical models and is found to coincide with the maximum of the heat capacity in the canonical thermodynamic fragmentation model.


title: Social hierarchy promotes the cooperation prevalence

abstract: Social hierarchy is important that can not be ignored in human socioeconomic activities and in the animal world. Here we incorporate this factor into the evolutionary game to see what impact it could have on the cooperation outcome. The probabilistic strategy adoption between two players is then not only determined by their payoffs, but also by their hierarchy difference -- players in the high rank are more likely to reproduce their strategies than the peers in the low rank. Through simulating the evolution of Prisoners' dilemma game with three hierarchical distributions, we find that the levels of cooperation are enhanced in all cases, and the enhancement is optimal in the uniform case. The enhancement is due to the fact that the presence of hierarchy facilitates the formation of cooperation clusters with high-rank players acting as the nucleation cores. This mechanism remains valid on Barab\'asi-Albert scale-free networks, in particular the cooperation enhancement is maximal when the hubs are of higher social ranks. We also study a two-hierarchy model, where similar cooperation promotion is revealed and some theoretical analyses are provided. Our finding may partially explain why the social hierarchy is so ubiquitous on this planet.


title: To the Liouville theorem for entire functions of finite order

abstract: We present a new, short and independent proof of the Liouville-type theorem for entire and subharmonic functions of finite order bounded outside some set of zero planar density.


title: zkay v0.2: Practical Data Privacy for Smart Contracts

abstract: Recent work introduces zkay, a system for specifying and enforcing data privacy in smart contracts. While the original prototype implementation of zkay (v0.1) demonstrates the feasibility of the approach, its proof-of-concept implementation suffers from severe limitations such as insecure encryption and lack of important language features. In this report, we present zkay v0.2, which addresses its predecessor's limitations. The new implementation significantly improves security, usability, modularity, and performance of the system. In particular, zkay v0.2 supports state-of-the-art asymmetric and hybrid encryption, introduces many new language features (such as function calls, private control flow, and extended type support), allows for different zk-SNARKs backends, and reduces both compilation time and on-chain costs.


title: Observation of photonic antichiral edge states

abstract: Chiral edge states are a hallmark feature of two-dimensional topological materials. Such states must propagate along the edges of the bulk either clockwise or counterclockwise, and thus produce oppositely propagating edge states along the two parallel edges of a strip sample. However, recent theories have predicted a counterintuitive picture, where the two edge states at the two parallel strip edges can propagate in the same direction; these anomalous topological edge states are named as antichiral edge states. Here we report the experimental observation of antichiral edge states in a gyromagnetic photonic crystal. The crystal consists of gyromagnetic cylinders in a honeycomb lattice, with the two triangular sublattices magnetically biased in opposite directions. With microwave measurement, unique properties of antichiral edge states have been observed directly, which include the titled dispersion, the chiral-like robust propagation in samples with certain shapes, and the scattering into backward bulk states at certain terminations. These results extend and supplement the current understanding of chiral edge states.


title: The Dixmier-Douady class, the action homomorphism, and group cocycles on the symplectomorphism group

abstract: Let $X$ be a one-connected and integral symplectic manifold. In this paper, we construct and study a two-cocycle and three-cocycle on the symplectomorphism group of $X$. In particular, by using these cocycles, we clarify the relationship between Weinstein's action homomorphism and the universal Dixmier-Douady class of flat symplectic fibrations.


title: The Very Big ILC

abstract: In the spirit of Leon Lederman's 1977 proposal for the siting of the VBA, we propose a version of the International Linear Collider along the US-Mexico border.


title: Pattern avoidance in the matching pattern poset

abstract: A matching of the set $[2n]=\{ 1,2,\ldots ,2n\}$ is a partition of $[2n]$ into blocks with two elements, i.e. a graph on $[2n]$ such that every vertex has degree one. Given two matchings $\sigma$ and $\tau$ , we say that $\sigma$ is a pattern of $\tau$ when $\sigma$ can be obtained from $\tau$ by deleting some of its edges and consistently relabelling the remaining vertices. This is a partial order relation turning the set of all matchings into a poset, which will be called the matching pattern poset. In this paper, we continue the study of classes of pattern avoiding matchings, initiated by Chen, Deng, Du, Stanley and Yan (2007), Jelinek and Mansour (2010), Bloom and Elizalde (2012). In particular, we work out explicit formulas to enumerate the class of matchings avoiding two new patterns, obtained by juxtaposition of smaller patterns, and we describe a recursive formula for the generating function of the class of matchings avoiding the lifting of a pattern and two additional patterns. Finally, we introduce the notion of unlabeled pattern, as a combinatorial way to collect patterns, and we provide enumerative formulas for two classes of matchings avoiding an unlabeled pattern of order three. In one case, the enumeration follows from an interesting bijection between the matchings of the class and ternary trees.


title: On codes in the projective linear group $PGL(2,q)$

abstract: In this paper, we resolve a conjecture of Green and Liebeck [Disc. Math., 343 (8):117119, 2019] on codes in $PGL(2,q)$. To be specific, we show that: if $D$ is a dihedral subgroup of order $2(q+1)$ in $G=PGL(2,q)$, and $A=\{g\in G: g^{q+1}= 1,\, g^2\ne 1 \}$, then $\lambda G=A\cdot D$, where $\lambda=q$ or $q-1$ according as $q$ is even or odd.