title: A short note on turbulence characteristics in wind-turbine wakes

abstract: Analytical wake models need formulations to mimic the impact of wind turbines on turbulence level in the wake region. Several correlations can be found in the literature for this purpose, one of which is the formula proposed in A. Crespo, J. Hernandez, Turbulence characteristics in wind-turbine wakes, Journal of Wind Engineering and Industrial Aerodynamics 61 (1) (1996) 71 - 85, which relates the added turbulence to the induction factor of the turbine, ambient turbulence intensity, and normalized distance from the rotor through an equation with one coefficient and three exponents for the effective parameters. Misuse of this formula with an incorrect exponent for the ambient turbulence intensity is propagating in the literature. In this note, we implement the original and the incorrect formulation of turbine-induced added turbulence in a Gaussian wake model to quantify its impact by studying the Horns Rev 1 wind farm. The results reveal that the turbulence intensity and the normalized power of the waked turbines predicted by the wake model with the correct and the incorrect implementation of turbine-induced added turbulence correlation have a difference equal to 1.94% and 3.53%, respectively, for an ambient turbulence intensity of 7.7%. For an ambient turbulence intensity of 4%, these discrepancies grow to 2.7% and 4.95%.


title: Envy-freeness and maximum Nash welfare for mixed divisible and indivisible goods

abstract: We study fair allocation of resources consisting of both divisible and indivisible goods to agents with additive valuations. When only divisible or indivisible goods exist, it is known that an allocation that achieves the maximum Nash welfare (MNW) satisfies the classic fairness notions based on envy. In addition, properties of the MNW allocations for binary valuations are known. In this paper, we show that when all agents' valuations are binary and linear for each good, an MNW allocation for mixed goods satisfies the envy-freeness up to any good for mixed goods. This notion is stronger than an existing one called envy-freeness for mixed goods (EFM), and our result generalizes the existing results for the case when only divisible or indivisible goods exist. Moreover, our result holds for a general fairness notion based on minimizing a symmetric strictly convex function. For the general additive valuations, we also provide a formal proof that an MNW allocation satisfies a weaker notion than EFM.


title: Adaptive Control of IoT/M2M Devices in Smart Buildings using Heterogeneous Wireless Networks

abstract: With the rapid development of wireless communication technology, the Internet of Things (IoT) and Machine-to-Machine (M2M) are becoming essential for many applications. One of the most emblematic IoT/M2M applications is smart buildings. The current Building Automation Systems (BAS) are limited by many factors, including the lack of integration of IoT and M2M technologies, unfriendly user interfacing, and the lack of a convergent solution. Therefore, this paper proposes a better approach of using heterogeneous wireless networks consisting of Wireless Sensor Networks (WSNs) and Mobile Cellular Networks (MCNs) for IoT/M2M smart building systems. One of the most significant outcomes of this research is to provide accurate readings to the server, and very low latency, through which users can easily control and monitor remotely the proposed system that consists of several innovative services, namely smart parking, garden irrigation automation, intrusion alarm, smart door, fire and gas detection, smart lighting, smart medication reminder, and indoor air quality monitoring. All these services are designed and implemented to control and monitor from afar the building via our free mobile application named Raniso which is a local server that allows remote control of the building. This IoT/M2M smart building system is customizable to meet the needs of users, improving safety and quality of life while reducing energy consumption. Additionally, it helps prevent the loss of resources and human lives by detecting and managing risks.


title: Tailoring Language Generation Models under Total Variation Distance

abstract: The standard paradigm of neural language generation adopts maximum likelihood estimation (MLE) as the optimizing method. From a distributional view, MLE in fact minimizes the Kullback-Leibler divergence (KLD) between the distribution of the real data and that of the model. However, this approach forces the model to distribute non-zero (sometimes large) probability mass to all training samples regardless of their quality. Moreover, in the attempt to cover the low-probability regions in the data distribution, the model systematically overestimates the probability of corrupted text sequences, which we conjecture is one of the main reasons for text degeneration during autoregressive decoding. To remedy this problem, we leverage the total variation distance (TVD) with its robustness to outliers, and develop practical bounds to apply it to language generation. Then, we introduce the TaiLr objective that balances the tradeoff of estimating TVD. Intuitively, TaiLr downweights real data samples that have low model probabilities with tunable penalization intensity. Experimental results show that our method alleviates the overestimation of degenerated sequences without sacrificing diversity and improves generation quality on a wide range of text generation tasks.


title: Analysis of Deep Image Quality Models

abstract: Subjective image quality measures based on deep neural networks are very related to models of visual neuroscience. This connection benefits engineering but, more interestingly, the freedom to optimize deep networks in different ways, make them an excellent tool to explore the principles behind visual perception (both human and artificial). Recently, a myriad of networks have been successfully optimized for many interesting visual tasks. Although these nets were not specifically designed to predict image quality or other psychophysics, they have shown surprising human-like behavior. The reasons for this remain unclear. In this work, we perform a thorough analysis of the perceptual properties of pre-trained nets (particularly their ability to predict image quality) by isolating different factors: the goal (the function), the data (learning environment), the architecture, and the readout: selected layer(s), fine-tuning of channel relevance, and use of statistical descriptors as opposed to plain readout of responses. Several conclusions can be drawn. All the models correlate better with human opinion than SSIM. More importantly, some of the nets are in pair of state-of-the-art with no extra refinement or perceptual information. Nets trained for supervised tasks such as classification correlate substantially better with humans than LPIPS (a net specifically tuned for image quality). Interestingly, self-supervised tasks such as jigsaw also perform better than LPIPS. Simpler architectures are better than very deep nets. In simpler nets, correlation with humans increases with depth as if deeper layers were closer to human judgement. This is not true in very deep nets. Consistently with reports on illusions and contrast sensitivity, small changes in the image environment does not make a big difference. Finally, the explored statistical descriptors and concatenations had no major impact.


title: Embodied Self-Supervised Learning (EMSSL) with Sampling and Training Coordination for Robot Arm Inverse Kinematics Model Learning

abstract: Forward and inverse kinematics models are fundamental to robot arms, serving as the basis for the robot arm's operational tasks. However, in model learning of robot arms, especially in the presence of redundant degrees of freedom, inverse model learning is more challenging than forward model learning due to the non-convex problem caused by multiple solutions. In this paper, we propose a framework for autonomous learning of the robot arm inverse model based on embodied self-supervised learning (EMSSL) with sampling and training coordination. We investigate batch inference and parallel computation strategies for data sampling in order to accelerate model learning and propose two approaches for fast adaptation of the robot arm model. A series of experiments demonstrate the effectiveness of the method we proposed. The related code will be available soon.


title: Tensor network simulation of the quantum Kibble-Zurek quench from the Mott to superfluid phase in the two-dimensional Bose-Hubbard model

abstract: Quantum simulations of the Bose-Hubbard model (BHM) at commensurate filling can follow spreading of correlations after a sudden quench for times long enough to estimate their propagation velocities. In this work we perform tensor network simulation of the quantum Kibble-Zurek (KZ) ramp from the Mott towards the superfluid phase in the square lattice BHM and demonstrate that even relatively short ramp/quench times allow one to test the power laws predicted by the KZ mechanism (KZM). They can be verified for the correlation length and the excitation energy but the most reliable test is based on the KZM scaling hypothesis for the single particle correlation function: the correlation functions for different quench times evaluated at the same scaled time collapse to the same scaling function of the scaled distance. The scaling of the space and time variables is done according to the KZ power laws.


title: Kernel Conditional Moment Constraints for Confounding Robust Inference

abstract: We study policy evaluation of offline contextual bandits subject to unobserved confounders. Sensitivity analysis methods are commonly used to estimate the policy value under the worst-case confounding over a given uncertainty set. However, existing work often resorts to some coarse relaxation of the uncertainty set for the sake of tractability, leading to overly conservative estimation of the policy value. In this paper, we propose a general estimator that provides a sharp lower bound of the policy value. It can be shown that our estimator contains the recently proposed sharp estimator by Dorn and Guo (2022) as a special case, and our method enables a novel extension of the classical marginal sensitivity model using f-divergence. To construct our estimator, we leverage the kernel method to obtain a tractable approximation to the conditional moment constraints, which traditional non-sharp estimators failed to take into account. In the theoretical analysis, we provide a condition for the choice of the kernel which guarantees no specification error that biases the lower bound estimation. Furthermore, we provide consistency guarantees of policy evaluation and learning. In the experiments with synthetic and real-world data, we demonstrate the effectiveness of the proposed method.


title: Thin and thick bubble walls I: vacuum phase transitions

abstract: This is the first in a series of papers where we study the dynamics of a bubble wall beyond usual approximations, such as the assumptions of spherical bubbles and infinitely thin walls. In this paper, we consider a vacuum phase transition. Thus, we describe a bubble as a configuration of a scalar field whose equation of motion depends only on the effective potential. The thin-wall approximation allows obtaining both an effective equation of motion for the wall position and a simplified equation for the field profile inside the wall. Several different assumptions are involved in this approximation. We discuss the conditions for the validity of each of them. In particular, the minima of the effective potential must have approximately the same energy, and we discuss the correct implementation of this approximation. We consider different improvements to the basic thin-wall approximation, such as an iterative method for finding the wall profile and a perturbative calculation in powers of the wall width. We calculate the leading-order corrections. Besides, we derive an equation of motion for the wall without any assumptions about its shape. We present a suitable method to describe arbitrarily deformed walls from the spherical shape. We consider concrete examples and compare our approximations with numerical solutions. In subsequent papers, we shall consider higher-order finite-width corrections, and we shall take into account the presence of the fluid.


title: Small Correlated Against Large Estimator (SCALE) for Cosmic Microwave Background Lensing

