title: Writhed Analytical Magnetic Flux Rope Model

abstract: Observations of magnetic clouds, within interplanetary coronal mass ejections (ICMEs), are often well described by flux rope models. Most of these assume either a cylindrical or toroidal geometry. In some cases, these models are also capable of accounting for non-axisymmetric crosssections but they generally all assume axial invariance. It can be expected that any ICME, and its flux rope, will be deformed along its axis due to influences such as the solar wind. In this work, we aim to develop a writhed analytical magnetic flux rope model which would allow us to analytically describe a flux rope structure with varying curvature and torsion so that we are no longer constrained to a cylindrical or toroidal geometry. In this first iteration of our model we will solely focus on a circular cross-section of constant size. We describe our flux rope geometry in terms of a parametrized flux rope axis and a parallel transport frame. We derive expressions for the axial and poloidal magnetic field components under the assumption that the total axial magnetic flux is conserved. We find an entire class of possible solutions, which differ by the choice of integration constants, and present the results for a specific example. In general, we find that the twist of the magnetic field locally changes when the geometry deviates from a cylinder or torus. This new approach also allows us to generate completely new types of in situ magnetic field profiles which strongly deviate from those generated by cylindrical or toroidal models.


title: Equivariant Lagrangian Floer homology via cotangent bundles of $EG_N$

abstract: We provide a construction of equivariant Lagrangian Floer homology $HF_G(L_0, L_1)$, for a compact Lie group $G$ acting on a symplectic manifold $M$ in a Hamiltonian fashion, and a pair of $G$-Lagrangian submanifolds $L_0, L_1 \subset M$. We do so by using symplectic homotopy quotients involving cotangent bundles of an approximation of $EG$. Our construction relies on Wehrheim and Woodward's theory of quilts, and the telescope construction. We show that these groups are independent in the auxiliary choices involved in their construction, and are $H^*(BG)$-bimodules. In the case when $L_0 = L_1$, we show that their chain complex $CF_G(L_0, L_1)$ is homotopy equivalent to the equivariant Morse complex of $L_0$. Furthermore, if zero is a regular value of the moment map $\mu$ and if $G$ acts freely on $\mu^{-1}(0)$, we construct two "Kirwan morphisms" from $CF_G(L_0, L_1)$ to $CF(L_0/G, L_1/G)$ (respectively from $CF(L_0/G, L_1/G)$ to $CF_G(L_0, L_1)$). Our construction applies to the exact and monotone settings, as well as in the setting of the extended moduli space of flat $SU(2)$-connections of a Riemann surface, considered in Manolescu and Woodward's work. Applied to the latter setting, our construction provides an equivariant symplectic side for the Atiyah-Floer conjecture.


title: Applications of blockchain and artificial intelligence technologies for enabling prosumers in smart grids: A review

abstract: Governments' net zero emission target aims at increasing the share of renewable energy sources as well as influencing the behaviours of consumers to support the cost-effective balancing of energy supply and demand. These will be achieved by the advanced information and control infrastructures of smart grids which allow the interoperability among various stakeholders. Under this circumstance, increasing number of consumers produce, store, and consume energy, giving them a new role of prosumers. The integration of prosumers and accommodation of incurred bidirectional flows of energy and information rely on two key factors: flexible structures of energy markets and intelligent operations of power systems. The blockchain and artificial intelligence (AI) are innovative technologies to fulfil these two factors, by which the blockchain provides decentralised trading platforms for energy markets and the AI supports the optimal operational control of power systems. This paper attempts to address how to incorporate the blockchain and AI in the smart grids for facilitating prosumers to participate in energy markets. To achieve this objective, first, this paper reviews how policy designs price carbon emissions caused by the fossil-fuel based generation so as to facilitate the integration of prosumers with renewable energy sources. Second, the potential structures of energy markets with the support of the blockchain technologies are discussed. Last, how to apply the AI for enhancing the state monitoring and decision making during the operations of power systems is introduced.


title: Simplified Learning of CAD Features Leveraging a Deep Residual Autoencoder

abstract: In the domain of computer vision, deep residual neural networks like EfficientNet have set new standards in terms of robustness and accuracy. One key problem underlying the training of deep neural networks is the immanent lack of a sufficient amount of training data. The problem worsens especially if labels cannot be generated automatically, but have to be annotated manually. This challenge occurs for instance if expert knowledge related to 3D parts should be externalized based on example models. One way to reduce the necessary amount of labeled data may be the use of autoencoders, which can be learned in an unsupervised fashion without labeled data. In this work, we present a deep residual 3D autoencoder based on the EfficientNet architecture, intended for transfer learning tasks related to 3D CAD model assessment. For this purpose, we adopted EfficientNet to 3D problems like voxel models derived from a STEP file. Striving to reduce the amount of labeled 3D data required, the networks encoder can be utilized for transfer training.


title: Enabling On-Device Smartphone GPU based Training: Lessons Learned

abstract: Deep Learning (DL) has shown impressive performance in many mobile applications. Most existing works have focused on reducing the computational and resource overheads of running Deep Neural Networks (DNN) inference on resource-constrained mobile devices. However, the other aspect of DNN operations, i.e. training (forward and backward passes) on smartphone GPUs, has received little attention thus far. To this end, we conduct an initial analysis to examine the feasibility of on-device training on smartphones using mobile GPUs. We first employ the open-source mobile DL framework (MNN) and its OpenCL backend for running compute kernels on GPUs. Next, we observed that training on CPUs is much faster than on GPUs and identified two possible bottlenecks related to this observation: (i) computation and (ii) memory bottlenecks. To solve the computation bottleneck, we optimize the OpenCL backend's kernels, showing 2x improvements (40-70 GFLOPs) over CPUs (15-30 GFLOPs) on the Snapdragon 8 series processors. However, we find that the full DNN training is still much slower on GPUs than on CPUs, indicating that memory bottleneck plays a significant role in the lower performance of GPU over CPU. The data movement takes almost 91% of training time due to the low bandwidth. Lastly, based on the findings and failures during our investigation, we present limitations and practical guidelines for future directions.


title: BERT WEAVER: Using WEight AVERaging to enable lifelong learning for transformer-based models in biomedical semantic search engines

abstract: Recent developments in transfer learning have boosted the advancements in natural language processing tasks. The performance is, however, dependent on high-quality, manually annotated training data. Especially in the biomedical domain, it has been shown that one training corpus is not enough to learn generic models that are able to efficiently predict on new data. Therefore, in order to be used in real world applications state-of-the-art models need the ability of lifelong learning to improve performance as soon as new data are available - without the need of re-training the whole model from scratch. We present WEAVER, a simple, yet efficient post-processing method that infuses old knowledge into the new model, thereby reducing catastrophic forgetting. We show that applying WEAVER in a sequential manner results in similar word embedding distributions as doing a combined training on all data at once, while being computationally more efficient. Because there is no need of data sharing, the presented method is also easily applicable to federated learning settings and can for example be beneficial for the mining of electronic health records from different clinics.


title: Chemical Composition Of Bright Stars In The Northern Hemisphere: Star-Planet Connection

abstract: In fulfilling the aims of the planetary and asteroseismic research missions, such as that of the NASA Transiting Exoplanet Survey Satellite (TESS) space telescope, accurate stellar atmospheric parameters and a detailed chemical composition are required as input. We have observed high-resolution spectra for all 848 bright (V<8 mag) stars that are cooler than F5 spectral class in the area up to 12 deg surrounding the northern TESS continuous viewing zone and uniformly determined the main atmospheric parameters, ages, orbital parameters, velocity components, and precise abundances of up to 24 chemical species (C(C2), N(CN), [O I], Na I, Mg I, Al I, Si I, Si I, Ca I, Ca II, Sc I, Sc II, Ti I, Ti II, V I, Cr I, Cr II, Mn I, Fe I, Fe II, Co I, Ni I, Cu I, and Zn I) for 740 slowly rotating stars. The analysis of 25 planet-hosting stars in our sample drove us to the following conclusions: the dwarf stars hosting high-mass planets are more metal rich than those with low-mass planets. We find slightly negative C/O and Mg/Si slopes toward the stars with high-mass planets. All the low-mass planet hosts in our sample show positive $\Delta$[El/Fe] versus condensation temperature slopes, in particular, the star with the large number of various planets. The high-mass planet hosts have a diversity of slopes, but in more metal rich, older, and cooler stars, the positive elemental abundance slopes are more common.


title: Robustness and Accuracy Could Be Reconcilable by (Proper) Definition

abstract: The trade-off between robustness and accuracy has been widely studied in the adversarial literature. Although still controversial, the prevailing view is that this trade-off is inherent, either empirically or theoretically. Thus, we dig for the origin of this trade-off in adversarial training and find that it may stem from the improperly defined robust error, which imposes an inductive bias of local invariance -- an overcorrection towards smoothness. Given this, we advocate employing local equivariance to describe the ideal behavior of a robust model, leading to a self-consistent robust error named SCORE. By definition, SCORE facilitates the reconciliation between robustness and accuracy, while still handling the worst-case uncertainty via robust optimization. By simply substituting KL divergence with variants of distance metrics, SCORE can be efficiently minimized. Empirically, our models achieve top-rank performance on RobustBench under AutoAttack. Besides, SCORE provides instructive insights for explaining the overfitting phenomenon and semantic input gradients observed on robust models. Code is available at https://github.com/P2333/SCORE.


title: Reducing FEC-Complexity in Cross-Layer Predictable Data Communication

abstract: The PRRT protocol enables applications with strict performance requirements such as Cyber-Physical Systems, as it provides predictably low, end-to-end delay via cross-layer pacing and timely error correction via Hybrid ARQ (HARQ). However, the implemented HARQ uses computationally complex Maximum Distance Separable (MDS) codes to generate redundancy. In this paper we propose code partitioning for the complexity reduction of MDS codes, thereby enabling their deployment on constrained embedded devices.


title: On the limiting amplitude principle for the wave equation with variable coefficients

