title: A Simple Molecular Model for Hydrated Silicate Ionic Liquids, a Realistic Zeolite Precursor

abstract: Despite the widespread use of zeolites in chemical industry, their formation process is not fully understood due to the complex and heterogeneous structure of traditional synthesis media. Hydrated silicate ionic liquids (HSILs) have been proposed as an alternative. They are truly homogeneous and transparent mixtures with low viscosity, facilitating experimental characterization. Interestingly, their homogeneous nature and simple speciation brings realistic molecular models of a zeolite growth liquid within reach for the first time. In this work, a simple molecular model is developed that gives insight into the crucial role of the alkali cations (sodium, potassium, rubidium and cesium). Thereby molecular dynamics simulations are combined with experimental measurements to demonstrate that the HSIL liquid structure strongly depends on the charge density and concentration of the alkali cation. As the water content increases, it transitions from a glassy network with fast ion exchange to an aqueous solution containing long-lasting, solvated ion pairs. Furthermore, simulations reveal that the cation is capable of bringing several silicate monomers together in the glassy network, displaying perfect orientations for condensation reactions that underlie zeolite formation. This work is an important step towards the development of molecular models that can fully describe the early nucleation process of zeolites in combination with experiments.


title: Edge-selective reconfiguration in polarized lattices with magnet-enabled bistability

abstract: The signature topological feature of Maxwell lattices is their polarization, which manifests as an unbalance in stiffness between opposite edges of a finite domain. The manifestation of this asymmetry is especially dramatic in the case of soft lattices undergoing large nonlinear deformation under concentrated loads, where the excess of softness at the soft edge can result in the activation of sharp indentations. This study explores how this mechanical dichotomy between edges can be tuned and possibly extremized by working with soft magneto-mechanical metamaterials. The magneto-mechanical coupling is obtained by endowing the lattice sites with permanent magnets, which activate a network of magnetic forces that can interact with (either augmenting or competing with) the elasticity of the material. Specifically, under sufficiently large deformation that macroscopically alters the equilibrium positions of the sites, the attractive forces between the magnets can trigger bistable reconfiguration mechanisms. The strength of such mechanisms depends on the landscapes of elastic reaction forces exhibited by the edges, which are different due to the polarization, and is therefore inherently edge-selective. We show that, on the soft edge, the addition of magnets simply enhances the softness of the edge. In contrast, on the stiff edge, the magnets activate snapping mechanisms that locally reconfigure the cells and produce a lattice response reminiscent of plasticity, characterized by residual deformation that persists upon unloading.


title: The effects of turbulence modeling on dynamic stall

abstract: A numerical investigation of the flow evolution over a pitching NACA 0012 airfoil incurring in deep dynamic stall phenomena is presented. The experimental data at Reynolds number Re = 135 000 and reduced frequency k = 0.1, provided by Lee and Gerontakos, are compared to numerical simulations using different turbulence models. After a preliminary space and time convergence study, two- and three-dimensional URANS with different turbulence models are explored, highlighting the advantages and the drawbacks. Then, the turbulence-resolving capabilities of hybrid RANS/LES strategies are exploited to recover and better represent the dynamic stall vortex. In detail, Scale-Adaptive Simulations (SAS) and Stress-Blended Eddy Simulations (SBES) are adopted. Furthermore, the LES resolved portion allows a spectral analysis of the force and moment coefficients to investigate the contribution of frequency lower than the pitching one. Finally, a comparison of the proposed approaches with other numerical simulations is given.


title: Noiseless linear amplification-based quantum Ziv-Zakai bound for phase estimation and its Heisenberg error limits in noisy scenarios

abstract: In this work, we address the central problem about how to effectively find the available precision limit of unknown parameters. In the framework of the quantum Ziv-Zakai bound (QZZB), we employ noiseless linear amplification (NLA)techniques to an initial coherent state (CS) as the probe state, and focus on whether the phase estimation performance is improved significantly in noisy scenarios, involving the photon-loss and phase-diffusion cases. More importantly, we also obtain two kinds of Heisenberg error limits of the QZZB with the NLA-based CS in these noisy scenarios, making comparisons with both the Margolus-Levitin (ML) type bound and the Mandelstam-Tamm (MT) type bound. Our analytical results show that in cases of photon loss and phase diffusion, the phase estimation performance of the QZZB can be improved remarkably by increasing the NLA gain factor. Particularly, the improvement is more pronounced with severe photon losses. Furthermore in minimal photon losses, our Heisenberg error limit shows better compactness than the cases of the ML-type and MT-type bounds. Our findings will provide an useful guidance for accomplishing more complex quantum information processing tasks.


title: Nonadiabatic excited-state dynamics and energy gradients in the framework of FMO-LC-TDDFTB

abstract: We introduce a novel methodology for simulating the excited-state dynamics of extensive molecular aggregates in the framework of the long-range corrected time-dependent density-functional tight-binding fragment molecular orbital method (FMO-LC-TDDFTB) combined with the mean-field Ehrenfest method. The electronic structure of the system is described in a quasi-diabatic basis composed of locally excited and charge-transfer states of all fragments. In order to carry out nonadiabatic molecular dynamics simulatios, we derive and implement the excited-state gradients of the locally excited and charge-transfer states. Subsequently, the accuracy of the analytical excited-state gradients is evaluated. The applicability to the simulation of exciton transport in organic semiconductors is illustrated on a large cluster of anthracene molecules. Additionally, nonadiabatic molecular dynamics simulations of a model system of benzothieno-benzothiophene molecules highlight the methods utility in studying charge-transfer dynamics in organic materials. Our new methodology will facilitate the investigation of excitonic transfer in extensive biological systems, nanomaterials and other complex molecular systems consisting of thousands of atoms.


title: Wakefield regeneration in a plasma accelerator

abstract: Plasma wakefields offer high acceleration gradients, orders of magnitude larger than conventional RF accelerators. However, the achievable luminosity remains relatively low, typically limited by the plasma recovery time and the charge which can be accelerated per shot. In this work, we show that a train of drive bunches can be harnessed to accelerate multiple witness bunches in a single shot. We demonstrate that periodically loading the wakefields removes the limit on the energy transfer from the drive beam to the plasma, which allows the luminosity to be increased. Proof-of-concept simulations for the AWAKE scheme are carried out to demonstrate the technique, achieving a doubling of the accelerated charge while exploiting only a fraction of the drive train.


title: Non-equilibrium structure and relaxation in active microemulsions

abstract: Microphase separation is common in active biological systems as exemplified by the separation of RNA and DNA-rich phases in the cell nucleus driven by the transcriptional activity of polymerase enzymes acting similarly to amphiphiles in a microemulsion. Here we propose an analytically tractable model of an active microemulsion to investigate how the activity affects its structure and relaxation dynamics. Continuum theory derived from a lattice model exhibits two distinct regimes of the relaxation dynamics and is linked to the broken detailed balance due to intermittent activity of the amphiphiles.


title: Face2Face: Label-driven Facial Retouching Restoration

abstract: With the popularity of social media platforms such as Instagram and TikTok, and the widespread availability and convenience of retouching tools, an increasing number of individuals are utilizing these tools to beautify their facial photographs. This poses challenges for fields that place high demands on the authenticity of photographs, such as identity verification and social media. By altering facial images, users can easily create deceptive images, leading to the dissemination of false information. This may pose challenges to the reliability of identity verification systems and social media, and even lead to online fraud. To address this issue, some work has proposed makeup removal methods, but they still lack the ability to restore images involving geometric deformations caused by retouching. To tackle the problem of facial retouching restoration, we propose a framework, dubbed Face2Face, which consists of three components: a facial retouching detector, an image restoration model named FaceR, and a color correction module called Hierarchical Adaptive Instance Normalization (H-AdaIN). Firstly, the facial retouching detector predicts a retouching label containing three integers, indicating the retouching methods and their corresponding degrees. Then FaceR restores the retouched image based on the predicted retouching label. Finally, H-AdaIN is applied to address the issue of color shift arising from diffusion models. Extensive experiments demonstrate the effectiveness of our framework and each module.


title: Non-trivial $r$-wise agreeing families

abstract: A family of sets is $r$-wise agreeing if for any $r$ sets from the family there is an element $x$ that is either contained in all or contained in none of the $r$ sets. The study of such families is motivated by questions in discrete optimization. In this paper, we determine the size of the largest non-trivial $r$-wise agreeing family. This can be seen as a generalization of the classical Brace-Daykin theorem.


title: Some families of non-isomorphic maximal function fields

abstract: The problem of understanding whether two given function fields are isomorphic is well-known to be difficult, particularly when the aim is to prove that an isomorphism does not exist. In this paper we investigate a family of maximal function fields that arise as Galois subfields of the Hermitian function field. We compute the automorphism group, the Weierstrass semigroup at some special rational places and the isomorphism classes of such function fields. In this way, we show that often these function fields provide in fact examples of maximal function fields with the same genus, the same automorphism group, but that are not isomorphic.


title: Metric Distortion under Group-Fair Objectives

abstract: We consider a voting problem in which a set of agents have metric preferences over a set of alternatives, and are also partitioned into disjoint groups. Given information about the preferences of the agents and their groups, our goal is to decide an alternative to approximately minimize an objective function that takes the groups of agents into account. We consider two natural group-fair objectives known as Max-of-Avg and Avg-of-Max which are different combinations of the max and the average cost in and out of the groups. We show tight bounds on the best possible distortion that can be achieved by various classes of mechanisms depending on the amount of information they have access to. In particular, we consider group-oblivious full-information mechanisms that do not know the groups but have access to the exact distances between agents and alternatives in the metric space, group-oblivious ordinal-information mechanisms that again do not know the groups but are given the ordinal preferences of the agents, and group-aware mechanisms that have full knowledge of the structure of the agent groups and also ordinal information about the metric space.


title: Mathematical Crystal Chemistry