abstract: Weak gravitational lensing of the cosmic microwave background (CMB) carries imprints of the physics operating at redshifts much lower than that of recombination and serves as an important probe of cosmological structure formation, dark matter physics, and the mass of neutrinos. Reconstruction of the CMB lensing deflection field through use of quadratic estimators has proven successful with existing data but is known to be sub-optimal on small angular scales ($\ell > 3000$) for experiments with low noise levels. Future experiments will provide better observations in this regime, but these techniques will remain statistically limited by their approximations. We show that correlations between fluctuations of the large-scale temperature gradient power of the CMB sourced by $\ell < 2000$, and fluctuations to the local small-scale temperature power reveal a lensing signal which is prominent in even the real-space pixel statistics across a CMB temperature map. We present the development of the Small Correlated Against Large Estimator (SCALE), a novel estimator for the CMB lensing spectrum which offers promising complementary analysis alongside other reconstruction techniques in this regime. The SCALE method computes correlations between both the large/small-scale temperature gradient power in harmonic space, and it is able to quantitatively recover unbiased statistics of the CMB lensing field without the need for map-level reconstruction. SCALE can outperform quadratic estimator signal-to-noise by a factor of up to 1.5 in current and upcoming experiments for CMB lensing power spectra $C_{6000<L<8000}^{\phi\phi}$.


title: Optimal local identifying and local locating-dominating codes

abstract: We introduce two new classes of covering codes in graphs for every positive integer $r$. These new codes are called local $r$-identifying and local $r$-locating-dominating codes and they are derived from $r$-identifying and $r$-locating-dominating codes, respectively. We study the sizes of optimal local 1-identifying codes in binary hypercubes. We obtain lower and upper bounds that are asymptotically tight. Together the bounds show that the cost of changing covering codes into local 1-identifying codes is negligible. For some small $n$ optimal constructions are obtained. Moreover, the upper bound is obtained by a linear code construction. Also, we study the densities of optimal local 1-identifying codes and local 1-locating-dominating codes in the infinite square grid, the hexagonal grid, the triangular grid, and the king grid. We prove that seven out of eight of our constructions have optimal densities.


title: The blame game: Understanding blame assignment in social media

abstract: Cognitive and psychological studies on morality have proposed underlying linguistic and semantic factors. However, laboratory experiments in the philosophical literature often lack the nuances and complexity of real life. This paper examines how well the findings of these cognitive studies generalize to a corpus of over 30,000 narratives of tense social situations submitted to a popular social media forum. These narratives describe interpersonal moral situations or misgivings; other users judge from the post whether the author (protagonist) or the opposing side (antagonist) is morally culpable. Whereas previous work focuses on predicting the polarity of normative behaviors, we extend and apply natural language processing (NLP) techniques to understand the effects of descriptions of the people involved in these posts. We conduct extensive experiments to investigate the effect sizes of features to understand how they affect the assignment of blame on social media. Our findings show that aggregating psychology theories enables understanding real-life moral situations. Moreover, our results suggest that there exist biases in blame assignment on social media, such as males are more likely to receive blame no matter whether they are protagonists or antagonists.


title: Verifiable Manufacturing Using Blockchain

abstract: We propose a blockchain-based solution for enabling verifiability of manufacturing processes. We base our solution on the methodology of verifiable computing which, originally developed for cloud computing, enables clients to outsource computations to more powerful servers without the need to trust that the server correctly performed desired computation. Verifiable computing accomplishes this by enabling the client to generate cryptographic objects that the server must use to produce a cryptographic proof that verifies the correctness of results. The black box nature of servers in cloud computing is analogous to that of the manufacturing processes of an upstream manufacturer. In this work, we develop a one-to-one correspondence between physical processes and their digital representations as state sequences which is needed for the implementation of verifiable computing. Because direct application of verifiable computing in this case would be computationally prohibitive, we introduce a blockchain to provide a computationally feasible methodology for verifiable computing applied to physical processes. We implement and show the results of our implementation on a proof of concept, developed on Hyperledger Fabric.


title: Direct Imaging Explorations for Companions around Mid-Late M Stars from the Subaru/IRD Strategic Program

abstract: The Subaru telescope is currently performing a strategic program (SSP) using the high-precision near-infrared (NIR) spectrometer IRD to search for exoplanets around nearby mid/late-M~dwarfs via radial velocity (RV) monitoring. As part of the observing strategy for the exoplanet survey, signatures of massive companions such as RV trends are used to reduce the priority of those stars. However, this RV information remains useful for studying the stellar multiplicity of nearby M~dwarfs. To search for companions around such ``deprioritized" M~dwarfs, we observed 14 IRD-SSP targets using Keck/NIRC2 observations with pyramid wavefront sensing at NIR wavelengths, leading to high sensitivity to substellar-mass companions within a few arcseconds. We detected two new companions (LSPM~J1002+1459~B and LSPM~J2204+1505~B) and two new candidates that are likely companions (LSPM~J0825+6902~B and LSPM~J1645+0444~B) as well as one known companion. Including two known companions resolved by the IRD fiber injection module camera, we detected seven (four new) companions at projected separations between $\sim2-20$~au in total. A comparison of the colors with the spectral library suggests that LSPM~J2204+1505~B and LSPM~J0825+6902~B are located at the boundary between late-M and early-L spectral types. Our deep high-contrast imaging for targets where no bright companions were resolved did not reveal any additional companion candidates. The NIRC2 detection limits could constrain potential substellar-mass companions ($\sim10-75\ M_{\rm Jup}$) at 10~au or further. The failure with Keck/NIRC2 around the IRD-SSP stars having significant RV trends makes these objects promising targets for further RV monitoring or deeper imaging with JWST to search for smaller-mass companions below the NIRC2 detection limits.


title: Maximal amenable MASAs of radial type in the free group factors