abstract: In this paper, we prove new results on the validity of the limiting amplitude principle (LAP) for the wave equation with nonconstant coefficients, not necessarily in divergence form. Under suitable assumptions on the coefficients and on the source term, we establish the LAP for space dimensions 2 and 3. This result is extended to one space dimension with an appropriate modification. We also quantify the LAP and thus provide estimates for the convergence of the time-domain solution to the frequency-domain solution. Our proofs are based on time-decay results of solutions of some auxiliary problems. The obtained results are illustrated numerically on radially symmetric problems in dimensions 1, 2 and 3.


title: 2d Integrable systems, 4d Chern-Simons theory and Affine Higgs bundles

abstract: In this short review we compare constructions of 2d integrable models by means of two gauge field theories. The first one is the 4d Chern-Simons (4d-CS) theory proposed by Costello and Yamazaki. The second one is the 2d generalization of the Hitchin integrable systems constructed by means the Affine Higgs bundles (AHB). We illustrate this approach by considering 1+1 field versions of elliptic integrable systems including the Calogero-Moser field theory, the Landau-Lifshitz model and the field theory generalization of the elliptic Gaudin model.


title: Model-Agnostic Augmentation for Accurate Graph Classification

abstract: Given a graph dataset, how can we augment it for accurate graph classification? Graph augmentation is an essential strategy to improve the performance of graph-based tasks, and has been widely utilized for analyzing web and social graphs. However, previous works for graph augmentation either a) involve the target model in the process of augmentation, losing the generalizability to other tasks, or b) rely on simple heuristics that lead to unreliable results. In this work, we introduce five desired properties for effective augmentation. Then, we propose NodeSam (Node Split and Merge) and SubMix (Subgraph Mix), two model-agnostic approaches for graph augmentation that satisfy all desired properties with different motivations. NodeSam makes a balanced change of the graph structure to minimize the risk of semantic change, while SubMix mixes random subgraphs of multiple graphs to create rich soft labels combining the evidence for different classes. Our experiments on social networks and molecular graphs show that NodeSam and SubMix outperform existing approaches in graph classification.


title: ViTAEv2: Vision Transformer Advanced by Exploring Inductive Bias for Image Recognition and Beyond

abstract: Vision transformers have shown great potential in various computer vision tasks owing to their strong capability to model long-range dependency using the self-attention mechanism. Nevertheless, they treat an image as a 1D sequence of visual tokens, lacking an intrinsic inductive bias (IB) in modeling local visual structures and dealing with scale variance, which is instead learned implicitly from large-scale training data with longer training schedules. In this paper, we propose a Vision Transformer Advanced by Exploring intrinsic IB from convolutions, i.e., ViTAE. Technically, ViTAE has several spatial pyramid reduction modules to downsample and embed the input image into tokens with rich multi-scale context using multiple convolutions with different dilation rates. In this way, it acquires an intrinsic scale invariance IB and can learn robust feature representation for objects at various scales. Moreover, in each transformer layer, ViTAE has a convolution block parallel to the multi-head self-attention module, whose features are fused and fed into the feed-forward network. Consequently, it has the intrinsic locality IB and is able to learn local features and global dependencies collaboratively. The proposed two kinds of cells are stacked in both isotropic and multi-stage manners to formulate two families of ViTAE models, i.e., the vanilla ViTAE and ViTAEv2. Experiments on the ImageNet dataset as well as downstream tasks on the MS COCO, ADE20K, and AP10K datasets validate the superiority of our models over the baseline transformer models and concurrent works. Besides, we scale up our ViTAE model to 644M parameters and obtain the state-of-the-art classification performance, i.e., 88.5% Top-1 classification accuracy on ImageNet validation set and the best 91.2% Top-1 accuracy on ImageNet real validation set, without using extra private data.


title: Self-consistent Description of Bose-Bose Droplets: Modified Gapless Hartree-Fock-Bogoliubov Method

abstract: We define a formalism of a self-consistent description of the ground state of a weakly interacting Bose system, accounting for higher order terms in expansion of energy in the diluteness parameter. The approach is designed to be applied to a Bose-Bose mixture in a regime of weak collapse where quantum fluctuations lead to stabilization of the system and formation of quantum liquid droplets. The approach is based on the Generalized Gross -- Pitaevskii equation accounting for quantum depletion and anomalous density terms. The equation is self-consistently coupled to modified Bogoliubov equations. The modification we introduce resolves the longstanding issue of missing phonon-branch excitations when higher order terms are included. Our method ensures a gapless phononic low-energy excitation spectrum, crucial to correctly account for quantum fluctuations. We pay particular attention to the case of droplets harmonically confined in some directions. The method allows to determine the Lee-Huang-Yang-type contribution to the chemical potential of inhomogeneous droplets when the local density approximation fails.


title: Signature of a doubly charm tetraquark pole in $DD^*$ scattering on the lattice

abstract: The doubly charm tetraquark with flavor $cc\bar u\bar d$ and isospin $I\!=\!0$ is investigated by calculating the $DD^*$ scattering amplitude with lattice QCD. The simulation is done on CLS ensembles with dynamical $u/d,s$ quarks and $m_\pi\simeq 280~$MeV for two charm quark masses, one slightly larger and one slightly lower than the physical value. The scattering amplitudes for partial waves $l=0,1$ are extracted near-threshold via the L\"uscher's method by considering systems with total momenta $PL/(2\pi)=0,1,\sqrt{2},2$ on two spatial volumes. A virtual bound state pole in the $DD^*$ scattering amplitude with $l=0$ is found $9.9_{-7.1}^{+3.6}~$MeV below $DD^*$ threshold for the charm quark mass closer to the physical value. This pole is likely related to the doubly charm tetraquark discovered by LHCb less than $1~$MeV below $D^0D^{*+}$ threshold. Future lattice simulations closer to the continuum limit and physical quark masses would be valuable to establish this connection systematically.


title: Optical, luminescence, and scintillation properties of advanced ZnWO$_4$ crystal scintillators

abstract: Zinc tungstate (ZnWO$_4$) crystal scintillators are promising detection material for the experiments searching for double beta decay, dark matter, and investigating rare alpha decays. An extended R&D was performed to develop advanced quality ZnWO$_4$ crystal scintillators. The R&D programme included the selection of the initial materials, the variation of the compound stoichiometry, the application of single and double crystallization, and the annealing of the crystal boules. The optical transmittance of the produced boules was measured, and the luminescence under X-ray excitation in the temperature region from 85 K to room temperature was studied (thermally stimulated luminescence was measured till 350 K). The energy resolution and the relative scintillation pulse amplitude were measured with gamma-sources demonstrating high scintillation properties of the samples produced by single crystallization from deeply purified zinc and tungsten oxides, with stoichiometric composition, annealed in air atmosphere.


title: Accurate Single-Ended Measurement of Propagation Delay in Fiber Using Correlation Optical Time Domain Reflectometry

abstract: A correlation optical time-domain reflectometry (COTDR) method is presented, which measures the propagation delay with an accuracy of a few picoseconds. This accuracy is achieved using a test signal data rate of 10 Gbit/s and employing cross-correlation and pulse fitting techniques. In this paper we introduce and evaluate the basic signal processing steps, investigate the measurement accuracy, and discuss applications for monitoring link delay and chromatic dispersion of long fiber spans as well as temperature sensing applications.


title: Self-consistent Description of Bose-Bose Droplets: Harmonically Trapped Quasi-2D Droplets

abstract: We describe a quantum droplet of a Bose-Bose mixture squeezed by an external harmonic forces in one spatial direction. Our approach is based on the self-consistent method formulated in [1]. The true spatial droplet profile in the direction of confinement is accounted for, however local density approximation is assumed in the free directions. We define a numerical approach to find the beyond-mean-field contribution to the chemical potential (Lee-Huang-Yang chemical potential) -- the quantity that determines the droplet's profile. In addition to the numerical approach, we find the Lee-Huang-Yang potential in the analytic form in two limiting cases: a perturbative result for a strong confinement and a semiclassical expression when confinement is very weak.


title: Path regularity of Brownian motion and Brownian sheet

abstract: By the work of P. L\'evy, the sample paths of the Brownian motion are known to satisfy a certain H\"older regularity condition almost surely. This was later improved by Ciesielski, who studied the regularity of these paths in Besov and Besov-Orlicz spaces. We review these results and propose new function spaces of Besov type, strictly smaller than those of Ciesielski and L\'evy, where the sample paths of the Brownian motion lie in almost surely. In the same spirit, we review and extend the work of Kamont, who investigated the same question for the multivariate Brownian sheet and function spaces of dominating mixed smoothness.


title: An Efficient Smoothing and Thresholding Image Segmentation Framework with Weighted Anisotropic-Isotropic Total Variation

abstract: In this paper, we design an efficient, multi-stage image segmentation framework that incorporates a weighted difference of anisotropic and isotropic total variation (AITV). The segmentation framework generally consists of two stages: smoothing and thresholding, thus referred to as SaT. In the first stage, a smoothed image is obtained by an AITV-regularized Mumford-Shah (MS) model, which can be solved efficiently by the alternating direction method of multipliers (ADMM) with a closed-form solution of a proximal operator of the $\ell_1 -\alpha \ell_2$ regularizer. Convergence of the ADMM algorithm is analyzed. In the second stage, we threshold the smoothed image by $K$-means clustering to obtain the final segmentation result. Numerical experiments demonstrate that the proposed segmentation framework is versatile for both grayscale and color images, efficient in producing high-quality segmentation results within a few seconds, and robust to input images that are corrupted with noise, blur, or both. We compare the AITV method with its original convex TV and nonconvex TV$^p (0<p<1)$ counterparts, showcasing the qualitative and quantitative advantages of our proposed method.


title: From harmonic analysis of translation-invariant valuations to geometric inequalities for convex bodies