abstract: Efficient heuristics have predicted many functional materials such as high-temperature superconducting hydrides, while inorganic structural chemistry explains why and how the crystal structures are stabilized. Here we develop the paired mathematical programming formalism for searching and systematizing the structural prototypes of crystals. The first is the minimization of the volume of the unit cell under the constraints of only the minimum and maximum distances between pairs of atoms. We show the capabilities of linear relaxations of inequality constraints to optimize structures by the steepest-descent method, which is computationally very efficient. The second is the discrete optimization to assign five kinds of geometrical constraints including chemical bonds for pairs of atoms. Under the constraints, the two object functions, formulated as mathematical programming, are alternately optimized to realize the given coordination numbers of atoms. This approach successfully generates a wide variety of crystal structures of oxides such as spinel, pyrochlore-$\alpha$, and $\mathrm{K}_2 \mathrm{NiF}_4$ structures.


title: Record high superconducting transition temperature in Ti$_{1-x}$Mn$_x$ alloy with rich magnetic element Mn

abstract: It is well-known that magnetic moments are very harmful to superconductivity. A typical example is the element Mn whose compounds usually exhibit strong magnetism. Thus, it is very hard to achieve superconductivity in materials containing Mn. Here, we report enhanced superconductivity with the superconducting transition temperature ($T_\text{c}$) up to a record high-value of about 26 K in a beta-phase Ti$_{1-x}$Mn$_x$ alloy containing rich magnetic element Mn under high pressures. This is contrary to the intuition that the magnetic moments always suppress superconductivity. Under high pressures, we also found that in the middle-pressure regime, the Pauli limit of the upper critical field is surpassed. The synchrotron X-ray diffraction data shows an unchanged beta-phase with a continuous contraction of the cell volume, which is well supported by the first-principles calculations. Although the theoretical results based on electron-phonon coupling (EPC) can interpret the $T_\text{c}$ value in a certain pressure region, the monotonic enhancement of superconductivity by pressure cannot seek support from the theory. Our results show a surprising enhancement of superconductivity in Ti$_{1-x}$Mn$_x$ alloy with a considerable Mn content.


title: SemEval-2024 Task 8: Multidomain, Multimodel and Multilingual Machine-Generated Text Detection

abstract: We present the results and the main findings of SemEval-2024 Task 8: Multigenerator, Multidomain, and Multilingual Machine-Generated Text Detection. The task featured three subtasks. Subtask A is a binary classification task determining whether a text is written by a human or generated by a machine. This subtask has two tracks: a monolingual track focused solely on English texts and a multilingual track. Subtask B is to detect the exact source of a text, discerning whether it is written by a human or generated by a specific LLM. Subtask C aims to identify the changing point within a text, at which the authorship transitions from human to machine. The task attracted a large number of participants: subtask A monolingual (126), subtask A multilingual (59), subtask B (70), and subtask C (30). In this paper, we present the task, analyze the results, and discuss the system submissions and the methods they used. For all subtasks, the best systems used LLMs.


title: Kinematic morphology of low-mass galaxies in IllustrisTNG

abstract: The origin of diverse kinematic morphologies observed in low-mass galaxies is unclear. In this study, we investigate the kinematic morphologies of central galaxies with stellar mass $10^{8.5-9.0} M_{\odot}$ at $z=0$ in the TNG50-1 cosmological simulation. The majority of the low-mass galaxies in TNG50-1 are dispersion-dominated, consistent with observations. By tracing the evolutionary histories of simulated low-mass galaxies, we find that while most stars form in rotating cold gas discs, the orientation of the star-forming discs relative to the galaxies may evolve with cosmic time. If the cold gas disc remains aligning with the galaxy during its evolution, stars formed at different times share the same rotational direction, leading to a rotation-dominated system. On the contrary, frequent misalignment of cold gas disc would result in a dispersion-dominated system. In addition, we also find that the two-body scattering can have a non-negligible numerical heating effect on the simulated galaxy morphology, especially at central regions of galaxies and for relatively low-mass galaxies. By comparing results of simulations with different resolutions, our results suggest that the simulated morphology of galaxies is reliable when their number of stellar particles exceeds about $10^{4}$, and bulge morphology of galaxies can not be resolved robustly at the resolution level of TNG50-1.


title: Modeling the focusing of a radially-polarized laser beam with an initially flat-top intensity profile

abstract: Radially-polarized light beams present very interesting and useful behavior for creating small intensity spots when tightly-focused, and manipulating nanostructures or charged particles. The modeling of the propagation of such vector beams, however, is almost always done using the lowest-order fundamental radially-polarized beam due to the complexity of vector diffraction theory. We show how a flat-top radially-polarized beam can be modeled analytically using a sum of higher-order beams, and describe a number of interesting qualities, and compare to numerically-solved integral descriptions.


title: Magnon Landau-Zener tunnelling and spin current generation by electric field

abstract: To control the magnon transport in magnetic systems is of great interest in magnonics. Due to the feasibility of electric field, how to generate and manipulate magnon with pure electrical method is one of the most desired goals. Here we propose that the magnon spin current is generated by applying time-dependent electric field, where the coupling between the magnon and electric field is invoked via Aharonov-Casher effect. In particular, the magnon spin current is dominated by electric field component which perpendicular to the magnetization direction. We apply our theory to 1D ferromagnetic SSH model and show that the generated magnon spin current is closely related to the band geometry. Our findings expands the horizons of magnonics and electric-control-magnon mechanisms.


title: Bayesian Windkessel calibration using optimized 0D surrogate models

abstract: Boundary condition (BC) calibration to assimilate clinical measurements is an essential step in any subject-specific simulation of cardiovascular fluid dynamics. Bayesian calibration approaches have successfully quantified the uncertainties inherent in identified parameters. Yet, routinely estimating the posterior distribution for all BC parameters in 3D simulations has been unattainable due to the infeasible computational demand. We propose an efficient method to identify Windkessel parameter posteriors using results from a single high-fidelity three-dimensional (3D) model evaluation. We only evaluate the 3D model once for an initial choice of BCs and use the result to create a highly accurate zero-dimensional (0D) surrogate. We then perform Sequential Monte Carlo (SMC) using the optimized 0D model to derive the high-dimensional Windkessel BC posterior distribution. We validate this approach in a publicly available dataset of N=72 subject-specific vascular models. We found that optimizing 0D models to match 3D data a priori lowered their median approximation error by nearly one order of magnitude. In a subset of models, we confirm that the optimized 0D models still generalize to a wide range of BCs. Finally, we present the high-dimensional Windkessel parameter posterior for different measured signal-to-noise ratios in a vascular model using SMC. We further validate that the 0D-derived posterior is a good approximation of the 3D posterior. The minimal computational demand of our method using a single 3D simulation, combined with the open-source nature of all software and data used in this work, will increase access and efficiency of Bayesian Windkessel calibration in cardiovascular fluid dynamics simulations.


title: Experimental Validation of Ultrasound Beamforming with End-to-End Deep Learning for Single Plane Wave Imaging

abstract: Ultrafast ultrasound imaging insonifies a medium with one or a combination of a few plane waves at different beam-steered angles instead of many focused waves. It can achieve much higher frame rates, but often at the cost of reduced image quality. Deep learning approaches have been proposed to mitigate this disadvantage, in particular for single plane wave imaging. Predominantly, image-to-image post-processing networks or fully learned data-to-image neural networks are used. Both construct their mapping purely data-driven and require expressive networks and large amounts of training data to perform well. In contrast, we consider data-to-image networks which incorporate a conventional image formation techniques as differentiable layers in the network architecture. This allows for end-to-end training with small amounts of training data. In this work, using f-k migration as an image formation layer is evaluated in-depth with experimental data. We acquired a data collection designed for benchmarking data-driven plane wave imaging approaches using a realistic breast mimicking phantom and an ultrasound calibration phantom. The evaluation considers global and local image similarity measures and contrast, resolution and lesion detectability analysis. The results show that the proposed network architecture is capable of improving the image quality of single plane wave images on all evaluation metrics. Furthermore, these image quality improvements can be achieved with surprisingly little amounts of training data.


title: On Gorensteiness of associated graded rings of filtrations

abstract: Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the Hilbert coefficients of $\mathcal{F}$ in some cases. As a consequence we recover and extend a result proved by Okuma, Watanabe and Yoshida. Further, we present ring-theoretic properties of the normal tangent cone of the maximal ideal of $A=S/(f)$ where $S=K[\![x_0,x_1,\ldots, x_m]\!]$ is a formal power series ring over an algebraically closed field $K$, and $f=x_0^a-g(x_1,\ldots,x_m)$, where $g$ is a polynomial with $g \in (x_1,\ldots,x_m)^b \setminus (x_1,\ldots,x_m)^{b+1}$, and $a, \, b, \, m$ are integers. We show that the normal tangent cone $\overline{G}(\mathfrak{m})$ is Cohen-Macaulay if $A$ is normal and $a \le b$. Moreover, we give a criterion of the Gorensteinness of $\overline{G}(\mathfrak{m})$.


title: Dismantling Common Internet Services for Ad-Malware Detection

abstract: Online advertising represents a main instrument for publishers to fund content on the World Wide Web. Unfortunately, a significant number of online advertisements often accommodates potentially malicious content, such as cryptojacking hidden in web banners - even on reputable websites. In order to protect Internet users from such online threats, the thorough detection of ad-malware campaigns plays a crucial role for a safe Web. Today, common Internet services like VirusTotal can label suspicious content based on feedback from contributors and from the entire Web community. However, it is open to which extent ad-malware is actually taken into account and whether the results of these services are consistent. In this pre-study, we evaluate who defines ad-malware on the Internet. In a first step, we crawl a vast set of websites and fetch all HTTP requests (particularly to online advertisements) within these websites. Then we query these requests both against popular filtered DNS providers and VirusTotal. The idea is to validate, how much content is labeled as a potential threat. The results show that up to 0.47% of the domains found during crawling are labeled as suspicious by DNS providers and up to 8.8% by VirusTotal. Moreover, only about 0.7% to 3.2% of these domains are categorized as ad-malware. The overall responses from the used Internet services paint a divergent picture: All considered services have different understandings to the definition of suspicious content. Thus, we outline potential research efforts to the automated detection of ad-malware. We further bring up the open question of a common definition of ad-malware to the Web community.