abstract: We prove that if $\{(M_j, \tau_j)\}_{j\in J}$ are tracial von Neumann algebras, $s_j \in M_j$ are selfadjoint semicircular elements and $t=(t_j)_j$ is a square summable $J$-tuple of real numbers with at least two non-zero entries, then the von Neumann algebra $A(t)$ generated by the ``weighted radial element'' $\sum_j t_j s_j\in M:=*_{j\in J} M_j$ is maximal amenable in $M$, with $A(t)$, $A(t')$ unitary conjugate in $M$ iff $t, t'$ are proportional. Letting $M_j$ be diffuse amenable, $\forall j$, this provides a large family of maximal amenable MASAs in the free group factor $L\mathbb F_n$.


title: Performance is not enough: the story told by a Rashomon quartet

abstract: The usual goal of supervised learning is to find the best model, the one that optimizes a particular performance measure. However, what if the explanation provided by this model is completely different from another model and different again from another model despite all having similarly good fit statistics? Is it possible that the equally effective models put the spotlight on different relationships in the data? Inspired by Anscombe's quartet, this paper introduces a Rashomon Quartet, i.e. a set of four models built on a synthetic dataset which have practically identical predictive performance. However, the visual exploration reveals distinct explanations of the relations in the data. This illustrative example aims to encourage the use of methods for model visualization to compare predictive models beyond their performance.


title: DESI survey validation data in the COSMOS/HSC field: Cool gas trace main sequence star-forming galaxies at the cosmic noon

abstract: We present the first result in exploring the gaseous halo and galaxy correlation using the Dark Energy Spectroscopic Instrument (DESI) survey validation data in the Cosmic Evolution Survey (COSMOS) and Hyper Suprime-Cam (HSC) field. We obtain the multiphase gaseous halo properties in the circumgalactic medium (CGM) by using 115 quasar spectra (S/N > 3). We detect MgII absorption at redshift 0.6 < z < 2.5, CIV absorption at 1.6 < z < 3.6, and HI absorption associated with the MgII and CIV. By cross-matching the COSMOS2020 catalog, we identify the MgII and CIV host galaxies in ten quasar fields at 0.9 < z < 3.1. We find that within the impact parameter of 250 kpc, a tight correlation is seen between strong MgII equivalent width and the host galaxy star formation rate. The covering fraction fc of strong MgII selected galaxies, which is the ratio of absorbing galaxy in a certain galaxy population, shows significant evolution in the main-sequence galaxies and marginal evolution in all the galaxy populations within 250 kpc at 0.9 < z < 2.2. The fc increase in the main-sequence galaxies likely suggests the co-evolution of strong MgII absorbing gas and the main-sequence galaxies at the cosmic noon. Furthermore, several MgII and CIV absorbing gas is detected out of the galaxy virial radius, tentatively indicating the feedback produced by the star formation and/or the environmental effects.


title: Nonlinear bias toward complex contagion in uncertain transmission settings

abstract: Current epidemics in the biological and social domains are challenging the standard assumptions of mathematical contagion models. Chief among them are the complex patterns of transmission caused by heterogeneous group sizes and infection risk varying by orders of magnitude in different settings, like indoor versus outdoor gatherings in the COVID-19 pandemic or different moderation practices in social media communities. However, quantifying these heterogeneous levels of risk is difficult and most models typically ignore them. Here, we include these novel features in an epidemic model on weighted hypergraphs to capture group-specific transmission rates. We study analytically the consequences of ignoring the heterogeneous transmissibility and find an induced superlinear infection rate during the emergence of a new outbreak, even though the underlying mechanism is a simple, linear contagion. The dynamics produced at the individual and group levels are therefore more similar to complex, nonlinear contagions, thus blurring the line between simple and complex contagions in realistic settings. We support this claim by introducing a Bayesian inference framework to quantify the nonlinearity of contagion processes. We show that simple contagions on real weighted hypergraphs are systematically biased toward the superlinear regime if the heterogeneity of the weights is ignored, greatly increasing the risk of erroneous classification as complex contagions. Our results provide an important cautionary tale for the challenging task of inferring transmission mechanisms from incidence data. Yet, it also paves the way for effective models that capture complex features of epidemics through nonlinear infection rates.


title: On the anti-aliasing properties of entropy filtering for discontinuous spectral element approximations of under-resolved turbulent flows

abstract: For large Reynolds number flows, it is typically necessary to perform simulations that are under-resolved with respect to the underlying flow physics. For nodal discontinuous spectral element approximations of these under-resolved flows, the collocation projection of the nonlinear flux can introduce aliasing errors which can result in numerical instabilities. In Dzanic and Witherden (J. Comput. Phys., 468, 2022), an entropy-based adaptive filtering approach was introduced as a robust, parameter-free shock-capturing method for discontinuous spectral element methods. This work explores the ability of entropy filtering for mitigating aliasing-driven instabilities in the simulation of under-resolved turbulent flows through high-order implicit large eddy simulations of a NACA0021 airfoil in deep stall at a Reynolds number of 270,000. It was observed that entropy filtering can adequately mitigate aliasing-driven instabilities without degrading the accuracy of the underlying high-order scheme on par with standard anti-aliasing methods such as over-integration, albeit with marginally worse performance at higher approximation orders.


title: Guiding the Sequential Experiments in Autonomous Experimentation Platforms through EI-based Bayesian Optimization and Bayesian Model Averaging

abstract: Autonomous Experimentation Platforms (AEPs) are advanced manufacturing platforms that, under intelligent control, can sequentially search the material design space (MDS) and identify parameters with the desired properties. At the heart of the intelligent control of these AEPs is the policy guiding the sequential experiments, which is to choose the location to carry out the next experiment. In such cases, a balance between exploitation and exploration must be achieved. A Bayesian Optimization (BO) framework with Expected Improvement based (EI-based) acquisition function can effectively search the MDS and guide where to conduct the next experiments so that the underlying relationship can be identified with a smaller number of experiments. The traditional BO framework tries to optimize a black box objective function in a sequential manner by relying on a single model. However, this single-model approach does not account for model uncertainty. Bayesian Model Averaging (BMA) addresses this issue by working with multiple models and thus considering the uncertainty in the models. In this work, we first apply the conventional BO algorithm with the most popular EI-based experiment policy in a real-life fatigue dataset for steel to predict the fatigue strength of steel. Afterward, we apply BMA to the same dataset by working with a set of predictive models and compare the performance of BMA with the traditional BO algorithm, which relies on a single model for approximation. We compare the results in terms of RMSE and find that BMA performs better than EI-based BO in the prediction task by considering the model uncertainty in its framework.


title: A simplified drift-diffusion model for pandemic propagation

abstract: Predicting Pandemic evolution involves complex modeling challenges, often requiring detailed discrete mathematics executed on large volumes of epidemiological data. Differential equations have the advantage of offering smooth, well-behaved solutions that try to capture overall predictive trends and averages. We further simplify one of those equations, the SIR model, by offering quasi-analytical solutions and fitting functions that agree well with the numerics, as well as COVID-19 data across a few countries. The equations provide an elegant way to visualize the evolution, by mapping onto the dynamics of an overdamped classical particle moving in the SIR configuration space, drifting down gradient of a potential whose shape is set by the model and parameters in hand. We discuss potential sources of errors in our analysis and their growth over time, and map those uncertainties into a diffusive jitter that tends to push the particle away from its minimum. The combined physical understanding and analytical expressions offered by such an intuitive drift-diffusion model could be particularly useful in making policy decisions going forward.


title: The Doctrine of Cyber Effect: An Ethics Framework for Defensive Cyber Deception

abstract: The lack of established rules and regulations in cyberspace is attributed to the absence of agreed-upon ethical principles, making it difficult to establish accountability, regulations, and laws. Addressing this challenge requires examining cyberspace from fundamental philosophical principles. This work focuses on the ethics of using defensive deception in cyberspace, proposing a doctrine of cyber effect that incorporates five ethical principles: goodwill, deontology, no-harm, transparency, and fairness. To guide the design of defensive cyber deception, we develop a reasoning framework, the game of ethical duplicity, which is consistent with the doctrine. While originally intended for cyber deception, this doctrine has broader applicability, including for ethical issues such as AI accountability and controversies related to YouTube recommendations. By establishing ethical principles, we can promote greater accountability, regulation, and protection in the digital realm.


title: The GMRT High Resolution Southern Sky Survey for pulsars and transients -- V: Localisation of two millisecond pulsars

abstract: The timing follow-up of newly discovered millisecond pulsars (MSPs) is hindered by the larger positional uncertainty (a few tens of arc-minutes) associated with the discovery. In this paper, we present the localization of two MSPs, discovered by the GMRT High Resolution Southern Sky (GHRSS) survey, up to arc-second accuracy using a 33~MHz offline coherently dedispersed gated correlator. This gated correlator is an upgraded version of the earlier 16~MHz design. This new development with a factor of two enhancement in the observing bandwidth offers better sensitivity in the image domain, leading to more precise localization. Aided by the precise position, we followed up these two MSPs with sensitive phased-array (PA) beams of upgraded GMRT from 300 to 1460 MHz. More sensitive observations in the PA mode for these two MSPs yield precise ($\sim$ sub-$\mu s$) time-of-arrivals, with DM uncertainties in the range of $10^{-4}-10^{-5}$ $pc\,cm^{-3}$. We also report the profile evolution of the two MSPs over 300$-$1460 MHz. Finally, we discuss the suitability of these MSPs for the pulsar timing array experiments aimed to detect low-frequency gravitational waves.


title: Rational differential forms on the variety of flexes of plane cubics

abstract: We prove that for every positive integer $d$, there are no nonzero regular differential $d$-forms on every smooth irreducible projective algebraic variety birationally isomorphic to the variety of flexes of plane cubics.


title: Multi-objective Generative Design of Three-Dimensional Composite Materials

abstract: Composite materials with 3D architectures are desirable in a variety of applications for the capability of tailoring their properties to meet multiple functional requirements. By the arrangement of materials' internal components, structure design is of great significance in tuning the properties of the composites. However, most of the composite structures are proposed by empirical designs following existing patterns. Hindered by the complexity of 3D structures, it is hard to extract customized structures with multiple desired properties from large design space. Here we report a multi-objective driven Wasserstein generative adversarial network (MDWGAN) to implement inverse designs of 3D composite structures according to given geometrical, structural and mechanical requirements. Our framework consists a GAN based network which generates 3D composite structures possessing with similar geometrical and structural features to the target dataset. Besides, multiple objectives are introduced to our framework for the control of mechanical property and isotropy of the composites. Real time calculation of the properties in training iterations is achieved by an accurate surrogate model. We constructed a small and concise dataset to illustrate our framework. With multiple objectives combined by their weight, and the 3D-GAN act as a soft constraint, our framework is proved to be capable of tuning the properties of the generated composites in multiple aspects, while keeping the selected features of different kinds of structures. The feasibility on small dataset and potential scalability on objectives of other properties make our work a novel, effective approach to provide fast, experience free composite structure designs for various functional materials.


title: On the existence of solutions of the Dirichlet problem for $p$-Laplacian on Riemannian manifolds

abstract: We obtain a criterion for the existence of solutions of the problem $$ \Delta_p u = 0 \quad \mbox{in } M \setminus \partial M, \quad \left. u \right|_{ \partial M } = h, $$ with the bounded Dirichlet integral, where $M$ is an oriented complete Riemannian manifold with boundary and $h \in W_{p, loc}^1 (M)$, $p > 1$.


title: Interaction of One-Dimensional Quantum Droplets with Potential Wells and Barriers

abstract: We address static and dynamical properties of one-dimensional (1D) quantum droplets (QDs) under the action of local potentials in the form of narrow wells and barriers. The QDs are governed by the 1D Gross-Pitaevskii equation including the mean-field cubic repulsive term and the beyond-mean-field attractive quadratic one. In the case of the well represented by the delta-functional potential, three exact stable solutions are found for localized states pinned to the well. The Thomas-Fermi approximation for the well and the adiabatic approximation for the collision of the QD with the barrier are developed too. Collisions of incident QDs with the wells and barriers are analyzed in detail by means of systematic simulations. Outcomes, such as fission of the moving QD into transmitted, reflected, and trapped fragments, are identified in relevant parameter planes. In particular, a counter-intuitive effect of partial or full rebound of the incident QD from the potential well is studied in detail and qualitatively explained.


title: Phase-Field DeepONet: Physics-informed deep operator neural network for fast simulations of pattern formation governed by gradient flows of free-energy functionals

abstract: Recent advances in scientific machine learning have shed light on the modeling of pattern-forming systems. However, simulations of real patterns still incur significant computational costs, which could be alleviated by leveraging large image datasets. Physics-informed machine learning and operator learning are two new emerging and promising concepts for this application. Here, we propose "Phase-Field DeepONet", a physics-informed operator neural network framework that predicts the dynamic responses of systems governed by gradient flows of free-energy functionals. Examples used to validate the feasibility and accuracy of the method include the Allen-Cahn and Cahn-Hilliard equations, as special cases of reactive phase-field models for nonequilibrium thermodynamics of chemical mixtures. This is achieved by incorporating the minimizing movement scheme into the framework, which optimizes and controls how the total free energy of a system evolves, instead of solving the governing equations directly. The trained operator neural networks can work as explicit time-steppers that take the current state as the input and output the next state. This could potentially facilitate fast real-time predictions of pattern-forming dynamical systems, such as phase-separating Li-ion batteries, emulsions, colloidal displays, or biological patterns.


title: Scalar and vector electromagnetic solitary waves in nonlinear hyperbolic media

abstract: In this paper, we investigate the problem of electromagnetic wave propagation in hyperbolic nonlinear media. To address this problem, we consider the scalar hyperbolic nonlinear Schr\"odinger system and its coupled version, namely hyperbolic Manakov type equations. These hyperbolic systems are shown to be non-integrable. Then, we examine the propagation properties of both the scalar and vector electromagnetic solitary waves by deriving their exact analytical forms through the Hirota bilinear method. A detailed analysis shows that the presence of hyperbolic transverse dispersion provides an additional degree of freedom to prevent the formation of singularity in both the scalar and vector solitary wave structures in this hyperbolic nonlinear media. Besides this, we realize that the solitary waves in this media possess fascinating propagation properties which cannot be observed in conventional nonlinear media. We believe that the present study will be very useful in analyzing electromagnetic wave propagation in hyperbolic nonlinear metamaterials.


title: A comprehensive model of morphologically realistic Cosmic Dust particles: an application to mimic the unusual Polarization properties of the interstellar Comet 2I/Borisov

abstract: The cosmic dust particles found in space are mainly porous aggregates of smaller grains. Theoretically, these aggregates are replicated using fractal geometry, assuming a cluster of spheres. Although, the light scattering response of cosmic dust aggregates has been thoroughly studied using clusters of spherical grains in the past few decades, yet, the effect of irregularities on the surface of each grain in an entire aggregate has mostly been neglected. We, for the first time, introduce a visually realistic cosmic dust model which incorporates a mixture of rough fractal aggregates (RFA) and agglomerated debris (Solids) to replicate the unusual polarization-phase curve observed in case of the interstellar comet 2I/Borisov at multiple wavelengths. The authenticity of the RFA structures has been verified by replicating light scattering results of circumstellar dust analogues from the Granada Amsterdam Light Scattering Database. We demonstrate that the light scattering response from the RFA structures has a very close resemblance with the experimental values. Finally, we model the observed polarization-phase curve of the interstellar comet 2I/Borisov using a mixture of RFA and solid particles. The best-fit data indicates presence of higher percentage of porous RFA structures 80% owing to the fact that the comet carries higher percentage of small and highly porous pristine cosmic dust particles. Further, the model indicates that the unusually steeper polarimetric slope and the high dust-to-gas ratio in relatively newer comets is mainly due to higher porous-to-compact ratio.


title: 3d $\mathcal{N}=2$ theories and plumbing graphs: adding matter, gauging, and new dualities

abstract: Recently, a large class of 3d $\mathcal{N} = 2$ gauge theories with mixed Chern-Simons levels, corresponding to plumbing 3-manifolds, has been identified. In this paper we generalize these theories by including in their content chiral multiples, and analyze their properties. We find that the content of such theories can be encoded in graphs, which generalize plumbing graphs, and various operations in these theories can be represented in terms of transformations of such graphs. The operations in question include gauging global symmetries, integrating out gauge nodes, which for theories without chiral multiplets corresponds to Kirby moves, and ST-transformations that involve chiral multiplets. The dualities such as mirror triality and SQED-XYZ duality can be also represented in terms of graphs, and enable us to find many new dual theories by gauging global symmetries. In particular, we find that gauged SQED-XYZ duality leads to other dualities, which take the same form as operations of linking and unlinking discussed in the context of knots-quivers correspondence. We also find that the superpotential can be encoded in an interesting class of triangle graphs that satisfy certain consistency conditions, we discuss decoupling and Higgsing of chiral multiplets, as well as interpretation of various phenomena in terms of brane webs.


title: Localizing Moments in Long Video Via Multimodal Guidance

abstract: The recent introduction of the large-scale, long-form MAD and Ego4D datasets has enabled researchers to investigate the performance of current state-of-the-art methods for video grounding in the long-form setup, with interesting findings: current grounding methods alone fail at tackling this challenging task and setup due to their inability to process long video sequences. In this paper, we propose a method for improving the performance of natural language grounding in long videos by identifying and pruning out non-describable windows. We design a guided grounding framework consisting of a Guidance Model and a base grounding model. The Guidance Model emphasizes describable windows, while the base grounding model analyzes short temporal windows to determine which segments accurately match a given language query. We offer two designs for the Guidance Model: Query-Agnostic and Query-Dependent, which balance efficiency and accuracy. Experiments demonstrate that our proposed method outperforms state-of-the-art models by 4.1% in MAD and 4.52% in Ego4D (NLQ), respectively. Code, data and MAD's audio features necessary to reproduce our experiments are available at: https://github.com/waybarrios/guidance-based-video-grounding.


title: A Theoretical Investigation of Magnetic Susceptibility Measurement Using Mach-Zehnder interferometer

abstract: In this study, we present a novel method for measuring the magnetic susceptibility of liquids using a Mach-Zehnder interferometer. The proposed technique employs a ring magnet to deform the liquid, while a laser beam passes through the liquid to measure the resulting interference pattern. The deformation of the liquid, caused by the known magnetic field of the ring magnet, is used to calculate the magnetic susceptibility. We provide a comprehensive theoretical framework, including the relevant equations and models, for analyzing the data obtained using this method. We compare the Mach-Zehnder interferometer method with other established techniques, highlighting its advantages and disadvantages. Our findings indicate that the Mach-Zehnder interferometer technique offers high accuracy, sensitivity, and potential applications in characterizing magnetic properties of various liquid systems.


title: Picard group of connected affine algebraic group

abstract: We prove that the Picard group of a connected affine algebraic group $G$ is isomorphic to the fundamental group of the derived subgroup of the reductive algebraic group $G/{\mathscr R}_u(G)$, where ${\mathscr R}_u(G)$ is the unipotent radical of $G$.


title: Perceiving Unseen 3D Objects by Poking the Objects

abstract: We present a novel approach to interactive 3D object perception for robots. Unlike previous perception algorithms that rely on known object models or a large amount of annotated training data, we propose a poking-based approach that automatically discovers and reconstructs 3D objects. The poking process not only enables the robot to discover unseen 3D objects but also produces multi-view observations for 3D reconstruction of the objects. The reconstructed objects are then memorized by neural networks with regular supervised learning and can be recognized in new test images. The experiments on real-world data show that our approach could unsupervisedly discover and reconstruct unseen 3D objects with high quality, and facilitate real-world applications such as robotic grasping. The code and supplementary materials are available at the project page: https://zju3dv.github.io/poking_perception.


title: Efficient Ensemble for Multimodal Punctuation Restoration using Time-Delay Neural Network

abstract: Punctuation restoration plays an essential role in the post-processing procedure of automatic speech recognition, but model efficiency is a key requirement for this task. To that end, we present EfficientPunct, an ensemble method with a multimodal time-delay neural network that outperforms the current best model by 1.0 F1 points, using less than a tenth of its inference network parameters. We streamline a speech recognizer to efficiently output hidden layer acoustic embeddings for punctuation restoration, as well as BERT to extract meaningful text embeddings. By using forced alignment and temporal convolutions, we eliminate the need for attention-based fusion, greatly increasing computational efficiency and raising performance. EfficientPunct sets a new state of the art with an ensemble that weights BERT's purely language-based predictions slightly more than the multimodal network's predictions. Our code is available at https://github.com/lxy-peter/EfficientPunct.


title: Elementary models of 3D topological insulators with chiral symmetry

abstract: We construct a set of lattice models of non-interacting topological insulators with chiral symmetry in three dimensions. We build a model of the topological insulators in the class AIII by coupling lower dimensional models of $\mathbb{Z}$ classes. By coupling the two AIII models related by time-reversal symmetry we construct other chiral symmetric topological insulators that may also possess additional symmetries (the time-reversal and/or particle-hole). There are two different chiral symmetry operators for the coupled model, that correspond to two distinct ways of defining the sublattices. The integer topological invariant (the winding number) in case of weak coupling can be either the sum or difference of indices of the basic building blocks, dependent on the preserved chiral symmetry operator. The value of the topological index in case of weak coupling is determined by the chiral symmetry only and does not depend on the presence of other symmetries. For $\mathbb{Z}$ topological classes AIII, DIII, and CI with chiral symmetry are topologically equivalent, it implies that a smooth transition between the classes can be achieved if it connects the topological sectors with the same winding number. We demonstrate this explicitly by proving that the gapless surface states remain robust in $\mathbb{Z}$ classes as long as the chiral symmetry is preserved, and the coupling does not close the gap in the bulk. By studying the surface states in $\mathbb{Z}_2$ topological classes, we show that class CII and AII are distinct, and can not be adiabatically connected.


title: Puppeteer and Marionette: Learning Anticipatory Quadrupedal Locomotion Based on Interactions of a Central Pattern Generator and Supraspinal Drive

abstract: Quadruped animal locomotion emerges from the interactions between the spinal central pattern generator (CPG), sensory feedback, and supraspinal drive signals from the brain. Computational models of CPGs have been widely used for investigating the spinal cord contribution to animal locomotion control in computational neuroscience and in bio-inspired robotics. However, the contribution of supraspinal drive to anticipatory behavior, i.e. motor behavior that involves planning ahead of time (e.g. of footstep placements), is not yet properly understood. In particular, it is not clear whether the brain modulates CPG activity and/or directly modulates muscle activity (hence bypassing the CPG) for accurate foot placements. In this paper, we investigate the interaction of supraspinal drive and a CPG in an anticipatory locomotion scenario that involves stepping over gaps. By employing deep reinforcement learning (DRL), we train a neural network policy that replicates the supraspinal drive behavior. This policy can either modulate the CPG dynamics, or directly change actuation signals to bypass the CPG dynamics. Our results indicate that the direct supraspinal contribution to the actuation signal is a key component for a high gap crossing success rate. However, the CPG dynamics in the spinal cord are beneficial for gait smoothness and energy efficiency. Moreover, our investigation shows that sensing the front feet distances to the gap is the most important and sufficient sensory information for learning gap crossing. Our results support the biological hypothesis that cats and horses mainly control the front legs for obstacle avoidance, and that hind limbs follow an internal memory based on the front limbs' information. Our method enables the quadruped robot to cross gaps of up to 20 cm (50% of body-length) without any explicit dynamics modeling or Model Predictive Control (MPC).


title: Radiative Meson and Glueball Decays in the Witten-Sakai-Sugimoto Model

abstract: We calculate radiative decay rates of mesons and glueballs in the top-down holographic Witten-Sakai-Sugimoto model with finite quark masses. After assessing to what extent this model agrees or disagrees with experimental data, we present its predictions for so far undetermined decay channels. Contrary to widespread expectations, we obtain sizeable two-photon widths of scalar, tensor, and pseudoscalar glueballs, suggesting in particular that the observed two-photon rate of the glueball candidate $f_0(1710)$ is not too large to permit a glueball interpretation, but could be even much higher. We also discuss the so-called exotic scalar glueball, which in the Witten-Sakai-Sugimoto model is too broad to match either of the main glueball candidates $f_0(1500)$ and $f_0(1710)$, but might be of interest with regard to the alternative scenario of the so-called fragmented scalar glueball. Employing the exotic scalar glueball for the latter, much smaller two-photon rates are predicted for the ground-state glueball despite a larger total width; relatively large two-photon rates would then apply to the excited scalar glueball described by the predominantly dilatonic scalar glueball. In either case, the resulting contributions to the muon $g-2$ from hadronic light-by-light scattering involving glueball exchanges are small compared to other single meson exchanges, of the order of $\lesssim 10^{-12}$.


title: Closed-loop Error Correction Learning Accelerates Experimental Discovery of Thermoelectric Materials

abstract: The exploration of thermoelectric materials is challenging considering the large materials space, combined with added exponential degrees of freedom coming from doping and the diversity of synthetic pathways. Here we seek to incorporate historical data and update and refine it using experimental feedback by employing error-correction learning (ECL). We thus learn from prior datasets and then adapt the model to differences in synthesis and characterization that are otherwise difficult to parameterize. We then apply this strategy to discovering thermoelectric materials where we prioritize synthesis at temperatures < 300{\deg}C. We document a previously unreported chemical family of thermoelectric materials, PbSe:SnSb, finding that the best candidate in this chemical family, 2 wt% SnSb doped PbSe, exhibits a power factor more than 2x that of PbSe. Our investigations show that our closed-loop experimentation strategy reduces the required number of experiments to find an optimized material by as much as 3x compared to high-throughput searches powered by state-of-the-art machine learning models. We also observe that this improvement is dependent on the accuracy of prior in a manner that exhibits diminishing returns, and after a certain accuracy is reached, it is factors associated with experimental pathways that dictate the trends.


title: DFT+U study of UO$_2$: Correct lattice parameter and electronic band-gap

abstract: Hubbard-corrected density functional theory, denoted by DFT+U method, was developed to enable correct prediction of insulating properties for strongly-correlated electron systems. UO$_2$ is an example having O-$2p$, U-$6d$, and U-$5f$ incomplete electronic shells. Usually, researchers apply the Hubbard correction only to the localized incomplete $5f$ electrons of U atoms and succeed to predict insulating property and good geometric properties by tweaking the Hubbard-U parameter. However, it turned out that in such a way it was impossible to obtain reasonable values for both geometry and electronic band-gap at the same time. In this work, we show that it is possible to produce good values for those properties just by applying and tuning the Hubbard corrections to all incomplete shells of O-$2p$, U-$6d$, and U-$5f$.


title: Comparing Sentence-Level Suggestions to Message-Level Suggestions in AI-Mediated Communication

abstract: Traditionally, writing assistance systems have focused on short or even single-word suggestions. Recently, large language models like GPT-3 have made it possible to generate significantly longer natural-sounding suggestions, offering more advanced assistance opportunities. This study explores the trade-offs between sentence- vs. message-level suggestions for AI-mediated communication. We recruited 120 participants to act as staffers from legislators' offices who often need to respond to large volumes of constituent concerns. Participants were asked to reply to emails with different types of assistance. The results show that participants receiving message-level suggestions responded faster and were more satisfied with the experience, as they mainly edited the suggested drafts. In addition, the texts they wrote were evaluated as more helpful by others. In comparison, participants receiving sentence-level assistance retained a higher sense of agency, but took longer for the task as they needed to plan the flow of their responses and decide when to use suggestions. Our findings have implications for designing task-appropriate communication assistance systems.


title: Properties of the extremely energetic GRB~221009A from Konus-WIND and SRG/ART-XC observations

abstract: We report on Konus-Wind (KW) and Mikhail Pavlinsky ART-XC telescope observations and analysis of a nearby GRB 221009A, the brightest $\gamma$-ray burst (GRB) detected by KW for $>$28 years of observations. The prompt, pulsed phase of the burst emission lasts for $\sim 600$ s and is followed by a steady power-law decay lasting for more than 25 ks. From the analysis of the KW and ART-XC light curves and the KW spectral data we derive time-averaged spectral peak energy of the burst $E_p\approx 2.6$ MeV, $E_p$ at the brightest emission peak $\approx 3.0$ MeV, the total 20 keV--10 MeV energy fluence of $\approx0.22$ erg cm$^{-2}$, and the peak energy flux in the same band of $\approx 0.03$ erg cm$^{-2}$ s$^{-1}$. The enormous observed fluence and peak flux imply, at redshift $z=0.151$, huge values of isotropic energy release $E_{\mathrm{iso}}\approx1.2\times10^{55}$ erg (or $\gtrsim 6.5$ solar rest mass) and isotropic peak luminosity $L_{\mathrm{iso}}\approx3.4\times10^{54}$ erg s$^{-1}$ (64 ms scale), making GRB 221009A the most energetic and one the most luminous bursts observed since the beginning of the GRB cosmological era in 1997. The isotropic energetics of the burst fit nicely both "Amati" and "Yonetoku" hardness-intensity correlations for $>$300 KW long GRBs, implying that GRB~221009A is most likely a very hard, super-energetic version of a "normal" long GRB.


title: Trade-off between reproduction and mobility prolongs organisms' survival in rock-paper-scissors models

abstract: We study the spatial rock-paper-scissors model, where resource competitors' cyclic dominance impacts organisms' energy levels. Our model assumes that failed selection interactions can lead to energy loss, reducing the chances of success in the spatial game and hastening decline. To prevent death by energy insufficiency, organisms of one out of the species strategically perform a trade-off between reproduction and mobility. When prioritising exploring more extensive areas, organisms aim to maximise the chances of acquiring resources to regain high energy levels. Through simulation, we examine the effect of survival behaviour on species segregation and spatial patterns. Our outcomes show that the trade-off between offspring generation and accelerated movement effectively protects individuals from death due to lack of energy. Moreover, the risk of being eliminated by an enemy in the cyclic game reduces due to the behavioural strategy. Considering a three-state model, we quantify how the trade-off parameter controls the organisms' energy recovery. Computing the median organisms' survival time, we find that although individuals performing the trade-off strategy may live longer, the organisms of other species are negatively affected by a life expectancy reduction. Our research may elucidate the role of adaptive survival strategies in species persistence and provide valuable insights for ecologists.

categories: q-bio.PE cond-mat.stat-mech nlin.AO nlin.PS physics.bio-ph


title: Individual based SIS models on (not so) dense large random networks

abstract: Starting from a stochastic individual-based description of an SIS epidemic spreading on a random network, we study the dynamics when the size n of the network tends to infinity. We recover in the limit an infinite-dimensional integro-differential equation studied by Delmas, Dronnier and Zitt (2022) for an SIS epidemic propagating on a graphon. Our work covers the case of dense and sparse graphs, provided that the number of edges grows faster than n, but not the case of very sparse graphs with O(n) edges. In order to establish our limit theorem, we have to deal with both the convergence of the random graphs to the graphon and the convergence of the stochastic process spreading on top of these random structures: in particular, we propose a coupling between the process of interest and an epidemic that spreads on the complete graph but with a modified infection rate. Keywords: random graph, mathematical models of epidemics, measure-valued process, large network limit, limit theorem, graphon.


title: NBA2Vec: Dense feature representations of NBA players

abstract: Understanding a player's performance in a basketball game requires an evaluation of the player in the context of their teammates and the opposing lineup. Here, we present NBA2Vec, a neural network model based on Word2Vec which extracts dense feature representations of each player by predicting play outcomes without the use of hand-crafted heuristics or aggregate statistical measures. Specifically, our model aimed to predict the outcome of a possession given both the offensive and defensive players on the court. By training on over 3.5 million plays involving 1551 distinct players, our model was able to achieve a 0.3 K-L divergence with respect to the empirical play-by-play distribution. The resulting embedding space is consistent with general classifications of player position and style, and the embedding dimensions correlated at a significant level with traditional box score metrics. Finally, we demonstrate that NBA2Vec accurately predicts the outcomes to various 2017 NBA Playoffs series, and shows potential in determining optimal lineup match-ups. Future applications of NBA2Vec embeddings to characterize players' style may revolutionize predictive models for player acquisition and coaching decisions that maximize team success.


title: Emergence of net magnetization by magnetic-field-biased diffusion in antiferromagnetic L1$_0$ NiMn

abstract: NiMn is a collinear antiferromagnet with high magneto crystalline anisotropy ($K_2=-9.7\times10^5\;\text{J m}^{-3}$). Through magnetic annealing of NiMn with excess Ni, strongly pinned magnetic moments emerge due to an imbalance in the distribution of Ni in the antiferromagnetic Mn-sublattices. The results are explained with a model of magnetic-field-biased diffusion, supported by ab initio calculations. Another observation is the oxidation of Mn at the surface, causing an enrichment of Ni in the sub-surface region. This leads to an additional ferromagnetic response appearing in the magnetization measurements, which can be removed by surface polishing.


title: Factorization of a spectral density with smooth eigenvalues of a multidimensional stationary time series

abstract: The aim of this paper to give a multidimensional version of the classical one-dimensional case of smooth spectral density. A smooth spectral density gives an explicit method to factorize the spectral density and compute the constituents of the Wold representation of a regular weakly stationary time series. These constituents are important to give the best linear predictions of the time series.


title: $K_r$-saturated Graphs and the Two Families Theorem

abstract: Given a graph $H$, we say that a graph $G$ is $H$-saturated if $G$ contains no copy of $H$ but adding any new edge to $G$ creates a copy of $H$. Let $sat(n,K_r,t)$ be the minimum number of edges in a $K_r$-saturated graph on $n$ vertices with minimum degree at least $t$. Day showed that for fixed $r \geq 3$ and $t \geq r-2$, $sat(n,K_r,t)=tn-c(r,t)$ for large enough $n$, where $c(r,t)$ is a constant depending on $r$ and $t$, and proved the bounds $$ 2^t t^{3/2} \ll_r c(r,t) \leq t^{t^{2t^2}} $$ for fixed $r$ and large $t$. In this paper we show that for fixed $r$ and large $t$, the order of magnitude of $c(r,t)$ is given by $c(r,t)=\Theta_r \left(4^t t^{-1/2} \right)$. Moreover, we investigate the dependence on $r$, obtaining the estimates $$ \frac{4^{t-r}}{\sqrt{t-r+3}} + r^2 \ll c(r,t) \ll \frac{4^{t-r} \min{(r,\sqrt{t-r+3})}}{\sqrt{t-r+3}} + r^2 \ . $$ We further show that for all $r$ and $t$, there is a finite collection of graphs such that all extremal graphs are blow-ups of graphs in the collection. Using similar ideas, we show that every large $K_r$-saturated graph with $e$ edges has a vertex cover of size $O(e / \log e)$, uniformly in $r \geq 3$. This strengthens a previous result of Pikhurko. We also provide examples for which this bound is tight. A key ingredient in the proofs is a new version of Bollob\'as's Two Families Theorem.


title: MDF-Net for abnormality detection by fusing X-rays with clinical data

abstract: This study investigates the effects of including patients' clinical information on the performance of deep learning (DL) classifiers for disease location in chest X-ray images. Although current classifiers achieve high performance using chest X-ray images alone, our interviews with radiologists indicate that clinical data is highly informative and essential for interpreting images and making proper diagnoses. In this work, we propose a novel architecture consisting of two fusion methods that enable the model to simultaneously process patients' clinical data (structured data) and chest X-rays (image data). Since these data modalities are in different dimensional spaces, we propose a spatial arrangement strategy, spatialization, to facilitate the multimodal learning process in a Mask R-CNN model. We performed an extensive experimental evaluation using MIMIC-Eye, a dataset comprising modalities: MIMIC-CXR (chest X-ray images), MIMIC IV-ED (patients' clinical data), and REFLACX (annotations of disease locations in chest X-rays). Results show that incorporating patients' clinical data in a DL model together with the proposed fusion methods improves the disease localization in chest X-rays by 12\% in terms of Average Precision compared to a standard Mask R-CNN using only chest X-rays. Further ablation studies also emphasize the importance of multimodal DL architectures and the incorporation of patients' clinical data in disease localization. The architecture proposed in this work is publicly available to promote the scientific reproducibility of our study (https://github.com/ChihchengHsieh/multimodal-abnormalities-detection)


title: Adiabatic compactness for holomorphic curves with boundary on nearby Lagrangians

abstract: In his 1989 paper, Floer established a connection between holomorphic strips with boundary on a Lagrangian $L$ and a small Hamiltonian push-off $L_{f}$, and gradient flow lines for the function $f$. The present paper studies the compactness theory for holomorphic curves $u_{n}$ whose boundary components lie on Hamiltonian perturbations $L_{n}^{1},\dots,L^{N}_{n}$ of a fixed Lagrangian $L$, where each sequence of nearby Lagrangians $L^{j}_{n}$ converges to $L$ as $n\to\infty$. Generalizing earlier work of Oh, Fukaya, Ekholm, and Zhu, we prove that the limit of a sequence of such holomorphic maps is a configuration consisting of holomorphic curves with boundary on $L$ joined by gradient flow lines connecting points on the boundary of holomorphic pieces. The key new result is an exponential estimate analyzing the interface between the holomorphic parts and the gradient flow line parts.


title: NSANet: Noise Seeking Attention Network

abstract: LiDAR (Light Detection and Ranging) technology has remained popular in capturing natural and built environments for numerous applications. The recent technological advancements in electro-optical engineering have aided in obtaining laser returns at a higher pulse repetition frequency (PRF), which considerably increased the density of the 3D point cloud. Conventional techniques with lower PRF had a single pulse-in-air (SPIA) zone, large enough to avoid a mismatch among pulse pairs at the receiver. New multiple pulses-in-air (MPIA) technology guarantees various windows of operational ranges for a single flight line and no blind zones. The disadvantage of the technology is the projection of atmospheric returns closer to the same pulse-in-air zone of adjacent terrain points likely to intersect with objects of interest. These noise properties compromise the perceived quality of the scene and encourage the development of new noise-filtering neural networks, as existing filters are significantly ineffective. We propose a novel dual-attention noise-filtering neural network called Noise Seeking Attention Network (NSANet) that uses physical priors and local spatial attention to filter noise. Our research is motivated by two psychology theories of feature integration and attention engagement to prove the role of attention in computer vision at the encoding and decoding phase. The presented results of NSANet show the inclination towards attention engagement theory and a performance boost compared to the state-of-the-art noise-filtering deep convolutional neural networks.


title: Autoencoders as Pattern Filters

abstract: We discuss a simple approach to transform autoencoders into "pattern filters". Besides filtering, we show how this simple approach can be used also to build robust classifiers, by learning to filter only patterns of a given class.


title: Asynchronous Persistence with ASAP

abstract: Supporting atomic durability of updates for persistent memories is typically achieved with Write-Ahead Logging (WAL). WAL flushes log entries to persistent memory before making the actual data persistent to ensure that a consistent state can be recovered if a crash occurs. Performing WAL in hardware is attractive because it makes most aspects of log management transparent to software, and it completes log persist operations (LPs) and data persist operations (DPs) in the background, overlapping them with the execution of other instructions. Prior hardware logging solutions commit atomic regions synchronously. Once the end of a region is reached, all outstanding persist operations required for the region to commit must be completed before instruction execution may proceed. For undo logging, LPs and DPs are both performed synchronously to ensure that the region commits synchronously. For redo logging, DPs can be performed asynchronously, but LPs are performed synchronously to ensure that the region commits synchronously. In both cases, waiting for synchronous persist operations (LP or DP) at the end of an atomic region causes atomic regions to incur high latency. To tackle this limitation, we propose ASAP, a hardware logging solution that allows atomic regions to commit asynchronously. That is, once the end of an atomic region is reached, instruction execution may proceed without waiting for outstanding persist operations to complete. As such, both LPs and DPs can be performed asynchronously. The challenge with allowing atomic regions to commit asynchronously is that it can lead to control and data dependence violations in the commit order of the atomic regions, leaving data in an unrecoverable state in case of a crash. To address this issue, ASAP tracks and enforces control and data dependencies between atomic regions in hardware to ensure that the regions commit in the proper order.


title: Reentrant semiconducting behavior in polymerized fullerite structures with increasing sp3-carbon content

abstract: The electronic behavior of polymerized fullerite structures, ranging from one-dimensional to three-dimensional polymers, was studied using density functional theory. The bandgap across these structures decreases with the rise of sp3-carbon content until metallic behavior is observed. A further increase induces a reopening of the bandgap, revealing a reentrant semiconducting behavior in this class of materials. This behavior is understood in terms of the new electronic states originated by polymeric bonding and the effect of the volume reduction on the dispersion of sp2-states. This study highlights the fullerite polymers as a magnificent platform to tune electronic properties.


title: Isoperimetric conditions, lower semicontinuity, and existence results for perimeter functionals with measure data

abstract: We establish lower semicontinuity results for perimeter functionals with measure data on $\mathbb{R}^n$ and deduce the existence of minimizers to these functionals with Dirichlet boundary conditions, obstacles, or volume-constraints. In other words, we lay foundations of a perimeter-based variational approach to mean curvature measures on $\mathbb{R}^n$ capable of proving existence in various prescribed-mean-curvature problems with measure data. As crucial and essentially optimal assumption on the measure data we identify a new condition, called small-volume isoperimetric condition, which sharply captures cancellation effects and comes with surprisingly many properties and reformulations in itself. In particular, we show that the small-volume isoperimetric condition is satisfied for a wide class of $(n{-}1)$-dimensional measures, which are thus admissible in our theory. Our analysis includes infinite measures and semicontinuity results on very general domains.


title: Efficient physics-informed neural networks using hash encoding

abstract: Physics-informed neural networks (PINNs) have attracted a lot of attention in scientific computing as their functional representation of partial differential equation (PDE) solutions offers flexibility and accuracy features. However, their training cost has limited their practical use as a real alternative to classic numerical methods. Thus, we propose to incorporate multi-resolution hash encoding into PINNs to improve the training efficiency, as such encoding offers a locally-aware (at multi resolution) coordinate inputs to the neural network. Borrowed from the neural representation field community (NeRF), we investigate the robustness of calculating the derivatives of such hash encoded neural networks with respect to the input coordinates, which is often needed by the PINN loss terms. We propose to replace the automatic differentiation with finite-difference calculations of the derivatives to address the discontinuous nature of such derivatives. We also share the appropriate ranges for the hash encoding hyperparameters to obtain robust derivatives. We test the proposed method on three problems, including Burgers equation, Helmholtz equation, and Navier-Stokes equation. The proposed method admits about a 10-fold improvement in efficiency over the vanilla PINN implementation.


title: Recursive Nearest Neighbor Co-Kriging Models for Big Multiple Fidelity Spatial Data Sets

abstract: Big datasets are gathered daily from different remote sensing platforms. Recently, statistical co-kriging models, with the help of scalable techniques, have been able to combine such datasets by using spatially varying bias corrections. The associated Bayesian inference for these models is usually facilitated via Markov chain Monte Carlo (MCMC) methods which present (sometimes prohibitively) slow mixing and convergence because they require the simulation of high-dimensional random effect vectors from their posteriors given large datasets. To enable fast inference in big data spatial problems, we propose the recursive nearest neighbor co-kriging (RNNC) model. Based on this model, we develop two computationally efficient inferential procedures: a) the collapsed RNNC which reduces the posterior sampling space by integrating out the latent processes, and b) the conjugate RNNC, an MCMC free inference which significantly reduces the computational time without sacrificing prediction accuracy. An important highlight of conjugate RNNC is that it enables fast inference in massive multifidelity data sets by avoiding expensive integration algorithms. The efficient computational and good predictive performances of our proposed algorithms are demonstrated on benchmark examples and the analysis of the High-resolution Infrared Radiation Sounder data gathered from two NOAA polar orbiting satellites in which we managed to reduce the computational time from multiple hours to just a few minutes.