abstract: The Alesker-Bernig-Schuster theorem asserts that each irreducible representation of the special orthogonal group appears with multiplicity at most one as a subrepresentation of the space of continuous translation-invariant valuations with fixed degree of homogeneity. Moreover, the theorem describes in terms of highest weights which irreducible representations appear with multiplicity one. In this paper, we present a refinement of this result, namely the explicit construction of a highest weight vector in each irreducible subrepresentation. We then describe how important natural operations on valuations (pullback, pushforward, Fourier transform, Lefschetz operator, Alesker-Poincar\'e pairing) act on these highest weight vectors. We use this information to prove the Hodge-Riemann relations for valuations in the case of Euclidean balls as reference bodies. Since special cases of the Hodge-Riemann relations have recently been used to prove new geometric inequalities for convex bodies, our work immediately extends the scope of these inequalities.


title: Gelfand residuated lattices

abstract: In this paper, a combination of algebraic and topological methods is applied to obtain new and structural results on Gelfand residuated lattices. It is demonstrated that Gelfand's residuated lattices strongly tied up with the hull-kernel topology. Especially, it is shown that a residuated lattice is Gelfand if and only if its prime spectrum, equipped with the hull-kernel topology, is normal. The class of soft residuated lattices is introduced, and it is shown that a residuated lattice is soft if and only if it is Gelfand and semisimple. Gelfand residuated lattices are characterized using the pure part of filters. The relation between pure filters and radicals in a Gelfand residuated lattice is described. It is shown that a residuated lattice is Gelfand if and only if its pure spectrum is homeomorphic to its usual maximal spectrum. The pure filters of a Gelfand residuated lattice are characterized. Finally, it is proved that a residuated lattice is Gelfand if and only if the hull-kernel and the $\mathscr{D}$-topology coincide on the set of maximal filters.


title: Demonstration of latency-aware 5G network slicing on optical metro networks

abstract: The H2020 METRO-HAUL European project has architected a latency-aware, cost-effective, agile, and programmable optical metro network. This includes the design of semidisaggregated metro nodes with compute and storage capabilities, which interface effectively with both 5G access and multi-Tbit/s elastic optical networks in the core. In this paper, we report the automated deployment of 5G services, in particular, a public safety video surveillance use case employing low-latency object detection and tracking using on-camera and on-the-edge analytics. The demonstration features flexible deployment of network slice instances, implemented in terms of European Telecommunications Standards Institute (ETSI) network function virtualization network services. We summarize the key findings in a detailed analysis of end-to-end quality of service, service setup time, and soft-failure detection time. The results show that the round-trip time over an 80 km link is under 800s and the service deployment time is under 180s.


title: In-situ force microscopy to investigate fracture in stretchable electronics: insights on local surface mechanics and conductivity

abstract: Stretchable conductors are of crucial relevance for emerging technologies such as wearable electronics, low-invasive bioelectronic implants or soft actuators for robotics. A critical issue for their development regards the understanding of defect formation and fracture of conducting pathways during stress-strain cycles. Here we present a novel atomic force microscopy (AFM) method that provides multichannel images of surface morphology, conductivity, and elastic modulus during sample deformation. To develop the method, we investigate in detail the mechanical interactions between the AFM tip and a stretched, free-standing thin film sample. Our findings reveal the conditions to avoid artifacts related to sample bending modes or resonant excitations. As an example, we analyze strain effects in thin gold films deposited on a soft silicone substrate. Our technique allows to observe the details of microcrack opening during tensile strain and their impact on local current transport and surface mechanics. We find that although the film fractures into separate fragments, at higher strain a current transport is sustained by a tunneling mechanism. The microscopic observation of local defect formation and their correlation to local conductivity will provide novel insight to design more robust and fatigue resistant stretchable conductors.


title: Computing a spectral sequence of finite Heisenberg groups of prime power order

abstract: Let $p\geq 5$ be a prime number, let $n\geq 2$ be a natural number and let $\text{Heis}(p^n)$ denote the Heisenberg group modulo $p^n$. We study the Lyndon-Hochschild-Serre spectral sequence $E(\text{Heis}(p^n))$ associated to $\text{Heis}(p^n)$ considered as a split extension, and show that, $E(\text{Heis}(p^n))$ collapses in the third page. Moreover, for a fixed $p$, the spectral sequences $E(\text{Heis}(p^n))$ are isomorphic from the second page on.


title: A Dutch book argument for belief consistency

abstract: An agent progressively learns about a state of the world. A bookmaker is ready to offer one bet after every new discovery. I say that the agent is Dutch-booked when she is willing to accept every single bet, but her expected payoff is negative under each state, where the expected payoff is computed with the objective probabilities of different discoveries conditional on the state. I introduce a rule of coherence among beliefs after counterfactual discoveries that is necessary and sufficient to avoid being Dutch-booked. This rule characterizes an agent who derives all her beliefs with Bayes rule from the same Lexicographic Conditional Probability System (Blume, Brandenburger and Dekel, 1991).


title: HCMD-zero: Learning Value Aligned Mechanisms from Data

abstract: Artificial learning agents are mediating a larger and larger number of interactions among humans, firms, and organizations, and the intersection between mechanism design and machine learning has been heavily investigated in recent years. However, mechanism design methods often make strong assumptions on how participants behave (e.g. rationality), on the kind of knowledge designers have access to a priori (e.g. access to strong baseline mechanisms), or on what the goal of the mechanism should be (e.g. total welfare). Here we introduce HCMD-zero, a general purpose method to construct mechanisms making none of these three assumptions. HCMD-zero learns to mediate interactions among participants and adjusts the mechanism parameters to make itself more likely to be preferred by participants. It does so by remaining engaged in an electoral contest with copies of itself, thereby accessing direct feedback from participants. We test our method on a stylized resource allocation game that highlights the tension between productivity, equality and the temptation to free ride. HCMD-zero produces a mechanism that is preferred by human participants over a strong baseline, it does so automatically, without requiring prior knowledge, and using human behavioral trajectories sparingly and effectively. Our analysis shows HCMD-zero consistently makes the mechanism policy more and more likely to be preferred by human participants over the course of training, and that it results in a mechanism with an interpretable and intuitive policy.


title: Homogeneous $2$-nondegenerate CR manifolds of hypersurface type in low dimensions

abstract: In a recent paper, the author and I. Zelenko introduce the concept of modified CR symbols for organizing local invariants of $2$-nondegenerate CR structures. In this paper, we consider homogeneous hypersurfaces in $\mathbb{C}^4$, a natural frontier in the CR hypersurface Erlangen programs, and classify up to local equivalence the locally homogeneous $2$-nondegenerate hypersufaces in $\mathbb{C}^4$ whose symmetry group dimension is maximal among all such structures with the same local invariants encoded in their respective modified symbols. In the considered dimension, we show that among homogeneous structures with given modified CR symbols, the most symmetric structures (termed model structures) are unique. The classification is then achieved indirectly through classifying the modified symbols of homogeneous hypersurfaces in $\mathbb{C}^4$, obtaining (up to local equivalence) nine model structures. The methods used to obtain this classification are then applied to find homogeneous hypersurfaces in higher dimensional spaces. In total $20$ locally non-equivalent maximally symmetric homogeneous $2$-nondegenerate hypersurfaces are described in $\mathbb{C}^5$, and $40$ such hypersurfaces are described in $\mathbb{C}^6$, of which some have been described in other works while many are new. Lastly, two new sequences, indexed by $n$, of homogeneous $2$-nondegenerate hypersurfaces in $\mathbb{C}^{n+1}$ are described. Notably, all examples from one of these latter sequences can be realized as left-invariant structures on nilpotent Lie groups.


title: Multi-Task Conditional Imitation Learning for Autonomous Navigation at Crowded Intersections

abstract: In recent years, great efforts have been devoted to deep imitation learning for autonomous driving control, where raw sensory inputs are directly mapped to control actions. However, navigating through densely populated intersections remains a challenging task due to uncertainty caused by uncertain traffic participants. We focus on autonomous navigation at crowded intersections that require interaction with pedestrians. A multi-task conditional imitation learning framework is proposed to adapt both lateral and longitudinal control tasks for safe and efficient interaction. A new benchmark called IntersectNav is developed and human demonstrations are provided. Empirical results show that the proposed method can achieve a success rate gain of up to 30% compared to the state-of-the-art.


title: ABO3 Perovskites' Formability Prediction and Crystal Structure Classification using Machine Learning

abstract: Renewable energy sources are of great interest to combat global warming, yet promising sources like photovoltaic (PV) cells are not efficient and cheap enough to act as an alternative to traditional energy sources. Perovskite has high potential as a PV material but engineering the right material for a specific application is often a lengthy process. In this paper, ABO3 type perovskites' formability is predicted and its crystal structure is classified using machine learning with high accuracy, which provides a fast screening process. Although the study was done with solar-cell application in mind, the prediction framework is generic enough to be used for other purposes. Formability of perovskite is predicted and its crystal structure is classified with an accuracy of 98.57% and 90.53% respectively using Random Forest after 5-fold cross-validation. Our machine learning model may aid in the accelerated development of a desired perovskite structure by providing a quick mechanism to get insight into the material's properties in advance.


title: Improving the performance of fermionic neural networks with the Slater exponential Ansatz

abstract: In this work, we propose a technique for the use of fermionic neural networks (FermiNets) with the Slater exponential Ansatz for electron-nuclear and electron-electron distances, which provides faster convergence of target ground-state energies due to a better description of the interparticle interaction in the vicinities of the coalescence points. Analysis of learning curves indicates on the possibility to obtain accurate energies with smaller batch sizes using arguments of the bagging approach. In order to obtain even more accurate results for the ground-state energies, we suggest an extrapolation scheme, which estimates Monte Carlo integrals in the limit of an infinite number of points. Numerical tests for a set of molecules demonstrate a good agreement with the results of original FermiNets (achieved with larger batch sizes than required by our approach) and with results of coupled-cluster singles and doubles with perturbative triples (CCSD(T)) method, calculated in the complete basis set (CBS) limit.


title: On solutions of the Diophantine equation $F_{n_{1}}+F_{n_{2}}+F_{n_{3}}+F_{n_{4}}=2^a$

abstract: Let $(F_n)_{n\geq 0}$ be the Fibonacci sequence given by $F_0 = 0, F_1 = 1$ and $F_{n+2} = F_{n+1}+F_n$ for $n \geq 0$. In this paper, we solve all powers of two which are sums of four Fibonacci numbers with a few exceptions that we characterize.


title: On the dynamic distinguishability of nodal quasi-particles in overdoped cuprates

abstract: La$_{1.67}$Sr$_{0.33}$CuO$_4$ is not a superconductor and its resistivity follows a purely T$^2$ temperature dependence at very low temperatures. La$_{1.71}$Sr$_{0.29}$CuO$_4$, on the other hand, has a superconducting ground state together with a T-Linear term in its resistivity. The concomitant emergence of these two features below a critical doping is mystifying. Here, I notice that the electron-electron collision rate in the Fermi liquid above the doping threshold is unusually large. The scattering time of nodal quasi-particles expressed in a dimensionless parameter $\zeta$ is very close to what has been found in liquid $^3$He at its melting pressure. In the latter case, fermionic particles become dynamically distinguishable by excess of interaction. Ceasing to be dynamically indistinguishable, nodal electrons will be excluded from the Fermi sea. Such non-degenerate carriers will then scatter the degenerate ones within a phase space growing linearly with temperature.


title: Effect of Contact Angle on Capillary Pressure and Liquid Recovery from Angular Pore Channels

abstract: We predict the volume of liquid recovered from different-shaped prismatic channels following gas displacement. This recovery factor depends strongly on the contact angle at which the gas-liquid interfaces meet the walls of the channel. We show that scaling the contact angle by a critical value, dependent on the channel shape, leads to a master curve for the recovery factor.} Our numerical simulations with the Surface Evolver are supported by theoretical calculations for the capillary entry pressure in a channel with a triangular or rectangular cross-section and for the interface shape in a "scalloped" triangular channel formed between three parallel cylinders.