title: A generators and relations derivation of Khovanov homology of 2 strand braid links

abstract: In the first part of the Thesis, we reformulate the Murakami-Ohtsuki-Yamada state-sum description of the level n Jones polynomial of an oriented link in terms of a suitable braided monoidal category whose morphisms are Q[q, q-1] s-linear combinations of oriented trivalent planar graphs, and give a corresponding description for the HOMFLY-PT polynomial. In the second part, we extend this construction and express the Khovanov Rozansky homology of an oriented link in terms of a combinatorially defined category whose morphisms are equivalence classes of formal complexes of (formal direct sums of shifted) oriented plane graphs. By working combinatorially, one avoids many of the computational difficulties involved in the matrix factorization computations of the original Khovanov-Rozansky formulation: one systematically uses combinatorial relations satisfied by these matrix factorizations to simplify the computation at a level that is easily handled. By using this technique, we can provide a computation of the level n Khovanov-Rozansky invariant of the 2-strand braid link with k crossings, for arbitrary n and k, confirming and extending previous results and conjectural predictions by Anokhina-Morozov, Carqueville-Murfet, Dolotin-Morozov, Gukov-Iqbal-Kozcaz-Vafa, and Rasmussen


title: Swap distance minimization beyond entropy minimization in word order variation

abstract: Here we consider the problem of all the possible orders of a linguistic structure formed by $n$ elements, for instance, subject, direct object and verb ($n=3$) or subject, direct object, indirect object and verb ($n=4$). We investigate if the frequency of the $n!$ possible orders is constrained by two principles. First, entropy minimization, a principle that has been suggested to shape natural communication systems at distinct levels of organization. Second, swap distance minimization, namely a preference for word orders that require fewer swaps of adjacent elements to be produced from a source order. Here we present average swap distance, a novel score for research on swap distance minimization, and investigate the theoretical distribution of that score for any $n$: its minimum and maximum values and its expected value in die rolling experiments or when the word order frequencies are shuffled. We investigate whether entropy and average swap distance are significantly small in distinct linguistic structures with $n=3$ or $n=4$ in agreement with the corresponding minimization principles. We find strong evidence of entropy minimization and swap distance minimization with respect to a die rolling experiment. The evidence of these two forces with respect to a Polya urn process is strong for $n=4$ but weaker for $n=3$. We still find evidence of swap distance minimization when word order frequencies are shuffled, indicating that swap distance minimization effects are beyond pressure to minimize word order entropy.


title: LLAMP: Assessing Network Latency Tolerance of HPC Applications with Linear Programming

abstract: The shift towards high-bandwidth networks driven by AI workloads in data centers and HPC clusters has unintentionally aggravated network latency, adversely affecting the performance of communication-intensive HPC applications. As large-scale MPI applications often exhibit significant differences in their network latency tolerance, it is crucial to accurately determine the extent of network latency an application can withstand without significant performance degradation. Current approaches to assessing this metric often rely on specialized hardware or network simulators, which can be inflexible and time-consuming. In response, we introduce LLAMP, a novel toolchain that offers an efficient, analytical approach to evaluating HPC applications' network latency tolerance using the LogGPS model and linear programming. LLAMP equips software developers and network architects with essential insights for optimizing HPC infrastructures and strategically deploying applications to minimize latency impacts. Through our validation on a variety of MPI applications like MILC, LULESH, and LAMMPS, we demonstrate our tool's high accuracy, with relative prediction errors generally below 2%. Additionally, we include a case study of the ICON weather and climate model to illustrate LLAMP's broad applicability in evaluating collective algorithms and network topologies.


title: Optimal Multiparameter Metrology: The Quantum Compass Solution

