title: Fermi Observations of GRB 220426A: a burst similar to GRB 090902B

abstract: We report on a very bright, long-duration gamma-ray burst (GRB), GRB~220426A, observed by \emph{Fermi} satellite. GRB~220426A with total duration of $T_{90}=6$~s is composed with two main pulses and some sub-peaks. The spectral analysis of this burst with Band function reveals that both the time-integrated and the time-resolved spectra are very narrow with high $\alpha \gtrsim 0.2$ and low $\beta\lesssim -3.1$. It is strong reminiscent of GRB~090902B, a special GRB with identification of the photospheric emission. Then, we perform the spectral analysis of this burst based on a non-dissipated photospheric emission, which can be well modelled as the multicolor-blackbody with a cutoff power-law distribution of the thermal temperature. The spectral fittings reveal that the photospheric emission can well describe the radiation spectrum of this burst. We conclude that this burst would be a second burst in the class of GRB~090902B observed by \emph{Fermi} satellite. We also discuss the physics of photosphere and the origin of the high-energy component in GRB~220426A .


title: 3D-VFD: A Victim-free Detector against 3D Adversarial Point Clouds

abstract: 3D deep models consuming point clouds have achieved sound application effects in computer vision. However, recent studies have shown they are vulnerable to 3D adversarial point clouds. In this paper, we regard these malicious point clouds as 3D steganography examples and present a new perspective, 3D steganalysis, to counter such examples. Specifically, we propose 3D-VFD, a victim-free detector against 3D adversarial point clouds. Its core idea is to capture the discrepancies between residual geometric feature distributions of benign point clouds and adversarial point clouds and map these point clouds to a lower dimensional space where we can efficiently distinguish them. Unlike existing detection techniques against 3D adversarial point clouds, 3D-VFD does not rely on the victim 3D deep model's outputs for discrimination. Extensive experiments demonstrate that 3D-VFD achieves state-of-the-art detection and can effectively detect 3D adversarial attacks based on point adding and point perturbation while keeping fast detection speed.


title: NaI(Tl) crystal scintillator encapsulated in two organic-scintillator layers with pulse shape data analysis

abstract: Thallium-doped sodium iodide (NaI(Tl)) crystals are widely used in radiation detection applications, from gamma-ray spectroscopy to particle dark matter searches. However, if the crystal is exposed to relative humidity of even a few percent, its light emission degrades, making the crystal impractical as a detector. Surrounding the crystal with organic scintillators not only protects the surface of the crystal from humid air but also offers a new capability to tag backgrounds such as external gamma rays and surface contaminations. We developed a detector that is constructed by fully encasing a NaI(Tl) crystal in a plastic scintillator and then immersing the plastic-crystal assembly in liquid scintillator. Using data collected from this triple phoswich detector, a pulse shape analysis is able to identify the various radiation signals from the three scintillators. Additionally, we find that the crystal's emission quality is maintained for a month.


title: A reproducible experimental survey on biomedical sentence similarity: a string-based method sets the state of the art

abstract: This registered report introduces the largest, and for the first time, reproducible experimental survey on biomedical sentence similarity with the following aims: (1) to elucidate the state of the art of the problem; (2) to solve some reproducibility problems preventing the evaluation of most of current methods; (3) to evaluate several unexplored sentence similarity methods; (4) to evaluate an unexplored benchmark, called Corpus-Transcriptional-Regulation; (5) to carry out a study on the impact of the pre-processing stages and Named Entity Recognition (NER) tools on the performance of the sentence similarity methods; and finally, (6) to bridge the lack of reproducibility resources for methods and experiments in this line of research. Our experimental survey is based on a single software platform that is provided with a detailed reproducibility protocol and dataset as supplementary material to allow the exact replication of all our experiments. In addition, we introduce a new aggregated string-based sentence similarity method, called LiBlock, together with eight variants of current ontology-based methods and a new pre-trained word embedding model trained on the full-text articles in the PMC-BioC corpus. Our experiments show that our novel string-based measure sets the new state of the art on the sentence similarity task in the biomedical domain and significantly outperforms all the methods evaluated herein, except one ontology-based method. Likewise, our experiments confirm that the pre-processing stages, and the choice of the NER tool, have a significant impact on the performance of the sentence similarity methods. We also detail some drawbacks and limitations of current methods, and warn on the need of refining the current benchmarks. Finally, a noticeable finding is that our new string-based method significantly outperforms all state-of-the-art Machine Learning models evaluated herein.


title: Single-electron Nano-chip Free-electron Laser

abstract: A conventional free-electron laser is useful but large, driven by a beam with many relativistic electrons. Although, recently, keV electron beams have been used to excite broadband radiation from material chips, there remains a quest for a chip-size free-electron laser capable of emitting coherent radiation. Unfortunately, those keV emitters from electron microscopes or dielectric laser accelerator usually deliver a small current with discrete moving electrons separated by a distance of a few or tens of microns. To envisage a chip-size free-electron laser as a powerful research tool, we study in this paper achievable laser radiation from a single electron and an array of single electrons atop a nano-grating dielectric waveguide. In our study, thanks to the strong coupling between the electron and the guided wave in a structure with distributed feedback, a single 50-keV electron generates 1.5-um laser-like radiation at the Bragg resonance of a 31-um long silicon grating with a 400-nm thickness and 310-nm period. When driven by a train of single electrons repeating at 0.1 PHz, the nano-grating waveguide emits a strong laser radiation at the second harmonic of the excitation frequency. A discrete spectrum of Smith-Purcell radiation mediated by the waveguide modes is also predicted in theory and observed from simulation in the vacuum space above the grating waveguide. This study opens up the opportunity for applications requiring combined advantages from compact high-brightness electron and photon sources.


title: Kac-Rice formula: A contemporary overview of the main results and applications

abstract: The book develops the fundamental ideas of the famous Kac-Rice formula for vectorvalued random fields. This formula allows to compute the expectation and moments of the measure, and integrals with respect to this measure, of the sets of levels of such fields. After a presentation of the historical context of the Kac-Rice formula, we give an elementary demonstration of the co-area formula. This formula replaces the change of variable formula in multiple integrals and a direct application of this formula gives the Kac-Rice formula for almost all levels. We emphasize the necessity of having the formula for all levels, because for some applications one needs, for example, the formula for level zero.


title: Mean-variance portfolio selection with dynamic attention behavior in a hidden Markov model

abstract: In this paper, we study closed-loop equilibrium strategies for mean-variance portfolio selection problem in a hidden Markov model with dynamic attention behavior. In addition to the investment strategy, the investor's attention to news is introduced as a control of the accuracy of the news signal process. The objective is to find equilibrium strategies by numerically solving an extended HJB equation by using Markov chain approximation method. An iterative algorithm is constructed and its convergence is established. Numerical examples are also provided to illustrate the results.


title: A proof of a Melrose's trace formula

abstract: We give a new proof ofan extension of the Chazarain-Duistermaat-Guillemin wave traceformula to the case of 3D-contact manifolds.We use a normal form allowing to reduce to the case of the Heisenberg group.


title: Validation of a photogrammetric approach for the objective study of ancient bowed instruments

abstract: Some early violins have been reduced during their history to fit imposed morphological standards, while more recent ones have been built directly to these standards. We propose an objective photogrammetric approach to differentiate between a reduced and an unreduced instrument, whereby a three-dimensional mesh is studied geometrically by examining 2D slices. Our contribution is twofold. First, we validate the quality of the photogrammetric mesh through a comparison with reference images obtained by medical imaging, and conclude that a sub-millimetre accuracy is achieved. Then, we show how quantitative and qualitative features such as contour lines, channel of minima and a measure of asymmetry between the upper and lower surfaces of a violin can be automatically extracted from the validated photogrammetric meshes, allowing to successfully highlight differences between instruments.


title: Power Module Heat Sink Design Optimization with Ensembles of Data-Driven Polynomial Chaos Surrogate Models

abstract: We consider the problem of optimizing the design of a heat sink used for cooling an insulated gate bipolar transistor (IGBT) power module. The thermal behavior of the heat sink is originally estimated using a high-fidelity computational fluid dynamics (CFD) simulation, which renders numerical optimization too computationally demanding. To enable optimization studies, we substitute the CFD simulation model with an inexpensive polynomial surrogate model that approximates the relation between the device's design features and a relevant thermal quantity of interest. The surrogate model of choice is a data-driven polynomial chaos expansion (DD-PCE), which learns the aforementioned relation by means of polynomial regression. Advantages of the DD-PCE include its applicability in small-data regimes and its easily adaptable model structure. To address the issue of model-form uncertainty and model robustness in view of limited training and test data, ensembles of DD-PCEs are generated based on data re-shuffling. Then, using the full ensemble of surrogate models, the surrogate-based predictions are accompanied by uncertainty metrics such as mean value and variance. Once trained and tested in terms of accuracy and robustness, the ensemble of DD-PCE surrogates replaces the high-fidelity simulation model in optimization algorithms aiming to identify heat sink designs that optimize the thermal behavior of the IGBT under geometrical and operational constraints. Optimized heat sink designs are obtained for a computational cost much smaller than utilizing the original model in the optimization procedure. Due to ensemble modeling, the optimization results can also be assessed in terms of uncertainty and robustness. Comparisons against alternative surrogate modeling techniques illustrate why the DD-PCE should be preferred in the considered setting.


title: Modeling complex root motion of real random polynomials under differentiation

abstract: In this paper, we consider nonlocal, nonlinear partial differential equations to model anisotropic dynamics of complex root sets of random polynomials under differentiation. These equations aim to generalise the recent PDE obtained by Stefan Steinerberger (2019) in the real case, and the PDE obtained by Sean O'Rourke and Stefan Steinerberger (2020) in the radial case, which amounts to work in 1D. These PDEs approximate dynamics of the complex roots for random polynomials of sufficiently high degree n. The unit of the time t corresponds to n differentiations, and the increment $\Delta$t corresponds to 1 n. The general situation in 2D, in particular for complex roots of real polynomials, was not yet addressed. The purpose of this paper is to present a first attempt in that direction. We assume that the roots are distributed according to a regular distribution with a local homogeneity property (defined in the text), and that this property is maintained under differentiation. This allows us to derive a system of two coupled equations to model the motion. Our system could be interesting for other applications. The paper is illustrated with examples computed with the Maple system.