title: Improved variational quantum eigensolver via quasi-dynamical evolution

abstract: The variational quantum eigensolver (VQE) is a hybrid quantum-classical algorithm designed for current and near-term quantum devices. Despite its initial success, there is a lack of understanding involving several of its key aspects. There are problems with VQE that forbid a favourable scaling towards quantum advantage. In order to alleviate the problems, we propose and extensively test a quantum annealing inspired heuristic that supplements VQE. The improved VQE enables an efficient initial state preparation mechanism, in a recursive manner, for a quasi-dynamical unitary evolution. We conduct an in-depth scaling analysis of finding the ground state energies with increasing lattice sizes of the Heisenberg model, employing simulations of up to $40$ qubits that manipulate the complete state vector. For the current devices, we further propose a benchmarking toolkit using a mean-field model and test it on IBM Q devices. The improved VQE avoids barren plateaus, exits local minima, and works with low-depth circuits. Realistic gate execution times estimate a longer computational time to complete the same computation on a fully functional error-free quantum computer than on a quantum computer emulator implemented on a classical computer. However, our proposal can be expected to help accurate estimations of the ground state energies beyond $50$ qubits when the complete state vector can no longer be stored on a classical computer, thus enabling quantum advantage.


title: On the bijective colouring of Cantor trees based on transducers

abstract: Given a vertex colouring of the infinite $n$-ary Cantor tree with $m$ colours ($n,m\geq 2$), the natural problem arises: may this colouring induce a bijective colouring of the infinite paths starting at the root, i.e., that every infinite $m$-coloured string is used for some of these paths but different paths are not coloured identically? In other words, we ask if the above vertex colouring may define a bijective short map between the corresponding Cantor spaces. We show that the answer is positive if and only if $n\geq m$, and provide an effective construction of the bijective colouring in terms of Mealy automata and functions defined by such automata. We also show that a finite Mealy automaton may define such a bijective colouring only in the trivial case, i.e. $m=n$.


title: Tensor methods inside mixed oracle for min-min problems

abstract: In this article we consider min-min type of problems or minimization by two groups of variables. Min-min problems may occur in case if some groups of variables in convex optimization have different dimensions or if these groups have different domains. Such problem structure gives us an ability to split the main task to subproblems, and allows to tackle it with mixed oracles. However existing articles on this topic cover only zeroth and first order oracles, in our work we consider high-order tensor methods to solve inner problem and fast gradient method to solve outer problem. We assume, that outer problem is constrained to some convex compact set, and for the inner problem we consider both unconstrained case and being constrained to some convex compact set. By definition, tensor methods use high-order derivatives, so the time per single iteration of the method depends a lot on the dimensionality of the problem it solves. Therefore, we suggest, that the dimension of the inner problem variable is not greater than 1000. Additionally, we need some specific assumptions to be able to use mixed oracles. Firstly, we assume, that the objective is convex in both groups of variables and its gradient by both variables is Lipschitz continuous. Secondly, we assume the inner problem is strongly convex and its gradient is Lipschitz continuous. Also, since we are going to use tensor methods for inner problem, we need it to be $p$-th order Lipschitz continuous ($p > 1$). Finally, we assume strong convexity of the outer problem to be able to use fast gradient method for strongly convex functions. We need to emphasize, that we use superfast tensor method to tackle inner subproblem in unconstrained case. And when we solve inner problem on compact set, we use accelerated high-order composite proximal method.


title: Evolution equations with eventually positive solutions

abstract: We discuss linear autonomous evolution equations on function spaces which have the property that a positive initial value leads to a solution which initially changes sign, but then becomes - and stays - positive again for sufficiently large times. This eventual positivity phenomenon has recently been discovered for various classes of differential equations, but so far a general theory to explain this type of behaviour exists only under additional spectral assumptions.


title: MCMARL: Parameterizing Value Function via Mixture of Categorical Distributions for Multi-Agent Reinforcement Learning

abstract: In cooperative multi-agent tasks, a team of agents jointly interact with an environment by taking actions, receiving a team reward and observing the next state. During the interactions, the uncertainty of environment and reward will inevitably induce stochasticity in the long-term returns and the randomness can be exacerbated with the increasing number of agents. However, such randomness is ignored by most of the existing value-based multi-agent reinforcement learning (MARL) methods, which only model the expectation of Q-value for both individual agents and the team. Compared to using the expectations of the long-term returns, it is preferable to directly model the stochasticity by estimating the returns through distributions. With this motivation, this work proposes a novel value-based MARL framework from a distributional perspective, \emph{i.e.}, parameterizing value function via \underline{M}ixture of \underline{C}ategorical distributions for MARL. Specifically, we model both individual Q-values and global Q-value with categorical distribution. To integrate categorical distributions, we define five basic operations on the distribution, which allow the generalization of expected value function factorization methods (\emph{e.g.}, VDN and QMIX) to their MCMARL variants. We further prove that our MCMARL framework satisfies \emph{Distributional-Individual-Global-Max} (DIGM) principle with respect to the expectation of distribution, which guarantees the consistency between joint and individual greedy action selections in the global Q-value and individual Q-values. Empirically, we evaluate MCMARL on both a stochastic matrix game and a challenging set of StarCraft II micromanagement tasks, showing the efficacy of our framework.


title: The Good Shepherd: An Oracle Agent for Mechanism Design

abstract: From social networks to traffic routing, artificial learning agents are playing a central role in modern institutions. We must therefore understand how to leverage these systems to foster outcomes and behaviors that align with our own values and aspirations. While multiagent learning has received considerable attention in recent years, artificial agents have been primarily evaluated when interacting with fixed, non-learning co-players. While this evaluation scheme has merit, it fails to capture the dynamics faced by institutions that must deal with adaptive and continually learning constituents. Here we address this limitation, and construct agents ("mechanisms") that perform well when evaluated over the learning trajectory of their adaptive co-players ("participants"). The algorithm we propose consists of two nested learning loops: an inner loop where participants learn to best respond to fixed mechanisms; and an outer loop where the mechanism agent updates its policy based on experience. We report the performance of our mechanism agents when paired with both artificial learning agents and humans as co-players. Our results show that our mechanisms are able to shepherd the participants strategies towards favorable outcomes, indicating a path for modern institutions to effectively and automatically influence the strategies and behaviors of their constituents.


title: Synthetic CT Skull Generation for Transcranial MR Imaging-Guided Focused Ultrasound Interventions with Conditional Adversarial Networks

abstract: Transcranial MRI-guided focused ultrasound (TcMRgFUS) is a therapeutic ultrasound method that focuses sound through the skull to a small region noninvasively under MRI guidance. It is clinically approved to thermally ablate regions of the thalamus and is being explored for other therapies, such as blood brain barrier opening and neuromodulation. To accurately target ultrasound through the skull, the transmitted waves must constructively interfere at the target region. However, heterogeneity of the sound speed, density, and ultrasound attenuation in different individuals' skulls requires patient-specific estimates of these parameters for optimal treatment planning. CT imaging is currently the gold standard for estimating acoustic properties of an individual skull during clinical procedures, but CT imaging exposes patients to radiation and increases the overall number of imaging procedures required for therapy. A method to estimate acoustic parameters in the skull without the need for CT would be desirable. Here, we synthesized CT images from routinely acquired T1-weighted MRI by using a 3D patch-based conditional generative adversarial network and evaluated the performance of synthesized CT images for treatment planning with transcranial focused ultrasound. We compared the performance of synthetic CT to real CT images using Kranion and k-Wave acoustic simulation. Our work demonstrates the feasibility of replacing real CT with the MR-synthesized CT for TcMRgFUS planning.


title: A new data augmentation method for intent classification enhancement and its application on spoken conversation datasets

abstract: Intent classifiers are vital to the successful operation of virtual agent systems. This is especially so in voice activated systems where the data can be noisy with many ambiguous directions for user intents. Before operation begins, these classifiers are generally lacking in real-world training data. Active learning is a common approach used to help label large amounts of collected user input. However, this approach requires many hours of manual labeling work. We present the Nearest Neighbors Scores Improvement (NNSI) algorithm for automatic data selection and labeling. The NNSI reduces the need for manual labeling by automatically selecting highly-ambiguous samples and labeling them with high accuracy. This is done by integrating the classifier's output from a semantically similar group of text samples. The labeled samples can then be added to the training set to improve the accuracy of the classifier. We demonstrated the use of NNSI on two large-scale, real-life voice conversation systems. Evaluation of our results showed that our method was able to select and label useful samples with high accuracy. Adding these new samples to the training data significantly improved the classifiers and reduced error rates by up to 10%.