abstract: We study optimal quantum sensing of multiple physical parameters using repeated measurements. In this scenario, the Fisher information framework sets the fundamental limits on sensing performance, yet the optimal states and corresponding measurements that attain these limits remain to be discovered. To address this, we extend the Fisher information approach with a second optimality requirement for a sensor to provide unambiguous estimation of unknown parameters. We propose a systematic method integrating Fisher information and Bayesian approaches to quantum metrology to identify the combination of input states and measurements that satisfies both optimality criteria. Specifically, we frame the optimal sensing problem as an optimization of an asymptotic Bayesian cost function that can be efficiently solved numerically and, in many cases, analytically. We refer to the resulting optimal sensor as a `quantum compass' solution, which serves as a direct multiparameter counterpart to the Greenberger-Horne-Zeilinger state-based interferometer, renowned for achieving the Heisenberg limit in single-parameter metrology. We provide exact quantum compass solutions for paradigmatic multiparameter problem of sensing two and three parameters using an SU(2) sensor. Our metrological cost function opens avenues for quantum variational techniques to design low-depth quantum circuits approaching the optimal sensing performance in the many-repetition scenario. We demonstrate this by constructing simple quantum circuits that achieve the Heisenberg limit for vector field and 3D rotations estimation using a limited set of gates available on a trapped-ion platform. Our work introduces and optimizes sensors for a practical notion of optimality, keeping in mind the ultimate goal of quantum sensors to precisely estimate unknown parameters.


title: On h-refined meshless solution to Navier-Stokes problem in porous media: comparing meshless Lattice Boltzman Method with ACM RBF-FD approach

abstract: In this paper, two mesh-free CFD solvers for pore-scale fluid flow through porous media are considered, namely the Lattice Boltzmann Method with the two relaxation time collision term and the direct Navier-Stokes solver under the artificial compressibility limit. The porous media is built with a regular arrangement of spherical grains with variable radii, which allows control of the porosity. Both solvers use the same h-refined meshless spatial discretization to adequately capture the underlying geometry and the same Radial Basis Function (RBF) method to approximate the involved fields and partial differential operators. First, the results are compared with the data from the literature in terms of drag coefficient and permeability at different porosities achieving excellent agreement with the reported results. Next, the simulations are extended beyond the porosity range reported in the literature using proposed h-refined CFD solvers. The results are supported by convergence and timing analyses and discussions on meshless parameters such as stencil size and refinement settings.


title: Universal formal asymptotics for localized oscillation of a discrete mass-spring-damper system of time-varying properties, embedded into a one-dimensional medium described by the telegraph equation with variable coefficients

abstract: We consider a quite general problem concerning a linear free oscillation of a discrete mass-spring-damper system. This discrete sub-system is embedded into a one-dimensional continuum medium described by the linear telegraph equation. In a particular case, the discrete sub-system can move along the continuum one at a sub-critical speed. Provided that the dissipation in both discrete and continuum sub-systems is absent, if parameters of the sub-systems are constants, under certain conditions (the localization conditions), a non-vanishing oscillation localized near the discrete sub-system can be possible. In the paper we assume that the dissipation in the damper and the medium is small, and all discrete-continuum system parameters are slowly varying functions in time and in space (when applicable), such that the localization condition is fulfilled for the instantaneous values of the parameters in a certain neighbourhood of the discrete sub-system position. This general statement can describe a number of mechanical systems of various nature. We derive the expression for the leading-order term of a universal asymptotics, which describes a localized oscillation of the discrete sub-system. In the non-dissipative case, the leading-order term of the expansion for the amplitude is found in the form of an algebraic expression, which involves the instantaneous values of the system parameters. In the dissipative case, the leading-order term for the amplitude, generally, is found in quadratures in the form of a functional, which depends on the history of the system parameters, though in some exceptional cases the result can be obtained as a function of time and the instantaneous limiting values of the system parameters. Finally, we have justified the universal asymptotics by numerical calculations for some particular cases.

categories: physics.class-ph math-ph math.MP nlin.PS


title: SOFTS: Efficient Multivariate Time Series Forecasting with Series-Core Fusion

abstract: Multivariate time series forecasting plays a crucial role in various fields such as finance, traffic management, energy, and healthcare. Recent studies have highlighted the advantages of channel independence to resist distribution drift but neglect channel correlations, limiting further enhancements. Several methods utilize mechanisms like attention or mixer to address this by capturing channel correlations, but they either introduce excessive complexity or rely too heavily on the correlation to achieve satisfactory results under distribution drifts, particularly with a large number of channels. Addressing this gap, this paper presents an efficient MLP-based model, the Series-cOre Fused Time Series forecaster (SOFTS), which incorporates a novel STar Aggregate-Redistribute (STAR) module. Unlike traditional approaches that manage channel interactions through distributed structures, \textit{e.g.}, attention, STAR employs a centralized strategy to improve efficiency and reduce reliance on the quality of each channel. It aggregates all series to form a global core representation, which is then dispatched and fused with individual series representations to facilitate channel interactions effectively.SOFTS achieves superior performance over existing state-of-the-art methods with only linear complexity. The broad applicability of the STAR module across different forecasting models is also demonstrated empirically. For further research and development, we have made our code publicly available at https://github.com/Secilia-Cxy/SOFTS.


title: BCFPL: Binary classification ConvNet based Fast Parking space recognition with Low resolution image

abstract: The automobile plays an important role in the economic activities of mankind, especially in the metropolis. Under the circumstances, the demand of quick search for available parking spaces has become a major concern for the automobile drivers. Meanwhile, the public sense of privacy is also awaking, the image-based parking space recognition methods lack the attention of privacy protection. In this paper, we proposed a binary convolutional neural network with lightweight design structure named BCFPL, which can be used to train with low-resolution parking space images and offer a reasonable recognition result. The images of parking space were collected from various complex environments, including different weather, occlusion conditions, and various camera angles. We conducted the training and testing progresses among different datasets and partial subsets. The experimental results show that the accuracy of BCFPL does not decrease compared with the original resolution image directly, and can reach the average level of the existing mainstream method. BCFPL also has low hardware requirements and fast recognition speed while meeting the privacy requirements, so it has application potential in intelligent city construction and automatic driving field.


title: Generalizable Neural Human Renderer

abstract: While recent advancements in animatable human rendering have achieved remarkable results, they require test-time optimization for each subject which can be a significant limitation for real-world applications. To address this, we tackle the challenging task of learning a Generalizable Neural Human Renderer (GNH), a novel method for rendering animatable humans from monocular video without any test-time optimization. Our core method focuses on transferring appearance information from the input video to the output image plane by utilizing explicit body priors and multi-view geometry. To render the subject in the intended pose, we utilize a straightforward CNN-based image renderer, foregoing the more common ray-sampling or rasterizing-based rendering modules. Our GNH achieves remarkable generalizable, photorealistic rendering with unseen subjects with a three-stage process. We quantitatively and qualitatively demonstrate that GNH significantly surpasses current state-of-the-art methods, notably achieving a 31.3% improvement in LPIPS.


title: Investigating the Properties of the Relativistic Jet and Hot Corona in AGN with X-ray Polarimetry

abstract: X-ray polarimetry has been suggested as a prominent tool for investigating the geometrical and physical properties of the emissions from active galactic nuclei (AGN). The successful launch of the Imaging X-ray Polarimetry Explorer (IXPE) on 9 December 2021 has expanded the previously restricted scope of polarimetry into the X-ray domain, enabling X-ray polarimetric studies of AGN. Over a span of two years, IXPE has observed various AGN populations, including blazars and radio-quiet AGN. In this paper, we summarize the remarkable discoveries achieved thanks to the opening of the new window of X-ray polarimetry of AGN through IXPE observations. We will delve into two primary areas of interest: first, the magnetic field geometry and particle acceleration mechanisms in the jets of radio-loud AGN, such as blazars, where the relativistic acceleration process dominates the spectral energy distribution; and second, the geometry of the hot corona in radio-quiet AGN. Thus far, the IXPE results from blazars favor the energy-stratified shock acceleration model, and they provide evidence of helical magnetic fields inside the jet. Concerning the corona geometry, the IXPE results are consistent with a disk-originated slab-like or wedge-like shape, as could result from Comptonization around the accretion disk.


title: Equivariant $K$-theory of cellular toric varieties

abstract: In this article we describe the $T_{comp}$-equivariant topological $K$-ring of a $T$-{\it cellular} simplicial toric variety. We further show that $K_{T_{comp}}^0(X)$ is isomorphic as an $R(T_{comp})$-algebra to the ring of piecewise Laurent polynomial functions on the associated fan denoted $PLP(\Delta)$. Furthermore, we compute a basis for $K_{T_{comp}}^0(X)$ as a $R(T_{comp})$-module and multiplicative structure constants with respect to this basis.


title: An Adaptive Approach for Infinitely Many-armed Bandits under Generalized Rotting Constraints

abstract: In this study, we consider the infinitely many-armed bandit problems in a rested rotting setting, where the mean reward of an arm may decrease with each pull, while otherwise, it remains unchanged. We explore two scenarios regarding the rotting of rewards: one in which the cumulative amount of rotting is bounded by $V_T$, referred to as the slow-rotting case, and the other in which the cumulative number of rotting instances is bounded by $S_T$, referred to as the abrupt-rotting case. To address the challenge posed by rotting rewards, we introduce an algorithm that utilizes UCB with an adaptive sliding window, designed to manage the bias and variance trade-off arising due to rotting rewards. Our proposed algorithm achieves tight regret bounds for both slow and abrupt rotting scenarios. Lastly, we demonstrate the performance of our algorithm using numerical experiments.


title: Tessellated Distributed Computing

abstract: The work considers the $N$-server distributed computing scenario with $K$ users requesting functions that are linearly-decomposable over an arbitrary basis of $L$ real (potentially non-linear) subfunctions. In our problem, the aim is for each user to receive their function outputs, allowing for reduced reconstruction error (distortion) $\epsilon$, reduced computing cost ($\gamma$; the fraction of subfunctions each server must compute), and reduced communication cost ($\delta$; the fraction of users each server must connect to). For any given set of $K$ requested functions -- which is here represented by a coefficient matrix $\mathbf {F} \in \mathbb{R}^{K \times L}$ -- our problem is made equivalent to the open problem of sparse matrix factorization that seeks -- for a given parameter $T$, representing the number of shots for each server -- to minimize the reconstruction distortion $\frac{1}{KL}\|\mathbf {F} - \mathbf{D}\mathbf{E}\|^2_{F}$ overall $\delta$-sparse and $\gamma$-sparse matrices $\mathbf{D}\in \mathbb{R}^{K \times NT}$ and $\mathbf{E} \in \mathbb{R}^{NT \times L}$. With these matrices respectively defining which servers compute each subfunction, and which users connect to each server, we here design our $\mathbf{D},\mathbf{E}$ by designing tessellated-based and SVD-based fixed support matrix factorization methods that first split $\mathbf{F}$ into properly sized and carefully positioned submatrices, which we then approximate and then decompose into properly designed submatrices of $\mathbf{D}$ and $\mathbf{E}$.


title: TrimCaching: Parameter-sharing Edge Caching for AI Model Downloading

abstract: Next-generation mobile networks are expected to facilitate fast AI model downloading to end users. By caching models on edge servers, mobile networks can deliver models to end users with low latency, resulting in a paradigm called edge model caching. In this paper, we develop a novel model placement scheme, called parameter-sharing model caching (TrimCaching). TrimCaching exploits the key observation that a wide range of AI models, such as convolutional neural networks or large language models, can share a significant proportion of parameter blocks containing reusable knowledge, thereby improving storage efficiency. To this end, we formulate a parameter-sharing model placement problem to maximize the cache hit ratio in multi-edge wireless networks by balancing the fundamental tradeoff between storage efficiency and service latency. We show that the formulated problem is a submodular maximization problem with submodular constraints, for which no polynomial-time approximation algorithm exists. To overcome this challenge, we study an important special case, where a small fixed number of parameter blocks are shared across models, which often holds in practice. In such a case, a polynomial-time algorithm with $\left(1-\epsilon\right)/2$-approximation guarantee is developed. Subsequently, we address the original problem for the general case by developing a greedy algorithm. Simulation results demonstrate that the proposed TrimCaching framework significantly improves the cache hit ratio compared with state-of-the-art content caching without exploiting shared parameters in AI models.


title: Properties of the `friend of a friend' model for network generation