title: Gradient flows of modified Wasserstein distances and porous medium equations with nonlocal pressure

abstract: We study families of porous medium equation with nonlocal pressure. We construct their weak solutions via JKO schemes for modified Wasserstein distances. We also establish the regularization effect and decay estimates for the $L^p$ norms.


title: Convolution and square in abelian groups I

abstract: We prove that on the cyclic groups of odd order d, there exist non zero functions whose convolution square f*f(2t) is proportional to their square f(t)^2 when the proportionality constant is given by an imaginary quadratic integer of norm d which is equal to 1 modulo 2. The proof involves theta functions on elliptic curves with complex multiplication.


title: Mathematical Characterization of Private and Public Immune Repertoire Sequences

abstract: Diverse T and B cell repertoires play an important role in mounting effective immune responses against a wide range of pathogens and malignant cells. The number of unique T and B cell clones is characterized by T and B cell receptors (TCRs and BCRs), respectively. Although receptor sequences are generated probabilistically by recombination processes, clinical studies found a high degree of sharing of TCRs and BCRs among different individuals. In this work, we use a general probabilistic model for T/B cell receptor clone abundances to define "publicness" or "privateness" and information-theoretic measures for comparing the frequency of sampled sequences observed across different individuals. We derive mathematical formulae to quantify the mean and the variances of clone richness and overlap. Our results can be used to evaluate the effect of different sampling protocols on abundances of clones within an individual as well as the commonality of clones across individuals. Using synthetic and empirical TCR amino acid sequence data, we perform simulations to study expected clonal commonalities across multiple individuals. Based on our formulae, we compare these simulated results with the analytically predicted mean and variances of the repertoire overlap. Complementing the results on simulated repertoires, we derive explicit expressions for the richness and its uncertainty for specific, single-parameter truncated power-law probability distributions. Finally, the information loss associated with grouping together certain receptor sequences, as is done in spectratyping, is also evaluated. Our approach can be, in principle, applied under more general and mechanistically realistic clone generation models.


title: An Improved Adaptive Smo for Speed Estimation of Sensorless Dsfoc Induction Motor Drives and Stability Analysis using Lyapunov Theorem at Low Frequencies

abstract: In this paper, An Improved Adaptive Sliding Mode Observer (ASMO) is proposed to a Sensorless DSFOC Induction Motor Drives and their stability is analyzed. ASMO is used to estimate the Rotor Speed, Rotor Resistance, Flux, Stator and Rotor currents and the developed electromagnetic Torques.To improve the robustness and accuracy of an adaptive SMO during very low frequency operation, the sliding mode flux observer(SMFO) uses independent gains as the correction terms. The gains of current and rotor flux SMOs are designed using Lyapunov stability theory to guarantee the stability and fast convergence of the estimated variables. In this paper concentrated on Simulink Blocks and their graphs are analyzed with the help of mathematical approach. Also, comparison of results with the basic conventional controllers are done and the results proved that the proposed ASMO method shows excellent Transient and Steady state speed estimation by the Adaptive Estimators, particularly at low frequencies.


title: Measurement error of tracer-based velocimetry in single-phase turbulent flows with inhomogeneous refractive indices

abstract: Inhomogeneous refractive index fields lead to errors in optical flow velocity measurements. Former respective studies are mostly in quasi two-dimensional flows, and attribute the measurement errors to spatial gradients in the refractive index field, while less attention has been paid to flows with three-dimensional refractive index fields which usually change in space and in time. In this study, ray tracing simulations were carried out in a three-dimensional flow, which is from a direct numerical simulation of single-phase turbulent mixing of two fluids. Given the data of the numerical simulation as reference, the ray tracing simulation is used to quantify the measurement errors of the flow velocity and flow acceleration for tracer-based velocimetry, i.e. particle tracking velocimetry in this study. The errors of both flow velocity and flow acceleration are attributed to the spatial and the spatio-temporal gradients of the refractive indices, respectively, which are closely inherited from flow characteristics. While the dominant type of error depends on the studied flow, the main measurement error for the considered turbulent mixing flow is caused by the random error. When the maximum spatial difference of the refractive indices is about 10 to the power of -6, the relative random measurement error is about 1 % in velocity and about 200 % in acceleration, respectively. When the maximum index difference is about 0.01 (water), the relative random measurement errors of velocity and acceleration are 2000 % and 100,000%, respectively, for the flow considered in this study.


title: Uniqueness of phase retrieval from three measurements

abstract: In this paper we consider the question of finding an as small as possible family of operators $(T_j)_{j\in J}$ on $L^2(R)$ that does phase retrieval: every $\varphi$ is uniquely determined (up to a constant phase factor) by the phaseless data $(|T_j\varphi|)_{j\in J}$. This problem arises in various fields of applied sciences where usually the operators obey further restrictions. Of particular interest here are so-called {\em coded diffraction paterns} where the operators are of the form $T_j\varphi=\mathcal{F}m_j\varphi$, $\mathcal{F}$ the Fourier transform and $m_j\in L^\infty(R)$ are "masks". Here we explicitely construct three real-valued masks $m_1,m_2,m_3\in L^\infty(R)$ so that the associated coded diffraction patterns do phase retrieval. This implies that the three self-adjoint operators $T_j\varphi=\mathcal{F}[m_j\mathcal{F}^{-1}\varphi]$ also do phase retrieval. The proof uses complex analysis.We then show that some natural analogues of these operators in the finite dimensional setting do not always lead to the same uniqueness result due to an undersampling effect.


title: Revisiting PINNs: Generative Adversarial Physics-informed Neural Networks and Point-weighting Method

abstract: Physics-informed neural networks (PINNs) provide a deep learning framework for numerically solving partial differential equations (PDEs), and have been widely used in a variety of PDE problems. However, there still remain some challenges in the application of PINNs: 1) the mechanism of PINNs is unsuitable (at least cannot be directly applied) to exploiting a small size of (usually very few) extra informative samples to refine the networks; and 2) the efficiency of training PINNs often becomes low for some complicated PDEs. In this paper, we propose the generative adversarial physics-informed neural network (GA-PINN), which integrates the generative adversarial (GA) mechanism with the structure of PINNs, to improve the performance of PINNs by exploiting only a small size of exact solutions to the PDEs. Inspired from the weighting strategy of the Adaboost method, we then introduce a point-weighting (PW) method to improve the training efficiency of PINNs, where the weight of each sample point is adaptively updated at each training iteration. The numerical experiments show that GA-PINNs outperform PINNs in many well-known PDEs and the PW method also improves the efficiency of training PINNs and GA-PINNs.


title: Persian Natural Language Inference: A Meta-learning approach

abstract: Incorporating information from other languages can improve the results of tasks in low-resource languages. A powerful method of building functional natural language processing systems for low-resource languages is to combine multilingual pre-trained representations with cross-lingual transfer learning. In general, however, shared representations are learned separately, either across tasks or across languages. This paper proposes a meta-learning approach for inferring natural language in Persian. Alternately, meta-learning uses different task information (such as QA in Persian) or other language information (such as natural language inference in English). Also, we investigate the role of task augmentation strategy for forming additional high-quality tasks. We evaluate the proposed method using four languages and an auxiliary task. Compared to the baseline approach, the proposed model consistently outperforms it, improving accuracy by roughly six percent. We also examine the effect of finding appropriate initial parameters using zero-shot evaluation and CCA similarity.


title: Team formation and team performance: The balance between team freshness and repeat collaboration

abstract: Incorporating fresh members in teams is considered a pathway to team creativity. However, whether freshness improves team performance or not remains unclear, as well as the optimal involvement of fresh members for team performance. This study uses a group of authors on the byline of a publication as a proxy for a scientific team. We extend an indicator, i.e., team freshness, to measure the extent to which a scientific team incorporates new members, by calculating the fraction of new collaboration relations established within the team. Based on more than 43 million scientific publications covering more than a half-century of research from Microsoft Academic Graph, this study provides a holistic picture of the current development of team freshness by outlining the temporal evolution of freshness, and its disciplinary distribution. Subsequently, using a multivariable regression approach, we examine the association between team freshness and papers'short-term and long-term citations.The major findings are as follows: (1)team freshness in scientific teams has been increasing in the past half-century; (2)there exists an inverted-U-shaped association between team freshness and papers' citations in all the disciplines and in different periods;(3)the inverted-U-shaped relationship between team freshness and papers' citations is only found in small teams, while, in large teams, team freshness is significantly positively related to papers' citations.


title: Weak geodesics on prox-regular subsets of Riemannian manifolds

abstract: We give a definition of weak geodesics on prox-regular subsets of Riemannian manifolds as continuous curves with some weak regularities. Then obtaining a suitable Lipschitz constant of the projection map, we characterize weak geodesics on a prox-regular set with assigned end points as viscosity critical points of the energy functional.


title: Photosensitive SrMnO3

abstract: In recent years, photosensitive materials have been in huge demand because of their fascinating ability to convert absorbed photon energy to generate strain and henceforth tuning the physical properties. In this report we detect the photosensitive activity of SrMnO3. Using the power dependent and temperature dependent Raman study with different laser sources having wavelengths across the optical band gap of SrMnO3, we divulge the photosensitive character of SrMnO3 thin films. Upon laser light illumination, Raman modes soften and softening further increases with increase in laser power. Similar kind of mode variation is observed with increasing temperature at fixed laser power. XAS in presence of laser illumination, reveals the change in crystal field splitting associated with mode softening.


