title: Reflexive Behaviour: How publication pressure affects research quality in Astronomy

abstract: Reflexive metrics is a branch of science studies which explores how the demand for accountability and performance measurement in science has shaped the research culture in recent decades. Hypercompetition and publication pressure are part of this neoliberal culture. How do scientists respond to these pressures? Studies on research integrity and organizational culture suggest that people who feel treated unfairly by their institution are more likely to engage in deviant behaviour, such as scientific misconduct. By building up on reflexive metrics, combined with studies on the influence of organisational culture on research integrity, this study reflects on the research behaviour of astronomers: 1) To what extent is research (mis-)behaviour reflexive, i.e. dependent on perceptions of publication pressure and distributive & organisational justice? 2) What impact does scientific misconduct have on research quality? In order to perform this reflection, we conducted a comprehensive survey of academic and non-academic astronomers worldwide and received 3,509 responses. We found that publication pressure explains 19% of the variance in occurrence of misconduct and between 7 and 13% of the variance of the perception of distributive & organisational justice as well as overcommitment to work. Our results on the perceived impact of scientific misconduct on research quality show that the epistemic harm of questionable research practices should not be underestimated. This suggests there is a need for a policy change. In particular, lesser attention to metrics (such as publication rate) in the allocation of grants, telescope time and institutional rewards would foster better scientific conduct and hence research quality.


title: Predictive Quality of Service (PQoS): The Next Frontier for Fully Autonomous Systems

abstract: Recent advances in software, hardware, computing and control have fueled significant progress in the field of autonomous systems. Notably, autonomous machines should continuously estimate how the scenario in which they move and operate will evolve within a predefined time frame, and foresee whether or not the network will be able to fulfill the agreed Quality of Service (QoS). If not, appropriate countermeasures should be taken to satisfy the application requirements. Along these lines, in this paper we present possible methods to enable predictive QoS (PQoS) in autonomous systems, and discuss which use cases will particularly benefit from network prediction. Then, we shed light on the challenges in the field that are still open for future research. As a case study, we demonstrate whether machine learning can facilitate PQoS in a teleoperated-driving-like use case, as a function of different measurement signals.


title: Stable geodesic nets in convex hypersurfaces

abstract: We construct convex bodies that can be "captured by nets." More precisely, for each dimension $n \geq 2$, we construct a family of Riemannian $n$-spheres, each with a stable geodesic net, which is a stable 1-dimensional integral varifold. Small perturbations of a stable geodesic net must lengthen it. These stable geodesic nets are composed of multiple geodesic loops based at the same point, and also do not contain any closed geodesic. All of these Riemannian $n$-spheres are isometric to convex hypersurfaces of $\mathbb{R}^{n+1}$ with positive sectional curvature.


title: FreeStyleGAN: Free-view Editable Portrait Rendering with the Camera Manifold

abstract: Current Generative Adversarial Networks (GANs) produce photorealistic renderings of portrait images. Embedding real images into the latent space of such models enables high-level image editing. While recent methods provide considerable semantic control over the (re-)generated images, they can only generate a limited set of viewpoints and cannot explicitly control the camera. Such 3D camera control is required for 3D virtual and mixed reality applications. In our solution, we use a few images of a face to perform 3D reconstruction, and we introduce the notion of the GAN camera manifold, the key element allowing us to precisely define the range of images that the GAN can reproduce in a stable manner. We train a small face-specific neural implicit representation network to map a captured face to this manifold and complement it with a warping scheme to obtain free-viewpoint novel-view synthesis. We show how our approach - due to its precise camera control - enables the integration of a pre-trained StyleGAN into standard 3D rendering pipelines, allowing e.g., stereo rendering or consistent insertion of faces in synthetic 3D environments. Our solution proposes the first truly free-viewpoint rendering of realistic faces at interactive rates, using only a small number of casual photos as input, while simultaneously allowing semantic editing capabilities, such as facial expression or lighting changes.


title: Conformal Integrals in four dimensions

abstract: We obtain analytic expressions of four-dimensional Euclidean $N$-point conformal integrals for arbitrary $N$ by solving a Lauricella-like system of differential equations derived earlier. We demonstrate their relation to the GKZ A-hypergeometric systems. The conformal integrals are solutions to these expressed in terms of leg factors and infinite series in the conformal invariant cross ratios.


title: Visually Connecting Historical Figures Through Event Knowledge Graphs

abstract: Knowledge graphs store information about historical figures and their relationships indirectly through shared events. We developed a visualization system, VisKonnect, for analyzing the intertwined lives of historical figures based on the events they participated in. A user's query is parsed for identifying named entities, and related data is retrieved from an event knowledge graph. While a short textual answer to the query is generated using the GPT-3 language model, various linked visualizations provide context, display additional information related to the query, and allow exploration.


title: First-principle calculation of $\eta_c\rightarrow 2\gamma$ decay width from lattice QCD

abstract: We perform a lattice QCD calculation of the $\eta_c\to2\gamma$ decay width using a model-independent method that requires no momentum extrapolation of the off-shell form factors. This method also provides a straightforward and simple way to examine the finite-volume effects. The calculation is accomplished using $N_f=2$ twisted mass fermion ensembles. The statistically significant excited-state effects are observed and eliminated using a multi-state fit.The impact of fine-tuning the charm quark mass is also examined and confirmed to be well-controlled. Finally, using three lattice spacings for the continuum extrapolation, we obtain the decay width $\Gamma_{\eta_c\gamma\gamma}=6.67(16)_{\mathrm{stat}}(6)_{\mathrm{syst}}$ keV, which differs significantly from the Particle Data Group's reported value of $\Gamma_{\eta_c\gamma\gamma}=5.4(4)$ keV (2.9~$\sigma$ tension). We provide insight into the comparison between our findings, previous theoretical predictions, and experimental measurements.


title: Giant anomalous Nernst signal in the antiferromagnet YbMnBi2

abstract: Searching for a high anomalous Nernst effect (ANE) is crucial for thermoelectric energy conversion applications because the associated unique transverse geometry facilitates module fabrication. Topological ferromagnets with large Berry curvatures show high ANEs; however, they face drawbacks such as strong magnetic disturbances and low mobility due to high magnetization. Herein, we demonstrate that YbMnBi2, a canted antiferromagnet, has a large ANE conductivity of ~10 Am-1K-1 that surpasses the common high values (i.e. 3-5 Am-1K-1) observed so far in ferromagnets. The canted spin structure of Mn guarantees a nonzero Berry curvature but generates only a weak magnetization three orders of magnitude lower than that of general ferromagnets. The heavy Bi with a large spin-orbit coupling enables a high ANE and low thermal conductivity, whereas its highly dispersive px/y orbitals ensure low resistivity. The high anomalous transverse thermoelectric performance and extremely small magnetization makes YbMnBi2 an excellent candidate for transverse thermoelectrics.


title: Minimal graphs of arbitrary codimension in Euclidean space with bounded 2-dilation

abstract: For any $\Lambda>0$, let $\mathcal{M}_{n,\Lambda}$ denote the space containing all locally Lipschitz minimal graphs of dimension $n$ and of arbitrary codimension $m$ in Euclidean space $\mathbb{R}^{n+m}$ with uniformly bounded 2-dilation $\Lambda$ of their graphic functions. In this paper, we show that this is a natural class to extend structural results known for codimension one. In particular, we prove that any tangent cone $C$ of $M\in\mathcal{M}_{n,\Lambda}$ at infinity has multiplicity one. This enables us to get a Neumann-Poincar$\mathrm{\acute{e}}$ inequality on stationary indecomposable components of $C$. A corollary is a Liouville theorem for $M$. For small $\Lambda>1$(we can take any $\Lambda<\sqrt{2}$), we prove that (i) for $n\leq7$, $M$ is flat; (2) for $n>8$ and a non-flat $M$, any tangent cone of $M$ at infinity is a multiplicity one quasi-cylindrical minimal cone in $\mathbb{R}^{n+m}$ whose singular set has dimension $\leq n-7$.


title: Forcing nonperiodic tilings with one tile using a seed