title: Driven anti-Bragg subradiant states in waveguide quantum electrodynamics

abstract: We study theoretically driven quantum dynamics in periodic arrays of two-level qubits coupled to the waveguide. We demonstrate, that strongly subradiant eigenstates of the master equation for the density matrix emerge under strong coherent driving for arrays with the anti-Bragg periods $d=\lambda/4,3\lambda/4$... This happens even though are no such states at low driving powers. Thus, our findings show that in the quantum nonlinear regime the domain of existence of subradiant states expands beyond conventional subwavelength structures. These driven states are directly manifested in long-living quantum correlations between the qubit excitations.


title: S3T: Self-Supervised Pre-training with Swin Transformer for Music Classification

abstract: In this paper, we propose S3T, a self-supervised pre-training method with Swin Transformer for music classification, aiming to learn meaningful music representations from massive easily accessible unlabeled music data. S3T introduces a momentum-based paradigm, MoCo, with Swin Transformer as its feature extractor to music time-frequency domain. For better music representations learning, S3T contributes a music data augmentation pipeline and two specially designed pre-processors. To our knowledge, S3T is the first method combining the Swin Transformer with a self-supervised learning method for music classification. We evaluate S3T on music genre classification and music tagging tasks with linear classifiers trained on learned representations. Experimental results show that S3T outperforms the previous self-supervised method (CLMR) by 12.5 percents top-1 accuracy and 4.8 percents PR-AUC on two tasks respectively, and also surpasses the task-specific state-of-the-art supervised methods. Besides, S3T shows advances in label efficiency using only 10% labeled data exceeding CLMR on both tasks with 100% labeled data.


title: Vibronic Resonance Along Effective Modes Mediates Selective Energy Transfer in Excitonically Coupled Aggregates

abstract: We recently proposed effective normal modes for excitonically coupled aggregates which exactly transform the energy transfer Hamiltonian into a sum of one-dimensional Hamiltonians along the effective normal modes. Identifying physically meaningful vibrational motions which maximally promote vibronic mixing suggested an interesting possibility of leveraging vibrational-electronic resonance for mediating selective energy transfer. Here we expand on the effective mode approach elucidating its iterative nature for successively larger aggregates, and extend the idea of mediated energy transfer to larger aggregates. We show that energy transfer between electronically uncoupled but vibronically resonant donor-acceptor sites does not depend on the intermediate site energy or the number of intermediate sites. The intermediate sites simply mediate electronic coupling such that vibronic coupling along specific promoter modes leads to direct donor-acceptor energy transfer bypassing any intermediate uphill energy transfer steps. We show that interplay between the electronic Hamiltonian and the effective mode transformation partitions the linear vibronic coupling along specific promoter modes to dictate the selectivity of mediated energy transfer, with a vital role of interference between vibronic couplings and multi-particle basis states. Our results suggest a general design principle for enhancing energy transfer through synergistic effects of vibronic resonance and weak mediated electronic coupling, where both effects individually do not promote efficient energy transfer. The effective mode approach proposed here paves a facile route towards four-wavemixing spectroscopy simulations of larger aggregates without severely approximating resonant vibronic coupling.


title: Dynamic Relation Repairing for Knowledge Enhancement

abstract: Dynamic relation repair aims to efficiently validate and repair the instances for knowledge graph enhancement (KGE), where KGE captures missing relations from unstructured data and leads to noisy facts to the knowledge graph. With the prosperity of unstructured data, an online approach is asked to clean the new RDF tuples before adding them to the knowledge base. To clean the noisy RDF tuples, graph constraint processing is a common but intractable approach. Plus, when adding new tuples to the knowledge graph, new graph patterns would be created, whereas the explicit discovery of graph constraints is also intractable. Therefore, although the dynamic relation repair has an unfortunate hardness, it is a necessary approach for enhancing knowledge graphs effectively under the fast-growing unstructured data. Motivated by this, we establish a dynamic repairing and enhancing structure to analyze its hardness on basic operations. To ensure dynamic repair and validation, we introduce implicit graph constraints, approximate graph matching, and linkage prediction based on localized graph patterns. To validate and repair the RDF tuples efficiently, we further study the cold start problems for graph constraint processing. Experimental results on real datasets demonstrate that our proposed approach can capture and repair instances with wrong relation labels dynamically and effectively.


title: A Rule-based Operational Semantics of Graph Query Languages

abstract: We consider a core language of graph queries. These queries are seen as formulas to be solved with respect to graph-oriented databases. For this purpose, we first define a graph query algebra where some operations over graphs and sets of graph homomorphisms are specified. Then, the notion of pattern is introduced to represent a kind of recursively defined formula over graphs. The syntax and formal semantics of patterns are provided. Afterwards, we propose a new sound and complete calculus to solve patterns. This calculus, which is based on a rewriting system, develops only one derivation per pattern to be solved. Our calculus is generic in the sense that it can be adapted to different kinds of graph databases provided that the notions of graph and graph homomorphism (match) are well defined.


title: TUVOpipe: a pipeline to search for UV transients with Swift-UVOT

abstract: Despite the prevalence of transient-searching facilities operating across most wavelengths, the ultraviolet (UV) transient sky remains to be systematically studied. We have recently initiated the Transient Ultraviolet Objects (TUVO) project, with which we search for serendipitous UV transients in data from currently available UV instruments, with a focus on the UV/Optical (UVOT) telescope aboard the Neil Gehrels Swift Observatory (an overview of the TUVO project is described in a companion paper). Here we describe TUVOpipe, the pipeline we constructed in order to find such transients in the UVOT data, using difference image analysis. The pipeline is run daily on all new public UVOT data (which are available 6-8 hours after the observations are performed), so we discover transients in near real-time. This allows for follow-up observations to be performed. From October 1, 2020, to the time of submission, we have processed 75,183 individual UVOT images and we currently detect an average rate of ~100 transient candidates per day. Of these daily candidates, on average ~30 are real transients, separated by human vetting from the remaining `bogus' transients which were not discarded automatically within the pipeline. Most of the real transients we detect are known variable stars, though we also detect many known active galactic nuclei and accreting white dwarfs. TUVOpipe can additionally run in archival mode, whereby all archival UVOT data of a given field is scoured for `historical' transients; in this mode we also mostly find variable stars. However, some of the transients we find (in particular in the real-time mode) represent previously unreported new transients, or undiscovered outbursts of known transients, predominantly outbursts from cataclysmic variables. In this paper we describe the operation of (both modes of) TUVOpipe and some of the initial results we have so far obtained.


title: Inferring Network Structure with Unobservable Nodes from Time Series Data

abstract: Network structures play important roles in social, technological and biological systems. However, the observable nodes and connections in real cases are often incomplete or unavailable due to measurement errors, private protection issues, or other problems. Therefore, inferring the complete network structure is useful for understanding human interactions and complex dynamics. The existing studies have not fully solved the problem of inferring network structure with partial information about connections or nodes. In this paper, we tackle the problem by utilizing time-series data generated by network dynamics. We regard the network inference problem based on dynamical time series data as a problem of minimizing errors for predicting states of observable nodes and proposed a novel data-driven deep learning model called Gumbel-softmax Inference for Network (GIN) to solve the problem under incomplete information. The GIN framework includes three modules: a dynamics learner, a network generator, and an initial state generator to infer the unobservable parts of the network. We implement experiments on artificial and empirical social networks with discrete and continuous dynamics. The experiments show that our method can infer the unknown parts of the structure and the initial states of the observable nodes with up to 90\% accuracy. The accuracy declines linearly with the increase of the fractions of unobservable nodes. Our framework may have wide applications where the network structure is hard to obtain and the time series data is rich.


title: Information Revelation Through Signalling

abstract: This paper studies a Stackelberg game wherein a sender (leader) attempts to shape the information of a less informed receiver (follower) who in turn takes an action that determines the payoff for both players. The sender chooses signals to maximize its own utility function while the receiver aims to ascertain the value of a source that is privately known to the sender. It is well known that such sender-receiver games admit a vast number of equilibria and not all signals from the sender can be relied on as truthful. Our main contribution is an exact characterization of the minimum number of distinct source symbols that can be correctly recovered by a receiver in \textit{any} equilibrium of this game; we call this quantity the \textit{informativeness} of the sender. We show that the informativeness is given by the \textit{vertex clique cover number} of a certain graph induced by the utility function, whereby it can be computed based on the utility function alone without the need to enumerate all equilibria. We find that informativeness characterizes the existence of well-known classes of separating, pooling and semi-separating equilibria. We also compare informativeness with the amount of information obtained by the receiver when it is the leader and show that the informativeness is always greater than the latter, implying that the receiver is better off being a follower. Additionally, we also show that when the players play behavioral strategies, an equilibrium may not exist.


title: alpha_s in DIS scheme

abstract: Deep inelastic scattering data on $F_2$ structure function from various fixed-target experiments were analyzed in a nonsinglet approximation in the MSbar and DIS scheme. The study of high statistics deep inelastic scattering data provided by BCDMS, SLAC and NMC collaborations, was carried out using a combined analysis. The application of the DIS scheme leads to the resummation of contributions that are important for large x values. It is found that using the DIS scheme does not significantly change the strong coupling constant itself but does strongly change the values of the twist-four corrections.


title: Linear resolutions and quasi-linearity of monomial ideals

abstract: We introduce the concept of quasi-linearity and prove it is necessary for a monomial ideal to have a linear resolution and identify all the quasi-linear quadratic monomial ideals. We define a strongly linear monomial for a monomial ideal $I$ and prove that if $\mathbf{u}$ is a strongly linear monomial over $I$ then $I$ has a linear resolution (resp: is quasi-linear) if and only if $I+\mathbf{u}\mathfrak{p}$ has a linear resolution (resp: is quasi-linear). Here $\mathfrak{p}$ is any monomial prime ideal.