title: Discovery of recurrent flares of 6.7 GHz methanol maser emission in Cepheus A HW2

abstract: Context: Class II methanol masers at 6.7 GHz originate close to high-mass young stellar objects (HMYSOs). Their high sensitivity to local condition variations makes them a useful marker of the activity of the emerging massive stars. Aims: We aim to closely examine the variability of the 6.7 GHz methanol masers in Cep A HW2 using the new and archival single-dish and high-resolution Very-Long-Baseline Interferometry (VLBI) datasets. Methods: We monitored 6.7 GHz methanol masers towards the target between 2009 and 2021 using the Torun 32 m radio telescope, and analysed nine datasets of VLBI observations taken over 16 yr. Results: Faint, extremely redshifted maser emission located close to the presumed central star position and coincident with the radio jet shows flaring activity with a period of ~ 5 yr. Flares have an asymmetric profile with a rise-to-decay time ratio of 0.18 and relative amplitude higher than 10. The velocity of the flaring cloudlets drifts at a rate of 3-4 * 10^-5 km/s/d for about 11.5 yr of the monitoring. The time-lag between the peaks of the two flaring features implies a propagation speed of the exciting factor of ~ 1000 km/s. Synchronised and anticorrelated variations of the flux density of blue- and redshifted features begin ~ 2.5 yr after flares of the extremely redshifted emission.


title: Evaluating Non-LTE Spectral Inversions with ALMA and IBIS

abstract: We present observations of a solar plage in the millimeter-continuum with the ALMA and in the Ca 8542 and Na 5896 spectral lines with the Interferometric BIdimensional Spectrometer (IBIS). Our goal is to compare the measurement of local gas temperatures provided by ALMA with the temperature diagnostics provided by non-LTE inversions using STIC. In performing these inversions, we find that using column mass as the reference height scale, rather than optical depth, provides more reliable atmospheric profiles above the temperature minimum and that the treatment of non- LTE hydrogen ionization brings the inferred chromospheric temperatures into better agreement with the ALMA measurements. The Band 3 brightness temperatures are higher but well correlated with the inversion-derived temperatures at the height of formation of the Ca 8542 line core. The Band 6 temperatures instead do not show good correlations with the temperatures at any specific layer in the inverted atmospheres. We then performed inversions that included the millimeter continuum intensities as an additional constraint. Incorporating Band 3 generally resulted in atmospheres showing a strong temperature rise in the upper atmosphere, while including Band 6 led to significant regions of anomalously low temperatures at chromospheric heights. This is consistent with the idea that the Band 6 emission can come from a range of heights. The poor constraints on the chromospheric electron density with existing inversion codes introduces difficulties in determining the height(s) of formation of the millimeter continuum as well as uncertainties in the temperatures derived from the spectral lines.


title: Keller-Segel model with Logarithmic Interaction and nonlocal reaction term

abstract: We investigate the global existence and blow-up of solutions to the Keller-Segel model with nonlocal reaction term $u\left(M_0-\int_{\R^2} u dx\right)$ in dimension two. By introducing a transformation in terms of the total mass of the populations to deal with the lack of mass conservation, we exhibit that the qualitative behavior of solutions is decided by a critical value $8\pi$ for the growth parameter $M_0$ and the initial mass $m_0$. For general solutions, if both $m_0$ and $M_0$ are less than $8\pi$, solutions exist globally in time using the energy inequality, whereas there are finite time blow-up solutions for $M_0>8\pi$ (It involves the case $m_0<8\pi$) with any initial data and $M_0<8\pi<m_0$ with small initial second moment. We also show the infinite time blow-up for the critical case $M_0=8 \pi.$ Moreover, in the radial context, we show that if the initial data $u_0(r)<\frac{m_0}{M_0} \frac{8 \lambda}{(r^2+\lambda)^2}$ for some $\lambda>0$, then all the radially symmetric solutions are vanishing in $L_{loc}^1(\R^2)$ as $t \to \infty$. If the initial data $u_0(r)>\frac{m_0}{M_0} \frac{8 \lambda}{(r^2+\lambda)^2}$ for some $\lambda>0$, then there could exist a radially symmetric solution satisfying a mass concentration at the origin as $t \to \infty.$


title: Leapfrog: Certified Equivalence for Protocol Parsers

abstract: We present Leapfrog, a Coq-based framework for verifying equivalence of network protocol parsers. Our approach is based on an automata model of P4 parsers, and an algorithm for symbolically computing a compact representation of a bisimulation, using "leaps." Proofs are powered by a certified compilation chain from first-order entailments to low-level bitvector verification conditions, which are discharged using off-the-shelf SMT solvers. As a result, parser equivalence proofs in Leapfrog are fully automatic and push-button. We mechanically prove the core metatheory that underpins our approach, including the key transformations and several optimizations. We evaluate Leapfrog on a range of practical case studies, all of which require minimal configuration and no manual proof. Our largest case study uses Leapfrog to perform translation validation for a third-party compiler from automata to hardware pipelines. Overall, Leapfrog represents a step towards a world where all parsers for critical network infrastructure are verified. It also suggests directions for follow-on efforts, such as verifying relational properties involving security.


title: Ultra-broadband mid-infrared generation in dispersion-engineered thin-film lithium niobate

abstract: Thin-film lithium niobate (TFLN) is an emerging platform for compact, low-power nonlinear-optical devices, and has been used extensively for near-infrared frequency conversion. Recent work has extended these devices to mid-infrared wavelengths, where broadly tunable sources may be used for chemical sensing. To this end, we demonstrate efficient and broadband difference frequency generation between a fixed 1-micron pump and a tunable telecom source in uniformly-poled TFLN-on-sapphire by harnessing the dispersion-engineering available in tightly-confining waveguides. We show a simultaneous 1-2 order-of-magnitude improvement in conversion efficiency and ~5-fold enhancement of operating bandwidth for mid-infrared generation when compared to conventional lithium niobate waveguides. We also examine the effects of mid-infrared loss from surface-adsorbed water on the performance of these devices.


title: Nonconforming virtual elements for the biharmonic equation with Morley degrees of freedom on polygonal meshes

abstract: The lowest-order nonconforming virtual element extends the Morley triangular element to polygons for the approximation of the weak solution $u\in V:=H^2_0(\Omega)$ to the biharmonic equation. The abstract framework allows (even a mixture of) two examples of the local discrete spaces $V_h(P)$ and a smoother allows rough source terms $F\in V^*=H^{-2}(\Omega)$. The a priori and a posteriori error analysis in this paper circumvents any trace of second derivatives by some computable conforming companion operator $J:V_h\to V$ from the nonconforming virtual element space $V_h$. The operator $J$ is a right-inverse of the interpolation operator and leads to optimal error estimates in piecewise Sobolev norms without any additional regularity assumptions on $u\in V$. As a smoother the companion operator modifies the discrete right-hand side and then allows a quasi-best approximation. An explicit residual-based a posteriori error estimator is reliable and efficient up to data oscillations. Numerical examples display the predicted empirical convergence rates for uniform and optimal convergence rates for adaptive mesh-refinement.


title: Necessary and sufficient conditions for one-dimensional variational problems with applications to elasticity