abstract: The so-called "einstein problem" (a pun playing with the famous scientist's name and the German term "ein Stein" for "one stone") asks for a simply connected prototile only allowing nonperiodic tilings without need of any matching rule. So far, researchers come only close to this demand by defining decorated prototiles forcing nonperiodicity of any generated tiling using matching rules. In this paper a class of spiral tilings (and one non-spiral example) is linked to a weaker form of the einstein problem where one or several seed tiles are used. Furthermore, the classical types of matching rules are listed and some new types are discussed.


title: Flexible User Mapping for Radio Resource Assignment in Advanced Satellite Payloads

abstract: This work explores the flexible assignment of users to beams in order to match the non-uniform traffic demand in satellite systems, breaking the conventional cell boundaries and serving users potentially by non-dominant beams. The additional degree of freedom from the flexible beam-user mapping brings about a user-centric framework, with a two-step optimization process as a practical strategy. The smart beam-user mapping is jointly explored with adjustable bandwidth allocation per beam, and tested against different techniques for payloads with flexible radio resource allocation. Numerical results are obtained for various non-uniform traffic distributions to evaluate the performance of the solutions. The traffic profile across beams is shaped by the Dirichlet distribution, which can be conveniently parameterized, and makes simulations easily reproducible. Even with ideal conditions for the power allocation, both flexible beam-user mapping and adjustable power allocation similarly enhance the flexible assignment of the bandwidth on average. Results show that a smart pairing of users and beams provides significant advantages in highly asymmetric demand scenarios, with improvements up to 10\% and 30\% in terms of the offered and the minimum user rates, respectively, in hot-spot like cases with no impact on the user equipment.


title: Economic Crises in a Model with Capital Scarcity and Self-Reflexive Confidence

abstract: In the General Theory, Keynes remarked that the economy's state depends on expectations, and that these expectations can be subject to sudden swings. In this work, we develop a multiple equilibria behavioural business cycle model that can account for demand or supply collapses due to abrupt drops in consumer confidence, which affect both consumption propensity and investment. We show that, depending on the model parameters, four qualitatively different outcomes can emerge, characterised by the frequency of capital scarcity and/or demand crises. In the absence of policy measures, the duration of such crises can increase by orders of magnitude when parameters are varied, as a result of the "paradox of thrift". Our model suggests policy recommendations that prevent the economy from getting trapped in extended stretches of low output, low investment and high unemployment.


title: Amplitude equations for SPDEs driven by fractional additive noise with small Hurst parameter

abstract: We study stochastic partial differential equations (SPDEs) with potentially very rough fractional noise with Hurst parameter $H\in(0,1)$. Close to a change of stability measured with a small parameter $\varepsilon$, we rely on the natural separation of time-scales and establish a simplified description of the essential dynamics. We prove that up to an error term bounded by a power of $\varepsilon$ depending on the Hurst parameter we can approximate the solution of the SPDE in first order by an SDE, the so called amplitude equation, and in second order by a fast infinite dimensional Ornstein-Uhlenbeck process. To this aim we need to establish an explicit averaging result for stochastic integrals driven by rough fractional noise for small Hurst parameters.


title: Robot's Inner Speech Effects on Trust and Anthropomorphic Cues in Human-Robot Cooperation

abstract: Inner Speech is an essential but also elusive human psychological process which refers to an everyday covert internal conversation with oneself. We argue that programming a robot with an overt self-talk system, which simulates human inner speech, might enhance human trust by improving robot transparency and anthropomorphism. For this reasons, this work aims to investigate if robot's inner speech, here intended as overt self-talk, affects human trust and anthropomorphism when human and robot cooperate. A group of participants was engaged in collaboration with the robot. During cooperation, the robot talks to itself. To evaluate if the robot's inner speech influences human trust, two questionnaires were administered to each participant before (pre-test) and after (post-test) the cooperative session with the robot. Preliminary results evidenced differences between the answers of participants in the pre-test and post-test assessment, suggesting that robot's inner speech influences human trust. Indeed, participant's levels of trust and perception of robot anthropomorphic features increase after the experimental interaction with the robot.


title: Explaining Convolutional Neural Networks by Tagging Filters

abstract: Convolutional neural networks (CNNs) have achieved astonishing performance on various image classification tasks, but it is difficult for humans to understand how a classification comes about. Recent literature proposes methods to explain the classification process to humans. These focus mostly on visualizing feature maps and filter weights, which are not very intuitive for non-experts in analyzing a CNN classification. In this paper, we propose FilTag, an approach to effectively explain CNNs even to non-experts. The idea is that when images of a class frequently activate a convolutional filter, then that filter is tagged with that class. These tags provide an explanation to a reference of a class-specific feature detected by the filter. Based on the tagging, individual image classifications can then be intuitively explained in terms of the tags of the filters that the input image activates. Finally, we show that the tags are helpful in analyzing classification errors caused by noisy input images and that the tags can be further processed by machines.


title: Socially Supervised Representation Learning: the Role of Subjectivity in Learning Efficient Representations

abstract: Despite its rise as a prominent solution to the data inefficiency of today's machine learning models, self-supervised learning has yet to be studied from a purely multi-agent perspective. In this work, we propose that aligning internal subjective representations, which naturally arise in a multi-agent setup where agents receive partial observations of the same underlying environmental state, can lead to more data-efficient representations. We propose that multi-agent environments, where agents do not have access to the observations of others but can communicate within a limited range, guarantees a common context that can be leveraged in individual representation learning. The reason is that subjective observations necessarily refer to the same subset of the underlying environmental states and that communication about these states can freely offer a supervised signal. To highlight the importance of communication, we refer to our setting as \textit{socially supervised representation learning}. We present a minimal architecture comprised of a population of autoencoders, where we define loss functions, capturing different aspects of effective communication, and examine their effect on the learned representations. We show that our proposed architecture allows the emergence of aligned representations. The subjectivity introduced by presenting agents with distinct perspectives of the environment state contributes to learning abstract representations that outperform those learned by a single autoencoder and a population of autoencoders, presented with identical perspectives of the environment state. Altogether, our results demonstrate how communication from subjective perspectives can lead to the acquisition of more abstract representations in multi-agent systems, opening promising perspectives for future research at the intersection of representation learning and emergent communication.


title: Statistics of Knowledge Graphs Based On The Conceptual Schema

abstract: In this paper, we propose a new approach for the computation of the statistics of knowledge graphs. We introduce a schema graph that represents the main framework for the computation of the statistics. The core of the procedure is an algorithm that determines the sub-graph of the schema graph affected by the insertion of one triple into the triple-store. We first present the algorithms that use the minimal schema and the complete schema of a knowledge graph. Furthermore, we propose an algorithm in which the size of the schema graph can be controlled -- it is based on the $n$ levels from the upper part of the schema graph. We evaluate the algorithms empirically by using the Yago knowledge graph.


title: Universal Density of Low Frequency States in Silica Glass at Finite Temperatures

abstract: The theoretical understanding of the low-frequency modes in amorphous solids at finite temperature is still incomplete. The study of the relevant modes is obscured by the dressing of inter-particle forces by collision-induced momentum transfer that is unavoidable at finite temperatures. Recently, it was proposed that low frequency modes of vibrations around the {\em thermally averaged} configurations deserve special attention. In simple model glasses with bare binary interactions, these included quasi-localized modes whose density of states appears to be universal, depending on the frequencies as $D(\omega) \sim \omega^4$, in agreement with the similar law that is obtained with bare forces at zero temperature. In this work, we report investigations of a model of silica glass at finite temperature; here the bare forces include binary and ternary interactions. Nevertheless we can establish the validity of the universal law of the density of quasi-localized modes also in this richer and more realistic model glass.


title: Modality and Negation in Event Extraction

abstract: Language provides speakers with a rich system of modality for expressing thoughts about events, without being committed to their actual occurrence. Modality is commonly used in the political news domain, where both actual and possible courses of events are discussed. NLP systems struggle with these semantic phenomena, often incorrectly extracting events which did not happen, which can lead to issues in downstream applications. We present an open-domain, lexicon-based event extraction system that captures various types of modality. This information is valuable for Question Answering, Knowledge Graph construction and Fact-checking tasks, and our evaluation shows that the system is sufficiently strong to be used in downstream applications.


title: Prediction of properties of metal alloy materials based on machine learning

abstract: Density functional theory and its optimization algorithm are the main methods to calculate the properties in the field of materials. Although the calculation results are accurate, it costs a lot of time and money. In order to alleviate this problem, we intend to use machine learning to predict material properties. In this paper, we conduct experiments on atomic volume, atomic energy and atomic formation energy of metal alloys, using the open quantum material database. Through the traditional machine learning models, deep learning network and automated machine learning, we verify the feasibility of machine learning in material property prediction. The experimental results show that the machine learning can predict the material properties accurately.


title: Unsupervised Cycle-consistent Generative Adversarial Networks for Pan-sharpening

abstract: Deep learning based pan-sharpening has received significant research interest in recent years. Most of existing methods fall into the supervised learning framework in which they down-sample the multi-spectral (MS) and panchromatic (PAN) images and regard the original MS images as ground truths to form training samples. Although impressive performance could be achieved, they have difficulties generalizing to the original full-scale images due to the scale gap, which makes them lack of practicability. In this paper, we propose an unsupervised generative adversarial framework that learns from the full-scale images without the ground truths to alleviate this problem. We extract the modality-specific features from the PAN and MS images with a two-stream generator, perform fusion in the feature domain, and then reconstruct the pan-sharpened images. Furthermore, we introduce a novel hybrid loss based on the cycle-consistency and adversarial scheme to improve the performance. Comparison experiments with the state-of-the-art methods are conducted on GaoFen-2 and WorldView-3 satellites. Results demonstrate that the proposed method can greatly improve the pan-sharpening performance on the full-scale images, which clearly show its practical value. Codes are available at https://github.com/zhysora/UCGAN.


title: Dynamic Gesture Recognition

abstract: The Human-Machine Interaction (HMI) research field is an important topic in machine learning that has been deeply investigated thanks to the rise of computing power in the last years. The first time, it is possible to use machine learning to classify images and/or videos instead of the traditional computer vision algorithms. The aim of this paper is to build a symbiosis between a convolutional neural network (CNN) and a recurrent neural network (RNN) to recognize cultural/anthropological Italian sign language gestures from videos. The CNN extracts important features that later are used by the RNN. With RNNs we are able to store temporal information inside the model to provide contextual information from previous frames to enhance the prediction accuracy. Our novel approach uses different data augmentation techniques and regularization methods from only RGB frames to avoid overfitting and provide a small generalization error.


title: Eclipse timing variations in the WD+dM eclipsing binary RR Cae

abstract: We present the binary model and the eclipse timing variations of the eclipsing binary RR Cae, which consists of a white dwarf eclipsed by an M-type dwarf companion. The multi-wavelength optical photometry from the Transiting Exoplanet Survey Satellite (TESS), the 0.6-m PROMPT-8 telescope, and the 0.7-m Thai Robotic Telescope at Spring Brook Observatory, combined with archive H-alpha radial velocities from the Very Large Telescope (VLT) are analysed. From the data, the physical parameters of the system are obtained along with 430 new times of minima. The TESS light curves in 2018 and 2020 show out-of-eclipse variations, which might be caused by a large spot on the secondary component. The light travel time effect models due to the gravitational interaction of one or two circumbinary objects are adopted to fit the cyclic variations in the RR Cae's O-C curve. The fitting solution of the O-C curve with one circumbinary object model shows a periodic variation with a period of $16.6\pm0.2$ yr and an amplitude of $14\pm1$ s, which can be caused by a planet with a minimum mass of $3.4\pm0.2$ M$_{Jup}$. When we consider the model with two circumbinary objects, the O-C curve shows cyclic variations with periods of $15.0\pm0.5$ yr and $39\pm5$ yr and amplitudes of $12\pm1$ s and $20\pm5$ s, respectively, corresponding to minimum masses of $3.0\pm0.3$ M$_{Jup}$ and $2.7\pm0.7$ M$_{Jup}$.


title: On the distribution of Ramanujan Sums over number fields

abstract: For a number field $\mathbb{K}$, and integral ideals $\mathcal{I}$ and $\mathcal{J}$ in its number ring $\mathcal{O}_{\mathbb{K}}$, Nowak studied the asymptotic behaviour of the average of Ramanujan sums $C_{\mathcal{J}}({\mathcal{I}})$ over both ideals $\mathcal{I}$ and $\mathcal{J}$. In this article, we extend this investigation by establishing asymptotic formulas for the second moment of averages of Ramanujan sums over quadratic and cubic number fields, thereby generalizing previous works of Chen, Kumchev, Robles, and Roy on moments of averages of Ramanujan sums over rationals. Additionally, using a special property of certain integral domains, we obtain second moment results for Ramanujan sums over some other number fields.


title: Scalarized non-topological neutron stars in multi-scalar Gauss-Bonnet gravity

abstract: In the present paper we construct novel non-topological, spontaneously scalarized neutron stars in multi-scalar Gauss-Bonnet gravity with maximally symmetric target space, and nontrivial map $\varphi:spacetime \rightarrow target\ space$. The theory is characterized by the fact that for some classes of coupling functions the field equations allow solutions with trivial scalar field, which coincide with the general relativistic ones. For a certain range of parameters those solutions lose stability and new branches of solutions with nontrivial scalar field bifurcate from the trivial branch. For a given set of parameters, those branches are characterized by the number of zeros of the scalar field, and they are energetically more favorable than the general relativistic ones.


title: Primitivity rank for random elements in free groups

abstract: For a free group $F_r$ of finite rank $r\ge 2$ and a nontrivial element $w\in F_r$ the \emph{primitivity rank} $\pi(w)$ is the smallest rank of a subgroup $H\le F_r$ such that $w\in H$ and that $w$ is not primitive in $H$ (if no such $H$ exists, one puts $\pi(w)=\infty$). The set of all subgroups of $F_r$ of rank $\pi(w)$ containing $w$ as a non-primitive element is denoted $Crit(w)$. These notions were introduced by Puder in \cite{Pu14}. We prove that there exists an exponentially generic subset $V\subseteq F_r$ such that for every $w\in V$ we have $\pi(w)=r$ and $Crit(w)=\{F_r\}$.


title: Anomaly Detection in Radar Data Using PointNets

abstract: For autonomous driving, radar is an important sensor type. On the one hand, radar offers a direct measurement of the radial velocity of targets in the environment. On the other hand, in literature, radar sensors are known for their robustness against several kinds of adverse weather conditions. However, on the downside, radar is susceptible to ghost targets or clutter which can be caused by several different causes, e.g., reflective surfaces in the environment. Ghost targets, for instance, can result in erroneous object detections. To this end, it is desirable to identify anomalous targets as early as possible in radar data. In this work, we present an approach based on PointNets to detect anomalous radar targets. Modifying the PointNet-architecture driven by our task, we developed a novel grouping variant which contributes to a multi-form grouping module. Our method is evaluated on a real-world dataset in urban scenarios and shows promising results for the detection of anomalous radar targets.


title: Besov Spaces of Analytic Type: Interpolation, Convolution, Fourier Multipliers, Inclusions

abstract: We consider a family of Besov spaces of analytic type on the Shilov boundary $\mathcal{N}$ of a homogeneous Siegel domain $D$, and study their properties in relation to convolution, Fourier multipliers, and complex interpolation. In addition, we study how these Besov spaces of analytic type can be compared with the `classical' Besov spaces $\mathcal{N}$.


title: Tele-Operated Oropharyngeal Swab (TOOS) RobotEnabled by TSS Soft Hand for Safe and EffectiveCOVID-19 OP Sampling

abstract: The COVID-19 pandemic has imposed serious challenges in multiple perspectives of human life. To diagnose COVID-19, oropharyngeal swab (OP SWAB) sampling is generally applied for viral nucleic acid (VNA) specimen collection. However, manual sampling exposes medical staff to a high risk of infection. Robotic sampling is promising to mitigate this risk to the minimum level, but traditional robot suffers from safety, cost, and control complexity issues for wide-scale deployment. In this work, we present soft robotic technology is promising to achieve robotic OP swab sampling with excellent swab manipulability in a confined oral space and works as dexterous as existing manual approach. This is enabled by a novel Tstone soft (TSS) hand, consisting of a soft wrist and a soft gripper, designed from human sampling observation and bio-inspiration. TSS hand is in a compact size, exerts larger workspace, and achieves comparable dexterity compared to human hand. The soft wrist is capable of agile omnidirectional bending with adjustable stiffness. The terminal soft gripper is effective for disposable swab pinch and replacement. The OP sampling force is easy to be maintained in a safe and comfortable range (throat sampling comfortable region) under a hybrid motion and stiffness virtual fixture-based controller. A dedicated 3 DOFs RCM platform is used for TSS hand global positioning. Design, modeling, and control of the TSS hand are discussed in detail with dedicated experimental validations. A sampling test based on human tele-operation is processed on the oral cavity model with excellent success rate. The proposed TOOS robot demonstrates a highly promising solution for tele-operated, safe, cost-effective, and quick deployable COVID-19 OP swab sampling.


title: Low-rank decomposition for quantum simulations with complex basis functions

abstract: Low-rank decompositions to reduce the Coulomb operator to a pairwise form suitable for its quantum simulation are well-known in quantum chemistry, where the underlying basis functions are real-valued. We generalize the result of Motta \textit{et al.} [arXiv:1808.02625] to \textit{complex} basis functions $\psi_p(\mathbf r)\in\mathds C$ by means of the Schur decomposition and decomposing matrices into their symmetric and anti-symmetric components. This allows the application of low-rank decomposition strategies to general basis sets.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Assessing the quality of sources in Wikidata across languages: a hybrid approach

abstract: Wikidata is one of the most important sources of structured data on the web, built by a worldwide community of volunteers. As a secondary source, its contents must be backed by credible references; this is particularly important as Wikidata explicitly encourages editors to add claims for which there is no broad consensus, as long as they are corroborated by references. Nevertheless, despite this essential link between content and references, Wikidata's ability to systematically assess and assure the quality of its references remains limited. To this end, we carry out a mixed-methods study to determine the relevance, ease of access, and authoritativeness of Wikidata references, at scale and in different languages, using online crowdsourcing, descriptive statistics, and machine learning. Building on previous work of ours, we run a series of microtasks experiments to evaluate a large corpus of references, sampled from Wikidata triples with labels in several languages. We use a consolidated, curated version of the crowdsourced assessments to train several machine learning models to scale up the analysis to the whole of Wikidata. The findings help us ascertain the quality of references in Wikidata, and identify common challenges in defining and capturing the quality of user-generated multilingual structured data on the web. We also discuss ongoing editorial practices, which could encourage the use of higher-quality references in a more immediate way. All data and code used in the study are available on GitHub for feedback and further improvement and deployment by the research community.


title: EdgeFlow: Achieving Practical Interactive Segmentation with Edge-Guided Flow

abstract: High-quality training data play a key role in image segmentation tasks. Usually, pixel-level annotations are expensive, laborious and time-consuming for the large volume of training data. To reduce labelling cost and improve segmentation quality, interactive segmentation methods have been proposed, which provide the result with just a few clicks. However, their performance does not meet the requirements of practical segmentation tasks in terms of speed and accuracy. In this work, we propose EdgeFlow, a novel architecture that fully utilizes interactive information of user clicks with edge-guided flow. Our method achieves state-of-the-art performance without any post-processing or iterative optimization scheme. Comprehensive experiments on benchmarks also demonstrate the superiority of our method. In addition, with the proposed method, we develop an efficient interactive segmentation tool for practical data annotation tasks. The source code and tool is avaliable at https://github.com/PaddlePaddle/PaddleSeg.


title: Accretion of matter onto black holes in massive gravity with Lorentz symmetry breaking

abstract: In this paper we study the accretion of matter onto the black holes and the shadow images obtained by an infalling accretion flow of gas in a theory of massive gravity (MG) with a spontaneously breaking Lorentz symmetry. This black hole solution is characterized by mass $M$, scalar charge $S$ and the parameter $\lambda$. In order to extract the astrophysical results of our analyses, firstly, we have assumed a specific range for the parameter $\lambda$ to constrain the scalar charge $S$ using the EHT result. To this end, we have studied the effect of the scalar charge on the intensity of the electromagnetic radiation from the black hole. Moreover, we investigate the behavior of polytropic as well as the isothermal fluid flow onto massive gravity black hole and notice that accretion starts from supersonic/subsonic flow, passes through the critical point using particular model parameter and ends near the horizon. We also analyzed the mass accretion rate in the presence of various fluids which indicates important signatures. We also elaborate on the possibility to analyze the phase transition and the stability of the black hole using the shadow formalism.


title: Orientational arrest in dense suspensions of elliptical particles under oscillatory shear flows

abstract: We study the rheological response of dense suspensions of elliptical particles, with an aspect ratio equal to 3, under oscillatory shear flows and imposed pressure by numerical simulations. Like for the isotropic particles, we find that the oscillatory shear flows respect the Cox-Merz rule at large oscillatory strains but differ at low strains, with a lower viscosity than the steady shear and higher shear jamming packing fractions. However, unlike the isotropic cases (i.e., discs and spheres), frictionless ellipses get dynamically arrested in their initial orientational configuration at small oscillatory strains. We illustrate this by starting at two different configurations with different nematic order parameters and the average orientation of the particles. Surprisingly, the overall orientation in the frictionless case is uncoupled to the rheological response close to jamming, and the rheology is only controlled by the average number of contacts and the oscillatory strain. Having larger oscillatory strains or adding friction does, however, help the system escape these orientational arrested states, which are evolving to a disordered state independent of the initial configuration at low strains and ordered ones at large strains.


title: IEEE 802.1AS Clock Synchronization Performance Evaluation of an Integrated Wired-Wireless TSN Architecture

abstract: Industrial control systems present numerous challenges from the communication systems perspective: clock synchronization, deterministic behavior, low latency, high reliability, flexibility, and scalability. These challenges are mostly solved with standard technologies over Ethernet, e.g., Time-Sensitive Networking (TSN). As a research trend, it is expected that TSN will converge with wireless, leading to the Wireless TSN paradigm. Also, Wireless TSN is expected to be integrated with Ethernet TSN to create large-scale wired-wireless (Hybrid) TSN networks. The first step towards Hybrid TSN is the distribution of the clock reference from the wired to the wireless domain. In this paper, we leverage existing Ethernet TSN and wireless technologies implementations (Wi-Fi and w-SHARP) and we present two hardware architectures specifically engineered to enable the clock synchronization distribution among the network domains. The hardware architectures have been implemented over a System-on-Chip (SoC) Field Programmable Gate Array (FPGA) platform. We demonstrate through several experiments that the implementation is able to fulfill the synchronization performance required by TSN.


title: Background-Foreground Segmentation for Interior Sensing in Automotive Industry

abstract: To ensure safety in automated driving, the correct perception of the situation inside the car is as important as its environment. Thus, seat occupancy detection and classification of detected instances play an important role in interior sensing. By the knowledge of the seat occupancy status, it is possible to, e.g., automate the airbag deployment control. Furthermore, the presence of a driver, which is necessary for partially automated driving cars at the automation levels two to four can be verified. In this work, we compare different statistical methods from the field of image segmentation to approach the problem of background-foreground segmentation in camera based interior sensing. In the recent years, several methods based on different techniques have been developed and applied to images or videos from different applications. The peculiarity of the given scenarios of interior sensing is, that the foreground instances and the background both contain static as well as dynamic elements. In data considered in this work, even the camera position is not completely fixed. We review and benchmark three different methods ranging, i.e., Gaussian Mixture Models (GMM), Morphological Snakes and a deep neural network, namely a Mask R-CNN. In particular, the limitations of the classical methods, GMM and Morphological Snakes, for interior sensing are shown. Furthermore, it turns, that it is possible to overcome these limitations by deep learning, e.g.\ using a Mask R-CNN. Although only a small amount of ground truth data was available for training, we enabled the Mask R-CNN to produce high quality background-foreground masks via transfer learning. Moreover, we demonstrate that certain augmentation as well as pre- and post-processing methods further enhance the performance of the investigated methods.


title: Medica-Plus: a Micromegas-based proof-of-concept detector for sub-becquerel tritium activity assessment at the service of oncological research

abstract: To fulfill needs in oncological research a new Micromegas detector has been developed to follow radiolabelled drugs in living organisms at the single cell level. This article describes the proof-of-concept of such a detector and compares its ability to detect and assess sub-becquerel \tritium~activities with a commercial $\beta$-imager


title: Incorporating Temporal Information in Entailment Graph Mining

abstract: We present a novel method for injecting temporality into entailment graphs to address the problem of spurious entailments, which may arise from similar but temporally distinct events involving the same pair of entities. We focus on the sports domain in which the same pairs of teams play on different occasions, with different outcomes. We present an unsupervised model that aims to learn entailments such as win/lose $\rightarrow$ play, while avoiding the pitfall of learning non-entailments such as win $\not\rightarrow$ lose. We evaluate our model on a manually constructed dataset, showing that incorporating time intervals and applying a temporal window around them, are effective strategies.


title: Artificial neural network-based reduced-order modeling for turbulent wake of a finite wall-mounted square cylinder

abstract: This study presents an artificial neural network and proper orthogonal decomposition (POD)-based reduced-order model (ROM) of turbulent flow around a finite wall-mounted square cylinder. The proposed model is suitable for turbulent wake control applications because it can predict the dynamics of the main features of the flow field without computing Navier-Stokes equations. Long short-term memory neural network (LSTM NN) and bidirectional long short-term memory neural network (BLSTM NN) are used to predict the temporal evolution of the POD time coefficients at different planes along the height of the obstacle. The improved delayed detached-eddy simulation (IDDES) is performed to generate the training datasets. Transfer learning (TL) approach is utilized in the training process by using the weights of the LSTM/BLSTM NN that are used to predict the POD time coefficients of the planes at lower elevations to initialize the weights of the networks at higher elevations along the height of the obstacle. The use of TL results in a remarkable improvement in the capability of the LSTM/BLSTM NN prediction compared with the one when the network is initialized with random weights. BLSTM NN shows better results compared with LSTM NN in terms of training and prediction error, indicating that the BLSTM-POD model is more suitable to be used as a ROM for predicting the turbulent wake. Furthermore, the temporal behavior of the time coefficients is carefully examined using the phase space plots and Poincar$\acute{e}$ sections. The results of using different lengths of the prediction time window showed that the prediction error of the POD time coefficients increases as the prediction time window increases and the error increasing rate decreases with the ranking of the POD time coefficients.


title: What does Birkhoff-James orthogonality know about the norm?

abstract: It is shown that Birkhoff-James orthogonality knows everything about the smooth norms in reflexive Banach spaces and can also compute the dimensions of the underlying normed spaces.


title: Architecture and Performance Evaluation of Distributed Computation Offloading in Edge Computing

abstract: Edge computing is an emerging paradigm to enable low-latency applications, like mobile augmented reality, because it takes the computation on processing devices that are closer to the users. On the other hand, the need for highly scalable execution of stateless tasks for cloud systems is driving the definition of new technologies based on serverless computing. In this paper, we propose a novel architecture where the two converge to enable low-latency applications: this is achieved by offloading short-lived stateless tasks from the user terminals to edge nodes. Furthermore, we design a distributed algorithm that tackles the research challenge of selecting the best executor, based on real-time measurements and simple, yet effective, prediction algorithms. Finally, we describe a new performance evaluation framework specifically designed for an accurate assessment of algorithms and protocols in edge computing environments, where the nodes may have very heterogeneous networking and processing capabilities. The proposed framework relies on the use of real components on lightweight virtualization mixed with simulated computation and is well-suited to the analysis of several applications and network environments. Using our framework, we evaluate our proposed architecture and algorithms in small- and large-scale edge computing scenarios, showing that our solution achieves similar or better delay performance than a centralized solution, with far less network utilization.


title: ElasticFace: Elastic Margin Loss for Deep Face Recognition

abstract: Learning discriminative face features plays a major role in building high-performing face recognition models. The recent state-of-the-art face recognition solutions proposed to incorporate a fixed penalty margin on commonly used classification loss function, softmax loss, in the normalized hypersphere to increase the discriminative power of face recognition models, by minimizing the intra-class variation and maximizing the inter-class variation. Marginal penalty softmax losses, such as ArcFace and CosFace, assume that the geodesic distance between and within the different identities can be equally learned using a fixed penalty margin. However, such a learning objective is not realistic for real data with inconsistent inter-and intra-class variation, which might limit the discriminative and generalizability of the face recognition model. In this paper, we relax the fixed penalty margin constrain by proposing elastic penalty margin loss (ElasticFace) that allows flexibility in the push for class separability. The main idea is to utilize random margin values drawn from a normal distribution in each training iteration. This aims at giving the decision boundary chances to extract and retract to allow space for flexible class separability learning. We demonstrate the superiority of our ElasticFace loss over ArcFace and CosFace losses, using the same geometric transformation, on a large set of mainstream benchmarks. From a wider perspective, our ElasticFace has advanced the state-of-the-art face recognition performance on seven out of nine mainstream benchmarks.


title: Barely Biased Learning for Gaussian Process Regression

abstract: Recent work in scalable approximate Gaussian process regression has discussed a bias-variance-computation trade-off when estimating the log marginal likelihood. We suggest a method that adaptively selects the amount of computation to use when estimating the log marginal likelihood so that the bias of the objective function is guaranteed to be small. While simple in principle, our current implementation of the method is not competitive computationally with existing approximations.


title: Ranks of linear matrix pencils separate simultaneous similarity orbits

abstract: This paper solves the two-sided version and provides a counterexample to the general version of the 2003 conjecture by Hadwin and Larson. Consider evaluations of linear matrix pencils $L=T_0+x_1T_1+\cdots+x_mT_m$ on matrix tuples as $L(X_1,\dots,X_m)=I\otimes T_0+X_1\otimes T_1+\cdots+X_m\otimes T_m$. It is shown that ranks of linear matrix pencils constitute a collection of separating invariants for simultaneous similarity of matrix tuples. That is, $m$-tuples $A$ and $B$ of $n\times n$ matrices are simultaneously similar if and only if the ranks of $L(A)$ and $L(B)$ are equal for all linear matrix pencils $L$ of size $mn$. Variants of this property are also established for symplectic, orthogonal, unitary similarity, and for the left-right action of general linear groups. Furthermore, a polynomial time algorithm for orbit equivalence of matrix tuples under the left-right action of special linear groups is deduced.


title: Addressing the anomalies in determining negative ion parameters using electrostatic probes

abstract: The negative ion density and temperature are the two fundamental parameters that are necessary to quantify the properties of electronegative discharges. However, determining these parameters by means of electrostatic probes can be quite challenging because of the inherent inaccuracies involved in determining the electron/ion saturation currents, electron temperatures and plasma potential, which relies on charge particle collection by the probe surface; as well as on the sheath models that are originally developed for an ideal collision-less plasma. This paper briefly reviews the various limitations associated with these underlying methods and suggests useful means to correct the anomaly associated in determining the negative ion parameters based on electrostatic probes.


title: Crowdsourcing Diverse Paraphrases for Training Task-oriented Bots

abstract: A prominent approach to build datasets for training task-oriented bots is crowd-based paraphrasing. Current approaches, however, assume the crowd would naturally provide diverse paraphrases or focus only on lexical diversity. In this WiP we addressed an overlooked aspect of diversity, introducing an approach for guiding the crowdsourcing process towards paraphrases that are syntactically diverse.


title: Improved AI-based segmentation of apical and basal slices from clinical cine CMR

abstract: Current artificial intelligence (AI) algorithms for short-axis cardiac magnetic resonance (CMR) segmentation achieve human performance for slices situated in the middle of the heart. However, an often-overlooked fact is that segmentation of the basal and apical slices is more difficult. During manual analysis, differences in the basal segmentations have been reported as one of the major sources of disagreement in human interobserver variability. In this work, we aim to investigate the performance of AI algorithms in segmenting basal and apical slices and design strategies to improve their segmentation. We trained all our models on a large dataset of clinical CMR studies obtained from two NHS hospitals (n=4,228) and evaluated them against two external datasets: ACDC (n=100) and M&Ms (n=321). Using manual segmentations as a reference, CMR slices were assigned to one of four regions: non-cardiac, base, middle, and apex. Using the nnU-Net framework as a baseline, we investigated two different approaches to reduce the segmentation performance gap between cardiac regions: (1) non-uniform batch sampling, which allows us to choose how often images from different regions are seen during training; and (2) a cardiac-region classification model followed by three (i.e. base, middle, and apex) region-specific segmentation models. We show that the classification and segmentation approach was best at reducing the performance gap across all datasets. We also show that improvements in the classification performance can subsequently lead to a significantly better performance in the segmentation task.


title: Thermodynamic and electronic properties of ReN$_2$ polymorphs at high-pressure

abstract: High pressure synthesis of rhenium nitride pernitride ReN$_2$ with crystal structure unusual for transition metal dinitrides and high values of hardness and bulk modulus attracted significant attention to this system. We investigate the thermodynamic and electronic properties of the P2$_1$/c phase of ReN$_2$ and compare them with two other polytypes, C2/m and P4/mbm phases suggested in the literature. Our calculations of the formation enthalpy at zero temperature show that the former phase is the most stable of the three up to pressure p=170 GPa, followed by the stabilization of the P4/mbm phase at higher pressure. The theoretical prediction is confirmed by diamond anvil cell synthesis of the P4/mbm ReN$_2$ at $\approx$175 GPa. Considering the effects of finite temperature in the quasi-harmonic approximation at p=100 GPa we demonstrate that the P2$_1$/c phase has the lowest free energy of formation at least up to 1000 K. Our analysis of the pressure dependence of the electronic structure of the rhenium nitride pernitride shows a presence of two electronic topological transitions around 18 GPa, when the Fermi surface changes its topology due to an appearance of a new electron pocket at the high-symmetry Y$_2$ point of the Brillouin zone while the disruption of a neck takes place slightly off from the $\Gamma$-A line.


title: Photoinjector Generation of High-Charge Magnetized Beams for Electron-Cooling Applications

abstract: Electron-cooling offers a relatively simple scheme to enable high-luminosity collisions in future electron-ion and hadron colliders. Contemplated TeV-energy hadron colliders require relativistic (sub 100 MeV) high-charge [${\cal O}(\mbox{nC})$] electron beams with a specific transverse eigenemittance partition. This paper discusses the generation of high-charge ($Q\le 3.2$~nC) 40 MeV electron bunches with eigenemittance partition consistent with requirements associated with electron-cooling option for future electron-ion colliders. The supporting experiment was performed at the FAST facility at FermiLab. The data are compared with numerical simulations and the results discussed in the context of beam requirement for future electron-ion colliders.


title: Surface activity of cancer cells: the fusion of two cell aggregates

abstract: Although a good comprehension of how cancer cells collectively migrate by following molecular rules which influence the state of cell-cell adhesion contacts has been generated, the impact of collective migration on cellular rearrangement from subcellular to supracellular level remains less understood. Thus, considering collective cell migration (CCM) of cancer mesenchymal cells on one side and healthy epithelial cells on the other during the fusion of two cell aggregates could result in a powerful tool in order to address the contribution of structural changes at subcellular level which influence the cellular rearrangements and help to understand this important, but still controversial topic. While healthy epithelial cells undergo volumetric cell rearrangement driven by the tissue surface tension, which results in a collision of opposite directed velocity front near the contact point between two cell aggregates, mesenchymal cells follow quite different scenario. These cells are capable of reducing the surface tension and undergo surface cell rearrangement. The main goal of this contribution is to discuss the origin of surface activity of cancer cells by accounting for the crosstalk between cell-cell and cell-ECM adhesion contacts influenced by the cell contractility.


title: Clustering in Recurrent Neural Networks for Micro-Segmentation using Spending Personality

abstract: Customer segmentation has long been a productive field in banking. However, with new approaches to traditional problems come new opportunities. Fine-grained customer segments are notoriously elusive and one method of obtaining them is through feature extraction. It is possible to assign coefficients of standard personality traits to financial transaction classes aggregated over time. However, we have found that the clusters formed are not sufficiently discriminatory for micro-segmentation. In a novel approach, we extract temporal features with continuous values from the hidden states of neural networks predicting customers' spending personality from their financial transactions. We consider both temporal and non-sequential models, using long short-term memory (LSTM) and feed-forward neural networks, respectively. We found that recurrent neural networks produce micro-segments where feed-forward networks produce only coarse segments. Finally, we show that classification using these extracted features performs at least as well as bespoke models on two common metrics, namely loan default rate and customer liquidity index.


title: A Meta-Learning Approach for Training Explainable Graph Neural Networks

abstract: In this paper, we investigate the degree of explainability of graph neural networks (GNNs). Existing explainers work by finding global/local subgraphs to explain a prediction, but they are applied after a GNN has already been trained. Here, we propose a meta-learning framework for improving the level of explainability of a GNN directly at training time, by steering the optimization procedure towards what we call `interpretable minima'. Our framework (called MATE, MetA-Train to Explain) jointly trains a model to solve the original task, e.g., node classification, and to provide easily processable outputs for downstream algorithms that explain the model's decisions in a human-friendly way. In particular, we meta-train the model's parameters to quickly minimize the error of an instance-level GNNExplainer trained on-the-fly on randomly sampled nodes. The final internal representation relies upon a set of features that can be `better' understood by an explanation algorithm, e.g., another instance of GNNExplainer. Our model-agnostic approach can improve the explanations produced for different GNN architectures and use any instance-based explainer to drive this process. Experiments on synthetic and real-world datasets for node and graph classification show that we can produce models that are consistently easier to explain by different algorithms. Furthermore, this increase in explainability comes at no cost for the accuracy of the model.


title: Asymptotic Optimality for Decentralised Bandits

abstract: We consider a large number of agents collaborating on a multi-armed bandit problem with a large number of arms. The goal is to minimise the regret of each agent in a communication-constrained setting. We present a decentralised algorithm which builds upon and improves the Gossip-Insert-Eliminate method of Chawla et al. arxiv:2001.05452. We provide a theoretical analysis of the regret incurred which shows that our algorithm is asymptotically optimal. In fact, our regret guarantee matches the asymptotically optimal rate achievable in the full communication setting. Finally, we present empirical results which support our conclusions


title: Energy-stable discretization of two-phase flows in deformable porous media with frictional contact at matrix-fracture interfaces

abstract: We address the discretization of two-phase Darcy flows in a fractured and deformable porous medium, including frictional contact between the matrix-fracture interfaces. Fractures are described as a network of planar surfaces leading to the so-called mixed- or hybrid-dimensional models. Small displacements and a linear elastic behavior are considered for the matrix. Phase pressures are supposed to be discontinuous at matrix-fracture interfaces, as they provide a better accuracy than continuous pressure models even for high fracture permeabilities. The general gradient discretization framework is employed for the numerical analysis, allowing for a generic stability analysis and including several conforming and nonconforming discretizations. We establish energy estimates for the discretization, and prove existence of a solution. To simulate the coupled model, we employ a Two-Point Flux Approximation (TPFA) finite volume scheme for the flow and second-order ($\mathbb P_2$) finite elements for the mechanical displacement coupled with face-wise constant ($\mathbb P_0$) Lagrange multipliers on fractures, representing normal and tangential stresses, to discretize the frictional contact conditions. This choice allows to circumvent possible singularities at tips, corners, and intersections between fractures, and provides a local expression of the contact conditions. We present numerical simulations of two benchmark examples and one realistic test case based on a drying model in a radioactive waste geological storage structure.


title: Convergence analysis of an operator-compressed multiscale finite element method for Schr\"{o}dinger equations with multiscale potentials

abstract: In this paper, we analyze the convergence of the operator-compressed multiscale finite element method (OC MsFEM) for Schr\"{o}dinger equations with general multiscale potentials in the semiclassical regime. In the OC MsFEM the multiscale basis functions are constructed by solving a constrained energy minimization. Under a mild assumption on the mesh size $H$, we prove the exponential decay of the multiscale basis functions so that localized multiscale basis functions can be constructed, which achieve the same accuracy as the global ones if the oversampling size $m = O(\log(1/H))$. We prove the first-order convergence in the energy norm and second-order convergence in the $L^2$ norm for the OC MsFEM and super convergence rates can be obtained if the solution possesses sufficiently high regularity. By analysing the regularity of the solution, we also derive the dependence of the error estimates on the small parameters of the Schr\"{o}dinger equation. We find that the OC MsFEM outperforms the finite element method (FEM) due to the super convergence behavior for high-regularity solutions and weaker dependence on the small parameters for low-regularity solutions in the presence of the multiscale potential. Finally, we present numerical results to demonstrate the accuracy and robustness of the OC MsFEM.


title: Dipole excitation of $^6$Li and $^9$Be studied with an extended quantum molecular dynamics model

abstract: The $\alpha$ ($^4$He) - clustering structure is a common phenomenon in light nuclei due to the decreasing contribution of mean field in few-body system. In this work we presented calculations of giant dipole resonance (GDR) excitations for two non $\alpha$-conjugate light nuclei, namely $^{6}$Li and $^{9}$Be, within a framework of an extended quantum molecular dynamics model. For $^{6}$Li, we investigated the GDR spectra from the two-body clustering structure with $\alpha$ + deuteron as well as the three-body structure with $\alpha$ + $n$ + $p$, and found that the major $\alpha$-clustering contribution on the GDR peak is located at around 31 MeV, while the resonance contributions between clusters, namely $\alpha$ and deuteron or ($n$ + $p$), are located on the lower energy side, which can be regarded as pygmy dipole resonance (PDR). For $^{9}$Be, a mixture configuration contribution for the Chain-like structure and Borromean-like structure of the $\alpha$ + n + $\alpha$ configuration can somehow explain its GDR results.


title: About posets for which no lower cover or no upper cover has the fixed point property

abstract: For a finite non-empty set $X$, let $\mathfrak{P}(X)$ denote the set of all posets with carrier $X$, ordered by inclusion of their partial order relations. We investigate properties of posets $P \in \mathfrak{P}(X)$ for which no lower cover or no upper cover in $\mathfrak{P}(X)$ has the fixed point property. We derive two conditions, one of them sufficient for that no lower cover of $P$ has the fixed point property, the other one sufficient for that no upper cover of $P$ has the fixed point property, and we apply these results on several types of posets.


title: Edge-similarity-aware Graph Neural Networks

abstract: Graph are a ubiquitous data representation, as they represent a flexible and compact representation. For instance, the 3D structure of RNA can be efficiently represented as $\textit{2.5D graphs}$, graphs whose nodes are nucleotides and edges represent chemical interactions. In this setting, we have biological evidence of the similarity between the edge types, as some chemical interactions are more similar than others. Machine learning on graphs have recently experienced a breakthrough with the introduction of Graph Neural Networks. This algorithm can be framed as a message passing algorithm between graph nodes over graph edges. These messages can depend on the edge type they are transmitted through, but no method currently constrains how a message is altered when the edge type changes. Motivated by the RNA use case, in this project we introduce a graph neural network layer which can leverage prior information about similarities between edges. We show that despite the theoretical appeal of including this similarity prior, the empirical performance is not enhanced on the tasks and datasets we include here.


title: Conditions for electronic hybridization between transition-metal dichalcogenide monolayers and physisorbed carbon-conjugated molecules

abstract: Hybridization effects play a crucial role in determining the electronic properties of hybrid inorganic/organic interfaces. To gain insight into these important interactions, we perform a first-principles study based on hybrid density-functional theory including spin-orbit coupling, focusing on eight representative systems formed by two carbon-conjugated molecules-pyrene and perylene-physisorbed on the transition-metal dichalcogenide monolayers (TMDCs) MoS$_2$, MoSe$_2$, WS$_2$, and WSe$_2$. By means of band unfolding techniques, we analyze the band structures of the considered materials, identifying the contributions of the individual constituents as well as the signatures of their hybridization. Based on symmetry and energetic arguments, we derive general conditions for electronic hybridization between conjugated molecules and underlying TMDCs even when the former do not lie planar on the latter, thus providing the key to predict how their mutual arrangement affects their electronic interactions.


title: The Hadwiger theorem on convex functions, II: Cauchy-Kubota formulas

abstract: A new version of the Hadwiger theorem on convex functions is established and an explicit representation of functional intrinsic volumes is found using new functional Cauchy-Kubota formulas. In addition, connections between functional intrinsic volumes and their classical counterparts are obtained and non-negative valuations are classified.


title: Incremental Learning Techniques for Online Human Activity Recognition

abstract: Unobtrusive and smart recognition of human activities using smartphones inertial sensors is an interesting topic in the field of artificial intelligence acquired tremendous popularity among researchers, especially in recent years. A considerable challenge that needs more attention is the real-time detection of physical activities, since for many real-world applications such as health monitoring and elderly care, it is required to recognize users' activities immediately to prevent severe damages to individuals' wellness. In this paper, we propose a human activity recognition (HAR) approach for the online prediction of physical movements, benefiting from the capabilities of incremental learning algorithms. We develop a HAR system containing monitoring software and a mobile application that collects accelerometer and gyroscope data and send them to a remote server via the Internet for classification and recognition operations. Six incremental learning algorithms are employed and evaluated in this work and compared with several batch learning algorithms commonly used for developing offline HAR systems. The Final results indicated that considering all performance evaluation metrics, Incremental K-Nearest Neighbors and Incremental Naive Bayesian outperformed other algorithms, exceeding a recognition accuracy of 95% in real-time.


title: Towards Ubiquitous Indoor Positioning: Comparing Systems across Heterogeneous Datasets

abstract: The evaluation of Indoor Positioning Systems (IPS) mostly relies on local deployments in the researchers' or partners' facilities. The complexity of preparing comprehensive experiments, collecting data, and considering multiple scenarios usually limits the evaluation area and, therefore, the assessment of the proposed systems. The requirements and features of controlled experiments cannot be generalized since the use of the same sensors or anchors density cannot be guaranteed. The dawn of datasets is pushing IPS evaluation to a similar level as machine-learning models, where new proposals are evaluated over many heterogeneous datasets. This paper proposes a way to evaluate IPSs in multiple scenarios, that is validated with three use cases. The results prove that the proposed aggregation of the evaluation metric values is a useful tool for high-level comparison of IPSs.


title: Boosting the efficiency of Smith-Purcell radiators using nanophotonic inverse design

abstract: The generation of radiation from free electrons passing a grating, known as Smith-Purcell radiation, finds various applications including non-destructive beam diagnostics and tunable light sources, ranging from terahertz towards X-rays. So far, the gratings used for this purpose have been designed manually, based on human intuition and simple geometric shapes. Here we apply the computer-based technique of nanophotonic inverse design to build a 1400nm Smith-Purcell radiator for sub-relativistic 30 keV electrons. We demonstrate that the resulting silicon nanostructure radiates with a 3-times-higher efficiency and 2.2-times-higher overall power than previously used rectangular gratings. With better fabrication accuracy and for the same electron-structure distance, simulations suggest a superiority by a factor of 96 in peak efficiency. While increasing the efficiency is a key step needed for practical applications of free-electron radiators, inverse design also allows to shape the spectral and spatial emission in ways inaccessible with the human mind.


title: CAT(0) 4-manifolds are Euclidean

abstract: We prove that a topological 4-manifold of globally non-positive curvature is homeomorphic to Euclidean space.


title: Catalogues of voids as antihalos in the local Universe

abstract: A recently-proposed algorithm identifies voids in simulations as the regions associated with halos when the initial overdensity field is negated. We apply this method to the real Universe by running a suite of constrained simulations of the 2M++ volume with initial conditions inferred by the BORG algorithm, along with the corresponding inverted set. Our 101 inverted and uninverted simulations, spanning the BORG posterior, each identify ~150,000 "voids as antihalos" with mass exceeding $4.38\times10^{11} \: \mathrm{M_\odot}$ (100 particles) at $z=0$ in a full-sky sphere of radius 155 Mpc/h around the Milky Way. We calculate the size function, volume filling fraction, ellipticity, central density, specific angular momentum, clustering and stacked density profile of the voids, and cross-correlate them with those produced by VIDE on the same simulations. We make our antihalo and VIDE catalogues publicly available.


title: An ITO Graphene hybrid integrated absorption modulator on Si-photonics for neuromorphic nonlinear activation

abstract: The high demand for machine intelligence of doubling every three months is driving novel hardware solutions beyond charging of electrical wires given a resurrection to application specific integrated circuit (ASIC)-based accelerators. These innovations include photonic ASICs (P-ASIC) due to prospects of performing optical linear (and also nonlinear) operations, such as multiply-accumulate for vector matrix multiplications or convolutions, without iterative architectures. Such photonic linear algebra enables picosecond delay when photonic integrated circuits are utilized, via on-the-fly mathematics. However, the neurons full function includes providing a nonlinear activation function, knowns as thresholding, to enable decision making on inferred data. Many P-ASIC solutions performing this nonlinearity in the electronic domain, which brings challenges in terms of data throughput and delay, thus breaking the optical link and introducing increased system complexity via domain crossings. This work follows the notion of utilizing enhanced light-matter-interactions to provide efficient, compact, and engineerable electro-optic neuron nonlinearity. Here, we introduce and demonstrate a novel electro-optic device to engineer the shape of this optical nonlinearity to resemble a rectifying linear unit (ReLU) - the most-commonly used nonlinear activation function in neural networks. We combine the counter-directional transfer functions from heterostructures made out of two electro-optic materials to design a diode-like nonlinear response of the device. Integrating this nonlinearity into a photonic neural network, we show how the electrostatics of this thresholders gating junction improves machine learning inference accuracy and the energy efficiency of the neural network.


title: Liouville-type theorems, radial symmetry and integral representation of solutions to Hardy-H\'enon equations involving higher order fractional Laplacians

abstract: We study nonnegative solutions to the following Hardy-H\'enon type equations involving higher order fractional Laplacians $$ (-\Delta)^\sigma u = |x|^{-\alpha}u^{p} ~~~~~~ \mbox{in} ~ \mathbb{R}^n \backslash \{0\} $$ with a possible singularity at the origin, where $\sigma$ is a real number satisfying $0 < \sigma < n/2$, $-\infty < \alpha < 2\sigma$ and $p>1$. By a more direct approach without using the super poly-harmonic properties, we establish an integral representation for nonnegative solutions to the above higher order fractional equations whether the singularity $\{0\}$ is removable or not. As the first application, we prove an optimal Liouville-type theorem for the above equations with removable singularity for all $\sigma \in (0, n/2)$ when $$ 1 < p < p_{\sigma,\alpha}^*:=\frac{n+2\sigma -2\alpha}{n-2\sigma} ~~~ \mbox{and} ~~~ -\infty < \alpha < 2\sigma. $$ This, in particular, covers a gap occurring for non-integral $\sigma \in (1, n/2)$ and $\alpha \in (0, 2\sigma)$ in the current literature. As the second application, we show the radial symmetry of solutions in the critical case or in the case when the origin is a non-removable singularity. Such radial symmetry would be useful in studying the singular Yamabe-type problems.


title: Energy absorbency and phase stability during NaCl solution icing

abstract: NaCl solvation turns the fS portion molecules into the hydrating supersolid phase by ionic polarization and leaves the rest fO portion ordinary. Polarization shortens and stiffens the HO bond and does the O:H nonbond contrastingly in the supersolid. Water absorbs energy by HO cooling contraction in the quasisolid phase during the transition from Liquid to Quasisolid and then Ice The solution R drops with the fO loss till zero corresponding to 10 water molecules that saturates the solvation per solute at least. The polarization-weakening of the O H nonbonds lowers the TN to 253 K or below of the supersolid phase.


title: Extended b-metric-preserving functions

abstract: In this paper, we introduce a couple of classes of functions, denoted by DU and EB. We present the relationship between them and other known classes. Also, we show that the elements of the class EB, are amenable and quasi-subadditive functions (Theorem 2.14). Finally, in the Theorem 2.20, we establish that the graphic of these elements is contained in the region proposed by J. Dobos and Z. Piotrowski(see [8]).


title: When Do Extended Physics-Informed Neural Networks (XPINNs) Improve Generalization?

abstract: Physics-informed neural networks (PINNs) have become a popular choice for solving high-dimensional partial differential equations (PDEs) due to their excellent approximation power and generalization ability. Recently, Extended PINNs (XPINNs) based on domain decomposition methods have attracted considerable attention due to their effectiveness in modeling multiscale and multiphysics problems and their parallelization. However, theoretical understanding on their convergence and generalization properties remains unexplored. In this study, we take an initial step towards understanding how and when XPINNs outperform PINNs. Specifically, for general multi-layer PINNs and XPINNs, we first provide a prior generalization bound via the complexity of the target functions in the PDE problem, and a posterior generalization bound via the posterior matrix norms of the networks after optimization. Moreover, based on our bounds, we analyze the conditions under which XPINNs improve generalization. Concretely, our theory shows that the key building block of XPINN, namely the domain decomposition, introduces a tradeoff for generalization. On the one hand, XPINNs decompose the complex PDE solution into several simple parts, which decreases the complexity needed to learn each part and boosts generalization. On the other hand, decomposition leads to less training data being available in each subdomain, and hence such model is typically prone to overfitting and may become less generalizable. Empirically, we choose five PDEs to show when XPINNs perform better than, similar to, or worse than PINNs, hence demonstrating and justifying our new theory.


title: Plasma screening of nuclear fusion reactions in liquid layers of compact degenerate stars: a first-principle study

abstract: A reliable description of nuclear fusion reactions in inner layers of white dwarfs and envelopes of neutron stars is important for realistic modelling of a wide range of observable astrophysical phenomena from accreting neutron stars to type Ia supernovae. We study the problem of screening of the Coulomb barrier impeding the reactions, by a plasma surrounding the fusing nuclei. Numerical calculations of the screening factor are performed from the first principles with the aid of quantum-mechanical path integrals in the model of a one-component plasma of atomic nuclei for temperatures and densities typical for dense liquid layers of compact degenerate stars. We do not rely on various quasiclassic approximations widely used in the literature, such as factoring-out the tunneling process, tunneling in an average spherically symmetric mean-force potential, usage of classic free energies and pair correlation functions, linear mixing rule and so on. In general, a good agreement with earlier results from the thermonuclear limit to $\Gamma \sim 100$ is found. For a very strongly coupled liquid $100 \lesssim \Gamma \leq 175$, a deviation from currently used parametrisations of the reaction rates is discovered and approximated by a simple analytic expression. The developed method of nuclear reaction rate calculations with account of plasma screening can be extended to ion mixtures and crystallised phases of stellar matter.


title: Data-driven extrapolation schemes of Fermi-LAT spectra to the VHE

abstract: After 10 years of operations of the Large Area Telescope (LAT), a high-energy pair-creation telescope onboard the Fermi satellite, the Fermi Collaboration has produced two major catalogs: the 4FGL and the 3FHL. These catalogs represent the best sample of potential very high energy (VHE) emitters that may be studied by Imaging Atmospheric Cherenkov Telescopes (IACTs). Several methods are used to extrapolate the Fermi-LAT spectra to TeV energies, generally using simple analytical functions. The recent success of IACTs has motivated the creation of catalogs listing the discoveries of these experiments. Among these initiatives, gamma-cat excels as an open-access tool to archive high-level results in the VHE field, such as catalogs, spectra and light curves. By using these resources, we present a data-driven methodology to test the reliability of different VHE extrapolation schemes used in the literature and evaluate their accuracy reproducing real VHE observations.


title: Algorithmic Fairness Verification with Graphical Models

abstract: In recent years, machine learning (ML) algorithms have been deployed in safety-critical and high-stake decision-making, where the fairness of algorithms is of paramount importance. Fairness in ML centers on detecting bias towards certain demographic populations induced by an ML classifier and proposes algorithmic solutions to mitigate the bias with respect to different fairness definitions. To this end, several fairness verifiers have been proposed that compute the bias in the prediction of an ML classifier--essentially beyond a finite dataset--given the probability distribution of input features. In the context of verifying linear classifiers, existing fairness verifiers are limited by accuracy due to imprecise modeling of correlations among features and scalability due to restrictive formulations of the classifiers as SSAT/SMT formulas or by sampling. In this paper, we propose an efficient fairness verifier, called FVGM, that encodes the correlations among features as a Bayesian network. In contrast to existing verifiers, FVGM proposes a stochastic subset-sum based approach for verifying linear classifiers. Experimentally, we show that FVGM leads to an accurate and scalable assessment for more diverse families of fairness-enhancing algorithms, fairness attacks, and group/causal fairness metrics than the state-of-the-art fairness verifiers. We also demonstrate that FVGM facilitates the computation of fairness influence functions as a stepping stone to detect the source of bias induced by subsets of features.


title: Asymptotics for multifactor Volterra type stochastic volatility models

abstract: We study multidimensional stochastic volatility models in which the volatility process is a positive continuous function of a continuous multidimensional Volterra process that can be not self-similar. The main results obtained in this paper are a generalization of the results due, in the one-dimensional case, to Cellupica and Pacchiarotti [M. Cellupica and B. Pacchiarotti (2021) Pathwise Asymptotics for Volterra Type Stochastic Volatility Models. Journal of Theoretical Probability, 34(2):682--727]. We state some (pathwise and finite-dimensional) large deviation principles for the scaled log-price and as a consequence some (pathwise and finite-dimensional) short-time large deviation principles.


title: The Design and Simulation of a Coarse-to-Fine Optical MEMS Accelerometer

abstract: In this paper, a novel coarse-to-fine optical MEMS accelerometer based on the Fabry Perot (FP) interferometer is proposed. The mechanical structure consists of a proof mass that is suspended by four L-shaped springs. The deflection of the proof mass due to the applied acceleration is detected using two FP cavities which comprise the optical system of the device. Using coarse-to-fine measurement and the dual-wavelength method increases the sensitivity of the accelerometer as well as the linear measurement range simultaneously. The optical simulation shows that the sensitivity of the proposed device is 10 times as high as that of a similar optical MEMS accelerometer with one FP cavity. In addition, the proposed optical system is insensitive to the displacements of the proof mass in orthogonal directions as a result of which cross-axis sensitivity is considerably reduced. The minimum feature size of the structure is 15 um and the optical signal is conducted completely through the optical fibers, facilitating the fabrication of the device. The simulation results are as follows: mechanical sensitivity of 190 nm/g, optical sensitivity of 8 nm/g, linear measurement of 5 g, and first resonance frequency of 1141 Hz.


title: Design of Conformal Array of Rectangular Waveguide-fed Metasurfaces

abstract: We present a systematic design method for a cylindrical conformal array of rectangular waveguide-fed metasurfaces. The conformal metasurface consists of multiple curved rectangular waveguides loaded with metamaterial elements\textemdash electrically small irises\textemdash inserted into the upper conducting walls of the waveguides. Each element radiates energy into free space to contribute to an overall radiation pattern. Thus, the geometry or electrical configuration of each of the individual metamaterial elements needs to be tailored to generate a desired pattern. In general, due to difficulties in modeling the effect of curvature, the design of conformal metasurface arrays has relied on full-wave simulations or experiments. In this study, we propose a design method utilizing the analytic model of a planar metasurface accounting for metamaterial elements' locations and orientations over a surface with curvature. Although approximate, we demonstrate that such an alteration along with the framework of dipolar modeling of planar elements can be used for the analysis of conformal arrays with small curvature. We then design a conformal array metasurface using the method combined with CMA-ES optimizer. Through numerical simulations, we confirm the validity of the proposed design method. Applications include the design of metasurfaces for radar, communications, and imaging systems for automobiles and airplanes.


title: Money grows on (proof-)trees: the formal FA1.2 ledger standard

abstract: Once you have invented digital money, you may need a ledger to track who owns what -- and an interface to that ledger so that users of your money can transact. On the Tezos blockchain this implies: a smart contract (distributed program), storing in its state a ledger to map owner addresses to token quantities, and standardised entrypoints to transact on accounts. A bank does a similar job -- it maps account numbers to account quantities and permits users to transact -- but in return the bank demands trust, it incurs expense to maintain a centralised server and staff, it uses a proprietary interface ... and it may speculate using your money and/or display rent-seeking behaviour. A blockchain ledger is by design decentralised, inexpensive, open, and it won't just bet your tokens on risky derivatives (unless you ask). The FA1.2 standard is an open standard for ledger-keeping smart contracts on the Tezos blockchain. Several FA1.2 implementations already exist. Or do they? Is the standard sensible and complete? Are the implementations correct? And what are they implementations \emph{of}? The FA1.2 standard is written in English, a specification language favoured by wet human brains but notorious for its incompleteness and ambiguity when rendered into dry and unforgiving code. In this paper we report on a formalisation of the FA1.2 standard as a Coq specification, and on a formal verification of three FA1.2-compliant smart contracts with respect to that specification. Errors were found and ambiguities were resolved; but also, there now exists a \emph{mathematically precise} and battle-tested specification of the FA1.2 ledger standard. We will describe FA1.2 itself, outline the structure of the Coq theories -- which in itself captures some non-trivial and novel design decisions of the development -- and review the detailed verification of the implementations.


title: Mitigation of substrate coupling effects in RF switch by localized substrate removal using laser processing

abstract: With the evolution of radio frequency (RF)/microwave technology, there is a demand for circuits which are able to meet highly challenging RF frontend specifications. Silicon-on-insulator (SOI) technology is one of the leading platforms for upcoming wireless generation. The degradation of performance due to substrate coupling is a key problem to address for telecommunication circuits, especially for the high throw count switches in RF frontends. In this context, a novel technique for local substrate removal is developed to fabricate membranes of mm-sized RF switch which allows for total etching of silicon handler. RF characterization of membranes reveal a superior linearity performance with lowering of 2nd harmonic by 17.7 dB and improvement in insertion losses by 0.38 dB in comparison with High-Resistivity SOI substrates. This improvement leads to a significant increase in frontend efficiency. These results demonstrate a new route for optimization of circuit performance using post-fabrication substrate processing techniques.


title: Work-Energy Principle Based Characteristic Mode Theory for Yagi-Uda Array Antennas

abstract: Work-energy principle (WEP) governing the work-energy transformation process of Yagi-Uda array antennas is derived. Driving power as the source to sustain a steady work-energy transformation is introduced. Employing WEP and driving power, the essential difference between the working mechanisms of scattering objects and Yagi-Uda array antennas is revealed. The difference exposes that the conventional characteristic mode theory (CMT) for scattering objects cannot be directly applied to Yagi-Uda array antennas. Under WEP framework, this paper proposes a generalized CMT for Yagi-Uda antennas. By orthogonalizing driving power operator (DPO), the WEP-based CMT can construct a set of energy-decoupled characteristic modes (CMs) for an objective Yagi-Uda antenna, and then can provide an effective modal analysis for the Yagi-Uda antenna. In addition, a uniform interpretation for the physical meaning of the characteristic values / modal significances (MSs) of metallic, material, and metal-material composite Yagi-Uda antennas is also obtained by employing the WEP-based modal decomposition and the field-current interaction expression of driving power.


title: GaAs-Based Near-Field Thermophotonic Devices: Approaching The Idealized Case With One-Dimensional PN Junctions

abstract: Thermophotonics (TPX) is a technology close to thermophotovoltaics (TPV), where a heated light-emitting diode (LED) is used as the active thermal emitter of the system. It allows to tune the heat flux, by means of electroluminescence, to a spectral range matching better the gap of a photovoltaic cell. The concept is extended to near-field thermophotonics (NF-TPX), where enhanced energy conversion is due to both electric control and wave tunneling. We perform a thorough numerical analysis of a GaAs-based NF-TPX device, by coupling a near-field radiative heat transfer solver based on fluctuational electrodynamics with an algorithm based on a simplified version of the drift-diffusion equations in 1D. This allows for the investigation of the emission and absorption profiles in the LED and the photovoltaic (PV) cell, and for the scrutiny of the impact of key parameters. We also demonstrate that the performance obtained with this algorithm can approach idealized cases for improved devices. For the considered simplified architecture and 300 K temperature difference, we find a power density output of 1 W.cm--2 , underlining the potential for waste heat harvesting close to ambient temperature.


title: Sub-picoliter Traceability of Microdroplet Gravimetry and Microscopy

abstract: Gravimetry typically lacks the resolution to measure single microdroplets, whereas microscopy is often inaccurate beyond the resolution limit. To address these issues, we advance and integrate these complementary methods, introducing simultaneous measurements of the same microdroplets, comprehensive calibrations that are independently traceable to the International System of Units (SI), and Monte-Carlo evaluations of volumetric uncertainty. We achieve sub-picoliter agreement of measurements of microdroplets in flight with volumes of approximately 70 pL, with ensemble gravimetry and optical microscopy both yielding 95% coverage intervals of +/- 0.6 pL, or relative uncertainties of +/- 0.9%, and root-mean-square deviations of mean values between the two methods of 0.2 pL or 0.3%. These uncertainties match previous gravimetry results and improve upon previous microscopy results by an order of magnitude. Gravimetry precision depends on the continuity of droplet formation, whereas microscopy accuracy requires that optical diffraction from an edge reference matches that from a microdroplet. Applying our microscopy method, we jet and image water microdroplets suspending fluorescent nanoplastics, count nanoplastic particles after deposition and evaporation, and transfer volumetric traceability to number concentration. We expect that our methods will impact diverse fields involving dimensional metrology and volumetric analysis of microdroplets, including inkjet microfabrication, disease transmission, and industrial sprays.


title: Multi-modal Matching Problem of Shared Mobility

abstract: Rideshare is one way to share mobility in transportation without increasing traffic demand, where travel mobility and usage of vehicle capacity can be improved. However, current literature on rideshare has allowed only one-modal trips and may be limited in the matching efficiency, especially when there is a large gap between the supply and demand of mobility. Therefore, the objectives of this paper are first to develop a multi-modal matching framework of shared mobility with public transportation to maximize the performance of a rideshare system, and second to evaluate the effect of the public transportation and of the schedule flexibility on the matching efficiency. To fulfill the first objective, a multi-modal matching framework is developed to allow rideshare with both private and public vehicles with detailed design of detour, using Genetic Algorithm. Also for the second objective, the effects of public transportation and schedule flexibility are evaluated with a simplified network of Sioux Falls. The results show that public transportation helps the match rate slightly at a low supply of private vehicle, but this must be evaluated for practical implementation as different cities may bring different results. Also, a larger schedule flexibility helps greatly in increasing match rate even at a lower supply level. As well, the planning subject of time schedule is benefited more with larger schedule flexibility, in this paper the drivers, on the matching efficiency. Moreover, a rideshare system with private vehicles outperforms a public transportation system, possibly due to the rigid route of public transportation that takes no detour burden. This confirms the need for a flexible design of sharing mobility, as can be fulfilled with the multi-modal matching framework developed in this research.


title: Interval chains and completeness in ultrapowers of ordered sets

abstract: The ultrapower $T^{\ast}$ of an arbitrary ordered set $T$ is introduced as an infinitesimal extension of $T$. It is obtained as the set of equivalence classes of the sequences in $T$, where the corresponding relation is generated by an ultrafilter on the set of natural numbers. It is established that $T^{\ast}$ always satisfies Cantor's property, while one can give the necessary and sufficient conditions for $T$ so that $T^{\ast}$ would be complete or it would fulfill the open completeness property, respectively. Namely, the density of the original set determines the open completeness of the extension, while independently, the completeness of $T^{\ast}$ is determined by the cardinality of $T$.


title: Part 2: Spatially Dispersive Metasurfaces -- IE-GSTC-SD Field Solver with Extended GSTCs

abstract: An Integral Equation (IE) based field solver to compute the scattered fields from spatially dispersive metasurfaces is proposed and numerically confirmed using various examples involving physical unit cells. The work is a continuation of [1], which proposed the basic methodology of representing spatially dispersive metasurface structure in the spatial frequency domain, $\boldsymbol{k}$. By representing the angular dependence of the surface susceptibilities in $\boldsymbol{k}$ as a ratio of two polynomials, the standard Generalized Sheet Transition Conditions (GSTCs) have been extended to include the spatial derivatives of both the difference and average fields around the metasurface. These extended boundary conditions are successfully integrated here into a standard IE-GSTC solver, which leads to the new IE-GSTC-SD simulation framework presented here. The proposed IE-GSTC-SD platform is applied to various uniform metasurfaces, including a practical short conducting wire unit cell, as a representative practical example, for various cases of finite-sized flat and curvilinear surfaces. In all cases, computed field distributions are successfully validated, either against the semi-analytical Fourier decomposition method or the brute-force full-wave simulation of volumetric metasurfaces in the commercial Ansys FEM-HFSS simulator.

categories: physics.app-ph physics.class-ph physics.comp-ph physics.optics


title: Frequency-Dependent Piezoresistive Effect in Top-down Fabricated Gold Nanoresistors

abstract: Piezoresistive strain gauges allow for electronic readout of mechanical deformations with high fidelity. As piezoresistive strain gauges are aggressively being scaled down for applications in nanotechnology, it has become critical to investigate their physical attributes at different limits. Here, we describe an experimental approach for studying the piezoresistive gauge factor of a gold thin-film nanoresistor as a function of frequency. The nanoresistor is fabricated lithographically near the anchor of a nanomechanical doubly-clamped beam resonator. As the resonator is driven to resonance in one of its normal modes, the nanoresistor is exposed to frequency-dependent strains of {$\varepsilon \lesssim 10^{-5}$} in the $4-36~\rm MHz$ range. We calibrate the strain using optical interferometry and measure the resistance changes using a radio-frequency mix-down technique. The piezoresistive gauge factor $\gamma$ of our lithographic gold nanoresistors is $\gamma \approx 3.6$ at 4 MHz, in agreement with comparable macroscopic thin metal film resistors in previous works. However, our $\gamma$ values increase monotonically with frequency and reach $\gamma \approx 15$ at 36 MHz. We discuss possible physics that may give rise to this unexpected frequency dependence.