title: Path Integral Based Convolution and Pooling for Heterogeneous Graph Neural Networks

abstract: Graph neural networks (GNN) extends deep learning to graph-structure dataset. Similar to Convolutional Neural Networks (CNN) using on image prediction, convolutional and pooling layers are the foundation to success for GNN on graph prediction tasks. In the initial PAN paper, it uses a path integral based graph neural networks for graph prediction. Specifically, it uses a convolution operation that involves every path linking the message sender and receiver with learnable weights depending on the path length, which corresponds to the maximal entropy random walk. It further generalizes such convolution operation to a new transition matrix called maximal entropy transition (MET). Because the diagonal entries of the MET matrix is directly related to the subgraph centrality, it provide a trial mechanism for pooling based on centrality score. While the initial PAN paper only considers node features. We further extends its capability to handle complex heterogeneous graph including both node and edge features.


title: Cross-lingual Knowledge Transfer via Distillation for Multilingual Information Retrieval

abstract: In this paper, we introduce the approach behind our submission for the MIRACL challenge, a WSDM 2023 Cup competition that centers on ad-hoc retrieval across 18 diverse languages. Our solution contains two neural-based models. The first model is a bi-encoder re-ranker, on which we apply a cross-lingual distillation technique to transfer ranking knowledge from English to the target language space. The second model is a cross-encoder re-ranker trained on multilingual retrieval data generated using neural machine translation. We further fine-tune both models using MIRACL training data and ensemble multiple rank lists to obtain the final result. According to the MIRACL leaderboard, our approach ranks 8th for the Test-A set and 2nd for the Test-B set among the 16 known languages.