title: Two-snapshot DOA Estimation via Hankel-structured Matrix Completion

abstract: In this paper, we study the problem of estimating the direction of arrival (DOA) using a sparsely sampled uniform linear array (ULA). Based on an initial incomplete ULA measurement, our strategy is to choose a sparse subset of array elements for measuring the next snapshot. Then, we use a Hankel-structured matrix completion to interpolate for the missing ULA measurements. Finally, the source DOAs are estimated using a subspace method such as Prony on the fully recovered ULA. We theoretically provide a sufficient bound for the number of required samples (array elements) for perfect recovery. The numerical comparisons of the proposed method with existing techniques such as atomic-norm minimization and off-the-grid approaches confirm the superiority of the proposed method.


title: Mitigation of calibration ringing in the context of the MTG-S IRS Instrument

abstract: EUMETSAT is currently developing the on-ground processing chain of the infrared Fourier transform spectrometers (IRS) on-board of the Meteosat Third Generation sounding satellites (MTG-S). In this context, the authors have investigated the impact of a particular type of radiometric error, called hereafter the calibration ringing. It arises in Fourier transform spectrometers when the instrument Radiometric Transfer Function (RTF) varies within the domain of the instrument Spectral Response Function (SRF). The expected radiometric errors are simulated in the context of the MTG-S IRS instrument in the long wave infrared (LWIR) band. Making use of a principal components (PC) decomposition, a software correction, called RTF uniformisation, is designed and its performance is assessed in the context of MTG-S IRS.


title: Enhanced quantum tunneling in quantum Zeno dynamics freezing momentum direction

abstract: Quantum tunneling is a fundamental quantum mechanical effect involved in plenty of physical phenomena. Its control would impact these phenomena and the technologies based on them. We show that the quantum tunneling probability through a potential barrier can be increased to approach unity in a quantum Zeno dynamics undergone by the tunneling particle in which the direction of the momentum is frequently monitored. We first model the measurements of the momentum direction as selective von Neumann projections, and then as nonselective, direction-sensitive interactions of the particle with probe particles. Nonselective measurements are more efficient than selective measurements in enhancing the quantum tunneling probability.


title: Density-wave tendency from a topological nodal-line perspective

abstract: The understanding of density waves is a vital component of our insight into electronic quantum matters. Here, we propose an additional mosaic to the existing mechanisms such as Fermi-surface nesting, electron-phonon coupling, and exciton condensation. In particular, we find that certain 2D spin density-wave systems are equivalent to 3D Dirac nodal-line systems in the presence of a magnetic field, whose electronic structure takes the form of Dirac-fermion Landau levels and allows a straightforward analysis of its optimal filling. The subsequent minimum-energy wave vector varies over a continuous range and shows no direct connection to the original Fermi surfaces in 2D. Also, we carry out numerical calculations where the results on model examples support our theory. Our study points out that we have yet to attain a complete understanding of the emergent density wave formalism.


title: A Less Uncertain Sampling-Based Method of Batch Bayesian Optimization

abstract: This paper presents a method called sampling-computation-optimization (SCO) to design batch Bayesian optimization. SCO does not construct new high-dimensional acquisition functions but samples from the existing one-site acquisition function to obtain several candidate samples. To reduce the uncertainty of the sampling, the general discrepancy is computed to compare these samples. Finally, the genetic algorithm and switch algorithm are used to optimize the design. Several strategies are used to reduce the computational burden in the SCO. From the numerical results, the SCO designs were less uncertain than those of other sampling-based methods. As for application in batch Bayesian optimization, SCO can find a better solution when compared with other batch methods in the same dimension and batch size. In addition, it is also flexible and can be adapted to different one-site methods. Finally, a complex experimental case is given to illustrate the application value and scenario of SCO method.


title: Inferring Lexicographically-Ordered Rewards from Preferences

abstract: Modeling the preferences of agents over a set of alternatives is a principal concern in many areas. The dominant approach has been to find a single reward/utility function with the property that alternatives yielding higher rewards are preferred over alternatives yielding lower rewards. However, in many settings, preferences are based on multiple, often competing, objectives; a single reward function is not adequate to represent such preferences. This paper proposes a method for inferring multi-objective reward-based representations of an agent's observed preferences. We model the agent's priorities over different objectives as entering lexicographically, so that objectives with lower priorities matter only when the agent is indifferent with respect to objectives with higher priorities. We offer two example applications in healthcare, one inspired by cancer treatment, the other inspired by organ transplantation, to illustrate how the lexicographically-ordered rewards we learn can provide a better understanding of a decision-maker's preferences and help improve policies when used in reinforcement learning.


title: Heat transport and cooling performance in a nanomechanical system with local and non local interactions

abstract: In the present work, we study heat transport through a one dimensional time-dependent nanomechanical system. The microscopic model consists of coupled chains of atoms, considering local and non-local interactions between particles. We show that the system presents different stationary transport regimes depending on the driving frequency, temperature gradients and the degree of locality of the interactions. In one of these regimes, the system operates as a phonon refrigerator, and its cooling performance is analyzed. Based on a low frequency approach, we show that non-locality and its interplay with dissipation cause a decrease in cooling capacity. The results are obtained numerically by means of the Keldysh non-equilibrium Green's function formalism.


title: The maximum number of $K_{r_1,\ldots,r_s}$ in graphs with a given circumference or matching number

abstract: Let $K_{r_1,\ldots,r_s}$ denote the complete multipartite graph with class sizes $r_1,\ldots,r_s$ and let $K_s$ denote the complete graph of order $s$. In 2018, Luo determined the maximum number of $K_s$ in 2-connected graphs with a given circumference. Recently, Lu, Yuan and Zhang determined the maximum number of $K_{r_1,r_2}$ in 2-connected graphs with a given circumference, and Wang determined the maximum number of $K_s$ or $K_{r_1,1,\ldots,1}$ in graphs with given matching number. Motivated by these works, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in $2$-connected graphs with given circumference and large minimum degree. The maximum number of $K_{r_1,\ldots,r_s}$ in graphs with given matching number and large minimum degree is also given. Consequently, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in graphs with a given circumference or matching number. We also solve the corresponding problems for graphs with a given detour order.


title: 1-WL Expressiveness Is (Almost) All You Need

abstract: It has been shown that a message passing neural networks (MPNNs), a popular family of neural networks for graph-structured data, are at most as expressive as the first-order Weisfeiler-Leman (1-WL) graph isomorphism test, which has motivated the development of more expressive architectures. In this work, we analyze if the limited expressiveness is actually a limiting factor for MPNNs and other WL-based models in standard graph datasets. Interestingly, we find that the expressiveness of WL is sufficient to identify almost all graphs in most datasets. Moreover, we find that the classification accuracy upper bounds are often close to 100\%. Furthermore, we find that simple WL-based neural networks and several MPNNs can be fitted to several datasets. In sum, we conclude that the performance of WL/MPNNs is not limited by their expressiveness in practice.


title: Conformal models for hypercolumns and the visual V1 cortex

abstract: This paper consists of two parts strictly related one to the other. The first is a survey of important facts and leading problems concerning the applications of differential geometry in studies on the functional architecture of the visual system. The second part presents a model for the hypercolumns, which originates from the symplectic model of the primary visual cortex by A. Sarti, G. Citti and J. Petitot, the spherical model of hypercolumns by P. Bressloff and J. Cowan and basic results of the conformal geometry of sphere. The first part is designed for a mathematically oriented audience and provides motivations for the model in the second part.


title: Global well-posedness for three-dimensional compressible viscous micropolar and heat-conducting fluids with vacuum at infinity and large oscillations

abstract: We investigate global well-posedness to the Cauchy problem of three-dimensional compressible viscous and heat-conducting micropolar fluid equations with zero density at infinity. By delicate energy estimates, we establish global existence and uniqueness of strong solutions under some smallness condition depending only on the parameters appeared in the system and the initial mass. In particular, the initial mass can be arbitrarily large. This improves our previous work [23]. Moreover, we also generalize the result [13] to the case that vacuum is allowed at infinity.


title: Various Activities above Sunspot Light Bridges in IRIS Observations: Classification and Comparison

abstract: Light bridges (LBs) are among the most striking sub-structures in sunspots, where various activities have been revealed by recent high-resolution observations from the Interface Region Imaging Spectrograph (IRIS). According to the variety of physical properties, we classified these activities into four distinct categories: transient brightening (TB), intermittent jet (IJ), type-I light wall (LW-I), and type-II light wall (LW-II). In IRIS 1400/1330 {\AA} observations, TBs are characterized by abrupt emission enhancements, and IJs appear as collimated plasma ejections with a width of 1-2 Mm at some LB sites. Most observed TBs are associated with IJs and show superpositions of some chromosphere absorption lines on enhanced and broadened wings of C II and Si IV lines, which could be driven by intermittent magnetic reconnection in the lower atmosphere. LW-I and LW-II are wall-shaped structures with bright fronts above the whole LB. An LW-I has a continuous oscillating front with a typical height of several Mm and an almost stationary period of 4-5 minutes. On the contrary, an LW-II has a indented front with a height of over 10 Mm, which has no stable period and is accompanied by recurrent TBs in the entire LB. These results support that LW-IIs are driven by frequent reconnection occurring along the whole LB due to large-scale magnetic flux emergence or intrusion, rather than the leakage of waves producing LW-Is. Our observations reveal a highly dynamical scenario of activities above LBs driven by different basic physical processes, including magneto-convection, magnetic reconnection, and wave leakage.


title: Lorentz-covariant kinetic theory for massive spin-1/2 particles