abstract: The way in which a social network is generated, in terms of how individuals attach to each other, determines the properties of the resulting network. Here we study an intuitively appealing `friend of a friend' model, where a network is formed by each newly added individual attaching first to a randomly chosen target and then to $n_q\geq 1$ randomly chosen friends of the target, each with probability $0<q\leq1$. We revisit the master equation of the expected degree distribution for this model, providing an exact solution for the case when $n_q$ allows for attachment to all of the chosen target's friends (a case previously studied by \cite{lambiotte2016}), and demonstrating why such a solution is hard to obtain when $n_q$ is fixed (a case previously studied by \cite{Levens2022}.) In the case where attachment to all friends is allowed, we also show that when $q<q^*\approx0.5671$, the expected degree distribution of the model is stationary as the network size tends to infinity. We go on to look at the clustering behaviour and the triangle count, focusing on the cases where $n_q$ is fixed.


title: Localization Based on MIMO Backscattering from Retro-Directive Antenna Arrays

abstract: In next-generation vehicular environments, precise localization is crucial for facilitating advanced applications such as autonomous driving. As automation levels escalate, the demand rises for enhanced accuracy, reliability, energy efficiency, update rate, and reduced latency in position information delivery. In this paper, we propose the exploitation of backscattering from retro-directive antenna arrays (RAAs) to address these imperatives. We introduce and discuss two RAA-based architectures designed for various applications, including network localization and navigation. These architectures enable swift and simple angle-of-arrival estimation by using signals backscattered from RAAs. They also leverage multiple antennas to capitalize on multiple-input-multiple-output (MIMO) gains, thereby addressing the challenges posed by the inherent path loss in backscatter communication, especially when operating at high frequencies. Consequently, angle-based localization becomes achievable with remarkably low latency, ideal for mobile and vehicular applications. This paper introduces ad-hoc signalling and processing schemes for this purpose, and their performance is analytically investigated. Numerical results underscore the potential of these schemes, offering precise and ultra-low-latency localization with low complexity and ultra-low energy consumption devices.


title: ETROC1: The First Full Chain Precision Timing Prototype ASIC for CMS MTD Endcap Timing Layer Upgrade

abstract: We present the design and characterization of the first full chain precision timing prototype ASIC, named ETL Readout Chip version 1 (ETROC1) for the CMS MTD endcap timing layer (ETL) upgrade. The ETL utilizes Low Gain Avalanche Diode (LGAD) sensors to detect charged particles, with the goal to achieve a time resolution of 40 - 50 ps per hit, and 30 - 40 ps per track with hits from two detector layers. The ETROC1 is composed of a 5 x 5 pixel array and peripheral circuits. The pixel array includes a 4 x 4 active pixel array with an H-tree shaped network delivering clock and charge injection signals. Each active pixel is composed of various components, including a bump pad, a charge injection circuit, a pre-amplifier, a discriminator, a digital-to-analog converter, and a time-to-digital converter. These components play essential roles as the front-end link in processing LGAD signals and measuring timing-related information. The peripheral circuits provide clock signals and readout functionalities. The size of the ETROC1 chip is 7 mm x 9 mm. ETROC1 has been fabricated in a 65 nm CMOS process, and extensively tested under stimuli of charge injection, infrared laser, and proton beam. The time resolution of bump-bonded ETROC1 + LGAD chipsets reaches 42 - 46 ps per hit in the beam test.


title: Minimizing the Number of Tardy Jobs with Uniform Processing Times on Parallel Machines

abstract: In this work, we study the computational (parameterized) complexity of $P \mid r_j, p_j=p \mid \sum_j w_j U_j$. Here, we are given $m$ identical parallel machines and $n$ jobs with equal processing time, each characterized by a release date, a due date, and a weight. The task is to find a feasible schedule, that is, an assignment of the jobs to starting times on machines, such that no job starts before its release date and no machine processes several jobs at the same time, that minimizes the weighted number of tardy jobs. A job is considered tardy if it finishes after its due date. Our main contribution is showing that $P \mid r_j, p_j=p \mid \sum_j U_j$ (the unweighted version of the problem) is NP-hard and W[2]-hard when parameterized by the number of machines. The former resolves an open problem in Note 2.1.19 by Kravchenko and Werner [Journal of Scheduling, 2011] and Open Problem 2 by Sgall [ESA, 2012], and the latter resolves Open Problem 7 by Mnich and van Bevern [Computers & Operations Research, 2018]. Furthermore, our result shows that the known XP-algorithm for $P \mid r_j, p_j=p \mid \sum_j w_j U_j$ parameterized by the number of machines is optimal from a classification standpoint. On the algorithmic side, we provide alternative running time bounds for the above-mentioned known XP-algorithm. Our analysis shows that $P \mid r_j, p_j=p \mid \sum_j w_j U_j$ is contained in XP when parameterized by the processing time, and that it is contained in FPT when parameterized by the combination of the number of machines and the processing time. Finally, we give an FPT-algorithm for $P \mid r_j, p_j=p \mid \sum_j w_j U_j$ parameterized by the number of release dates or the number of due dates. With this work, we lay out the foundation for a systematic study of the parameterized complexity of $P \mid r_j, p_j=p \mid \sum_j w_j U_j$.


title: EnzChemRED, a rich enzyme chemistry relation extraction dataset

abstract: Expert curation is essential to capture knowledge of enzyme functions from the scientific literature in FAIR open knowledgebases but cannot keep pace with the rate of new discoveries and new publications. In this work we present EnzChemRED, for Enzyme Chemistry Relation Extraction Dataset, a new training and benchmarking dataset to support the development of Natural Language Processing (NLP) methods such as (large) language models that can assist enzyme curation. EnzChemRED consists of 1,210 expert curated PubMed abstracts in which enzymes and the chemical reactions they catalyze are annotated using identifiers from the UniProt Knowledgebase (UniProtKB) and the ontology of Chemical Entities of Biological Interest (ChEBI). We show that fine-tuning pre-trained language models with EnzChemRED can significantly boost their ability to identify mentions of proteins and chemicals in text (Named Entity Recognition, or NER) and to extract the chemical conversions in which they participate (Relation Extraction, or RE), with average F1 score of 86.30% for NER, 86.66% for RE for chemical conversion pairs, and 83.79% for RE for chemical conversion pairs and linked enzymes. We combine the best performing methods after fine-tuning using EnzChemRED to create an end-to-end pipeline for knowledge extraction from text and apply this to abstracts at PubMed scale to create a draft map of enzyme functions in literature to guide curation efforts in UniProtKB and the reaction knowledgebase Rhea. The EnzChemRED corpus is freely available at https://ftp.expasy.org/databases/rhea/nlp/.


title: Protostellar spin-up and fast rotator formation through binary star formation

abstract: (Edited) Many fast rotator stars (rotation periods of < 2 days) are found in unresolved binaries with separations of tens of au. This correlation leads to the question of whether the formation of binary stars inherently produces fast rotators. We aim to understand whether the formation of companions plays a role in spinning up stars. We use magneto-hydrodynamical simulations to study the formation of multiple star systems from turbulent and non-turbulent protostellar cores. We track the angular momentum accreted by individual star and inner disc systems by using a sink particle technique. We run a resolution study to extrapolate protostellar properties. We find in all simulations that the primary star can experience spin-up events that are correlated with the formation of companions. The primary star can spin up by up to 84% of its pre-fragmentation angular momentum and by up to 18% of its pre-fragmentation mass-specific angular momentum. The mechanism for the spin-up is gravitational disc instabilities in the circumstellar disc around the primary star, leading to the accretion of material with high specific angular momentum. The simulations that experience the strongest disc instabilities fragment to form companions. Simulations with weaker spin-up events experience disc instabilities triggered by a companion flyby, and the disc instability in these cases does not produce further fragments. We conclude that the primary star in multiple star systems may end up with a higher spin than single stars. This is because gravitational instabilities in the circumstellar disc around the primary star can trigger a spin-up event. In the strongest spin-up events, the instability is likely to cause disc fragmentation and the formation of companions. This companion formation coupled with shorter disc lifetimes, because the companion truncates the circumstellar disc, can help produce fast rotators.


title: Fidelitous Augmentation of Human Accelerometric Data for Deep Learning

abstract: Time series (TS) data have consistently been in short supply, yet their demand remains high for training systems in prediction, modeling, classification, and various other applications. Synthesis can serve to expand the sample population, yet it is crucial to maintain the statistical characteristics between the synthesized and the original TS : this ensures consistent sampling of data for both training and testing purposes. However the time domain features of the data may not be maintained. This motivates for our work, the objective which is to preserve the following features in a synthesized TS: its fundamental statistical characteristics and important time domain features like its general shape and prominent transients. In a novel way, we first isolate important TS features into various components using a spectrogram and singular spectrum analysis. The residual signal is then randomized in a way that preserves its statistical properties. These components are then recombined for the synthetic time series. Using accelerometer data in a clinical setting, we use statistical and shape measures to compare our method to others. We show it has higher fidelity to the original signal features, has good diversity and performs better data classification in a deep learning application.


title: Toward Routing River Water in Land Surface Models with Recurrent Neural Networks

abstract: Machine learning is playing an increasing role in hydrology, supplementing or replacing physics-based models. One notable example is the use of recurrent neural networks (RNNs) for forecasting streamflow given observed precipitation and geographic characteristics. Training of such a model over the continental United States has demonstrated that a single set of model parameters can be used across independent catchments, and that RNNs can outperform physics-based models. In this work, we take a next step and study the performance of RNNs for river routing in land surface models (LSMs). Instead of observed precipitation, the LSM-RNN uses instantaneous runoff calculated from physics-based models as an input. We train the model with data from river basins spanning the globe and test it in streamflow hindcasts. The model demonstrates skill at generalization across basins (predicting streamflow in unseen catchments) and across time (predicting streamflow during years not used in training). We compare the predictions from the LSM-RNN to an existing physics-based model calibrated with a similar dataset and find that the LSM-RNN outperforms the physics-based model. Our results give further evidence that RNNs are effective for global streamflow prediction from runoff inputs and motivate the development of complete routing models that can capture nested sub-basis connections.


title: An Exposure Model Framework for Signal Detection based on Electronic Healthcare Data

abstract: Despite extensive safety assessments of drugs prior to their introduction to the market, certain adverse drug reactions (ADRs) remain undetected. The primary objective of pharmacovigilance is to identify these ADRs (i.e., signals). In addition to traditional spontaneous reporting systems (SRSs), electronic health (EHC) data is being used for signal detection as well. Unlike SRS, EHC data is longitudinal and thus requires assumptions about the patient's drug exposure history and its impact on ADR occurrences over time, which many current methods do implicitly. We propose an exposure model framework that explicitly models the longitudinal relationship between the drug and the ADR. By considering multiple such models simultaneously, we can detect signals that might be missed by other approaches. The parameters of these models are estimated using maximum likelihood, and the Bayesian Information Criterion (BIC) is employed to select the most suitable model. Since BIC is connected to the posterior distribution, it servers the dual purpose of identifying the best-fitting model and determining the presence of a signal by evaluating the posterior probability of the null model. We evaluate the effectiveness of this framework through a simulation study, for which we develop an EHC data simulator. Additionally, we conduct a case study applying our approach to four drug-ADR pairs using an EHC dataset comprising over 1.2 million insured individuals. Both the method and the EHC data simulator code are publicly accessible as part of the R package https://github.com/bips-hb/expard.


title: Reduction of Hyperelliptic Curves in Residue Characteristic 2

abstract: Consider a hyperelliptic curve of genus $g$ over a field $K$ of characteristic zero. After extending $K$ we can view it as a marked curve with its $2g+2$ Weierstrass points. We present an explicit algorithm to compute the stable reduction of this marked curve for a valuation of residue characteristic $2$ over a finite extension of $K$. In the cases $g\le2$ we work out relatively simple conditions for the structure of this reduction.


title: Text-Tuple-Table: Towards Information Integration in Text-to-Table Generation via Global Tuple Extraction

abstract: The task of condensing large chunks of textual information into concise and structured tables has gained attention recently due to the emergence of Large Language Models (LLMs) and their potential benefit for downstream tasks, such as text summarization and text mining. Previous approaches often generate tables that directly replicate information from the text, limiting their applicability in broader contexts, as text-to-table generation in real-life scenarios necessitates information extraction, reasoning, and integration. However, there is a lack of both datasets and methodologies towards this task. In this paper, we introduce LiveSum, a new benchmark dataset created for generating summary tables of competitions based on real-time commentary texts. We evaluate the performances of state-of-the-art LLMs on this task in both fine-tuning and zero-shot settings, and additionally propose a novel pipeline called $T^3$(Text-Tuple-Table) to improve their performances. Extensive experimental results demonstrate that LLMs still struggle with this task even after fine-tuning, while our approach can offer substantial performance gains without explicit training. Further analyses demonstrate that our method exhibits strong generalization abilities, surpassing previous approaches on several other text-to-table datasets. Our code and data can be found at https://github.com/HKUST-KnowComp/LiveSum-TTT.


title: Security flaws from time-varying active encoding in high-speed measurement-device-independent quantum key distribution

abstract: Quantum key distribution (QKD) can transmit secret keys with, in principle, information-theoretic security. However, bandwidth limitations in practical equipment threaten the security of high-speed (GHz) QKD systems. We propose and characterize a new side channel which arises when using active encoding. As an illustrative example, we focus on electro-optic phase modulation for polarization encoding at 1 GHz. We show that this side channel may reduce the maximum secure transmission distance by over 50% in a decoy state measurement-device-independent QKD protocol.


title: General protocols for the efficient distillation of indistinguishable photons

abstract: Highly pure and indistinguishable photons are a prerequisite for use in quantum information processing. We introduce protocols for the distillation of indistinguishable photons that offer a significant improvement over previous work, reducing distinguishability error rates by a factor of $n$, with resource requirements scaling linearly in $n$. We present the protocols, based on the discrete Fourier transform, Hadamard (Sylvester) matrices, and more general Fourier transforms on finite abelian groups, then give both analytical and numerical results regarding their performance. We observe that the same symmetry properties governing suppression laws are instrumental in understanding the behavior of these distillation protocols. We also prove that for the $n$-photon discrete Fourier transform, the suppression laws are exactly characterized by the well-known Zero Transmission Law based on permutation symmetry if and only if $n$ is a prime power.


title: Designing Safe and Engaging AI Experiences for Children: Towards the Definition of Best Practices in UI/UX Design

abstract: This workshop proposal focuses on best practices in UI/UX design for AI applications aimed at children, emphasising safety, engagement, and ethics. It aims to address the challenge of measuring the safety, trustworthiness, and reliability of interactions between children and AI systems. Through collaborative discussions, participants will explore effective design strategies and ethical guidelines while developing methodologies for assessing the safety and reliability of AI interactions with children. This proposal seeks to foster responsible and child-centered AI design practices within the CHI community.


title: Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone

abstract: We introduce phi-3-mini, a 3.8 billion parameter language model trained on 3.3 trillion tokens, whose overall performance, as measured by both academic benchmarks and internal testing, rivals that of models such as Mixtral 8x7B and GPT-3.5 (e.g., phi-3-mini achieves 69% on MMLU and 8.38 on MT-bench), despite being small enough to be deployed on a phone. The innovation lies entirely in our dataset for training, a scaled-up version of the one used for phi-2, composed of heavily filtered publicly available web data and synthetic data. The model is also further aligned for robustness, safety, and chat format. We also provide some initial parameter-scaling results with a 7B and 14B models trained for 4.8T tokens, called phi-3-small and phi-3-medium, both significantly more capable than phi-3-mini (e.g., respectively 75% and 78% on MMLU, and 8.7 and 8.9 on MT-bench). Moreover, we also introduce phi-3-vision, a 4.2 billion parameter model based on phi-3-mini with strong reasoning capabilities for image and text prompts.


title: Robust electrothermal switching of optical phase change materials through computer-aided adaptive pulse optimization

abstract: Electrically tunable optical devices present diverse functionalities for manipulating electromagnetic waves by leveraging elements capable of reversibly switching between different optical states. This adaptability in adjusting their responses to electromagnetic waves after fabrication is crucial for developing more efficient and compact optical systems for a broad range of applications including sensing, imaging, telecommunications, and data storage. Chalcogenide-based phase change materials (PCMs) have shown great promise due to their stable, non-volatile phase transition between amorphous and crystalline states. Nonetheless, optimizing the switching parameters of PCM devices and maintaining their stable operation over thousands of cycles with minimal variation can be challenging. In this paper, we report on the critical role of PCM pattern as well as electrical pulse form in achieving reliable and stable switching, extending the operational lifetime of the device beyond 13,000 switching events. To achieve this, we have developed a computer-aided algorithm that monitors optical changes in the device and adjusts the applied voltage in accordance with the phase transformation process, thereby significantly enhancing the lifetime of these reconfigurable devices. Our findings reveal that patterned PCM structures show significantly higher endurance compared to blanket PCM thin films.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.ins-det


title: Sequential Outlier Hypothesis Testing under Universality Constraints

abstract: We revisit sequential outlier hypothesis testing and derive bounds on the achievable exponents. Specifically, the task of outlier hypothesis testing is to identify the set of outliers that are generated from an anomalous distribution among all observed sequences where most are generated from a nominal distribution. In the sequential setting, one obtains a sample from each sequence per unit time until a reliable decision could be made. We assume that the number of outliers is known while both the nominal and anomalous distributions are unknown. For the case of exactly one outlier, our bounds on the achievable exponents are tight, providing exact large deviations characterization of sequential tests and strengthening a previous result of Li, Nitinawarat and Veeravalli (2017). In particular, we propose a sequential test that has bounded average sample size and better theoretical performance than the fixed-length test, which could not be guaranteed by the corresponding sequential test of Li, Nitinawarat and Veeravalli (2017). Our results are also generalized to the case of multiple outliers.


title: An Artificial Neuron for Enhanced Problem Solving in Large Language Models

abstract: Recent advancements in artificial intelligence have propelled the capabilities of Large Language Models, yet their ability to mimic nuanced human reasoning remains limited. This paper introduces a novel conceptual enhancement to LLMs, termed the Artificial Neuron, designed to significantly bolster cognitive processing by integrating external memory systems. This enhancement mimics neurobiological processes, facilitating advanced reasoning and learning through a dynamic feedback loop mechanism. We propose a unique framework wherein each LLM interaction specifically in solving complex math word problems and common sense reasoning tasks is recorded and analyzed. Incorrect responses are refined using a higher capacity LLM or human in the loop corrections, and both the query and the enhanced response are stored in a vector database, structured much like neuronal synaptic connections. This Artificial Neuron thus serves as an external memory aid, allowing the LLM to reference past interactions and apply learned reasoning strategies to new problems. Our experimental setup involves training with the GSM8K dataset for initial model response generation, followed by systematic refinements through feedback loops. Subsequent testing demonstrated a significant improvement in accuracy and efficiency, underscoring the potential of external memory systems to advance LLMs beyond current limitations. This approach not only enhances the LLM's problem solving precision but also reduces computational redundancy, paving the way for more sophisticated applications of artificial intelligence in cognitive tasks. This paper details the methodology, implementation, and implications of the Artificial Neuron model, offering a transformative perspective on enhancing machine intelligence.


title: Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs

abstract: Probabilistic programs often trade accuracy for efficiency, and are thus only approximately correct. It is important to obtain precise error bounds for these approximations, but existing approaches rely on simplifications that make the error bounds excesively coarse, or only apply to first-order programs. In this paper we present Eris, a higher-order separation logic for probabilistic programs written in an expressive higher-order language. Our key novelty is the introduction of error credits, a separation logic resource that tracks the error bound of a program. By representing error bounds as a resource, we recover the benefits of separation logic, including compositionality, modularity, and dependency between errors and program terms, allowing for more precise specifications. Moreover, we enable novel reasoning principles such as expectation-preserving error composition, amortized error reasoning, and proving almost-sure termination by induction on the error. We illustrate the advantages of our approach by proving amortized error bounds on a range of examples, including collision probabilities in hash functions, which allows us to write more modular specifications for data structures that use them as clients. We also use our logic to prove correctness and almost-sure termination of rejection sampling algorithms. All of our results have been mechanized in the Coq proof assistant using the Iris separation logic framework and the Coquelicot real analysis library.


title: Modeling principles for a physiology-based whole-body model of human metabolism

abstract: Physiological whole-body models are valuable tools for the development of novel drugs where understanding the system aspects is important. This paper presents a generalized model that encapsulates the structure and flow of whole-body human physiology. The model contains vascular, interstitial, and cellular subcompartments for each organ. Scaling of volumes and blood flows is described to allow for investigation across populations or specific patient groups. The model equations and the corresponding parameters are presented along with a catalog of functions that can be used to define the organ transport model and the biochemical reaction model. A simple example illustrates the procedure.


title: GravitoMagneto-Hydrodynamics and Spacetime Turbulence in Early Universe

abstract: Based on the gravitoelectromagnetic formalism and inspired by the rich analogies between electrodynamics and general relativity, we try one step further along this line and suggest a new counterpart in the gravitoelectromagnetic world analogue to the electromagnetic physics. A counterpart model of the MagnetoHydroDynamics that could help us to understand the possible new physics in tightly bounded spacetime-matter systems such as the case of extremely relativistic fluids in the early Universe. This new viewpoint also suggests a possible new form of spacetime-matter turbulence which may be tested through gravitational wave observations.


title: General degree divergence-free finite element methods for the Stokes problem on smooth domains

abstract: In this paper, we construct and analyze divergence-free finite element methods for the Stokes problem on smooth domains. The discrete spaces are based on the Scott-Vogelius finite element pair of arbitrary polynomial degree greater than two. By combining the Piola transform with the classical isoparametric framework, and with a judicious choice of degrees of freedom, we prove that the method converges with optimal order in the energy norm. We also show that the discrete velocity error converges with optimal order in the $L^2$-norm. Numerical experiments are presented, which support the theoretical results.


title: Estimation for SLS models: finite sample guarantees

abstract: This note continues and extends the study from Spokoiny (2023a) about estimation for parametric models with possibly large or even infinite parameter dimension. We consider a special class of stochastically linear smooth (SLS) models satisfying three major conditions: the stochastic component of the log-likelihood is linear in the model parameter, while the expected log-likelihood is a smooth and concave function. For the penalized maximum likelihood estimators (pMLE), we establish several finite sample bounds about its concentration and large deviations as well as the Fisher and Wilks expansions and risk bounds. In all results, the remainder is given explicitly and can be evaluated in terms of the effective sample size $ n $ and effective parameter dimension $ \mathbb{p} $ which allows us to identify the so-called \emph{critical parameter dimension}. The results are also dimension and coordinate-free. Despite generality, all the presented bounds are nearly sharp and the classical asymptotic results can be obtained as simple corollaries. Our results indicate that the use of advanced fourth-order expansions allows to relax the critical dimension condition $ \mathbb{p}^{3} \ll n $ from Spokoiny (2023a) to $ \mathbb{p}^{3/2} \ll n $. Examples for classical models like logistic regression, log-density and precision matrix estimation illustrate the applicability of general results.


title: A Survey of Decomposition-Based Evolutionary Multi-Objective Optimization: Part II -- A Data Science Perspective

abstract: This paper presents the second part of the two-part survey series on decomposition-based evolutionary multi-objective optimization where we mainly focus on discussing the literature related to multi-objective evolutionary algorithms based on decomposition (MOEA/D). Complementary to the first part, here we employ a series of advanced data mining approaches to provide a comprehensive anatomy of the enormous landscape of MOEA/D research, which is far beyond the capacity of classic manual literature review protocol. In doing so, we construct a heterogeneous knowledge graph that encapsulates more than 5,400 papers, 10,000 authors, 400 venues, and 1,600 institutions for MOEA/D research. We start our analysis with basic descriptive statistics. Then we delve into prominent research/application topics pertaining to MOEA/D with state-of-the-art topic modeling techniques and interrogate their sptial-temporal and bilateral relationships. We also explored the collaboration and citation networks of MOEA/D, uncovering hidden patterns in the growth of literature as well as collaboration between researchers. Our data mining results here, combined with the expert review in Part I, together offer a holistic view of the MOEA/D research, and demonstrate the potential of an exciting new paradigm for conducting scientific surveys from a data science perspective.


title: Colored Stochastic Multiplicative Processes with Additive Noise Unveil a Third-Order PDE, Defying Conventional FPE and Fick-Law Paradigms

abstract: Research on stochastic differential equations (SDE) involving both additive and multiplicative noise has been extensive. In situations where the primary process is driven by a multiplicative stochastic process, additive white noise typically represents an intrinsic and unavoidable fast factor, including phenomena like thermal fluctuations, inherent uncertainties in measurement processes, or rapid wind forcing in ocean dynamics. This work focuses on a significant class of such systems, particularly those characterized by linear drift and multiplicative noise, extensively explored in the literature. Conventionally, multiplicative stochastic processes are also treated as white noise in existing studies. However, when considering colored multiplicative noise, the emphasis has been on characterizing the far tails of the probability density function (PDF), regardless of the spectral properties of the noise. In the absence of additive noise and with a general colored multiplicative SDE, standard perturbation approaches lead to a second-order PDE known as the Fokker-Planck Equation (FPE), consistent with Fick's law. This investigation unveils a notable departure from this standard behavior when introducing additive white noise. At the leading order of the stochastic process strength, perturbation approaches yield a \textit{third-order PDE}, irrespective of the white noise intensity. The breakdown of the FPE further signifies the breakdown of Fick's law. Additionally, we derive the explicit solution for the equilibrium PDF corresponding to this third-order PDE Master Equation. Through numerical simulations, we demonstrate significant deviations from outcomes derived using the FPE obtained through the application of Fick's law.

categories: math.ST cond-mat.stat-mech math.PR stat.TH


title: Resistance Against Manipulative AI: key factors and possible actions

abstract: If AI is the new electricity, what should we do to keep ourselves from getting electrocuted? In this work, we explore factors related to the potential of large language models (LLMs) to manipulate human decisions. We describe the results of two experiments designed to determine what characteristics of humans are associated with their susceptibility to LLM manipulation, and what characteristics of LLMs are associated with their manipulativeness potential. We explore human factors by conducting user studies in which participants answer general knowledge questions using LLM-generated hints, whereas LLM factors by provoking language models to create manipulative statements. Then, we analyze their obedience, the persuasion strategies used, and the choice of vocabulary. Based on these experiments, we discuss two actions that can protect us from LLM manipulation. In the long term, we put AI literacy at the forefront, arguing that educating society would minimize the risk of manipulation and its consequences. We also propose an ad hoc solution, a classifier that detects manipulation of LLMs - a Manipulation Fuse.


title: Multi-mem behavior at reduced voltages in La$_{1/2}$Sr$_{1/2}$Mn$_{1/2}$Co$_{1/2}$O$_{3-x}$ perovskite modified with Sm:CeO$_2$

abstract: Neuromorphic computing aims to mimic the architecture and the information processing mechanisms of the mammalian brain, appearing as the only avenue that offers significant energy savings compared to the standard digital computers. Memcapacitive devices (which can change their capacitance between different non-volatile states upon the application of electrical stimulation) can significantly reduce the energy consumption of bioinspired circuitry. In the present work, we study the multimem (memristive and memcapacitive) behavior of devices based on thin films of the topotactic redox La$_{1/2}$Sr$_{1/2}$Mn$_{1/2}$Co$_{1/2}$O$_{3-x}$ (LSMCO) perovskite modified with Sm:Ce$O_2$ (SCO), grown on Nb:SrTiO$_{3}$ with (001) and (110) out of plane orientations. Either the self assembling at the nanoscale of both LSMCO and SCO phases or the doping with Ce(Sm) of the LSMCO perovskite were observed for different fabrication conditions and out of plane orientations. The impact of these changes on the device electrical behavior was determined. The optimum devices resulted those with (110) orientation and Ce(Sm) doping the perovskite. These devices displayed a multimem behavior with robust memcapacitance and significantly lower operation voltages (especially the RESET voltage) in comparison with devices based on pristine LSMCO. In addition, they were able to endure electrical cycling (and the concomitant perovskite topotactic redox transition between oxidized and reduced phases) without suffering nanostructural or chemical changes. We link these properties to an enhanced perovskite reducibility upon Ce(Sm) doping. Our work contributes to increase the reliability of LSMCO based multimem systems and to reduce their operating voltages closer to the 1 V threshold, which are key issues for the development of nanodevices for neuromorphic or in memory computing.


title: Shifting Focus with HCEye: Exploring the Dynamics of Visual Highlighting and Cognitive Load on User Attention and Saliency Prediction

abstract: Visual highlighting can guide user attention in complex interfaces. However, its effectiveness under limited attentional capacities is underexplored. This paper examines the joint impact of visual highlighting (permanent and dynamic) and dual-task-induced cognitive load on gaze behaviour. Our analysis, using eye-movement data from 27 participants viewing 150 unique webpages reveals that while participants' ability to attend to UI elements decreases with increasing cognitive load, dynamic adaptations (i.e., highlighting) remain attention-grabbing. The presence of these factors significantly alters what people attend to and thus what is salient. Accordingly, we show that state-of-the-art saliency models increase their performance when accounting for different cognitive loads. Our empirical insights, along with our openly available dataset, enhance our understanding of attentional processes in UIs under varying cognitive (and perceptual) loads and open the door for new models that can predict user attention while multitasking.


title: Detecting and Mitigating Hallucination in Large Vision Language Models via Fine-Grained AI Feedback

abstract: The rapidly developing Large Vision Language Models (LVLMs) have shown notable capabilities on a range of multi-modal tasks, but still face the hallucination phenomena where the generated texts do not align with the given contexts, significantly restricting the usages of LVLMs. Most previous work detects and mitigates hallucination at the coarse-grained level or requires expensive annotation (e.g., labeling by proprietary models or human experts). To address these issues, we propose detecting and mitigating hallucinations in LVLMs via fine-grained AI feedback. The basic idea is that we generate a small-size sentence-level hallucination annotation dataset by proprietary models, whereby we train a hallucination detection model which can perform sentence-level hallucination detection, covering primary hallucination types (i.e., object, attribute, and relationship). Then, we propose a detect-then-rewrite pipeline to automatically construct preference dataset for training hallucination mitigating model. Furthermore, we propose differentiating the severity of hallucinations, and introducing a Hallucination Severity-Aware Direct Preference Optimization (HSA-DPO) for mitigating hallucination in LVLMs by incorporating the severity of hallucinations into preference learning. Extensive experiments demonstrate the effectiveness of our method.


title: Good, but not very good orbifolds

abstract: We construct examples of (effective) closed orbifolds which are covered by manifolds, but not finitely so.


title: Computing the LCP Array of a Labeled Graph

abstract: The LCP array is an important tool in stringology, allowing to speed up pattern matching algorithms and enabling compact representations of the suffix tree. Recently, Conte et al. [DCC 2023] and Cotumaccio et al. [SPIRE 2023] extended the definition of this array to Wheeler DFAs and, ultimately, to arbitrary labeled graphs, proving that it can be used to efficiently solve matching statistics queries on the graph's paths. In this paper, we provide the first efficient algorithm building the LCP array of a directed labeled graph with $n$ nodes and $m$ edges labeled over an alphabet of size $\sigma$. After arguing that the natural generalization of a compact-space LCP-construction algorithm by Beller et al. [J. Discrete Algorithms 2013] runs in time $\Omega(n\sigma)$, we present a new algorithm based on dynamic range stabbing building the LCP array in $O(n\log \sigma)$ time and $O(n\log\sigma)$ bits of working space.


title: EcoPull: Sustainable IoT Image Retrieval Empowered by TinyML Models

abstract: This paper introduces EcoPull, a sustainable Internet of Things (IoT) framework empowered by tiny machine learning (TinyML) models for fetching images from wireless visual sensor networks. Two types of learnable TinyML models are installed in the IoT devices: i) a behavior model and ii) an image compressor model. The first filters out irrelevant images for the current task, reducing unnecessary transmission and resource competition among the devices. The second allows IoT devices to communicate with the receiver via latent representations of images, reducing communication bandwidth usage. However, integrating learnable modules into IoT devices comes at the cost of increased energy consumption due to inference. The numerical results show that the proposed framework can save > 70% energy compared to the baseline while maintaining the quality of the retrieved images at the ES.


title: Constraining the emergent dark energy models with cosmology-independent observational data

abstract: In this work, we investigate the phenomenologically emergent dark energy (PEDE) model and its generalized form, namely the generalized emergent dark energy (GEDE) model, which introduces a free parameter \unboldmath {\( \Delta \)} that can discriminate between the \unboldmath{$\mathrm{\Lambda}$}CDM model and the PEDE model. Fitting the emergent dark energy (EDE) models with the observational datasets including the cosmology-independent gamma-ray bursts (GRBs) at high-redshift and the observational Hubble data (OHD), we find a large value of $H_0$ which is close to the results of local measurement of $H_0$ from the SH0ES Collaboration in both EDE models. These results suggest that PEDE and GEDE models can %serve as an important supplement and be possible alternative to the standard cosmological model, pending further theoretical explorations and observational verifications.


title: Beyond the Edge: An Advanced Exploration of Reinforcement Learning for Mobile Edge Computing, its Applications, and Future Research Trajectories

abstract: Mobile Edge Computing (MEC) broadens the scope of computation and storage beyond the central network, incorporating edge nodes close to end devices. This expansion facilitates the implementation of large-scale "connected things" within edge networks. The advent of applications necessitating real-time, high-quality service presents several challenges, such as low latency, high data rate, reliability, efficiency, and security, all of which demand resolution. The incorporation of reinforcement learning (RL) methodologies within MEC networks promotes a deeper understanding of mobile user behaviors and network dynamics, thereby optimizing resource use in computing and communication processes. This paper offers an exhaustive survey of RL applications in MEC networks, initially presenting an overview of RL from its fundamental principles to the latest advanced frameworks. Furthermore, it outlines various RL strategies employed in offloading, caching, and communication within MEC networks. Finally, it explores open issues linked with software and hardware platforms, representation, RL robustness, safe RL, large-scale scheduling, generalization, security, and privacy. The paper proposes specific RL techniques to mitigate these issues and provides insights into their practical applications.


title: MultiBooth: Towards Generating All Your Concepts in an Image from Text

abstract: This paper introduces MultiBooth, a novel and efficient technique for multi-concept customization in image generation from text. Despite the significant advancements in customized generation methods, particularly with the success of diffusion models, existing methods often struggle with multi-concept scenarios due to low concept fidelity and high inference cost. MultiBooth addresses these issues by dividing the multi-concept generation process into two phases: a single-concept learning phase and a multi-concept integration phase. During the single-concept learning phase, we employ a multi-modal image encoder and an efficient concept encoding technique to learn a concise and discriminative representation for each concept. In the multi-concept integration phase, we use bounding boxes to define the generation area for each concept within the cross-attention map. This method enables the creation of individual concepts within their specified regions, thereby facilitating the formation of multi-concept images. This strategy not only improves concept fidelity but also reduces additional inference cost. MultiBooth surpasses various baselines in both qualitative and quantitative evaluations, showcasing its superior performance and computational efficiency. Project Page: https://multibooth.github.io/


title: Collaborative Filtering Based on Diffusion Models: Unveiling the Potential of High-Order Connectivity

abstract: A recent study has shown that diffusion models are well-suited for modeling the generative process of user-item interactions in recommender systems due to their denoising nature. However, existing diffusion model-based recommender systems do not explicitly leverage high-order connectivities that contain crucial collaborative signals for accurate recommendations. Addressing this gap, we propose CF-Diff, a new diffusion model-based collaborative filtering (CF) method, which is capable of making full use of collaborative signals along with multi-hop neighbors. Specifically, the forward-diffusion process adds random noise to user-item interactions, while the reverse-denoising process accommodates our own learning model, named cross-attention-guided multi-hop autoencoder (CAM-AE), to gradually recover the original user-item interactions. CAM-AE consists of two core modules: 1) the attention-aided AE module, responsible for precisely learning latent representations of user-item interactions while preserving the model's complexity at manageable levels, and 2) the multi-hop cross-attention module, which judiciously harnesses high-order connectivity information to capture enhanced collaborative signals. Through comprehensive experiments on three real-world datasets, we demonstrate that CF-Diff is (a) Superior: outperforming benchmark recommendation methods, achieving remarkable gains up to 7.29% compared to the best competitor, (b) Theoretically-validated: reducing computations while ensuring that the embeddings generated by our model closely approximate those from the original cross-attention, and (c) Scalable: proving the computational efficiency that scales linearly with the number of users or items.


title: UrbanCross: Enhancing Satellite Image-Text Retrieval with Cross-Domain Adaptation

abstract: Urbanization challenges underscore the necessity for effective satellite image-text retrieval methods to swiftly access specific information enriched with geographic semantics for urban applications. However, existing methods often overlook significant domain gaps across diverse urban landscapes, primarily focusing on enhancing retrieval performance within single domains. To tackle this issue, we present UrbanCross, a new framework for cross-domain satellite image-text retrieval. UrbanCross leverages a high-quality, cross-domain dataset enriched with extensive geo-tags from three countries to highlight domain diversity. It employs the Large Multimodal Model (LMM) for textual refinement and the Segment Anything Model (SAM) for visual augmentation, achieving a fine-grained alignment of images, segments and texts, yielding a 10% improvement in retrieval performance. Additionally, UrbanCross incorporates an adaptive curriculum-based source sampler and a weighted adversarial cross-domain fine-tuning module, progressively enhancing adaptability across various domains. Extensive experiments confirm UrbanCross's superior efficiency in retrieval and adaptation to new urban environments, demonstrating an average performance increase of 15% over its version without domain adaptation mechanisms, effectively bridging the domain gap.


title: Large-scale photonic chip based pulse interleaver for low-noise microwave generation

abstract: Microwaves generated by optical techniques have demonstrated unprecedentedly low noise and hold significance in various applications such as communication, radar, instrumentation, and metrology. To date, the purest microwave signals are generated using optical frequency division with femtosecond mode-locked lasers. However, many femtosecond laser combs have a radio frequency (RF) repetition rate in the hundreds of megahertz range, necessitating methods to translate the generated low-noise RF signal to the microwave domain. Benchtop pulse interleavers can multiply the pulse repetition rate, avoid saturation of photodetectors, and facilitate the generation of high-power low-noise microwave signals, which have to date only been demonstrated using optical fibers or free space optics. Here, we introduce a large-scale photonic integrated circuit-based interleaver, offering size reduction and enhanced stability. The all-on-chip interleaver attains a 64-fold multiplication of the repetition rate, directly translated from 216 MHz to 14 GHz in microwave Ku-Band. By overcoming photodetector saturation, the generated microwave power was improved by 36 dB, with a phase noise floor reduced by more than 10 folds to -160 dBc/Hz on the 14 GHz carrier. The device is based on a low-loss and high-density photonic integrated circuit fabricated by the photonic Damascene process. Six cascaded stages of Mach-Zehnder interferometers with optical delay lines up to 33 centimeters long are fully integrated into a compact footprint of 8.5 mmx1.7 mm. The lithographically defined precision of the optical waveguide path length enables the scaling up of the interleaved frequency to millimeter-wave bands, which is challenging the fiber-based counterparts. This interleaver has the potential to reduce the cost and footprint of mode-locked-laser-based microwave generation, allowing for field deployment.


title: Turbo-CF: Matrix Decomposition-Free Graph Filtering for Fast Recommendation

abstract: A series of graph filtering (GF)-based collaborative filtering (CF) showcases state-of-the-art performance on the recommendation accuracy by using a low-pass filter (LPF) without a training process. However, conventional GF-based CF approaches mostly perform matrix decomposition on the item-item similarity graph to realize the ideal LPF, which results in a non-trivial computational cost and thus makes them less practical in scenarios where rapid recommendations are essential. In this paper, we propose Turbo-CF, a GF-based CF method that is both training-free and matrix decomposition-free. Turbo-CF employs a polynomial graph filter to circumvent the issue of expensive matrix decompositions, enabling us to make full use of modern computer hardware components (i.e., GPU). Specifically, Turbo-CF first constructs an item-item similarity graph whose edge weights are effectively regulated. Then, our own polynomial LPFs are designed to retain only low-frequency signals without explicit matrix decompositions. We demonstrate that Turbo-CF is extremely fast yet accurate, achieving a runtime of less than 1 second on real-world benchmark datasets while achieving recommendation accuracies comparable to best competitors.


title: AI-Generated Faces in the Real World: A Large-Scale Case Study of Twitter Profile Images

abstract: Recent advances in the field of generative artificial intelligence (AI) have blurred the lines between authentic and machine-generated content, making it almost impossible for humans to distinguish between such media. One notable consequence is the use of AI-generated images for fake profiles on social media. While several types of disinformation campaigns and similar incidents have been reported in the past, a systematic analysis has been lacking. In this work, we conduct the first large-scale investigation of the prevalence of AI-generated profile pictures on Twitter. We tackle the challenges of a real-world measurement study by carefully integrating various data sources and designing a multi-stage detection pipeline. Our analysis of nearly 15 million Twitter profile pictures shows that 0.052% were artificially generated, confirming their notable presence on the platform. We comprehensively examine the characteristics of these accounts and their tweet content, and uncover patterns of coordinated inauthentic behavior. The results also reveal several motives, including spamming and political amplification campaigns. Our research reaffirms the need for effective detection and mitigation strategies to cope with the potential negative effects of generative AI in the future.


title: Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata

abstract: We determine all functional closure properties of finite $\mathbb{N}$-weighted automata, even all multivariate ones, and in particular all multivariate polynomials. We also determine all univariate closure properties in the promise setting, and all multivariate closure properties under certain assumptions on the promise, in particular we determine all multivariate closure properties where the output vector lies on a monotone algebraic graph variety.