title: From Audio to Symbolic Encoding

abstract: Automatic music transcription (AMT) aims to convert raw audio to symbolic music representation. As a fundamental problem of music information retrieval (MIR), AMT is considered a difficult task even for trained human experts due to overlap of multiple harmonics in the acoustic signal. On the other hand, speech recognition, as one of the most popular tasks in natural language processing, aims to translate human spoken language to texts. Based on the similar nature of AMT and speech recognition (as they both deal with tasks of translating audio signal to symbolic encoding), this paper investigated whether a generic neural network architecture could possibly work on both tasks. In this paper, we introduced our new neural network architecture built on top of the current state-of-the-art Onsets and Frames, and compared the performances of its multiple variations on AMT task. We also tested our architecture with the task of speech recognition. For AMT, our models were able to produce better results compared to the model trained using the state-of-art architecture; however, although similar architecture was able to be trained on the speech recognition task, it did not generate very ideal result compared to other task-specific models.


title: A Multidatabase ExTRaction PipEline (METRE) for Facile Cross Validation in Critical Care Research

abstract: Transforming raw EHR data into machine learning model-ready inputs requires considerable effort. One widely used EHR database is Medical Information Mart for Intensive Care (MIMIC). Prior work on MIMIC-III cannot query the updated and improved MIMIC-IV version. Besides, the need to use multicenter datasets further highlights the challenge of EHR data extraction. Therefore, we developed an extraction pipeline that works on both MIMIC-IV and eICU Collaborative Research Database and allows for model cross validation using these 2 databases. Under the default choices, the pipeline extracted 38766 and 126448 ICU records for MIMIC-IV and eICU, respectively. Using the extracted time-dependent variables, we compared the Area Under the Curve (AUC) performance with prior works on clinically relevant tasks such as in-hospital mortality prediction. METRE achieved comparable performance with AUC 0.723- 0.888 across all tasks. Additionally, when we evaluated the model directly on MIMIC-IV data using a model trained on eICU, we observed that the AUC change can be as small as +0.019 or -0.015. Our open-source pipeline transforms MIMIC-IV and eICU into structured data frames and allows researchers to perform model training and testing using data collected from different institutions, which is of critical importance for model deployment under clinical contexts.