abstract: This paper deals with necessary and sufficient conditions for weak and strong minimizers of functionals $\Phi(u)=\int_a^b f(x,u(x),u'(x))\,dx$, where $u\in C^1([a,b],{\mathbb R}^N)$. We first derive conditions which are simpler than the known ones, and then apply them to several particular problems, including stability problems in the elasticity theory. In particular, we solve some open problems in [A. Majumdar, A. Raisch: Stability of twisted rods, helices and buckling solutions in three dimensions, Nonlinearity 27 (2014), 2841--2867] by finding optimal conditions for the stability of a naturally straight Kirchhoff rod under various types of endpoint constraints.


title: Marginal and Joint Cross-Entropies & Predictives for Online Bayesian Inference, Active Learning, and Active Sampling

abstract: Principled Bayesian deep learning (BDL) does not live up to its potential when we only focus on marginal predictive distributions (marginal predictives). Recent works have highlighted the importance of joint predictives for (Bayesian) sequential decision making from a theoretical and synthetic perspective. We provide additional practical arguments grounded in real-world applications for focusing on joint predictives: we discuss online Bayesian inference, which would allow us to make predictions while taking into account additional data without retraining, and we propose new challenging evaluation settings using active learning and active sampling. These settings are motivated by an examination of marginal and joint predictives, their respective cross-entropies, and their place in offline and online learning. They are more realistic than previously suggested ones, building on work by Wen et al. (2021) and Osband et al. (2022), and focus on evaluating the performance of approximate BNNs in an online supervised setting. Initial experiments, however, raise questions on the feasibility of these ideas in high-dimensional parameter spaces with current BDL inference techniques, and we suggest experiments that might help shed further light on the practicality of current research for these problems. Importantly, our work highlights previously unidentified gaps in current research and the need for better approximate joint predictives.


title: Graviton to Photon Conversion via Parametric Resonance

abstract: We study the parametric resonance excitation of the electromagnetic field by a gravitational wave. We show that there is narrow band resonance. For an electromagnetic field in the vacuum the resonance occurs only in the second band, and its strength is thus suppressed by two powers of amplitude of the gravitational wave. On the other hand, in the case of an electromagnetic field in a medium with the speed of light smaller than 1 (in natural units), there is a band of Fourier modes which undergo resonance in the first band.


title: Global Type Inference for Featherweight Generic Java

abstract: Java's type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Java (FGJ), a functional Java core language. Given generic class headers and field specifications, our inference algorithm infers all method types if classes do not make use of polymorphic recursion. The algorithm is constraint-based and improves on prior work in several respects. Despite the restricted setting, global type inference for FGJ is NP-complete.


title: On data reduction for dynamic vector bin packing

abstract: We study a dynamic vector bin packing (DVBP) problem. We show hardness for shrinking arbitrary DVBP instances to size polynomial in the number of request types or in the maximal number of requests overlapping in time. We also present a simple polynomial-time data reduction algorithm that allows to recover $(1 + {\varepsilon})$-approximate solutions for arbitrary ${\varepsilon} > 0$. It shrinks instances from Microsoft Azure and Huawei Cloud by an order of magnitude for ${\varepsilon} = 0.02$.


title: Relation Extraction with Weighted Contrastive Pre-training on Distant Supervision

abstract: Contrastive pre-training on distant supervision has shown remarkable effectiveness in improving supervised relation extraction tasks. However, the existing methods ignore the intrinsic noise of distant supervision during the pre-training stage. In this paper, we propose a weighted contrastive learning method by leveraging the supervised data to estimate the reliability of pre-training instances and explicitly reduce the effect of noise. Experimental results on three supervised datasets demonstrate the advantages of our proposed weighted contrastive learning approach compared to two state-of-the-art non-weighted baselines.Our code and models are available at: https://github.com/YukinoWan/WCL


title: Understanding Dynamic Tactile Sensing for Liquid Property Estimation

abstract: Humans perceive the world by interacting with objects, which often happens in a dynamic way. For example, a human would shake a bottle to guess its content. However, it remains a challenge for robots to understand many dynamic signals during contact well. This paper investigates dynamic tactile sensing by tackling the task of estimating liquid properties. We propose a new way of thinking about dynamic tactile sensing: by building a light-weighted data-driven model based on the simplified physical principle. The liquid in a bottle will oscillate after a perturbation. We propose a simple physics-inspired model to explain this oscillation and use a high-resolution tactile sensor GelSight to sense it. Specifically, the viscosity and the height of the liquid determine the decay rate and frequency of the oscillation. We then train a Gaussian Process Regression model on a small amount of the real data to estimate the liquid properties. Experiments show that our model can classify three different liquids with 100% accuracy. The model can estimate volume with high precision and even estimate the concentration of sugar-water solution. It is data-efficient and can easily generalize to other liquids and bottles. Our work posed a physically-inspired understanding of the correlation between dynamic tactile signals and the dynamic performance of the liquid. Our approach creates a good balance between simplicity, accuracy, and generality. It will help robots to better perceive liquids in different environments such as kitchens, food factories, and pharmaceutical factories.


title: Graph Adaptive Semantic Transfer for Cross-domain Sentiment Classification

abstract: Cross-domain sentiment classification (CDSC) aims to use the transferable semantics learned from the source domain to predict the sentiment of reviews in the unlabeled target domain. Existing studies in this task attach more attention to the sequence modeling of sentences while largely ignoring the rich domain-invariant semantics embedded in graph structures (i.e., the part-of-speech tags and dependency relations). As an important aspect of exploring characteristics of language comprehension, adaptive graph representations have played an essential role in recent years. To this end, in the paper, we aim to explore the possibility of learning invariant semantic features from graph-like structures in CDSC. Specifically, we present Graph Adaptive Semantic Transfer (GAST) model, an adaptive syntactic graph embedding method that is able to learn domain-invariant semantics from both word sequences and syntactic graphs. More specifically, we first raise a POS-Transformer module to extract sequential semantic features from the word sequences as well as the part-of-speech tags. Then, we design a Hybrid Graph Attention (HGAT) module to generate syntax-based semantic features by considering the transferable dependency relations. Finally, we devise an Integrated aDaptive Strategy (IDS) to guide the joint learning process of both modules. Extensive experiments on four public datasets indicate that GAST achieves comparable effectiveness to a range of state-of-the-art models.


title: On a sum involving general arithmetic functions and the integral part function

abstract: Let $f$ be an arithmetic function satisfying some simple conditions. The aim of this paper is to establish an asymptotical formula for the quantity \[ S_f(x):=\sum_{n\leq x}\frac{f([x/n])}{[x/n]} \] as $x\rightarrow\infty$, where $[t]$ is the integral part of the real number $t$. This generalizes some recent results of Bordell\`es, Dai, Heyman, Pan and Shparlinski.


title: Bond Percolation in Small-World Graphs with Power-Law Distribution

abstract: \emph{Full-bond percolation} with parameter $p$ is the process in which, given a graph, for every edge independently, we delete the edge with probability $1-p$. Bond percolation is motivated by problems in mathematical physics and it is studied in parallel computing and network science to understand the resilience of distributed systems to random link failure and the spread of information in networks through unreliable links. Full-bond percolation is also equivalent to the \emph{Reed-Frost process}, a network version of \emph{SIR} epidemic spreading, in which the graph represents contacts among people and $p$ corresponds to the probability that a contact between an infected person and a susceptible one causes a transmission of the infection. We consider \emph{one-dimensional power-law small-world graphs} with parameter $\alpha$ obtained as the union of a cycle with additional long-range random edges: each pair of nodes $(u,v)$ at distance $L$ on the cycle is connected by a long-range edge $(u,v)$, with probability proportional to $1/L^\alpha$. Our analysis determines three phases for the percolation subgraph $G_p$ of the small-world graph, depending on the value of $\alpha$. 1) If $\alpha < 1$, there is a $p<1$ such that, with high probability, there are $\Omega(n)$ nodes that are reachable in $G_p$ from one another in $O(\log n)$ hops; 2) If $1 < \alpha < 2$, there is a $p<1$ such that, with high probability, there are $\Omega(n)$ nodes that are reachable in $G_p$ from one another in $\log^{O(1)}(n)$ hops; 3) If $\alpha > 2$, for every $p<1$, with high probability all connected components of $G_p$ have size $O(\log n)$. The setting of full-bond percolation in finite graphs studied in this paper, which is the one that corresponds to the network SIR model of epidemic spreading, had not been analyzed before.


title: Design of metamaterial-based heat manipulators by isogeometric shape optimization

abstract: There has been a growing interest in controlled heat flux manipulation to increase the efficiency of thermal apparatus. Heat manipulators control and manipulate heat flow. A key to the effective performance of these heat manipulators is their thermal design. Such designs can be achieved by a periodic assembly of unit cells (known as metamaterials or meta-structure), whose geometry and material properties can be optimized for a specific objective. In this work, we focus on thermal metamaterial-based heat manipulators such as thermal concentrator (which concentrates the heat flux in a specified region of the domain). The main scope of the current work is to optimize the shape of the heat manipulators using Particle Swarm Optimization (PSO) method. The geometry is defined using NURBS basis functions due to the higher smoothness and continuity and the thermal boundary value problem is solved using Isogeometric Analysis (IGA). Often, nodes as design variables (as in Lagrange finite element method) generate the serrate shapes of boundaries which need to be smoothened later. For the NURBS-based boundary with the control points as design variables, the required smoothness can be predefined through knot vectors and smoothening in the post-processing can be avoided. The optimized shape generated by PSO is compared with the other shape exploited in the literature. The effects of the number of design variables, the thermal conductivity of the materials used, as well as some of the geometry parameters on the optimum shapes are also demonstrated.


title: AdaMCT: Adaptive Mixture of CNN-Transformer for Sequential Recommendation

abstract: Sequential recommendation (SR) aims to model users dynamic preferences from a series of interactions. A pivotal challenge in user modeling for SR lies in the inherent variability of user preferences. An effective SR model is expected to capture both the long-term and short-term preferences exhibited by users, wherein the former can offer a comprehensive understanding of stable interests that impact the latter. To more effectively capture such information, we incorporate locality inductive bias into the Transformer by amalgamating its global attention mechanism with a local convolutional filter, and adaptively ascertain the mixing importance on a personalized basis through layer-aware adaptive mixture units, termed as AdaMCT. Moreover, as users may repeatedly browse potential purchases, it is expected to consider multiple relevant items concurrently in long-/short-term preferences modeling. Given that softmax-based attention may promote unimodal activation, we propose the Squeeze-Excitation Attention (with sigmoid activation) into SR models to capture multiple pertinent items (keys) simultaneously. Extensive experiments on three widely employed benchmarks substantiate the effectiveness and efficiency of our proposed approach. Source code is available at https://github.com/juyongjiang/AdaMCT.


title: Entity Alignment For Knowledge Graphs: Progress, Challenges, and Empirical Studies

abstract: Entity Alignment (EA) identifies entities across databases that refer to the same entity. Knowledge graph-based embedding methods have recently dominated EA techniques. Such methods map entities to a low-dimension space and align them based on their similarities. With the corpus of EA methodologies growing rapidly, this paper presents a comprehensive analysis of various existing EA methods, elaborating their applications and limitations. Further, we distinguish the methods based on their underlying algorithms and the information they incorporate to learn entity representations. Based on challenges in industrial datasets, we bring forward $4$ research questions (RQs). These RQs empirically analyse the algorithms from the perspective of \textit{Hubness, Degree distribution, Non-isomorphic neighbourhood,} and \textit{Name bias}. For Hubness, where one entity turns up as the nearest neighbour of many other entities, we define an $h$-score to quantify its effect on the performance of various algorithms. Additionally, we try to level the playing field for algorithms that rely primarily on name-bias existing in the benchmarking open-source datasets by creating a low name bias dataset. We further create an open-source repository for $14$ embedding-based EA methods and present the analysis for invoking further research motivations in the field of EA.


title: Accuracy Enhancement for Ear Acoustic Authentication Using Between-class Features

abstract: In existing biometric authentication methods, the user must perform an authentication operation such as placing a finger in a scanner or facing a camera. With ear acoustic authentication, acoustic characteristics of the ear canal are used as biometric information. Therefore, a person wearing earphones does not need to perform any authentication operation. In biometric authentication, it is necessary to minimize the false acceptance rate (FAR) so that no unauthorized user is misidentified as an authorized user. However, if the FAR is set low, it increases the false rejection rate (FRR), the rate at which authorized users are falsely recognized as unauthorized users. It has been reported that when FAR is 0.1%, the FRR in ear acoustic authentication reaches as much as 22%. In this study, we propose a method that reduces FRR and enhances authentication accuracy; it generates new ear canal acoustic characteristics called between-class (BC) features, which combine the ear canal acoustic characteristics of authorized and unauthorized users features. The proposed method uses a support vector machine to learn the BC features as the data of authorized users, then generates a hyperplane in an area close to that data. We hypothesize that this would decrease the possibility of misidentifying an unauthorized user as an authorized user and decrease the FRR when the FAR is 0.1%. To evaluate the performance of the proposed method, BC features were applied to ear acoustic authentication, and FAR and FRR were calculated. The FRR with FAR = 0.1% was 7.95% lower than with the previous method, and the equal error rate -- the error rate when FAR and FRR are equivalent -- decreased by 0.15%. These results confirmed that the proposed method can make ear acoustic authentication more convenient while maintaining a high level of security.


title: Probability trees and the value of a single intervention

abstract: The most fundamental problem in statistical causality is determining causal relationships from limited data. Probability trees, which combine prior causal structures with Bayesian updates, have been suggested as a possible solution. In this work, we quantify the information gain from a single intervention and show that both the anticipated information gain, prior to making an intervention, and the expected gain from an intervention have simple expressions. This results in an active-learning method that simply selects the intervention with the highest anticipated gain, which we illustrate through several examples. Our work demonstrates how probability trees, and Bayesian estimation of their parameters, offer a simple yet viable approach to fast causal induction.


title: Visual Attention-based Self-supervised Absolute Depth Estimation using Geometric Priors in Autonomous Driving

abstract: Although existing monocular depth estimation methods have made great progress, predicting an accurate absolute depth map from a single image is still challenging due to the limited modeling capacity of networks and the scale ambiguity issue. In this paper, we introduce a fully Visual Attention-based Depth (VADepth) network, where spatial attention and channel attention are applied to all stages. By continuously extracting the dependencies of features along the spatial and channel dimensions over a long distance, VADepth network can effectively preserve important details and suppress interfering features to better perceive the scene structure for more accurate depth estimates. In addition, we utilize geometric priors to form scale constraints for scale-aware model training. Specifically, we construct a novel scale-aware loss using the distance between the camera and a plane fitted by the ground points corresponding to the pixels of the rectangular area in the bottom middle of the image. Experimental results on the KITTI dataset show that this architecture achieves the state-of-the-art performance and our method can directly output absolute depth without post-processing. Moreover, our experiments on the SeasonDepth dataset also demonstrate the robustness of our model to multiple unseen environments.


title: Blackhole-Inspired Thermal Trapping with Graded Heat-Conduction Metadevices

abstract: Black holes are one of the most intriguing predictions of general relativity. So far, metadevices have enabled analogous black holes to trap light or sound in laboratory spacetime. However, trapping heat in a conductive ambient is still challenging because diffusive behaviors are directionless. Inspired by black holes, we construct graded heat-conduction metadevices to achieve thermal trapping, resorting to the imitated advection produced by graded thermal conductivities rather than the trivial solution of using insulation materials to confine thermal diffusion. We experimentally demonstrate thermal trapping for guiding hot spots to diffuse towards the center. Graded heat-conduction metadevices have advantages in energy-efficient thermal regulation because the imitated advection has a similar temperature field effect to the realistic advection that is usually driven by external energy sources. These results also provide insights into correlating transformation thermotics with other disciplines such as cosmology for emerging heat control schemes.


title: Secure Coding via Gaussian Random Fields

abstract: Inverse probability problems whose generative models are given by strictly nonlinear Gaussian random fields show the all-or-nothing behavior: There exists a critical rate at which Bayesian inference exhibits a phase transition. Below this rate, the optimal Bayesian estimator recovers the data perfectly, and above it the recovered data becomes uncorrelated. This study uses the replica method from the theory of spin glasses to show that this critical rate is the channel capacity. This interesting finding has a particular application to the problem of secure transmission: A strictly nonlinear Gaussian random field along with random binning can be used to securely encode a confidential message in a wiretap channel. Our large-system characterization demonstrates that this secure coding scheme asymptotically achieves the secrecy capacity of the Gaussian wiretap channel.


title: Improving Pedestrian Priority via Grouping and Virtual Lanes

abstract: The shared space design is applied in urban streets to support barrier-free movement and integrate traffic participants (such as pedestrians, cyclists and vehicles) into a common road space. Regardless of the low-speed environment, sharing space with motor vehicles can make vulnerable road users feel uneasy. Yet, walking in groups increases their confidence as well as influence the yielding behavior of drivers. Therefore, we propose an innovative approach to support the crossing of pedestrians via grouping and project the virtual lanes in shared spaces. This paper presents the important components of the crowd steering system, discusses the enablers and gaps in the current approach, and illustrates the proposed idea with concept diagrams.


title: Accretion rates in hierarchical triple systems with discs

abstract: Young multiple systems accrete most of their final mass in the first few Myr of their lifetime, during the protostellar and protoplanetary phases. Previous studies showed that in binary systems the majority of the accreted mass falls onto the lighter star, thus evolving to mass equalisation. However, young stellar systems often comprise more than two stars, which are expected to be in hierarchical configurations. Despite its astrophysical relevance, differential accretion in hierarchical systems remains to be understood. In this work, we investigate whether the accretion trends expected in binaries are valid for higher order multiples. We performed a set of 3D Smoothed Particle Hydrodynamics simulations of binaries and of hierarchical triples (HTs) embedded in an accretion disc, with the code Phantom. We identify for the first time accretion trends in HTs and their deviations compared to binaries. These deviations, due to the interaction of the small binary with the infalling material from the circum-triple disc, can be described with a semi-analytical prescription. Generally, the smaller binary of a HT accretes more mass than a single star of the same mass as the smaller binary. We found that in a HT, if the small binary is heavier than the third body, the standard differential accretion scenario (whereby the secondary accretes more of the mass) is hampered. Reciprocally, if the small binary is lighter than the third body, the standard differential accretion scenario is enhanced. The peculiar differential accretion mechanism we find in HTs is expected to affect their mass ratio distribution.


title: Parton distribution functions and intrinsic charm at LHCb

abstract: At LHCb, proton parton distribution functions (PDFs) can be studied in a unique phase space complementary to that accessible by ATLAS and CMS, corresponding to low and high values of Bjorken-$x$. The measurements of vector boson production in the forward region, with and without an associated jet, are presented. These measurements can be used to constrain the proton PDFs, and in particular, the production of a $Z$ boson in association with a $c$-jet can be studied to measure the intrinsic charm content of the proton.


title: Fair Termination of Multiparty Sessions

abstract: There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed by other participants. These sessions fall outside the scope of currently available session type systems that guarantee progress. In this work we propose the first type system ensuring that well-typed multiparty sessions, including those exhibiting the aforementioned dependencies, fairly terminate. Fair termination is termination under a fairness assumption that disregards those interactions deemed unfair and therefore unrealistic. Fair termination, combined with the usual safety properties ensured within sessions, not only is desirable per se, but it entails progress and enables a compositional form of static analysis such that the well-typed composition of fairly terminating sessions results in a fairly terminating program.


title: Cross-subject Action Unit Detection with Meta Learning and Transformer-based Relation Modeling

abstract: Facial Action Unit (AU) detection is a crucial task for emotion analysis from facial movements. The apparent differences of different subjects sometimes mislead changes brought by AUs, resulting in inaccurate results. However, most of the existing AU detection methods based on deep learning didn't consider the identity information of different subjects. The paper proposes a meta-learning-based cross-subject AU detection model to eliminate the identity-caused differences. Besides, a transformer-based relation learning module is introduced to learn the latent relations of multiple AUs. To be specific, our proposed work is composed of two sub-tasks. The first sub-task is meta-learning-based AU local region representation learning, called MARL, which learns discriminative representation of local AU regions that incorporates the shared information of multiple subjects and eliminates identity-caused differences. The second sub-task uses the local region representation of AU of the first sub-task as input, then adds relationship learning based on the transformer encoder architecture to capture AU relationships. The entire training process is cascaded. Ablation study and visualization show that our MARL can eliminate identity-caused differences, thus obtaining a robust and generalized AU discriminative embedding representation. Our results prove that on the two public datasets BP4D and DISFA, our method is superior to the state-of-the-art technology, and the F1 score is improved by 1.3% and 1.4%, respectively.


title: Deep Reinforcement Learning Based on Location-Aware Imitation Environment for RIS-Aided mmWave MIMO Systems

abstract: Reconfigurable intelligent surface (RIS) has recently gained popularity as a promising solution for improving the signal transmission quality of wireless communications with less hardware cost and energy consumption. This letter offers a novel deep reinforcement learning (DRL) algorithm based on a location-aware imitation environment for the joint beamforming design in an RIS-aided mmWave multiple-input multiple-output system. Specifically, we design a neural network to imitate the transmission environment based on the geometric relationship between the user's location and the mmWave channel. Following this, a novel DRL-based method is developed that interacts with the imitation environment using the easily available location information. Finally, simulation results demonstrate that the proposed DRL-based algorithm provides more robust performance without excessive interaction overhead compared to the existing DRL-based approaches.


title: Ab initio structural optimization at finite temperatures based on anharmonic phonon theory: Application to the structural phase transitions of BaTiO$_3$

abstract: We formulate a first-principle scheme for structural optimization at finite temperature ($T$) based on the self-consistent phonon (SCP) theory, which accurately takes into account the effect of strong phonon anharmonicity. The $T$-dependence of the shape of the unit cell and internal atomic configuration is determined by minimizing the variational free energy in the SCP theory. At each optimization step, the interatomic force constants in the new structure are calculated without running additional electronic structure calculations, which makes the method dramatically efficient. We demonstrate that the thermal expansion of silicon and the three-step structural phase transitions in BaTiO$_3$ and its pressure-temperature ($p$-$T$) phase diagram are successfully reproduced. The present formalism will open the way to the non-empirical prediction of physical properties at finite $T$ of materials having a complex structural phase diagram.


title: On-device modeling of user's social context and familiar places from smartphone-embedded sensor data

abstract: Context modeling and recognition represent complex tasks that allow mobile and ubiquitous computing applications to adapt to the user's situation. Current solutions mainly focus on limited context information generally processed on centralized architectures, potentially exposing users' personal data to privacy leakage, and missing personalization features. For these reasons on-device context modeling and recognition represent the current research trend in this area. Among the different information characterizing the user's context in mobile environments, social interactions and visited locations remarkably contribute to the characterization of daily life scenarios. In this paper we propose a novel, unsupervised and lightweight approach to model the user's social context and her locations based on ego networks directly on the user mobile device. Relying on this model, the system is able to extract high-level and semantic-rich context features from smartphone-embedded sensors data. Specifically, for the social context it exploits data related to both physical and cyber social interactions among users and their devices. As far as location context is concerned, we assume that it is more relevant to model the familiarity degree of a specific location for the user's context than the raw location data, both in terms of GPS coordinates and proximity devices. By using 5 real-world datasets, we assess the structure of the social and location ego networks, we provide a semantic evaluation of the proposed models and a complexity evaluation in terms of mobile computing performance. Finally, we demonstrate the relevance of the extracted features by showing the performance of 3 machine learning algorithms to recognize daily-life situations, obtaining an improvement of 3% of AUROC, 9% of Precision, and 5% in terms of Recall with respect to use only features related to physical context.


title: Detection of fully irreducible automorphisms in generalized Baumslag-Solitar groups

abstract: We define fully irreducible automorphisms of generalized Baumslag-Solitar groups in analogy with fully irreducible automorphisms of free groups. We first obtain a characterization of fully irreducible automorphisms analogous to a condition given by Kapovich. Next we discuss the existence of pseudo-periodic conjugacy classes based on the study of Nielsen paths in a train track representative. Finally we give an algorithm which finds out whether an automorphism with a train track representative is pseudo-atoroidal and fully irreducible.


title: Three Lagrangians for the complete-active space coupled-cluster method

abstract: Three fully variational formulations of the complete-active space coupled-cluster (CASCC) method are derived. The formulations include the ability to approximate the model vectors by smooth manifolds, thereby opening up the possibility for overcoming the exponential wall of scaling for model spaces of CAS type. In particular, model vectors of matrix-product states are considered, and it is argued that the present variational formulation allows not only favorably-scaling multireference coupled-cluster calculations, but also systematic correction of tailored coupled-cluster calculation and of quantum chemical density-matrix renormalization group methods, which are fast and polynomial scaling, but lacks the ability to properly resolve dynamical correlation at chemical accuracy. The extension of the variational formulations to the time-domain is also discussed, with derivations of abstract evolution equations.

categories: physics.chem-ph cond-mat.str-el physics.comp-ph quant-ph


title: No Feedback? No Worries! The art of guessing the right card

abstract: In 1998, Ciucu published "No-feedback card guessing for dovetail shuffles", an article which gives the optimal guessing strategy for $n$ cards ($n$ even) after $k$ riffle shuffles whenever $k>2\log_{2}\left(n\right)$. We discuss in this article the optimal guessing strategy and the asymptotic (in $n$) expected number of correct guesses for any fixed $k\geq1$. This complements the work achieved two decades ago by Ciucu.


title: LogiGAN: Learning Logical Reasoning via Adversarial Pre-training

abstract: We present LogiGAN, an unsupervised adversarial pre-training framework for improving logical reasoning abilities of language models. Upon automatic identifying logical reasoning phenomena in massive text corpus via detection heuristics, we train language models to predict the masked-out logical statements. Inspired by the facilitation effect of reflective thinking in human learning, we analogically simulate the learning-thinking process with an adversarial Generator-Verifier architecture to assist logic learning. LogiGAN implements a novel sequential GAN approach that (a) circumvents the non-differentiable challenge of the sequential GAN by leveraging the Generator as a sentence-level generative likelihood scorer with a learning objective of reaching scoring consensus with the Verifier; (b) is computationally feasible for large-scale pre-training with arbitrary target length. Both base and large size language models pre-trained with LogiGAN demonstrate obvious performance improvement on 12 datasets requiring general reasoning abilities, revealing the fundamental role of logic in broad reasoning, as well as the effectiveness of LogiGAN. Ablation studies on LogiGAN components reveal the relative orthogonality between linguistic and logic abilities and suggest that reflective thinking's facilitation effect might also generalize to machine learning.


title: Degenerations and order of graphs realized by finite abelian groups

abstract: Let G_1 and G_2 be two groups. If a group homomorphism \varphi : G_1 \longrightarrow G_2 maps a \in G_1 into b \in G_2 such that \varphi(a) = b, then we say a degenerates to b and if every element of G_1 degenerates to elements in G_2, then we say G_1 degenerates to G_2. In this paper, we study degeneration in graphs and show that degeneration in groups is a particular case of degeneration in graphs. We exhibit some interesting properties of degeneration in graphs. We use this concept to present a pictorial representation of graphs realized by finite abelian groups. We discus some partial orders on the set T_p_1 \dots T_p_n of all graphs realized by finite abelian p_r-groups, where each p_r, 1 \leq r \leq n, is a prime number. We show that each finite abelian p_r-group of rank n can be identified with saturated chains of Young diagrams in the poset T_p_1 \dots T_p_n. We present a combinatorial formula which represents the degree of a projective representation of a symmetric group. This formula determines the number of different saturated chains in T_p_1 \cdots T_p_n and the number of finite abelian groups of different orders.


title: Absolute exponential stability criteria of delay time-varying systems with sector-bounded nonlinearity: a comparison approach

abstract: Absolute exponential stability problem of delay time-varying systems (DTVS) with sector-bounded nonlinearity is presented in this paper. By using the comparison principle and properties of positive systems we derive several novel criteria of absolute exponential stability, for both continuous-time and discrete-time nonlinear DTVS. When applied to the time-invariant case, the obtained stability criteria are shown to cover and extend some previously known results, including, in particular, the result due to S.K. Persidskii in Ukrainian Mathematical Journal, vol. 57(2005). The theoretical results are illustrated by examples that can not be treated by the existing ones.


title: Slim curves, limit sets and spherical CR uniformisations

abstract: We consider here the $3$-sphere $\mathbf S^3$ seen as the boundary at infinity of the complex hyperbolic plane $\mathbf{H}^2_{\mathbf C}$. It comes equipped with a contact structure and two classes of special curves. First $\mathbf R$-circles are boundaries at infinity of totally real totally geodesic subspaces and are tangent to the contact distribution. Second, $\mathbf C$-circles, which are boundaries of complex totally geodesic subspaces and are transverse to the contact distribution. We define a quantitative notion, called slimness, that measures to what extent a continuous path in the sphere $\mathbf S^3$ is near to be an $\mathbf R$-circle. We analyze the classical foliation of the complement of an $\mathbf R$-circle by arcs of $\mathbf C$-circles. Next, we consider deformations of this situation where the $\mathbf R$-circle becomes a slim curve. We apply these concepts to the particular case where the slim curve is the limit set of a quasi-Fuchsian subgroup of $\mathrm{PU}(2,1)$. As a consequence, we describe a class of spherical CR uniformizations of certain cusped $3$-manifolds.


title: Atomistic Investigation of Elementary Dislocation Properties Influencing Mechanical Behaviour of $Cr_{15}Fe_{46}Mn_{17}Ni_{22}$ alloy and $Cr_{20}Fe_{70}Ni_{10}$ alloy

abstract: In this work, molecular dynamics (MD) simulations were used to investigate elementary dislocation properties in a Co-free high entropy (HEA) model alloy ($Cr_{15}Fe_{46}Mn_{17}Ni_{22}$ at. %) in comparison with a model alloy representative of Austenitic Stainless Steel (ASS) ($Cr_{20}Fe_{70}Ni_{10}$ at. %). Recently developed embedded-atom method (EAM) potentials were used to describe the atomic interactions in the alloys. Molecular Statics (MS) calculations were used to study the dislocation properties in terms of local stacking fault energy (SFE), dissociation distance while MD was used to investigate the dissociation distance under applied shear stress as a function of temperature and strain rate. It was shown that higher critical stress is required to move dislocations in the HEA alloy compared with the ASS model alloy. The theoretical investigation of simulation results of the dislocation mobility shows that a simple constitutive mobility law allows to predict dislocation velocity in both alloys over three orders of magnitude, covering the phonon drag regime and the thermally activated regime induced by dislocation unpinning from local hard configurations.


title: A sparse regression approach for populating dark matter halos and subhalos with galaxies

abstract: We use sparse regression methods (SRM) to build accurate and explainable models that predict the stellar mass of central and satellite galaxies as a function of properties of their host dark matter halos. SRM are machine learning algorithms that provide a framework for modelling the governing equations of a system from data. In contrast with other machine learning algorithms, the solutions of SRM methods are simple and depend on a relatively small set of adjustable parameters. We collect data from 35,459 galaxies from the EAGLE simulation using 19 redshift slices between $z=0$ and $z=4$ to parameterize the mass evolution of the host halos. Using an appropriate formulation of input parameters, our methodology can model satellite and central halos using a single predictive model that achieves the same accuracy as when predicted separately. This allows us to remove the somewhat arbitrary distinction between those two galaxy types and model them based only on their halo growth history. Our models can accurately reproduce the total galaxy stellar mass function and the stellar mass-dependent galaxy correlation functions ($\xi(r)$) of EAGLE. We show that our SRM model predictions of $\xi(r)$ is competitive with those from sub-halo abundance matching and might be comparable to results from extremely randomized trees. We suggest SRM as an encouraging approach for populating the halos of dark matter only simulations with galaxies and for generating mock catalogues that can be used to explore galaxy evolution or analyse forthcoming large-scale structure surveys.


title: Connection Probabilities of Multiple FK-Ising Interfaces

abstract: We find the scaling limits of a general class of boundary-to-boundary connection probabilities and multiple interfaces in the critical planar FK-Ising model, thus verifying predictions from the physics literature. We also discuss conjectural formulas using Coulomb gas integrals for the corresponding quantities in general critical planar random-cluster models with cluster-weight $q \in [1,4)$. Thus far, proofs for convergence, including ours, rely on discrete complex analysis techniques and are beyond reach for other values of $q$ than the FK-Ising model ($q=2$). Given the convergence of interfaces, the conjectural formulas for other values of $q$ could be verified similarly with relatively minor technical work. The limit interfaces are variants of $\mathrm{SLE}_\kappa$ curves (with $\kappa = 16/3$ for $q=2$). Their partition functions, that give the connection probabilities, also satisfy properties predicted for correlation functions in conformal field theory (CFT), expected to describe scaling limits of critical random-cluster models. We verify these properties for all $q \in [1,4)$, thus providing further evidence of the expected CFT description of these models.


title: Entanglement polygon inequality in qudit systems

abstract: Entanglement is one of important resources for quantum communication tasks. Most of results are focused on qubit entanglement. Our goal in this work is to characterize the multipartite high-dimensional entanglement. We firstly derive an entanglement polygon inequality for the $q$-concurrence, which manifests the relationship among all the "one-to-group" marginal entanglements in any multipartite qudit system. This implies lower and upper bounds for the marginal entanglement of any three-qudit system. We further extend to general entanglement distribution inequalities for high-dimensional entanglement in terms of the unified-$(r, s)$ entropy entanglement including Tsallis entropy, R\'{e}nyi entropy, and von Neumann entropy entanglement as special cases. These results provide new insights into characterizing bipartite high-dimensional entanglement in quantum information processing.


title: Recognising elliptic manifolds

abstract: We show that the problem of deciding whether a closed three-manifold admits an elliptic structure lies in NP. Furthermore, determining the homeomorphism type of an elliptic manifold lies in the complexity class FNP. These are both consequences of the following result. Suppose that M is a lens space which is neither RP^3 nor a prism manifold. Suppose that T is a triangulation of M. Then there is a loop, in the one-skeleton of the 86th iterated barycentric subdivision of T, whose simplicial neighbourhood is a Heegaard solid torus for M.


title: Markov Chain Monte Carlo for Continuous-Time Switching Dynamical Systems

abstract: Switching dynamical systems are an expressive model class for the analysis of time-series data. As in many fields within the natural and engineering sciences, the systems under study typically evolve continuously in time, it is natural to consider continuous-time model formulations consisting of switching stochastic differential equations governed by an underlying Markov jump process. Inference in these types of models is however notoriously difficult, and tractable computational schemes are rare. In this work, we propose a novel inference algorithm utilizing a Markov Chain Monte Carlo approach. The presented Gibbs sampler allows to efficiently obtain samples from the exact continuous-time posterior processes. Our framework naturally enables Bayesian parameter estimation, and we also include an estimate for the diffusion covariance, which is oftentimes assumed fixed in stochastic differential equation models. We evaluate our framework under the modeling assumption and compare it against an existing variational inference approach.


title: Twist Angle Controlled Collinear Edelstein Effect in van der Waals Heterostructures

abstract: The generation of spatially homogeneous spin polarization by application of electric current is a fundamental manifestation of symmetry-breaking spin--orbit coupling (SOC) in solid-state systems, which underpins a wide range of spintronic applications. Here, we show theoretically that twisted van der Waals heterostructures with proximity-induced SOC are candidates par excellence to realize exotic spin-charge transport phenomena due to their highly tunable momentum-space spin textures. Specifically, we predict that graphene/group-VI dichalcogenide bilayers support room temperature spin--current responses that can be manipulated via twist-angle control. For critical twist angles, the non-equilibrium spin density is pinned parallel to the applied current. This effect is robust against twist-angle disorder, with graphene/$\text{WSe}_{2}$ possessing a critical angle (purely collinear response) of $\theta_{c} \simeq 14^{\circ}$. A simple electrical detection scheme to isolate the collinear Edelstein effect is proposed.


title: Experimental Comparison of Cap and Cup Probabilistically Shaped PAM for O-Band IM/DD Transmission System

abstract: For 200Gbit/s net rates, uniform PAM-4, 6 and 8 are experimentally compared against probabilistic shaped PAM-8 cap and cup variants. In back-to-back and 20km measurements, cap shaped 80GBd PAM-8 outperforms 72GBd PAM-8 and 83GBd PAM-6 by up to 3.50dB and 0.8dB in receiver sensitivity, respectively


title: Entity Alignment with Reliable Path Reasoning and Relation-Aware Heterogeneous Graph Transformer

abstract: Entity Alignment (EA) has attracted widespread attention in both academia and industry, which aims to seek entities with same meanings from different Knowledge Graphs (KGs). There are substantial multi-step relation paths between entities in KGs, indicating the semantic relations of entities. However, existing methods rarely consider path information because not all natural paths facilitate for EA judgment. In this paper, we propose a more effective entity alignment framework, RPR-RHGT, which integrates relation and path structure information, as well as the heterogeneous information in KGs. Impressively, an initial reliable path reasoning algorithm is developed to generate the paths favorable for EA task from the relation structures of KGs, which is the first algorithm in the literature to successfully use unrestricted path information. In addition, to efficiently capture heterogeneous features in entity neighborhoods, a relation-aware heterogeneous graph transformer is designed to model the relation and path structures of KGs. Extensive experiments on three well-known datasets show RPR-RHGT significantly outperforms 11 state-of-the-art methods, exceeding the best performing baseline up to 8.62% on Hits@1. We also show its better performance than the baselines on different ratios of training set, and harder datasets.


title: On the numerical index of the real two-dimensional $L_p$ space

abstract: We compute the numerical index of the two-dimensional real $L_p$ space for $\frac65\leq p\leq \frac32$ and $3\leq p\leq 6$.


title: Evaluation of Transfer Learning for Polish with a Text-to-Text Model

abstract: We introduce a new benchmark for assessing the quality of text-to-text models for Polish. The benchmark consists of diverse tasks and datasets: KLEJ benchmark adapted for text-to-text, en-pl translation, summarization, and question answering. In particular, since summarization and question answering lack benchmark datasets for the Polish language, we describe their construction and make them publicly available. Additionally, we present plT5 - a general-purpose text-to-text model for Polish that can be fine-tuned on various Natural Language Processing (NLP) tasks with a single training objective. Unsupervised denoising pre-training is performed efficiently by initializing the model weights with a multi-lingual T5 (mT5) counterpart. We evaluate the performance of plT5, mT5, Polish BART (plBART), and Polish GPT-2 (papuGaPT2). The plT5 scores top on all of these tasks except summarization, where plBART is best. In general (except for summarization), the larger the model, the better the results. The encoder-decoder architectures prove to be better than the decoder-only equivalent.


title: Software Fairness: An Analysis and Survey

abstract: In the last decade, researchers have studied fairness as a software property. In particular, how to engineer fair software systems? This includes specifying, designing, and validating fairness properties. However, the landscape of works addressing bias as a software engineering concern is unclear, i.e., techniques and studies that analyze the fairness properties of learning-based software. In this work, we provide a clear view of the state-of-the-art in software fairness analysis. To this end, we collect, categorize and conduct an in-depth analysis of 164 publications investigating the fairness of learning-based software systems. Specifically, we study the evaluated fairness measure, the studied tasks, the type of fairness analysis, the main idea of the proposed approaches, and the access level (e.g., black, white, or grey box). Our findings include the following: (1) Fairness concerns (such as fairness specification and requirements engineering) are under-studied; (2) Fairness measures such as conditional, sequential, and intersectional fairness are under-explored; (3) Unstructured datasets (e.g., audio, image, and text) are barely studied for fairness analysis; and (4) Software fairness analysis techniques hardly employ white-box, in-processing machine learning (ML) analysis methods. In summary, we observed several open challenges including the need to study intersectional/sequential bias, policy-based bias handling, and human-in-the-loop, socio-technical bias mitigation.


title: Coherence properties of electron beam activated emitters in hexagonal boron nitride under resonant excitation

abstract: Two dimensional materials are becoming increasingly popular as a platform for studies of quantum phenomena and for the production of prototype quantum technologies. Quantum emitters in 2D materials can host two level systems that can act as qubits for quantum information processing. Here, we characterize the behavior of position-controlled quantum emitters in hexagonal boron nitride at cryogenic temperatures. Over two dozen sites, we observe an ultra-narrow distribution of the zero phonon line at ~436 nm, together with strong linearly polarized emission. We employ resonant excitation to characterize the emission lineshape and find spectral diffusion and phonon broadening contribute to linewidths in the range 1-2 GHz. Rabi oscillations are observed at a range of resonant excitation powers, and under 1 ${\mu}$W excitation a coherent superposition is maintained up to 0.90 ns. Our results are promising for future employment of quantum emitters in hBN for scalable quantum technologies.


title: PhoCaL: A Multi-Modal Dataset for Category-Level Object Pose Estimation with Photometrically Challenging Objects

abstract: Object pose estimation is crucial for robotic applications and augmented reality. Beyond instance level 6D object pose estimation methods, estimating category-level pose and shape has become a promising trend. As such, a new research field needs to be supported by well-designed datasets. To provide a benchmark with high-quality ground truth annotations to the community, we introduce a multimodal dataset for category-level object pose estimation with photometrically challenging objects termed PhoCaL. PhoCaL comprises 60 high quality 3D models of household objects over 8 categories including highly reflective, transparent and symmetric objects. We developed a novel robot-supported multi-modal (RGB, depth, polarisation) data acquisition and annotation process. It ensures sub-millimeter accuracy of the pose for opaque textured, shiny and transparent objects, no motion blur and perfect camera synchronisation. To set a benchmark for our dataset, state-of-the-art RGB-D and monocular RGB methods are evaluated on the challenging scenes of PhoCaL.


title: Anomaly detection using prediction error with Spatio-Temporal Convolutional LSTM

abstract: In this paper, we propose a novel method for video anomaly detection motivated by an existing architecture for sequence-to-sequence prediction and reconstruction using a spatio-temporal convolutional Long Short-Term Memory (convLSTM). As in previous work on anomaly detection, anomalies arise as spatially localised failures in reconstruction or prediction. In experiments with five benchmark datasets, we show that using prediction gives superior performance to using reconstruction. We also compare performance with different length input/output sequences. Overall, our results using prediction are comparable with the state of the art on the benchmark datasets.


title: Regex in a Time of Deep Learning: The Role of an Old Technology in Age Discrimination Detection in Job Advertisements

abstract: Deep learning holds great promise for detecting discriminatory language in the public sphere. However, for the detection of illegal age discrimination in job advertisements, regex approaches are still strong performers. In this paper, we investigate job advertisements in the Netherlands. We present a qualitative analysis of the benefits of the 'old' approach based on regexes and investigate how neural embeddings could address its limitations.


title: Exploiting Social Media Content for Self-Supervised Style Transfer

abstract: Recent research on style transfer takes inspiration from unsupervised neural machine translation (UNMT), learning from large amounts of non-parallel data by exploiting cycle consistency loss, back-translation, and denoising autoencoders. By contrast, the use of self-supervised NMT (SSNMT), which leverages (near) parallel instances hidden in non-parallel data more efficiently than UNMT, has not yet been explored for style transfer. In this paper we present a novel Self-Supervised Style Transfer (3ST) model, which augments SSNMT with UNMT methods in order to identify and efficiently exploit supervisory signals in non-parallel social media posts. We compare 3ST with state-of-the-art (SOTA) style transfer models across civil rephrasing, formality and polarity tasks. We show that 3ST is able to balance the three major objectives (fluency, content preservation, attribute transfer accuracy) the best, outperforming SOTA models on averaged performance across their tested tasks in automatic and human evaluation.


title: DRalgo: a package for effective field theory approach for thermal phase transitions

abstract: DRalgo is an algorithmic implementation that constructs an effective, dimensionally reduced, high-temperature field theory for generic models. The corresponding Mathematica package automatically performs the matching to next-to-leading order. This includes two-loop thermal corrections to scalar and Debye masses as well as one-loop thermal corrections to couplings. DRalgo also allows for integrating out additional heavy scalars. Along the way, the package provides leading-order beta functions for general gauge-charges and fermion-families; both in the fundamental and in the effective theory. Finally, the package computes the finite-temperature effective potential within the effective theory. The article explains the theory of the underlying algorithm while introducing the software on a pedagogical level.


title: Anomalous ballistic scaling in the tensionless or inviscid Kardar-Parisi-Zhang equation

abstract: The one-dimensional Kardar-Parisi-Zhang (KPZ) equation is becoming an overarching paradigm for the scaling of nonequilibrium, spatially extended, classical and quantum systems with strong correlations. Recent analytical solutions have uncovered a rich structure regarding its scaling exponents and fluctuation statistics. However, the zero surface tension or zero viscosity case eludes such analytical solutions and has remained ill-understood. Using numerical simulations, we elucidate a well-defined universality class for this case that differs from that of the viscous case, featuring intrinsically anomalous kinetic roughening, despite previous expectations for systems with local interactions and time-dependent noise and ballistic dynamics. The latter may be relevant to recent quantum spin chain experiments which measure KPZ and ballistic relaxation under different conditions. We identify the ensuing set of scaling exponents in previous discrete interface growth models related with isotropic percolation, and show it to describe the fluctuations of additional continuum systems related with the noisy Korteweg-de Vries equation. Along this process, we additionally elucidate the universality class of the related inviscid stochastic Burgers equation.

categories: cond-mat.stat-mech nlin.AO physics.data-an physics.flu-dyn quant-ph


title: Ensuring the Safety of Uncertified Linear State-Feedback Controllers via Switching

abstract: Sustained research efforts have been devoted to learning optimal controllers for linear stochastic dynamical systems with unknown parameters, but due to the corruption of noise, learned controllers are usually uncertified in the sense that they may destabilize the system. To address this potential instability, we propose a "plug-and-play" modification to the uncertified controller which falls back to a known stabilizing controller when the norm of the state exceeds a certain threshold. We show that the switching strategy enhances the safety of the uncertified controller by making the linear-quadratic cost bounded even if the underlying linear feedback gain is destabilizing. We also prove the near-optimality of the proposed strategy by quantifying the maximum performance loss caused by switching as asymptotically negligible. Finally, we demonstrate the effectiveness of the proposed switching strategy using simulation on an industrial process example.


title: Transparent Serverless execution of Python multiprocessing applications

abstract: Access transparency means that both local and remote resources are accessed using identical operations. With transparency, unmodified single-machine applications could run over disaggregated compute, storage, and memory resources. Hiding the complexity of distributed systems through transparency would have great benefits, like scaling-out local-parallel scientific applications over flexible disaggregated resources in the Cloud. This paper presents a performance evaluation where we assess the feasibility of access transparency over state-of-the-art Cloud disaggregated resources for Python multiprocessing applications. We have interfaced the multiprocessing module with an implementation that transparently runs processes on serverless functions and uses an in-memory data store for shared state. To evaluate transparency, we run in the Cloud four unmodified applications: Uber Research's Evolution Strategies, Baselines-AI's Proximal Policy Optimization, Pandaral.lel's dataframe, and ScikitLearn's Hyperparameter tuning. We compare execution time and scalability of the same application running over disaggregated resources using our library, with the single-machine Python multiprocessing libraries in a large VM. For equal resources, applications efficiently using message-passing abstractions achieve comparable results despite the significant overheads of remote communication. Other shared-memory intensive applications do not perform due to high remote memory latency. The results show that Python's multiprocessing library design is an enabler towards transparency: legacy applications using efficient disaggregated abstractions can transparently scale beyond VM limited resources for increased parallelism without changing the underlying code or architecture.


title: Reconfigurable Intelligent Surface: MIMO or radiating sheet?

abstract: A Reconfigurable Intelligent Surface (RIS) redirects and possibly modifies the properties of incident waves, with the aim to restore non-line-of-sight communication links. Composed of elementary scatterers, the RIS has been so far treated as a collection of point scatterers with properties similar to antennas in an equivalent massive MIMO communication link. Despite the discrete nature of the RIS, current design approaches often treat the RIS as a continuous radiating surface, which is subsequently discretized. Here, we investigate the connection between the two approaches in an attempt to bridge the two different perspectives. We analytically find the factor that renders the two approaches equivalent and we demonstrate our findings with examples of RIS elements modeled as antennas with commonly used radiation patterns and properties consistent with antenna theory. We analyze the equivalence between the two theoretical approaches with respect to design aspects of the RIS elements, such as gain, directivity and coupling between elements, with the aim to provide insight into the observed discrepancies, the understanding of which is crucial for assessing the RIS efficiency.

categories: physics.app-ph cs.SY eess.SP eess.SY physics.class-ph physics.optics


title: Generating fine-grained surrogate temporal networks

abstract: Temporal networks are essential for modeling and understanding systems whose behavior varies in time, from social interactions to biological systems. Often, however, real-world data are prohibitively expensive to collect in a large scale or unshareable due to privacy concerns. A promising way to bypass the problem consists in generating arbitrarily large and anonymized synthetic graphs with the properties of real-world networks, namely `surrogate networks'. Until now, the generation of realistic surrogate temporal networks has remained an open problem, due to the difficulty of capturing both the temporal and topological properties of the input network, as well as their correlations, in a scalable model. Here, we propose a novel and simple method for generating surrogate temporal networks. Our method decomposes the input network into star-like structures evolving in time. Then those structures are used as building blocks to generate a surrogate temporal network. Our model vastly outperforms current methods across multiple examples of temporal networks in terms of both topological and dynamical similarity. We further show that beyond generating realistic interaction patterns, our method is able to capture intrinsic temporal periodicity of temporal networks, all with an execution time lower than competing methods by multiple orders of magnitude. The simplicity of our algorithm makes it easily interpretable, extendable and algorithmically scalable.

categories: cs.SI cs.CY physics.data-an physics.soc-ph


title: Lessons Learned: Defending Against Property Inference Attacks

abstract: This work investigates and evaluates multiple defense strategies against property inference attacks (PIAs), a privacy attack against machine learning models. Given a trained machine learning model, PIAs aim to extract statistical properties of its underlying training data, e.g., reveal the ratio of men and women in a medical training data set. While for other privacy attacks like membership inference, a lot of research on defense mechanisms has been published, this is the first work focusing on defending against PIAs. With the primary goal of developing a generic mitigation strategy against white-box PIAs, we propose the novel approach property unlearning. Extensive experiments with property unlearning show that while it is very effective when defending target models against specific adversaries, property unlearning is not able to generalize, i.e., protect against a whole class of PIAs. To investigate the reasons behind this limitation, we present the results of experiments with the explainable AI tool LIME. They show how state-of-the-art property inference adversaries with the same objective focus on different parts of the target model. We further elaborate on this with a follow-up experiment, in which we use the visualization technique t-SNE to exhibit how severely statistical training data properties are manifested in machine learning models. Based on this, we develop the conjecture that post-training techniques like property unlearning might not suffice to provide the desirable generic protection against PIAs. As an alternative, we investigate the effects of simpler training data preprocessing methods like adding Gaussian noise to images of a training data set on the success rate of PIAs. We conclude with a discussion of the different defense approaches, summarize the lessons learned and provide directions for future work.