abstract: We construct a matrix-valued spin-dependent distribution function (MVSD) for massive spin-1/2 fermions and study its properties under Lorentz transformations. Such transformations result in a Wigner rotation in spin space and in a nontrivial matrix-valued shift in space-time, which corresponds to the side jump in the massless case. We express the vector and axial-vector components of the Wigner function in terms of the MVSD and show that they transform in a Lorentz-covariant manner. We then construct a manifestly Lorentz-covariant Boltzmann equation which contains a nonlocal collision term encoding spin-orbit coupling. Finally, we obtain the spin-dependent distribution function in local equilibrium by demanding detailed balance.


title: Tuning of passivity-based controllers for mechanical systems

abstract: This manuscript describes several approaches to tune the parameters of a class of passivity-based controllers for standard nonlinear mechanical systems. In particular, we are interested in controllers that preserve the mechanical system structure in closed-loop. To this end, first, we provide tuning rules for stabilization, i.e., the rate of convergence (exponential stability) and stability margin (input-to-state stability). Then, we provide guidelines to remove the overshoot while prescribing the rise time. Additionally, we propose a methodology to tune the gyroscopic-related parameters. We also provide remarks on the damping phenomena to facilitate the practical implementation of our approaches. We conclude this paper with experimental results obtained from applying our tuning rules to an underactuated and a fully-actuated mechanical configuration.


title: Poisson-Birnbaum-Saunders Regression Model for Clustered Count Data

abstract: The premise of independence among subjects in the same cluster/group often fails in practice, and models that rely on such untenable assumption can produce misleading results. To overcome this severe deficiency, we introduce a new regression model to handle overdispersed and correlated clustered counts. To account for correlation within clusters, we propose a Poisson regression model where the observations within the same cluster are driven by the same latent random effect that follows the Birnbaum-Saunders distribution with a parameter that controls the strength of dependence among the individuals. This novel multivariate count model is called Clustered Poisson Birnbaum-Saunders (CPBS) regression. As illustrated in this paper, the CPBS model is analytically tractable, and its moment structure can be explicitly obtained. Estimation of parameters is performed through the maximum likelihood method, and an Expectation-Maximization (EM) algorithm is also developed. Simulation results to evaluate the finite-sample performance of our proposed estimators are presented. We also discuss diagnostic tools for checking model adequacy. An empirical application concerning the number of inpatient admissions by individuals to hospital emergency rooms, from the Medical Expenditure Panel Survey (MEPS) conducted by the United States Agency for Health Research and Quality, illustrates the usefulness of our proposed methodology.


title: DeepShovel: An Online Collaborative Platform for Data Extraction in Geoscience Literature with AI Assistance

abstract: Geoscientists, as well as researchers in many fields, need to read a huge amount of literature to locate, extract, and aggregate relevant results and data to enable future research or to build a scientific database, but there is no existing system to support this use case well. In this paper, based on the findings of a formative study about how geoscientists collaboratively annotate literature and extract and aggregate data, we proposed DeepShovel, a publicly-available AI-assisted data extraction system to support their needs. DeepShovel leverages the state-of-the-art neural network models to support researcher(s) easily and accurately annotate papers (in the PDF format) and extract data from tables, figures, maps, etc. in a human-AI collaboration manner. A follow-up user evaluation with 14 researchers suggested DeepShovel improved users' efficiency of data extraction for building scientific databases, and encouraged teams to form a larger scale but more tightly-coupled collaboration.


title: Distributed Strategies for Dynamic Coverage with Limited Sensing Capabilities

abstract: In this work, it is presented the development of a novel distributed algorithm performing robotic coverage, clustering and dispatch around an event in static-obstacle structured environments without relying on metric information. Specifically, the aim is to account for the trade-off between local communication given by bearing visibility sensors installed on each agent involved, optimal deployment in closed unknown scenarios and focus of a group of agents on one point of interest. The particular targets of this study can be summarized as 1. the computation, under certain topological assumptions, of a lower bound for the number of required agents, which are provided by a realistic geometric model (e.g. a round shape) to emphasize physical limitations; 2. the minimization of the number of nodes and links maintaining a distributed approach over a connected communication graph; 3. the identification of an activation cluster around an event with a radial decreasing intensity, sensed by each agent; 4. the attempt to send the agents belonging to the cluster towards the most intense point in the scenario by minimizing a weighted isoperimetric functional.


title: Weyl covariance, second clock effect and proper time in theories of symmetric teleparallel gravity

abstract: Just after Weyl's paper (Weyl in Gravitation und Elektrizit\"at, Sitzungsber. Preuss. Akad., Berlin, 1918) Einstein claimed that a gravity model written in a spacetime geometry with non-metricity suffers from a phenomenon, the so-called second clock effect. We give a new prescription of parallel transport of a vector tangent to a curve which is invariant under both of local general coordinate and Weyl transformations in order to remove that effect. Thus since the length of tangent vector does not change during parallel transport along a closed curve in spacetimes with non-metricity, a second clock effect does not appear in general, not only for the integrable Weyl spacetime. We have specially motivated the problem from the point of view of symmetric teleparallel (or Minkowski-Weyl) geometry. We also conclude that if nature respects Lorentz symmetry and Weyl symmetry, then the simplest geometry in which one can develop consistently alternative gravity models is the symmetric teleparallel geometry; $Q_{\mu\nu}\neq 0, \; T^\mu=0, \; R^\mu{}_\nu=0$. Accordingly we discuss the proper time, the orbit equation of a spinless test body and the Lagrangian for symmetric teleparallel gravity.


title: Diffusion Causal Models for Counterfactual Estimation

abstract: We consider the task of counterfactual estimation from observational imaging data given a known causal structure. In particular, quantifying the causal effect of interventions for high-dimensional data with neural networks remains an open challenge. Herein we propose Diff-SCM, a deep structural causal model that builds on recent advances of generative energy-based models. In our setting, inference is performed by iteratively sampling gradients of the marginal and conditional distributions entailed by the causal model. Counterfactual estimation is achieved by firstly inferring latent variables with deterministic forward diffusion, then intervening on a reverse diffusion process using the gradients of an anti-causal predictor w.r.t the input. Furthermore, we propose a metric for evaluating the generated counterfactuals. We find that Diff-SCM produces more realistic and minimal counterfactuals than baselines on MNIST data and can also be applied to ImageNet data. Code is available https://github.com/vios-s/Diff-SCM.


title: On another characterization of Askey-Wilson polynomials

abstract: In this paper we show that the only sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ satisfying \begin{align*} \phi(x)\mathcal{D}_q P_{n}(x)=a_n\mathcal{S}_q P_{n+1}(x) +b_n\mathcal{S}_q P_n(x) +c_n\mathcal{S}_q P_{n-1}(x), \end{align*} ($c_n\neq 0$) where $\phi$ is a well chosen polynomial of degree at most two, $\mathcal{D}_q$ is the Askey-Wilson operator and $\mathcal{S}_q$ the averaging operator, are the multiple of Askey-Wilson polynomials, or specific or limiting cases of them.


title: Using analog scrambling circuits for automotive sensor integrity and authenticity

abstract: The automotive domain rapidly increases the embedded amount of complex and interconnected electronics systems. A considerable proportion of them are real-time safety-critical devices and must be protected against cybersecurity attacks. Recent regulations impose carmakers to protect vehicles against replacing trusted electronic hardware and manipulating the information collected by sensors. Analog sensors are critical elements whose security is now strictly regulated by the new UN R155 recommendation but lacks well-developed and established solutions. This work takes a step forward in this direction, adding integrity and authentication to automotive analog sensors proposing a schema to create analog signatures based on a scrambling mechanism implemented with commercial-of-the-shelf (COTS) operational amplifiers. The proposed architecture implements a hardware secret and a hard-to-invert exponential function to generate a signal's signature. A prototype of the circuit was implemented and simulated on LTspice. Preliminary results show the feasibility of the proposed schema and provide interesting hints for further developments to increase the robustness of the approach.


title: Machine Learning Operations: A Survey on MLOps Tool Support

abstract: Machine Learning (ML) has become a fast-growing, trending approach in solution development in practice. Deep Learning (DL) which is a subset of ML, learns using deep neural networks to simulate the human brain. It trains machines to learn techniques and processes individually using computer algorithms, which is also considered to be a role of Artificial Intelligence (AI). In this paper, we study current technical issues related to software development and delivery in organizations that work on ML projects. Therefore, the importance of the Machine Learning Operations (MLOps) concept, which can deliver appropriate solutions for such concerns, is discussed. We investigate commercially available MLOps tool support in software development. The comparison between MLOps tools analyzes the performance of each system and its use cases. Moreover, we examine the features and usability of MLOps tools to identify the most appropriate tool support for given scenarios. Finally, we recognize that there is a shortage in the availability of a fully functional MLOps platform on which processes can be automated by reducing human intervention.


title: Entropy of Generating Series for Nonlinear Input-Output Systems and Their Interconnections

abstract: This paper has two main objectives. The first is to introduce a notion of entropy that is well suited for the analysis of nonlinear input-output systems that have a Chen-Fliess series representation. The latter is defined in terms of its generating series over a noncommutative alphabet. The idea is to assign an entropy to a generating series as an element of a graded vector space. The second objective is to describe the entropy of generating series originating from interconnected systems of Chen-Fliess series that arise in the context of control theory. It is shown that one set of interconnections can never increase entropy as defined here, while a second set has the potential to do so. The paper concludes with a brief introduction to an entropy ultrametric space and some open questions.


title: Attractors with Non-Invariant Interior and Pinheiro's Theorem A

abstract: This is a provisional version of an article, intended to be devoted to properties of attractor's intertior for smooth maps (not diffeomorphisms). We were originally motivated for this research by Pinhero's Theorem A from his recent preprint, and in Section 3 we give a simple and straightforward proof of this result.


title: In search of Einstein's brain

abstract: The author reflects on the significance of Einstein's brain and the search for what makes it distinct.


title: On-chip generation and dynamic piezo-optomechanical rotation of single photons