title: Tweets Under the Rubble: Detection of Messages Calling for Help in Earthquake Disaster

abstract: The importance of social media is again exposed in the recent tragedy of the 2023 Turkey and Syria earthquake. Many victims who were trapped under the rubble called for help by posting messages in Twitter. We present an interactive tool to provide situational awareness for missing and trapped people, and disaster relief for rescue and donation efforts. The system (i) collects tweets, (ii) classifies the ones calling for help, (iii) extracts important entity tags, and (iv) visualizes them in an interactive map screen. Our initial experiments show that the performance in terms of the F1 score is up to 98.30 for tweet classification, and 84.32 for entity extraction. The demonstration, dataset, and other related files can be accessed at https://github.com/avaapm/deprem


title: Comment on "Doppler signature in electrodynamic retarded potentials"

abstract: We analyze in great detail the mathematical derivations from the article "Doppler signature in electrodynamic retarded potentials" by Giovanni Perosa, Simone Di Mitri, William A. Barletta, and Fulvio Parmigiani, published in Physics Open 14, 100136 (2023).


title: Strategic (Timed) Computation Tree Logic

abstract: We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, i.e., STCTL is interpreted over networks of extended Timed Automata (TA) that either make synchronous moves or synchronise via joint actions. We consider several semantics regarding information: imperfect (i) and perfect (I), and recall: imperfect (r) and perfect (R). We prove that SCTL is more expressive than ATL for all semantics, and this holds for the timed versions as well. Moreover, the model checking problem for SCTL[ir] is of the same complexity as for ATL[ir], the model checking problem for STCTL[ir] is of the same complexity as for TCTL, while for STCTL[iR] it is undecidable as for ATL[iR]. The above results suggest to use SCTL[ir] and STCTL[ir] in practical applications. Therefore, we use the tool IMITATOR to support model checking of STCTL[ir].


title: GNNDelete: A General Strategy for Unlearning in Graph Neural Networks

abstract: Graph unlearning, which involves deleting graph elements such as nodes, node labels, and relationships from a trained graph neural network (GNN) model, is crucial for real-world applications where data elements may become irrelevant, inaccurate, or privacy-sensitive. However, existing methods for graph unlearning either deteriorate model weights shared across all nodes or fail to effectively delete edges due to their strong dependence on local graph neighborhoods. To address these limitations, we introduce GNNDelete, a novel model-agnostic layer-wise operator that optimizes two critical properties, namely, Deleted Edge Consistency and Neighborhood Influence, for graph unlearning. Deleted Edge Consistency ensures that the influence of deleted elements is removed from both model weights and neighboring representations, while Neighborhood Influence guarantees that the remaining model knowledge is preserved after deletion. GNNDelete updates representations to delete nodes and edges from the model while retaining the rest of the learned knowledge. We conduct experiments on seven real-world graphs, showing that GNNDelete outperforms existing approaches by up to 38.8% (AUC) on edge, node, and node feature deletion tasks, and 32.2% on distinguishing deleted edges from non-deleted ones. Additionally, GNNDelete is efficient, taking 12.3x less time and 9.3x less space than retraining GNN from scratch on WordNet18.


title: DFSNet: A Steerable Neural Beamformer Invariant to Microphone Array Configuration for Real-Time, Low-Latency Speech Enhancement

abstract: Invariance to microphone array configuration is a rare attribute in neural beamformers. Filter-and-sum (FS) methods in this class define the target signal with respect to a reference channel. However, this not only complicates formulation in reverberant conditions but also the network, which must have a mechanism to infer what the reference channel is. To address these issues, this study presents Delay Filter-and-Sum Network (DFSNet), a steerable neural beamformer invariant to microphone number and array geometry for causal speech enhancement. In DFSNet, acquired signals are first steered toward the speech source direction prior to the FS operation, which simplifies the task into the estimation of delay-and-summed reverberant clean speech. The proposed model is designed to incur low latency, distortion, and memory and computational burden, giving rise to high potential in hearing aid applications. Simulation results reveal comparable performance to noncausal state-of-the-art.


title: Generative Models for 3D Point Clouds

abstract: Point clouds are rich geometric data structures, where their three dimensional structure offers an excellent domain for understanding the representation learning and generative modeling in 3D space. In this work, we aim to improve the performance of point cloud latent-space generative models by experimenting with transformer encoders, latent-space flow models, and autoregressive decoders. We analyze and compare both generation and reconstruction performance of these models on various object types.


title: A charged Coulomb Bose gas with dipole-dipole interactions

abstract: We systematically study the properties of a charged Coulomb Bose gas with dipole-dipole interactions in the weak coupling limit at both zero and finite temperatures using the Hartree-Fock-Bogoliubov approach. We numerically analyze the collective excitations, the condensate fraction, the depletion, the chemical potential, and the static structure factor. Moreover, we compare our new findings with those of nondipolar charged Coulomb Bose gas. Our results reveal that the complex interplay of Coulomb and dipole-dipole interactions may modify the stability, the thermodynamics and the coherence of the system.


title: User-Centric Evaluation of OCR Systems for Kwak'wala

abstract: There has been recent interest in improving optical character recognition (OCR) for endangered languages, particularly because a large number of documents and books in these languages are not in machine-readable formats. The performance of OCR systems is typically evaluated using automatic metrics such as character and word error rates. While error rates are useful for the comparison of different models and systems, they do not measure whether and how the transcriptions produced from OCR tools are useful to downstream users. In this paper, we present a human-centric evaluation of OCR systems, focusing on the Kwak'wala language as a case study. With a user study, we show that utilizing OCR reduces the time spent in the manual transcription of culturally valuable documents -- a task that is often undertaken by endangered language community members and researchers -- by over 50%. Our results demonstrate the potential benefits that OCR tools can have on downstream language documentation and revitalization efforts.