abstract: Integrated photonic circuits are key components for photonic quantum technologies and for the implementation of chip-based quantum devices. Future applications demand flexible architectures to overcome common limitations of many current devices, for instance the lack of tuneabilty or built-in quantum light sources. Here, we report on a dynamically reconfigurable integrated photonic circuit comprising integrated quantum dots (QDs), a Mach-Zehnder interferometer (MZI) and surface acoustic wave (SAW) transducers directly fabricated on a monolithic semiconductor platform. We demonstrate on-chip single photon generation by the QD and its sub-nanosecond dynamic on-chip control. Two independently applied SAWs piezo-optomechanically rotate the single photon in the MZI or spectrally modulate the QD emission wavelength. In the MZI, SAWs imprint a time-dependent optical phase and modulate the qubit rotation to the output superposition state. This enables dynamic single photon routing with frequencies exceeding one gigahertz. Finally, the combination of the dynamic single photon control and spectral tuning of the QD realizes wavelength multiplexing of the input photon state and demultiplexing it at the output. Our approach is scalable to multi-component integrated quantum photonic circuits and is compatible with hybrid photonic architectures and other key components for instance photonic resonators or on-chip detectors.

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


title: A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes

abstract: This paper investigates the design of self-triggered control for networked control systems (NCS), where the dynamics of the plant is unknown apriori. To deal with the nature of the self-triggered control, in which state measurements are transmitted to the controller a-periodically, we propose to lift the continuous-time dynamics to a novel dynamical model by taking an inter-event time as an additional input, and then, the lifted model is learned by the Gaussian processes (GP) regression. Moreover, we propose a learning-based approach, in which a self-triggered controller is learned by minimizing a cost function, such that it can take inter-sample behavior into account. By employing the lifting approach, we can utilize a gradient-based policy update as an efficient method to optimize both control and communication policies. Finally, we summarize the overall algorithm and provide a numerical simulation to illustrate the effectiveness of the proposed approach.


title: Critical points with prescribed energy for a class of functionals depending on a parameter: existence, multiplicity and bifurcation results

abstract: We look for critical points with prescribed energy for the family of even functionals $\Phi_\mu=I_1-\mu I_2$, where $I_1,I_2$ are $C^1$ functionals on a Banach space $X$, and $\mu \in \mathbb{R}$. For several classes of $\Phi_\mu$ we prove the existence of infinitely many couples $(\mu_{n,c}, u_{n,c})$ such that $$\Phi'_{\mu_{n,c}}(\pm u_{n,c}) = 0 \quad \mbox{and} \quad \Phi_{\mu_{n,c}}( \pm u_{n,c}) = c \quad \forall n \in \mathbb{N}.$$ More generally, we analyze the structure of the solution set of the problem $$\Phi_\mu'(u)=0, \quad \Phi_{\mu}(u)=c$$ with respect to $\mu$ and $c$. In particular, we show that the maps $c \mapsto \mu_{n,c}$ are continuous, which gives rise to a family of {\it energy curves} for this problem. The analysis of these curves provide us with several bifurcation and multiplicity type results, which are then applied to some elliptic problems. Our approach is based on the {\it nonlinear generalized Rayleigh quotient} method developed in \cite{I1}.


title: Twisted chiral superconductivity in photodoped frustrated Mott insulators

abstract: Recent advances in ultrafast pump-probe spectroscopy provide access to hidden phases of correlated matter, including light-induced superconducting states, but the theoretical understanding of these nonequilibrium phases remains limited. Here we report how a new type of chiral superconducting phase can be stabilized in photodoped frustrated Mott insulators. The metastable phase features a spatially varying order parameter with a $120^\circ$ phase twist which breaks both time-reversal and inversion symmetry. Under an external electric pulse, the $120^\circ$ chiral superconducting state can exhibit a second-order supercurrent perpendicular to the field in addition to a first-order parallel response, similar to a nonlinear anomalous Hall effect. This phase can be tuned by artificial gauge fields when the system is dressed by high-frequency periodic driving. The mechanism revealed in this study applies to Mott insulators on various frustrated lattices and the hidden superconducting phase can be realized in both cold-atom quantum simulators and correlated solids.


title: Cell nuclei classification in histopathological images using hybrid OLConvNet

abstract: Computer-aided histopathological image analysis for cancer detection is a major research challenge in the medical domain. Automatic detection and classification of nuclei for cancer diagnosis impose a lot of challenges in developing state of the art algorithms due to the heterogeneity of cell nuclei and data set variability. Recently, a multitude of classification algorithms has used complex deep learning models for their dataset. However, most of these methods are rigid and their architectural arrangement suffers from inflexibility and non-interpretability. In this research article, we have proposed a hybrid and flexible deep learning architecture OLConvNet that integrates the interpretability of traditional object-level features and generalization of deep learning features by using a shallower Convolutional Neural Network (CNN) named as $CNN_{3L}$. $CNN_{3L}$ reduces the training time by training fewer parameters and hence eliminating space constraints imposed by deeper algorithms. We used F1-score and multiclass Area Under the Curve (AUC) performance parameters to compare the results. To further strengthen the viability of our architectural approach, we tested our proposed methodology with state of the art deep learning architectures AlexNet, VGG16, VGG19, ResNet50, InceptionV3, and DenseNet121 as backbone networks. After a comprehensive analysis of classification results from all four architectures, we observed that our proposed model works well and perform better than contemporary complex algorithms.


title: Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control

abstract: Analyzing Event-Triggered Control's (ETC) sampling behaviour is of paramount importance, as it enables formal assessment of its sampling performance and prediction of its sampling patterns. In this work, we formally analyze the sampling behaviour of stochastic linear periodic ETC (PETC) systems by computing bounds on associated metrics. Specifically, we consider functions over sequences of state measurements and intersampling times that can be expressed as average, multiplicative or cumulative rewards, and introduce their expectations as metrics on PETC's sampling behaviour. We compute bounds on these expectations, by constructing appropriate Interval Markov Chains equipped with suitable reward structures, that abstract stochastic PETC's sampling behaviour. Our results are illustrated on a numerical example, for which we compute bounds on the expected average intersampling time and on the probability of triggering with the maximum possible intersampling time in a finite horizon.


title: Dynamical friction in globular cluster-rich ultra-diffuse galaxies: the case of NGC5846-UDG1

abstract: Ultra-diffuse galaxies that contain a large sample of globular clusters (GCs) offer an opportunity to test the predictions of galactic dynamics theory. NGC5846-UDG1 is an excellent example, with a high-quality sample of dozens of GC candidates. We show that the observed distribution of GCs in NGC5846-UDG1 is suggestive of mass segregation induced by gravitational dynamical friction. We present simple analytic calculations, backed by a series of numerical simulations, that naturally explain the observed present-day pattern of GC masses and radial positions. Subject to some assumptions on the GC population at birth, the analysis supports the possibility that NGC5846-UDG1 resides in a massive dark matter halo. This is an example for the use of GC-rich systems as dynamical (in addition to kinematical) tracers of dark matter.


title: Defining long words succinctly in FO and MSO

abstract: We consider the length of the longest word definable in FO and MSO via a formula of size n. For both logics we obtain as an upper bound for this number an exponential tower of height linear in n. We prove this by counting types with respect to a fixed quantifier rank. As lower bounds we obtain for both FO and MSO an exponential tower of height in the order of a rational power of n. We show these lower bounds by giving concrete formulas defining word representations of levels of the cumulative hierarchy of sets. In addition, we consider the L\"owenheim-Skolem and Hanf numbers of these logics on words and obtain similar bounds for these as well.


title: MILP-based optimal day-ahead scheduling for system-centric CEMS supporting different types of homes and energy trading

abstract: Optimal day-ahead scheduling for a system-centric community energy management system (CEMS) is proposed to provide economic benefits and user comfort of energy management at the community level. Our proposed community includes different types of homes and allows prosumers to trade energy locally using mid-market rate pricing. A mathematical model of the community is constructed and the optimization problem of this model is transformed into an MILP problem that can be solved in a short time. By solving this MILP problem, the optimization of the overall energy cost of the community and satisfaction of the thermal comfort at every home are achieved. For comparison, we also establish two different scenarios for the same community: a prosumer-centric CEMS and no CEMS. The simulation results demonstrate that the overall energy cost of the community with the system-centric CEMS is the smallest among the three scenarios and is only half that of the community with the prosumer-centric CEMS. Moreover, by using linear transformation, the computational time of the optimization problem of the proposed system-centric CEMS is only 118.2 s for a 500-home community, which is a short time for day-ahead scheduling of a community.


title: Validation and atmospheric exploration of the sub-Neptune TOI-2136b around a nearby M3 dwarf

abstract: The NASA space telescope $TESS$ is currently in the extended mission of its all-sky search for new transiting planets. Of the thousands of candidates that TESS is expected to deliver, transiting planets orbiting nearby M dwarfs are particularly interesting targets since they provide a great opportunity to characterize their atmospheres by transmission spectroscopy. We aim to validate and characterize the new sub-Neptune-sized planet candidate TOI-2136.01 orbiting a nearby M dwarf ($d = 33.36 \pm 0.02$ pc, $T_{eff} = 3373 \pm 108$ K) with an orbital period of 7.852 days. We use TESS data, ground-based multicolor photometry, and radial velocity measurements with the InfraRed Doppler (IRD) instrument on the Subaru Telescope to validate the planetary nature of TOI-2136.01 and estimate the stellar and planetary parameters. We also conduct high-resolution transmission spectroscopy to search for helium in its atmosphere. We confirmed that TOI-2136.01 (now named as TOI-2136b) is a bona fide planet with a planetary radius of $R_p = 2.2 \pm 0.07$ $R_{Earth}$ and a mass of $M_p = 4.7^{+3.1}_{-2.6}$ $M_{Earth}$. We also search for helium 10830 \r{A} absorption lines and place an upper limit on the equivalent width of $<$ 7.8 m\r{A} and on the absorption signal of $<$ 1.44 % with 95 % confidence. TOI-2136b is a sub-Neptune transiting a nearby and bright star (J=10.8) and is a potentially hycean planet, which is a new class of habitable planets with large oceans under a H$_2$-rich atmosphere, making it an excellent target for atmospheric studies to understand the formation, evolution, and habitability of the small planets.