title: Newton-type algorithms for inverse optimization I: weighted bottleneck Hamming distance and $\ell_\infty$-norm objectives

abstract: In minimum-cost inverse optimization problems, we are given a feasible solution to an underlying optimization problem together with a linear cost function, and the goal is to modify the costs by a small deviation vector so that the input solution becomes optimal. The difference between the new and the original cost functions can be measured in several ways. In this paper, we focus on two objectives: the weighted bottleneck Hamming distance and the weighted $\ell_\infty$-norm. We consider a general model in which the coordinates of the deviation vector are required to fall within given lower and upper bounds. For the weighted bottleneck Hamming distance objective, we present a simple, purely combinatorial algorithm that determines an optimal deviation vector in strongly polynomial time. For the weighted $\ell_\infty$-norm objective, we give a min-max characterization for the optimal solution, and provide a pseudo-polynomial algorithm for finding an optimal deviation vector that runs in strongly polynomial time in the case of unit weights. For both objectives, we assume that an algorithm with the same time complexity for solving the underlying combinatorial optimization problem is available. For both objectives, we also show how to extend the results to inverse optimization problems with multiple cost functions.


title: The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures

abstract: In 1969, Per Lindstrom proved his celebrated theorem characterising the first-order logic and established criteria for the first-order definability of formal theories for discrete structures. K. J. Barwise, S. Shelah, J. Vaananen and others extended Lindstrom's characterizability program to classes of infinitary logic systems, including a recent paper by M. Dzamonja and J. Vaananen on Karp's chain logic, which satisfies interpolation, undefinability of well-order, and is maximal in the class of logic systems with these properties. The novelty of the chain logic is in its new definition of satisfability. In our paper, we give a framework for Lindstrom's type characterizability of predicate logic systems interpreted semantically in models with objects based on measures (analytic structures). In particular, Hajek's Logic of Integral is redefined as an abstract logic with a new type of Hajek's satisfiability and constitutes a maximal logic in the class of logic systems for describing analytic structures with Lebesgue integrals and satisfying compactness, elementary chain condition, and weak negation.


title: An accurate and efficient approach to probabilistic conflict prediction

abstract: Conflict prediction is a vital component of path planning for autonomous vehicles. Prediction methods must be accurate for reliable navigation, but also computationally efficient to enable online path planning. Efficient prediction methods are especially crucial when testing large sets of candidate trajectories. We present a prediction method that has the same accuracy as existing methods, but up to an order of magnitude faster. This is achieved by rewriting the conflict prediction problem in terms of the first-passage time distribution using a dimension-reduction transform. First-passage time distributions are analytically derived for a subset of Gaussian processes describing vehicle motion. The proposed method is applicable to 2-D stochastic processes where the mean can be approximated by line segments, and the conflict boundary can be approximated by piece-wise straight lines. The proposed method was tested in simulation and compared to two probability flow methods, as well as a recent instantaneous conflict probability method. The results demonstrate a significant decrease of computation time.


title: Newton-type algorithms for inverse optimization II: weighted span objective

abstract: In inverse optimization problems, the goal is to modify the costs in an underlying optimization problem in such a way that a given solution becomes optimal, while the difference between the new and the original cost functions, called the deviation vector, is minimized with respect to some objective function. The $\ell_1$- and $\ell_\infty$-norms are standard objectives used to measure the size of the deviation. Minimizing the $\ell_1$-norm is a natural way of keeping the total change of the cost function low, while the $\ell_\infty$-norm achieves the same goal coordinate-wise. Nevertheless, none of these objectives is suitable to provide a balanced or fair change of the costs. In this paper, we initiate the study of a new objective that measures the difference between the largest and the smallest weighted coordinates of the deviation vector, called the weighted span. We give a min-max characterization for the minimum weighted span of a feasible deviation vector, and provide a Newton-type algorithm for finding one that runs in strongly polynomial time in the case of unit weights.


title: Control of the phonon band gap with isotopes in hexagonal boron nitride

abstract: The isotopic mass of constituent elements of materials has a well-known effect on the energy of vibrational modes. By means of monochromated scanning transmission electron microscopy we have experimentally studied the phonon bandstructure of hexagonal BN, where a phonon band gap appears between in-plane optical phonon modes and the lower energy part of the phonon spectrum. The size of the phonon band gap can be manipulated by the isotopic mass of the boron. While in $^{11}$BN the phonon band gap is about 7 meV wide, in $^{10}$BN the gap nearly closes, being an order of magnitude smaller (below 0.5 meV). This opens exciting options for manipulating terahertz wave propagation through isotopically structured devices having otherwise no interfaces between chemically distinct components.


title: Revisiting Schrodinger's fourth-order, real-valued wave equation and its implications to energy levels

abstract: In his seminal part IV, Ann. der Phys. Vol 81, 1926 paper, Schrodinger has developed a clear understanding about the wave equation that produces the correct quadratic dispersion relation for matter-waves and he first presents a real-valued wave equation that is 4th-order in space and 2nd-order in time. In view of the mathematical difficulties associated with the eigenvalue analysis of a 4th-order, differential equation in association with the structure of the Hamilton-Jacobi equation, Schrodinger splits the 4th-order real operator into the product of two, 2nd-order, conjugate complex operators and retains only one of the two complex operators to construct his iconic 2nd-order, complex-valued wave equation. In this paper we show that Schrodinger's original 4th-order, real-valued wave equation is a stiffer equation that produces higher energy levels than his 2nd-order, complex-valued wave equation that predicted with remarkable success the visible energy levels observed in the visible atomic line-spectra of the chemical elements. Accordingly, the 4th-order, real-valued wave equation is too stiff to predict the emitted energy levels from the electrons of the chemical elements; therefore, the paper concludes that Quantum Mechanics can only be described with the less stiff, 2nd-order complex-valued wave equation; unless in addition to the emitted visible energy there is also dark energy emitted.


title: Training neural networks with structured noise improves classification and generalization

abstract: The beneficial role of noise-injection in learning is a consolidated concept in the field of artificial neural networks, suggesting that even biological systems might take advantage of similar mechanisms to optimize their performance. The training-with-noise algorithm proposed by Gardner and collaborators is an emblematic example of a noise-injection procedure in recurrent networks, which can be used to model biological neural systems. We show how adding structure to noisy training data can substantially improve the algorithm performance, allowing the network to approach perfect retrieval of the memories and wide basins of attraction, even in the scenario of maximal injected noise. We also prove that the so-called Hebbian Unlearning rule coincides with the training-with-noise algorithm when noise is maximal and data are stable fixed points of the network dynamics.


title: Hybrid completely positive Markovian quantum-classical dynamics

abstract: A concise and self-contained derivation of hybrid quantum-classical dynamics is given in terms of Markovian master equations. Many previously known results are re-derived, revised, some of them completed or corrected. Using as simple method as possible, our goal is a brief introduction to state-of-the-art of hybrid dynamics, with a limited discussion of the implications for foundations. and without discussion of further relevance in quantum-gravity, or chemistry, numeric methods, etc. Hybrid dynamics is defined as special case of composite quantum dynamics where the observables of one of the two subsystems are restricted for the commuting set of diagonal operators in a fixed basis. With this restriction, the derivation of hybrid dynamical equations is clear conceptually and simple technically. Jump and diffusive dynamics follow in the form of hybrid master equations. Their stochastic interpretation (called unravellings) is derived. We discuss gauge-type ambiguities, problems of uniqueness, and covariance of the diffusive master equation. Also conditions of minimum noise and of monitoring the quantum trajectory are derived. We conclude that hybrid formalism is equivalent with standard Markovian theory of time-continuous quantum measurement (monitoring) on one hand, and is a motivating alternative formalism on the other hand.


title: The RTApipe framework for the gamma-ray real-time analysis software development

abstract: In the multi-messenger era, coordinating observations between astronomical facilities is mandatory to study transient phenomena (e.g. Gamma-ray bursts) and is achieved by sharing information with the scientific community through networks such as the Gamma-ray Coordinates Network. The facilities usually develop real-time scientific analysis pipelines to detect transient events, alert the astrophysical community, and speed up the reaction time of science alerts received from other observatories. We present in this work the RTApipe framework, designed to facilitate the development of real-time scientific analysis pipelines for present and future gamma-ray observatories. This framework provides pipeline architecture and automatisms, allowing the researchers to focus on the scientific aspects and integrate existing science tools developed with different technologies. The pipelines automatically execute all the configured analyses during the data acquisition. This framework can be interfaced with science alerts networks to perform follow-up analysis of transient events shared by other facilities. The analyses are performed in parallel and can be prioritised. The workload is highly scalable on a cluster of machines. The framework provides the required services using containerisation technology for easy deployment. We present the RTA pipelines developed for the AGILE space mission and the prototype of the SAG system for the ground-based future Cherenkov Telescope Array observatory confirming that the RTApipe framework can be used to successfully develop pipelines for the gamma-ray observatories, both space and ground-based.


title: Tangent-filling plane curves over finite fields

abstract: We study plane curves over finite fields whose tangent lines at smooth $\mathbb{F}_q$-points together cover all the points of $\mathbb{P}^2(\mathbb{F}_q)$.


title: Quantum dynamics is linear because quantum states are epistemic

abstract: According to quantum theory, a scientist in a sealed laboratory cannot tell whether they are inside a superposition or not. Consequently, so long as they remain isolated, they can assume without inconsistency that their measurements result in definite outcomes. We elevate this to the status of a general principle, which we call Local Definiteness. We apply this principle in the context of modifications of quantum theory that allow the dynamics to be non-linear. We prove that any such theory satisfies Local Definiteness if and only if its dynamics is linear. We further note that any interpretation that takes quantum states to be epistemic necessarily satisfies the principle, whereas interpretations that take quantum states to be ontic do not satisfy it, unless they make additional assumptions that amount to presupposing linearity of the dynamics. Therefore the reason why experiments to date have not found evidence of non-linear dynamics might simply be that quantum states are epistemic.