title: Efficient and Training-Free Control of Language Generation

abstract: In recent years, there has been a growing interest in the development of language models capable of generating text with controllable attributes. While several approaches have been proposed, many of these methods require condition-specific data or significant computational resources. In this study, we propose a novel method called Gamma Sampling, which enables controllable language generation without the need for any training data and maintains a fast generation speed. Gamma Sampling incorporates attribute-related information into the sampling process, effectively guiding the language model to produce text with desired attributes. Our experimental results demonstrate that Gamma Sampling, when applied to GPT2, outperforms representative baselines in terms of diversity, attribute relevance, and overall quality of the generated samples.


title: A family of non-modular covariant AQFTs

abstract: Based on the construction provided in our paper "Covariant homogeneous nets of standard subspaces", Comm. Math. Phys. 386 (2021), 305-358, we construct non-modular covariant one-particle nets on the two-dimensional de Sitter spacetime and on the three-dimensional Minkowski space.


title: A proof of the second Rogers-Ramanujan identity via Kleshchev multipartitions

abstract: We give another proof of the second Rogers-Ramanujan identity by Kashiwara crystals.


title: Reactive Synthesis of Smart Contract Control Flows

abstract: Smart contracts are small but highly error-prone programs that implement agreements between multiple parties. We present a reactive synthesis approach for the automatic construction of smart contract state machines. Towards this end, we extend temporal stream logic (TSL) with universally quantified parameters over infinite domains. Parameterized TSL is a convenient logic to specify the temporal control flow, i.e., the correct order of transactions, as well as the data flow of the contract's fields. We develop a two-step approach that 1) synthesizes a finite representation of the - in general - infinite-state system and 2) splits the system into a compact hierarchical architecture that enables the implementation of the state machine in Solidity. We implement the approach in our prototype tool SCSynt, which - within seconds - automatically constructs Solidity code that realizes the specified control flow.


title: Hard sphere crystal nucleation rates: Reconciliation of simulation and experiment

abstract: Over the past two decades, a large number of studies addressed the topic of crystal nucleation in suspensions of hard spheres. The shared result of all these efforts is that, at low super-saturations, experimentally observed nucleation rates and numerically computed ones differ by more than ten orders of magnitude. We present precise simulation results of crystal nucleation rate densities in the meta-stable hard sphere liquid. To compare these rate densities to experimentally measured ones, we propose an interpretation of the experimental data as a combination of nucleation and crystal growth processes (rather than purely the nucleation process). This interpretation may resolve the long standing dispute about the differing rates.


title: Dispersive bounds for local form factors in $\Lambda_b \to \Lambda$ transitions

abstract: We investigate the ten independent local form-factors relevant to the $b$-baryon decay $\Lambda_b \to \Lambda \ell^+\ell^-$, combining information of lattice QCD and dispersive bounds. We propose a novel parametrization of the form factors in terms of orthonormal polynomials that diagonalizes the form factor contributions to the dispersive bounds. This is a generalization of the unitarity bounds developed for meson-to-meson form-factors. In contrast to ad-hoc parametrizations of these form factors, our parametrization provides a degree of control of the form-factor uncertainties at large hadronic recoil. This is of phenomenological interest for theoretical predictions of, e.g., $\Lambda_b\to \Lambda \gamma$ and $\Lambda_b\to\Lambda \ell^+\ell^-$ decay processes.


title: An improved KTNS algorithm for the job sequencing and tool switching problem

abstract: We outline a new Max Pipe Construction Algorithm (MPCA) with the purpose to reduce the CPU time for the classic Keep Tool Needed Soonest (KTNS) algorithm. The KTNS algorithm is applied to compute the objective function value for the given sequence of jobs in all exact and approximating algorithms for solving the Job Sequencing and Tool Switching Problem (SSP). Our MPCA outperforms the KTNS algorithm by at least an order of magnitude in terms of CPU times. Since all exact and heuristic algorithms for solving the SSP spend most of their CPU time on applying the KTNS algorithm we show that our MPCA solves the entire SSP on average 59 times faster for benchmark instances of D compared to current state of the art heuristics.


title: The quantum metric structure of quantum SU(2)

abstract: We introduce a two parameter family of Dirac operators on quantum SU(2) and analyse their properties from the point of view of non-commutative metric geometry. It is shown that these Dirac operators give rise to compact quantum metric structures, and that the corresponding two parameter family of compact quantum metric spaces varies continuously in Rieffel's quantum Gromov-Hausdorff distance. This continuity result includes the classical case where we recover the round 3-sphere up to a global scaling factor on the metric. Our main technical tool is a quantum SU(2) analogue of the Berezin transform, together with its associated fuzzy approximations, the analysis of which also leads to a systematic way of approximating Lipschitz operators by means of polynomial expressions in the generators.


title: A refined model for the buckling of film/substrate bilayers

abstract: The classical reduced model for a film/substrate bilayer is one in which the film is governed by the Euler-Bernoulli beam equation and the substrate is replaced by an array of springs (the so-called Winkler foundation assumption). We derive a refined model in which the normal and shear tractions at the bottom of the film are expressed in terms of the corresponding horizontal and vertical displacements, and the response of the half-space is described by the exact theory. The self-consistency of the refined model is confirmed by showing that it yields a four-term (in the incompressible case) or six-term (in the compressible case) expansion for the critical strain that agrees with the expansion given by the exact theory.


title: On generalization of Lipschitz groups and spin groups

abstract: This paper presents some new Lie groups preserving fixed subspaces of geometric algebras (or Clifford algebras) under the twisted adjoint representation. We consider the cases of subspaces of fixed grades and subspaces determined by the grade involution and the reversion. Some of the considered Lie groups can be interpreted as generalizations of Lipschitz groups and spin groups. The Lipschitz groups and the spin groups are subgroups of these Lie groups and coincide with them in the cases of small dimensions. We study the corresponding Lie algebras.


title: Ultra-Reliable Low-Latency Communication for Aerial Vehicles via Multi-Connectivity

abstract: Aerial vehicles (AVs) such as electric vertical take-off and landing (eVTOL) make aerial passenger transportation a reality in urban environments. However, their communication connectivity is still under research to realize their safe and full-scale operation, which requires stringent end-to-end (E2E) reliability and delay. In this paper, we evaluate reliability and delay for the downlink communication of AVs, i.e., remote piloting, control/telemetry traffic of AVs. We investigate direct air-to-ground (DA2G) and air-to-air (A2A) communication technologies, along with high altitude platforms (HAPs) to explore the conditions of how multi-connectivity (MC) options satisfy the demanding E2E connectivity requirements under backhaul link bottleneck. Our considered use case is ultra-reliable low-latency communication (URLLC) under the finite blocklength (FBL) regime due to the nature of downlink control communication to AVs. In our numerical study, we find that providing requirements by single connectivity to AVs is very challenging due to the line-of-sight (LoS) interference and reduced gains of downtilt ground base station (BS) antenna. We also find that even with very efficient interference mitigation, existing cellular networks designed for terrestrial users are not capable of meeting the URLLC requirements calling for MC solutions.


title: Sharp Liouville type results for semilinear elliptic inequalities involving gradient terms on weighted graphs

abstract: We study nonexistence and existence of nontrivial positive solutions to the following semilinear elliptic inequality involving gradient terms \[ \Delta u+u^p\left|\nabla u\right|^q\leq0, \] on weighted graphs, where $(p,q)\in\mathbb{R}^2$. We give a complete classification of $(p,q)$ under which sharp volume growth assumptions are established.


title: Link recommendations: Their impact on network structure and minorities

abstract: Network-based people recommendation algorithms are widely employed on the Web to suggest new connections in social media or professional platforms. While such recommendations bring people together, the feedback loop between the algorithms and the changes in network structure may exacerbate social biases. These biases include rich-get-richer effects, filter bubbles, and polarization. However, social networks are diverse complex systems and recommendations may affect them differently, depending on their structural properties. In this work, we explore five people recommendation algorithms by systematically applying them over time to different synthetic networks. In particular, we measure to what extent these recommendations change the structure of bi-populated networks and show how these changes affect the minority group. Our systematic experimentation helps to better understand when link recommendation algorithms are beneficial or harmful to minority groups in social networks. In particular, our findings suggest that, while all algorithms tend to close triangles and increase cohesion, all algorithms except Node2Vec are prone to favor and suggest nodes with high in-degree. Furthermore, we found that, especially when both classes are heterophilic, recommendation algorithms can reduce the visibility of minorities.


title: Elucidating coherent structures, transport barriers and entrainment in turbulent fountains in stratified media

abstract: We analyse the flow organization of turbulent fountains in stratified media under different conditions, using three-dimensional finite-time Lyapunov exponents. The dominant Lagrangian coherent structures responsible for the transport barriers in three different configurations suggest a self-similarity behaviour. After proposing a criterion for delimiting the boundary surface of the uprising fountain, we quantify the entrainment and re-entrainment rates under fully developed flow conditions using the proper coefficients. Finally, our analysis was applied to the Selective Inverted Sink, a technological application of turbulent fountains, identifying turbulence as the primary mechanism favouring the device's efficiency.


title: Correction of Residual Errors in Configuration Interaction Electronic Structure Calculations

abstract: Methods for correcting residual energy errors of configuration interaction (CI) calculations of molecules and other electronic systems are discussed based on the assumption that the energy defect can be mapped onto atomic regions. The methods do not consider the detailed nature of excitations, but instead define a defect energy per electron that that is unique to a specific atom. Defect energy contributions are determined from calculations on diatomic and hydride molecules and then applied to other systems. Calculated energies are compared with experimental thermodynamic and spectroscopic data for a set of forty-one mainly organic molecules representing a wide range of bonding environments. The most stringent test is based on a severely truncated virtual space in which higher spherical harmonic basis functions are removed. The errors of the initial CI calculations are large, but in each case, including defect corrections brings calculated CI energies into agreement with experimental values. The method is also applied to a NIST compilation of coupled-cluster calculations that employ a larger basis set and no truncation of the virtual space. The corrections show excellent consistency with total energies in very good agreement with experimental values. An extension of the method is applied to dmsn states of Sc, Ti, V, Mn, Cr, Fe, Co, Ni and Cu, significantly improving the agreement of calculated transition energies with spectroscopic values.


title: Nonadiabatic ab initio molecular dynamics including spin-orbit coupling and laser fields

abstract: Nonadiabatic ab initio molecular dynamics (MD) including spin-orbit coupling (SOC) and laser fields is investigated as a general tool for studies of excited-state processes. Up to now, SOCs are not included in standard ab initio MD packages. Therefore, transitions to triplet states cannot be treated in a straightforward way. Nevertheless, triplet states play an important role in a large variety of systems and can now be treated within the given framework. The laser interaction is treated on a non-perturbative level that allows nonlinear effects like strong Stark shifts to be considered. As MD allows for the handling of many atoms, the interplay between triplet and singlet states of large molecular systems will be accessible. In order to test the method, IBr is taken as a model system, where SOC plays a crucial role for the shape of the potential curves and thus the dynamics. Moreover, the influence of the nonresonant dynamic Stark effect is considered. The latter is capable of controlling reaction barriers by electric fields in timereversible conditions, and thus a control laser using this effect acts like a photonic catalyst. In the IBr molecule, the branching ratio at an avoided crossing, which arises from SOC, can be influenced.


title: Gravitational lensing by the hairy Schwarzschild black hole

abstract: In this manuscript, we consider the hairy Schwarzschild black hole that evades the no-hair theorem. The hair is induced by an additional source from surroundings, such as dark matter, that has a constant energy-momentum tensor(EMT). We study the strong gravitational lensing of light in the background of the hairy Schwarzschild black hole. We observe that the lensing coefficient $\overline{a}$ increases with $\alpha$ but decreases with $\ell_0$. The opposite effect is observed for the lensing coefficient $\overline{b}$ and the impact parameter $b_m$. We also notice that the angular position $\theta_\infty$ decreases with $\alpha$ but increases with $\ell_0$, whereas the angular separation $s$ increases with $\alpha$ and decreases with $\ell_0$. For all parameters mentioned, we regain their values for the Schwarzschild black hole whenever we put either $\alpha=0$ or $\ell_0=1$. With the help of the Gauss-Bonnet theorem, we briefly describe the weak gravitational lensing in the background of the hairy Schwarzschild black hole.


title: Unified Source-Filter GAN with Harmonic-plus-Noise Source Excitation Generation

abstract: This paper introduces a unified source-filter network with a harmonic-plus-noise source excitation generation mechanism. In our previous work, we proposed unified Source-Filter GAN (uSFGAN) for developing a high-fidelity neural vocoder with flexible voice controllability using a unified source-filter neural network architecture. However, the capability of uSFGAN to model the aperiodic source excitation signal is insufficient, and there is still a gap in sound quality between the natural and generated speech. To improve the source excitation modeling and generated sound quality, a new source excitation generation network separately generating periodic and aperiodic components is proposed. The advanced adversarial training procedure of HiFiGAN is also adopted to replace that of Parallel WaveGAN used in the original uSFGAN. Both objective and subjective evaluation results show that the modified uSFGAN significantly improves the sound quality of the basic uSFGAN while maintaining the voice controllability.


title: Decay properties of $N(1535)$ in the holographic QCD

abstract: We study one pion emission decay of the first excited state of the nucleon with negative parity $N(1535) \equiv N^*$ in the holographic model of QCD. The excited state is described as a vibrational mode along the extra $z$ direction in the five-dimensional space-time of the model. We have obtained an analytic formula for the axial coupling of $g_A^{NN^*}$. The off-diagonal axial coupling is obtained at the decaying pion momentum $|\boldsymbol{k}| = 448$ MeV as $g_A^{NN^*} \sim 0.32$, and hence a partial decay width $\Gamma_{N^* \to \pi N} \sim 30$ MeV, which is smaller than but reasonably compared to the experimental data.


title: Magnetic fields and outflows in the large Bok globule CB 54

abstract: We have observed the large Bok globule CB 54 in 850$\mu$m polarised light using the POL-2 polarimeter on the James Clerk Maxwell Telescope (JCMT). We find that the magnetic field in the periphery of the globule shows significant, ordered deviation from the mean field direction in the globule centre. This deviation appears to correspond with the extended but relatively weak $^{12}$CO outflow emanating from the Class 0 sources at the centre of the globule. Energetics analysis suggests that if the outflow is reshaping the magnetic field in the globule's periphery, then we can place an upper limit of $<27\,\mu$G on the magnetic field strength in the globule's periphery. Comparison with archival Planck and CARMA measurements shows that the field in the centre of the globule is consistent over several orders of magnitude in size scale, and oriented parallel to the density structure in the region in projection. We thus hypothesise that while non-thermal motions in the region may be sub-Alfv\'enic, the magnetic field is subdominant to gravity over a wide range of size scales. Our results suggest that even a relatively weak outflow may be able to significantly reshape magnetic fields in star-forming regions on scales $> 0.1$ pc.


title: Quasiparticles in superconducting qubits with asymmetric junctions

abstract: Designing the spatial profile of the superconducting gap -- gap engineering -- has long been recognized as an effective way of controlling quasiparticles in superconducting devices. In aluminum films, their thickness modulates the gap; therefore, standard fabrication of Al/AlOx/Al Josephson junctions, which relies on overlapping a thicker film on top of a thinner one, always results in gap-engineered devices. Here we reconsider quasiparticle effects in superconducting qubits to explicitly account for the unavoidable asymmetry in the gap on the two sides of a Josephson junction. We find that different regimes can be encountered in which the quasiparticles have either similar densities in the two junction leads, or are largely confined to the lower-gap lead. Qualitatively, for similar densities the qubit's excited state population is lower but its relaxation rate higher than when the quasiparticles are confined; therefore, there is a potential trade-off between two desirable properties in a qubit.


title: A Qualitative Evaluation of Service Mesh-based Traffic Management for Mobile Edge Cloud

abstract: Service mesh is getting widely adopted as the cloud-native mechanism for traffic management in microservice-based applications, in particular for generic IT workloads hosted in more centralized cloud environments. Performance-demanding applications continue to drive the decentralization of modern application execution environments, as in the case of mobile edge cloud. This paper presents a systematic and qualitative analysis of state-of-the-art service mesh to evaluate how suitable its design is for addressing the traffic management needs of performance-demanding application workloads hosted in a mobile edge cloud environment. With this analysis, we argue that today's dependability-centric service mesh design fails at addressing the needs of the different types of emerging mobile edge cloud workloads and motivate further research in the directions of performance-efficient architectures, stronger QoS guarantees and higher complexity abstractions of cloud-native traffic management frameworks.


title: Positive, Negative and Neutral: Modeling Implicit Feedback in Session-based News Recommendation

abstract: News recommendation for anonymous readers is a useful but challenging task for many news portals, where interactions between readers and articles are limited within a temporary login session. Previous works tend to formulate session-based recommendation as a next item prediction task, while they neglect the implicit feedback from user behaviors, which indicates what users really like or dislike. Hence, we propose a comprehensive framework to model user behaviors through positive feedback (i.e., the articles they spend more time on) and negative feedback (i.e., the articles they choose to skip without clicking in). Moreover, the framework implicitly models the user using their session start time, and the article using its initial publishing time, in what we call "neutral feedback". Empirical evaluation on three real-world news datasets shows the framework's promising performance of more accurate, diverse and even unexpectedness recommendations than other state-of-the-art session-based recommendation approaches.


title: CURL: Continuous, Ultra-compact Representation for LiDAR

abstract: Increasing the density of the 3D LiDAR point cloud is appealing for many applications in robotics. However, high-density LiDAR sensors are usually costly and still limited to a level of coverage per scan (e.g., 128 channels). Meanwhile, denser point cloud scans and maps mean larger volumes to store and longer times to transmit. Existing works focus on either improving point cloud density or compressing its size. This paper aims to design a novel 3D point cloud representation that can continuously increase point cloud density while reducing its storage and transmitting size. The pipeline of the proposed Continuous, Ultra-compact Representation of LiDAR (CURL) includes four main steps: meshing, upsampling, encoding, and continuous reconstruction. It is capable of transforming a 3D LiDAR scan or map into a compact spherical harmonics representation which can be used or transmitted in low latency to continuously reconstruct a much denser 3D point cloud. Extensive experiments on four public datasets, covering college gardens, city streets, and indoor rooms, demonstrate that much denser 3D point clouds can be accurately reconstructed using the proposed CURL representation while achieving up to 80% storage space-saving. We open-source the CURL codes for the community.


title: $H^1$-norm stability and convergence of an L2-type method on nonuniform meshes for subdiffusion equation

abstract: This work establishes $H^1$-norm stability and convergence for an L2 method on general nonuniform meshes when applied to the subdiffusion equation. Under mild constraints on the time step ratio $\rho_k$, such as $0.4573328\leq \rho_k\leq 3.5615528$ for $k\geq 2$, the positive semidefiniteness of a crucial bilinear form associated with the L2 fractional-derivative operator is proved. This result enables us to derive long time $H^1$-stability of L2 schemes. These positive semidefiniteness and $H^1$-stability properties hold for standard graded meshes with grading parameter $1<r\leq 3.2016538$. In addition, error analysis in the $H^1$-norm for general nonuniform meshes is provided, and convergence of order $(5-\alpha)/2$ in $H^1$-norm is proved for modified graded meshes when $r>5/\alpha-1$. To the best of our knowledge, this study is the first work on $H^1$-norm stability and convergence of L2 methods on general nonuniform meshes for the subdiffusion equation.


title: Renormalization-group improved Higgs to two gluons decay rate

abstract: We investigate the renormalization-group scale and scheme dependence of the $H \rightarrow gg$ decay rate at the order N$^4$LO in the renormalization-group summed perturbative theory, which employs the summation of all renormalization-group accessible logarithms including the leading and subsequent four sub-leading logarithmic contributions to the full perturbative series expansion. Moreover, we study the higher-order behaviour of the $H \rightarrow gg$ decay width using the asymptotic Pad\'e approximant method in four different renormalization schemes. Furthermore, the higher-order behaviour is independently investigated in the framework of the asymptotic Pad\'e-Borel approximant method where generalized Borel-transform is used as an analytic continuation of the original perturbative expansion. The predictions of the asymptotic Pad\'e-Borel approximant method are found to be in agreement with that of the asymptotic Pad\'e approximant method. Finally, we provide the $H \rightarrow gg$ decay rate at the order N$^5$LO in the fixed-order $ \Gamma_{\rm N^5LO} \,=\, \Gamma_0 (1.8375 \pm 0.047 _{\alpha_s(M_Z),1\%}\pm 0.0004_{M_t} \pm 0.0066_{M_H} \pm 0.0036_{\rm P} \pm 0.007_{\text{s}} \pm 0.0005_{sc} ),$ and $\Gamma_{\rm RGSN^5LO} \,=\, \Gamma_0 (1.841 \pm 0.047 _{\alpha_s(M_Z),1\%} \pm 0.0005_{M_t}\pm 0.0066_{M_H} \pm 0.0002_{\mu} \pm 0.0027_{\rm P} \pm 0.001_{sc} )$ in the renormalization-group summed perturbative theories.


title: Mirror symmetry breakdown in the Kardar-Parisi-Zhang universality class

abstract: The height fluctuation statistics of Kardar-Parisi-Zhang (KPZ) growth in 1+1 dimensions are sensitive to the initial state. Here we focus on height fluctuations in the stationary regime described by the Baik-Rains distribution. We find that the averages over the initial states exhibit universal and scale-invariant patterns when conditioning on fluctuations. Going into more detail, the conditioned probability distribution of an initial state order parameter shows a transition from uni- to bimodal. Bimodality occurs for negative height fluctuations that are dominated by super-diffusive shock dynamics. Two possible point-symmetric shock profiles cause the bimodality and the KPZ mirror symmetry breakdown. To establish universality of our findings we demonstrate scale invariance at different times and heights using large-scale Monte-Carlo simulations of the totally asymmetric simple exclusion process (TASEP) which belongs to the KPZ universality class.


title: Outage Analysis of Aerial Semi-Grant-Free NOMA Systems

abstract: In this paper, we analyze the outage performance of unmanned aerial vehicles (UAVs)-enabled downlink non-orthogonal multiple access (NOMA) communication systems with the semi-grant-free (SGF) transmission scheme. A UAV provides coverage services for a grant-based (GB) user and one user is allowed to utilize the same channel resource opportunistically. The hybrid successive interference cancellation scheme is implemented in the downlink NOMA scenarios for the first time. The analytical expressions for the exact and asymptotic outage probability (OP) of the grant-free (GF) user are derived. The results demonstrate that no-zero diversity order can be achieved only under stringent conditions on users' quality of service requirements. Subsequently, we propose an efficient dynamic power allocation (DPA) scheme to relax such data rate constraints to address this issue. The analytical expressions for the exact and asymptotic OP of the GF user with the DPA scheme are derived. Finally, Monte Carlo simulation results are presented to validate the correctness of the derived analytical expressions and demonstrate the effects of the UAV's location and altitude on the OP of the GF user.


title: Stalloris: RPKI Downgrade Attack

abstract: We demonstrate the first downgrade attacks against RPKI. The key design property in RPKI that allows our attacks is the tradeoff between connectivity and security: when networks cannot retrieve RPKI information from publication points, they make routing decisions in BGP without validating RPKI. We exploit this tradeoff to develop attacks that prevent the retrieval of the RPKI objects from the public repositories, thereby disabling RPKI validation and exposing the RPKI-protected networks to prefix hijack attacks. We demonstrate experimentally that at least 47% of the public repositories are vulnerable against a specific version of our attacks, a rate-limiting off-path downgrade attack. We also show that all the current RPKI relying party implementations are vulnerable to attacks by a malicious publication point. This translates to 20.4% of the IPv4 address space. We provide recommendations for preventing our downgrade attacks. However, resolving the fundamental problem is not straightforward: if the relying parties prefer security over connectivity and insist on RPKI validation when ROAs cannot be retrieved, the victim AS may become disconnected from many more networks than just the one that the adversary wishes to hijack. Our work shows that the publication points are a critical infrastructure for Internet connectivity and security. Our main recommendation is therefore that the publication points should be hosted on robust platforms guaranteeing a high degree of connectivity.


title: Sharp turns in axion monodromy: primordial black holes and gravitational waves

abstract: Large turns in multifield inflation can lead to a very rich phenomenology, but are difficult to realise in supergravity, and typically require large field space curvatures. In this work, we present a mechanism to realise multiple sharp turns, and therefore strong non-geodesic trajectories, from transient violations of slow-roll without the requirement of large field space curvatures in supergravity inflation. Such turning rates can strongly source the adiabatic fluctuations, resulting in an enhanced scalar power spectrum with resonant features and a large peak amplitude. If the growth of the scalar power spectrum at small scales is large enough, primordial black holes can be produced in abundance. These large scalar fluctuations induce a characteristic large spectrum of gravitational waves for a wide range of frequencies, which inherits the resonant features. We illustrate this mechanism in a supergravity model of axion monodromy, which provides the first concrete model to realise such resonant features. The model can sustain inflation for around 60 e-folds, leading to considerable production of very light primordial black holes, and large gravitational wave spectra, which could be detectable by multiple upcoming gravitational wave surveys. For the set of parameter we consider, large oscillations occur at all scales. This represents a challenge for the model at large scales and motivates further investigation to reconcile this class of models with Planck data.


title: Data-aided Underwater Acoustic Ray Propagation Modeling

abstract: Acoustic propagation models are widely used in numerous oceanic and other underwater applications. Most conventional models are approximate solutions of the acoustic wave equation, and require accurate environmental knowledge to be available beforehand. Environmental parameters may not always be easily or accurately measurable. While data-driven techniques might allow us to model acoustic propagation without the need for extensive prior environmental knowledge, such techniques tend to be data-hungry and often infeasible in oceanic applications where data collection is difficult and expensive. We propose a data-aided ray physics based high frequency acoustic propagation modeling approach that enables us to train models with only a small amount of data. The proposed framework is not only data-efficient, but also offers flexibility to incorporate varying degrees of environmental knowledge, and generalizes well to permit extrapolation beyond the area where data was collected. We demonstrate the feasibility and applicability of our method through four numerical case studies, and one controlled experiment. We also benchmark our method's performance against classical data-driven techniques.


title: Data-Driven Sensor Selection Method Based on Proximal Optimization for High-Dimensional Data With Correlated Measurement Noise

abstract: The present paper proposes a data-driven sensor selection method for a high-dimensional nondynamical system with strongly correlated measurement noise. The proposed method is based on proximal optimization and determines sensor locations by minimizing the trace of the inverse of the Fisher information matrix under a block-sparsity hard constraint. The proposed method can avoid the difficulty of sensor selection with strongly correlated measurement noise, in which the possible sensor locations must be known in advance for calculating the precision matrix for selecting sensor locations. The problem can be efficiently solved by the alternating direction method of multipliers, and the computational complexity of the proposed method is proportional to the number of potential sensor locations when it is used in combination with a low-rank expression of the measurement noise model. The advantage of the proposed method over existing sensor selection methods is demonstrated through experiments using artificial and real datasets.


title: On the Lambek embedding and the category of product-preserving presheaves

abstract: It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda embedding does not preserve coproducts. It is perhaps less well-known that if we restrict the codomain of the Yoneda embedding to the full subcategory of limit-preserving functors, then this embedding preserves colimits, while still enjoying most of the other useful properties of the Yoneda embedding. We call this modified embedding the Lambek embedding. The category of limit-preserving functors is known to be a reflective subcategory of the category of all functors, i.e., there is a left adjoint for the inclusion functor. In the literature, the existence of this left adjoint is often proved non-constructively, e.g., by an application of Freyd's adjoint functor theorem. In this paper, we provide an alternative, more constructive proof of this fact. We first explain the Lambek embedding and why it preserves coproducts. Then we review some concepts from multi-sorted algebras and observe that there is a one-to-one correspondence between product-preserving presheaves and certain multi-sorted term algebras. We provide a construction that freely turns any presheaf functor into a product-preserving one, hence giving an explicit definition of the left adjoint functor of the inclusion. Finally, we sketch how to extend our method to prove that the subcategory of limit-preserving functors is also reflective.


title: Sequential algorithms for testing identity and closeness of distributions

abstract: What advantage do \emph{sequential} procedures provide over batch algorithms for testing properties of unknown distributions? Focusing on the problem of testing whether two distributions $\mathcal{D}_1$ and $\mathcal{D}_2$ on $\{1,\dots, n\}$ are equal or $\epsilon$-far, we give several answers to this question. We show that for a small alphabet size $n$, there is a sequential algorithm that outperforms any batch algorithm by a factor of at least $4$ in terms sample complexity. For a general alphabet size $n$, we give a sequential algorithm that uses no more samples than its batch counterpart, and possibly fewer if the actual distance $TV(\mathcal{D}_1, \mathcal{D}_2)$ between $\mathcal{D}_1$ and $\mathcal{D}_2$ is larger than $\epsilon$. As a corollary, letting $\epsilon$ go to $0$, we obtain a sequential algorithm for testing closeness when no a priori bound on $TV(\mathcal{D}_1, \mathcal{D}_2)$ is given that has a sample complexity $\tilde{\mathcal{O}}(\frac{n^{2/3}}{TV(\mathcal{D}_1, \mathcal{D}_2)^{4/3}})$: this improves over the $\tilde{\mathcal{O}}(\frac{n/\log n}{TV(\mathcal{D}_1, \mathcal{D}_2)^{2} })$ tester of \cite{daskalakis2017optimal} and is optimal up to multiplicative constants. We also establish limitations of sequential algorithms for the problem of testing identity and closeness: they can improve the worst case number of samples by at most a constant factor.


title: A quantum phase-space equivalence leads to hidden causal loops in a model for measurement consistent with macroscopic realism

abstract: We show how unobservable causal loops arise from quantum mechanics, and can explain quantum measurement consistently with macroscopic realism. We analyze a measurement $\hat{x}$ on a system prepared in a superposition of eigenstates $|x_{j}\rangle$ where the measurement is modeled by amplification. We prove an equivalence between the positive phase-space distribution $Q(x,p,t)$, and simultaneous backward and forward-propagating stochastic trajectories for amplitudes $x$ and $p$. The sampling for the amplified variable $x$ is specified by a future boundary condition determined by the measurement setting, the backward and forward trajectories being linked at the initial-time boundary to form a loop. We confirm that the joint densities for $x(t)$ and $p(t)$ yield $Q(x,p,t)$, thus demonstrating causal consistency and Born's rule. A feature is hidden vacuum noise associated with an eigenstate. Unlike the eigenvalue $x_{j}$, this noise is not amplified, the fluctuations originating from future boundary conditions. For macroscopic superpositions of $|x_{j}\rangle$, we show consistency with macroscopic realism: the outcome for $\hat{x}$ can be considered a real property at the time $t_{0}$ prior to measurement (independent of future events). We deduce a hybrid causal structure involving causal relations for amplified variables, along with hidden causal loops for unamplified quantities, demonstrating that causal loops do not imply (observable) retrocausality. Further, we evaluate $Q_{j}(x,p,0)$ for the trajectories conditioned on the outcome $x_{j}$. The ``state'' defined by this function cannot be a quantum state, the uncertainties for $\hat{x}$ and $\hat{p}$ being too small. However, $Q_{j}(x,p,0)$ approaches that of $|x_{j}\rangle$ for a macroscopic superposition. Our results provide a framework for study of Einstein-Podolsky-Rosen and Bell correlations.


title: On Whitehead's cut vertex lemma

abstract: One version of Whitehead's famous cut vertex lemma says that if an element of a free group is part of a free basis, then a certain graph associated to its conjugacy class that we call the star graph is either disconnected or has a cut vertex. We state and prove a version of this lemma for conjugacy classes of elements and convex-cocompact subgroups of groups acting cocompactly on trees with finitely generated edge stabilizers.


title: SimRelUz: Similarity and Relatedness scores as a Semantic Evaluation dataset for Uzbek language

abstract: Semantic relatedness between words is one of the core concepts in natural language processing, thus making semantic evaluation an important task. In this paper, we present a semantic model evaluation dataset: SimRelUz - a collection of similarity and relatedness scores of word pairs for the low-resource Uzbek language. The dataset consists of more than a thousand pairs of words carefully selected based on their morphological features, occurrence frequency, semantic relation, as well as annotated by eleven native Uzbek speakers from different age groups and gender. We also paid attention to the problem of dealing with rare words and out-of-vocabulary words to thoroughly evaluate the robustness of semantic models.


title: Consensus Capacity of Noisy Broadcast Channels

abstract: We study communication with consensus over a broadcast channel - the receivers reliably decode the sender's message when the sender is honest, and their decoder outputs agree even if the sender acts maliciously. We characterize the broadcast channels which permit this byzantine consensus and determine their capacity.


title: Reflection of internal gravity waves in the form of quasi-axisymmetric beams

abstract: Preservation of the angle of reflection when an internal gravity wave hits a sloping boundary generates a focusing mechanism if the angle between the direction of propagation of the incident wave and the horizontal is close to the slope inclination (near-critical reflection). This paper provides an explicit description of the leading approximation of the unique Leray solution to the near-critical reflection of internal waves from a slope in the form of a beam wave. More precisely, our beam wave approach allows to construct a fully consistent and Lyapunov stable approximate solution, $L^2$ -close to the Leray solution, in the form of a beam wave, within a certain (nonlinear) time-scale. To the best of our knowledge, this is the first result wherea mathematical study of internal waves in terms of spatially localized beam waves is performed.\\%A beam wave is a linear superposition of rapidly oscillating plane waves, where the high frequency of oscillation is proportional to the inverse of a power of the small parameter measuring the weak amplitude of waves. \\%Being localized in the physical space thanks to rapid oscillations (and high variations of the modulus of the wavenumber), beams are physically more relevant than plane waves/packets of waves, whose wavenumber is nearly fixed (microloca\-li\-zed). At the mathematical level, this marks a strong difference between the previous plane waves/packets of waves analysis and our approach. \\%The main novelty of this work is to exploit the spatial localization of beam waves to exhibit a spatially localized, physically relevant solution and to improve the previous mathematical results from a twofold perspective: 1) our beam wave approximate solution is the sum of a finite number of terms, each of them is a consistent solution to the system and there is no artificial/non-physical corrector; 2) thanks to the absence of artificial correctors (used in the previous results) and to the special structure of the nonlinear term, we can push the expansion of our solution to next orders, so improving the accuracy and enlarging the consistency time-scale.Finally, our results provide a set of initial conditions localized on rays, for which the Leray solution maintains approximately in $L^2$ the same localization.


title: Calibration procedures for the CHASE/HIS science data

abstract: The H{\alpha} line is an important optical line in solar observations containing the information from the photosphere to the chromosphere. To study the mechanisms of solar eruptions and the plasma dynamics in the lower atmosphere, the Chinese H{\alpha} Solar Explorer (CHASE) was launched into a Sun-synchronous orbit on October 14, 2021. The scientific payload of the CHASE satellite is the H{\alpha} Imaging Spectrograph (HIS). The CHASE/HIS acquires, for the first time, seeing-free H{\alpha} spectroscopic observations with high spectral and temporal resolutions. It consists of two observational modes. The raster scanning mode provides full-Sun or region-of-interest spectra at H{\alpha} (6559.7-6565.9 {\AA}) and Fe I (6567.8-6570.6 {\AA}) wavebands. The continuum imaging mode obtains full-Sun photospheric images at around 6689 {\AA}. In this paper, we present detailed calibration procedures for the CHASE/HIS science data, including the dark-field and flat-field correction, slit image curvature correction, wavelength and intensity calibration, and coordinate transformation. The higher-level data products can be directly used for scientific research.


title: Aspects of univalence in holographic axion models

abstract: Univalent functions are complex, analytic (holomorphic) and injective functions that have been widely discussed in complex analysis. It was recently proposed that the stringent constraints that univalence imposes on the growth of functions combined with sufficient analyticity conditions could be used to derive rigorous lower and upper bounds on hydrodynamic dispersion relation, i.e., on all terms appearing in their convergent series representations. The results are exact bounds on physical quantities such as the diffusivity and the speed of sound. The purpose of this paper is to further explore these ideas, investigate them in concrete holographic examples, and work towards a better intuitive understanding of the role of univalence in physics. More concretely, we study diffusive and sound modes in a family of holographic axion models and offer a set of observations, arguments and tests that support the applicability of univalence methods for bounding physical observables described in terms of effective field theories. Our work provides insight into expected `typical' regions of univalence, comparisons between the tightness of bounds and the corresponding exact values of certain quantities characterizing transport, tests of relations between diffusion and bounds that involve chaotic pole-skipping, as well as tests of a condition that implies the conformal bound on the speed of sound and a complementary condition that implies its violation.

categories: hep-th cond-mat.str-el math-ph math.MP nlin.CD nucl-th


title: Chromium-Doped Bismuth Antimony Telluride for Future Quantum Hall Resistance Standards

abstract: Since 2017, epitaxial graphene has been the base material for the US national standard for resistance. A future avenue of research within electrical metrology is to remove the need for strong magnetic fields, as is currently the case for devices exhibiting the quantum Hall effect. The quantum Hall effect is just one of many research endeavours that revolve around recent quantum physical phenomena like composite fermions, charge density waves, and topological properties [1-2]. New materials, like magnetically doped topological insulators (MTIs), offer access to the quantum anomalous Hall effect, which in its ideal form, could become a future resistance standard needing only a small permanent magnet to activate a quantized resistance value [3-5]. Furthermore, these devices could operate at zero-field for measurements, making the dissemination of the ohm more economical and portable. Here we present results on precision measurements of the h/e2 quantized plateau of Cr-Doped (BixSb1-x)2Te3 and give them context by comparing them to modern graphene-based resistance standards. Ultimately, MTI-based devices could be combined in a single system with magnetic-field-averse Josephson voltage standards to obtain an alternative quantum current standard.


title: Particle acceleration in galactic wind bubbles

abstract: Winds are ubiquitous in galaxies and often feature bubble structures. These wind bubbles are characterized by an external forward shock expanding in the surrounding medium and a wind termination shock separating the cool and fast wind from the hot shocked wind. While the forward shock could not be able to accelerate particles efficiently for a long time, at the wind termination shock the necessary conditions for efficient acceleration may be present. We develop a model for particle acceleration at the termination shock of such bubbles analysing the consequences of different possible engines powering the wind. We finally explore the multi-messenger potential of galactic winds in terms of escaping cosmic rays and high-energy gamma rays and neutrinos produced through hadronic interactions.


title: Quasinormal modes of massive scalar fields in four-dimensional wormholes: anomalous decay rate

abstract: In this work we consider a Generalized Bronnikov-Ellis wormhole and the tideless Morris-Thorne wormhole and we study the propagation of massive scalar fields. We calculate the quasinormal frequencies using the WKB method and the pseudospectal Chebyshev method and we show the presence of an anomalous decay rate for the quasinormal modes in the Generalized Bronnikov-Ellis wormhole. However, such anomalous behaviour is avoided for the fundamental mode in the Morris-Thorne wormhole background.


title: Route to chaos in a branching model of neural network dynamics

abstract: Simplified models are a necessary steppingstone for understanding collective neural network dynamics, in particular the transitions between different kinds of behavior, whose universality can be captured by such models, without prejudice. One such model, the cortical branching model (CBM), has previously been used to characterize part of the universal behavior of neural network dynamics and also led to the discovery of a second, chaotic transition which has not yet been fully characterized. Here, we study the properties of this chaotic transition, that occurs in the mean-field approximation to the $k_{\sf in}=1$ CBM by focusing on the constraints the model imposes on initial conditions, parameters, and the imprint thereof on the Lyapunov spectrum. Although the model seems similar to the H\'enon map, we find that the H\'enon map cannot be recovered using orthogonal transformations to decouple the dynamics. Fundamental differences between the two, namely that the CBM is defined on a compact space and features a non-constant Jacobian, indicate that the CBM maps, more generally, represent a class of generalized H\'enon maps which has yet to be fully understood.


title: Characterization of optical aberrations with scanning pentaprism for large collimators

abstract: We present a practical apparatus for characterizing optical aberrations of large collimation mirrors and lenses, and give a detailed analysis of wavefront-detection errors. We utilize a scanning pentaprism technique for precise measurements of local wavefront slopes, and reconstruct transmitted wavefronts via a conventional least-squares method. Our proof-of-principle experiment demonstrates transverse linear measurements of transmitted wavefronts for a 20.3 cm lens developed for Canada's Quantum Encryption and Science Satellite (QEYSSat) mission. Our demonstration shows the wavefront-detection precision better than 0.01{\lambda} and the divergence-angle resolution less than 20{\mu}rad over the range of 40 cm. We model our optical setup using three-dimensional raytracing and find good quantitative agreement between experimental results and theoretical predictions which validates our methodology.


title: Time-resolved velocity and ion sound speed measurements from simultaneous bow shock imaging and inductive probe measurements

abstract: We present a technique to measure the time-resolved velocity and ion sound speed in magnetized, supersonic high-energy-density plasmas. We place an inductive (`b-dot') probe in a supersonic pulsed-power-driven plasma flow and measure the magnetic field advected by the plasma. As the magnetic Reynolds number is large ($R_M > 10$), the plasma flow advects a magnetic field proportional to the current at the load. This enables us to estimate the plasma flow velocity as a function of time from the delay between the current at the load and the signal at the probe. The supersonic flow also generates a detached hydrodynamic bow shock around the probe, the structure of which depends on the upstream sonic Mach number. By imaging the shock around the probe with a Mach-Zehnder interferometer, we determine the upstream Mach number from the shock Mach angle, which we then use to determine the ion sound speed from the known upstream velocity. We use the measured sound speed to infer the value of $\bar{Z}T_e$, where $\bar{Z}$ is the average ionization, and $T_e$ is the electron temperature. We use this diagnostic to measure the time-resolved velocity and sound speed of a supersonic $(M_S \sim 8)$, super-Alfv\'enic $(M_A \sim 2)$ aluminum plasma generated during the ablation stage of an exploding wire array on the MAGPIE generator (1.4 MA, 250 ns). Velocity and $\bar{Z}T_e$ measured using this technique agree well with optical Thompson scattering measurements reported in literature, and with 3D resistive MHD simulations in GORGON.


title: An empirical method to characterize displacement distribution functions for anomalous and transient diffusion

abstract: We propose a practical empirical fitting function to characterize the non-Gaussian displacement distribution functions (DispD) often observed for heterogeneous diffusion problems. We first test this fitting function with the problem of a colloidal particle diffusing between two walls using Langevin Dynamics (LD) simulations of a raspberry particle coupled to a lattice Boltzmann (LB) fluid. We also test the function with a simple model of anomalous diffusion on a square lattice with obstacles. In both cases, the fitting parameters provide more physical information than just the Kurtosis (which is often the method used to quantify the degree of anomaly of the dynamics), including a length scale that marks where the tails of the DispD begin. In all cases, the fitting parameters smoothly converge to Gaussian values as the systems become less anomalous.


title: Folding lattice proteins with quantum annealing

abstract: Quantum annealing is a promising approach for obtaining good approximate solutions to difficult optimization problems. Folding a protein sequence into its minimum-energy structure represents such a problem. For testing new algorithms and technologies for this task, the minimal lattice-based HP model is well suited, as it represents a considerable challenge despite its simplicity. The HP model has favorable interactions between adjacent, not directly bound hydrophobic residues. Here, we develop a novel spin representation for lattice protein folding tailored for quantum annealing. With a distributed encoding onto the lattice, it differs from earlier attempts to fold lattice proteins on quantum annealers, which were based upon chain growth techniques. With our encoding, the Hamiltonian by design has the quadratic structure required for calculations on an Ising-type annealer, without having to introduce any auxiliary spin variables. This property greatly facilitates the study of long chains. The approach is robust to changes in the parameters required to constrain the spin system to chain-like configurations, and performs very well in terms of solution quality. The results are evaluated against existing exact results for HP chains with up to $N=30$ beads with 100% hit rate, thereby also outperforming classical simulated annealing. In addition, the method allows us to recover the lowest known energies for $N=48$ and $N=64$ HP chains, with similar hit rates. These results are obtained by the commonly used hybrid quantum-classical approach. For pure quantum annealing, our method successfully folds an $N=14$ HP chain. The calculations were performed on a D-Wave Advantage quantum annealer.

categories: quant-ph cond-mat.soft physics.chem-ph q-bio.BM


title: From IP to transport and beyond: cross-layer attacks against applications

abstract: We perform the first analysis of methodologies for launching DNS cache poisoning: manipulation at the IP layer, hijack of the inter-domain routing and probing open ports via side channels. We evaluate these methodologies against DNS resolvers in the Internet and compare them with respect to effectiveness, applicability and stealth. Our study shows that DNS cache poisoning is a practical and pervasive threat. We then demonstrate cross-layer attacks that leverage DNS cache poisoning for attacking popular systems, ranging from security mechanisms, such as RPKI, to applications, such as VoIP. In addition to more traditional adversarial goals, most notably impersonation and Denial of Service, we show for the first time that DNS cache poisoning can even enable adversaries to bypass cryptographic defences: we demonstrate how DNS cache poisoning can facilitate BGP prefix hijacking of networks protected with RPKI even when all the other networks apply route origin validation to filter invalid BGP announcements. Our study shows that DNS plays a much more central role in the Internet security than previously assumed. We recommend mitigations for securing the applications and for preventing cache poisoning.


title: The Tianlai dish array low-z surveys forecasts

abstract: We present the science case for surveys with the Tianlai dish array interferometer tuned to the $\left[ 1300, 1400 \right] \mathrm{MHz}$ frequency range. Starting from a realistic generation of mock visibility data according to the survey strategy, we reconstruct a map of the sky and perform a foreground subtraction. We show that a survey of the North Celestial Polar cap during a year of observing time and covering an area of $150 \, \mathrm{deg^2}$ would reach a sensitivity of $ 1.5-2 \, \mathrm{mK} $ per $1 \, \mathrm{MHz} \times 0.25^2 \, \mathrm{deg^2 }$ voxel and be marginally impacted by mode-mixing. Tianlai would be able to detect a handful $(\sim 10)$ of nearby massive \HI clumps as well as a very strong cross-correlation signal of 21\,cm intensity maps with the North Celestial Cap Survey optical galaxies. We have also studied the performance of a mid-latitude survey, covering $\sim 1500 \, \mathrm{deg^2}$ centered on a declination of $\delta=55^\circ$, which overlaps the Sloan Digital Sky Survey footprint. Despite a higher noise level for the mid-latitude survey, as well as significant distortions due to mode mixing, Tianlai would be able to detect a highly significant cross-correlation between the 21\,cm signal and the Sloan spectroscopic galaxy sample. Using the extragalactic signals from either or both of these surveys, it will be possible to assess the impact of calibration uncertainties, antenna pattern uncertainties, sources of noise, and mode mixing for future surveys requiring higher sensitivity.


title: A single risk approach to the semiparametric copula competing risks model

abstract: A typical situation in competing risks analysis is that the researcher is only interested in a subset of risks. This paper considers a depending competing risks model with the distribution of one risk being a parametric or semi-parametric model, while the model for the other risks being unknown. Identifiability is shown for popular classes of parametric models and the semiparametric proportional hazards model. The identifiability of the parametric models does not require a covariate, while the semiparametric model requires at least one. Estimation approaches are suggested which are shown to be $\sqrt{n}$-consistent. Applicability and attractive finite sample performance are demonstrated with the help of simulations and data examples.


title: Design of plasma shutters for improved heavy ion acceleration by ultra-intense laser pulses

abstract: In this work, we investigate the application of the plasma shutters for heavy ion acceleration driven by a high-intensity laser pulse. We use particle-in-cell (PIC) and hydrodynamic simulations. The laser pulse, transmitted through the opaque shutter, gains a steep-rising front and its peak intensity is locally increased at the cost of losing part of its energy. These effects have a direct influence on subsequent ion acceleration from the ultrathin target behind the shutter. In our 3D simulations of silicon nitride plasma shutter and a silver target, the maximal energy of high-Z ions increases significantly when the shutter is included for both linearly and circularly polarized laser pulses. Moreover, application of the plasma shutter for linearly polarized pulse results in focusing of ions towards the laser axis in the plane perpendicular to the laser polarization. The generated high energy ion beam has significantly lower divergence compared to the broad ion cloud, generated without the shutter. The effects of prepulses are also investigated assuming a double plasma shutter. The first shutter can withstand the assumed sub-ns prepulse (treatment of ns and ps prepulses by other techniques is assumed) and the pulse shaping occursvia interaction with the second shutter. On the basis of our theoretical findings, we formulated an approach towards designing a double plasma shutter for high-intensity and high-power laser pulses and built a prototype.


title: Competing gravitational and viscous efects in 3D two-phase flow investigated with a table-top optical scanner

abstract: We present experiments and theory describing the transition from viscosity-stabilized flow to gravitationally unstable fingering for two-phase flow in a 3D synthetic porous medium. Observation is made possible by the use of our newly developed table-top 3D-scanner based on optical index matching and laser-induced fluorescence, which is described in detail. In the experiment, a more dense, more viscous fluid injected at a fixed flow-rate from a point source at the top of the flow cell displaces a less viscous, less dense fluid. We observe a stable invasion zone near the inlet, which increases in size with increasing flow rates, and presents initially a close to hemispherical shape. At later times, the invasion front transits to an unstable mode and a fingering flow regime. The transition occurs at a predicted critical radius, Rc, corresponding to the zero of the combined viscous and gravitational pressure gradient.


title: NeuralTree: A 256-Channel 0.227-$\mu$J/Class Versatile Neural Activity Classification and Closed-Loop Neuromodulation SoC

abstract: Closed-loop neural interfaces with on-chip machine learning can detect and suppress disease symptoms in neurological disorders or restore lost functions in paralyzed patients. While high-density neural recording can provide rich neural activity information for accurate disease-state detection, existing systems have low channel counts and poor scalability, which could limit their therapeutic efficacy. This work presents a highly scalable and versatile closed-loop neural interface SoC that can overcome these limitations. A 256-channel time-division multiplexed (TDM) front-end with a two-step fast-settling mixed-signal DC servo loop (DSL) is proposed to record high-spatial-resolution neural activity and perform channel-selective brain-state inference. A tree-structured neural network (NeuralTree) classification processor extracts a rich set of neural biomarkers in a patient- and disease-specific manner. Trained with an energy-aware learning algorithm, the NeuralTree classifier detects the symptoms of underlying disorders (e.g., epilepsy and movement disorders) at an optimal energy-accuracy tradeoff. A 16-channel high-voltage (HV) compliant neurostimulator closes the therapeutic loop by delivering charge-balanced biphasic current pulses to the brain. The proposed SoC was fabricated in 65-nm CMOS and achieved a 0.227-$\mu$J/class energy efficiency in a compact area of 0.014mm$^2$/channel. The SoC was extensively verified on human electroencephalography (EEG) and intracranial EEG (iEEG) epilepsy datasets, obtaining 95.6%/94% sensitivity and 96.8%/96.9% specificity, respectively. In vivo neural recordings using soft $\mu$ECoG arrays and multi-domain biomarker extraction were further performed on a rat model of epilepsy. In addition, for the first time in literature, on-chip classification of rest-state tremor in Parkinson's disease (PD) from human local field potentials (LFPs) was demonstrated.


title: Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing

abstract: High-assurance security systems require strong isolation from the untrusted world to protect the security-sensitive or privacy-sensitive data they process. Existing regulations impose that such systems must execute in a trustworthy operating system (OS) to ensure they are not collocated with untrusted software that might negatively impact their availability or security. However, the existing techniques to attest to the OS integrity fall short due to the cuckoo attack. In this paper, we first show a novel defense mechanism against the cuckoo attack, and we formally prove it. Then, we implement it as part of an integrity monitoring and enforcement framework that attests to the trustworthiness of the OS from 3.7x to 8.5x faster than the existing integrity monitoring systems. We demonstrate its practicality by protecting the execution of a real-world eHealth application, performing micro and macro-benchmarks, and assessing the security risk.


title: Engineering quasi-steady-state correlations in uncorrelated thermal states using stochastic driving

abstract: Nonequilibrium quantum dynamics can give rise to the emergence of novel steady states. We propose a scheme for driving an initially uncorrelated thermal state to generate customized correlation functions by determining and reverse engineering the steady-state two-point functions for a class of Markov processes. We also extend the formalism to the calculation of four-point functions. We then apply our method to generating power-law correlated fermionic Green's functions. Furthermore, we find that the power-law patterns emerge at much shorter times than the convergence to the steady state, at which point the disorder in the two-point correlations disappears. On the other hand, the density-density correlations exhibit steady-state disorder while following a power-law trendline. These ideal steady states appear as intermediate-time quasi-steady states in the presence of perturbations.


title: Deep morphological recognition of kidney stones using intra-operative endoscopic digital videos

abstract: The collection and the analysis of kidney stone morphological criteria are essential for an aetiological diagnosis of stone disease. However, in-situ LASER-based fragmentation of urinary stones, which is now the most established chirurgical intervention, may destroy the morphology of the targeted stone. In the current study, we assess the performance and added value of processing complete digital endoscopic video sequences for the automatic recognition of stone morphological features during a standard-of-care intra-operative session. To this end, a computer-aided video classifier was developed to predict in-situ the morphology of stone using an intra-operative digital endoscopic video acquired in a clinical setting. The proposed technique was evaluated on pure (i.e. include one morphology) and mixed (i.e. include at least two morphologies) stones involving "Ia/Calcium Oxalate Monohydrate (COM)", "IIb/ Calcium Oxalate Dihydrate (COD)" and "IIIb/Uric Acid (UA)" morphologies. 71 digital endoscopic videos (50 exhibited only one morphological type and 21 displayed two) were analyzed using the proposed video classifier (56840 frames processed in total). Using the proposed approach, diagnostic performances (averaged over both pure and mixed stone types) were as follows: balanced accuracy=88%, sensitivity=80%, specificity=95%, precision=78% and F1-score=78%. The obtained results demonstrate that AI applied on digital endoscopic video sequences is a promising tool for collecting morphological information during the time-course of the stone fragmentation process without resorting to any human intervention for stone delineation or selection of good quality steady frames. To this end, irrelevant image information must be removed from the prediction process at both frame and pixel levels, which is now feasible thanks to the use of AI-dedicated networks.


title: No constraints for $f(T)$ gravity from gravitational waves induced from primordial black hole fluctuations

abstract: Primordial black hole (PBH) fluctuations can induce a stochastic gravitational wave background at second order, and since this procedure is sensitive to the underlying gravitational theory it can be used as a novel tool to test general relativity and extract constraints on possible modified gravity deviations. We apply this formalism in the framework of $f(T)$ gravity, considering three viable mono-parametric models. In particular, we investigate the induced modifications at the level of the gravitational-wave source, which is encoded in terms of the power spectrum of the PBH gravitational potential, as well as at the level of their propagation, described in terms of the Green function which quantifies the propagator of the tensor perturbations. We find that, within the observationally allowed range of the $f(T)$ model-parameters, the obtained deviations from general relativity, both at the levels of source and propagation, are practically negligible. Hence, we conclude that realistic and viable $f(T)$ theories can safely pass the primordial black hole constraints, which may offer an additional argument in their favor.


title: $\Lambda_b \to p, N^\ast(1535)$ Form Factors from QCD Light-Cone Sum Rules

abstract: In this work we calculate the transition form factors of $\Lambda_b$ decaying into proton and $N^*(1535)$ ($J^P={1/2}^+$ and ${1/2}^-$ respectively), within the framework of light-cone sum rules with the distribution amplitudes (DAs) of $\Lambda_b$-baryon. In the hadronic representation of the correlation function, we have isolated both the proton and the $N^*(1535)$ states so that the $\Lambda_b \rightarrow p, N^*(1535)$ form factors can be evaluated simultaneously. Due to the less known properties of baryons, we investigate three interpolating currents of the light baryons and five parametrization models for DAs of $\Lambda_b $. Numerically, our predictions on the $\Lambda_b \rightarrow p$ form factors and the branching fractions of $\Lambda_b\to p\ell \nu$ from the Ioffe or the tensor currents are consistent with the Lattice simulation and the results from the light-baryon sum rules, as well as the experimental data of $Br(\Lambda_b^0\to p\mu^-\bar\nu)$. The predictions on the form factors of $\Lambda_b \rightarrow N^*(1535)$ are very sensitive to the choice of the interpolating currents so that the relevant measurement could be helpful to clarify the properties of baryons.


title: LUXE: A new experiment to study non-perturbative QED in electron-LASER and photon-LASER collisions

abstract: The LUXE experiment (LASER Und XFEL Experiment) is a new experiment in planning at DESY Hamburg using the electron beam of the European XFEL. LUXE is intended to study collisions between a high-intensity optical laser and 16.5 GeV electrons from the XFEL electron beam, as well as collisions between the optical LASER and high-energy secondary photons. The physics objective of LUXE are processes of Quantum Electrodynamics (QED) at the strong-field frontier, where the electromagnetic field of the laser is above the Schwinger limit. In this regime, QED is non-perturbative. This manifests itself in the creation of physical electron-positron pairs from the QED vacuum, similar to Hawking radiation from black holes. LUXE intends to measure the positron production rate in an unprecedented LASER intensity regime. An overview of the LUXE experimental setup and its challenges will be given, followed by a discussion of the expected physics reach in the context of testing QED in the non-perturbative regime.


title: Viable Algorithmic Options for Creating and Adapting Emergent Software Systems

abstract: Given the complexity of modern software systems, it is of great importance that such systems be able to autonomously modify themselves, i.e., self-adapt, with minimal human supervision. It is critical that this adaptation both results in reliable systems and scales reasonably in required memory and runtime to non-trivial systems. In this paper, we apply computational complexity analysis to evaluate algorithmic options for the reliable creation and adaptation of emergent software systems relative to several popular types of exact and approximate efficient solvability. We show that neither problem is solvable for all inputs when no restrictions are placed on software system structure. This intractability continues to hold relative to all examined types of efficient exact and approximate solvability when software systems are restricted to run (and hence can be verified against system requirements) in polynomial time. Moreover, both of our problems when so restricted remain intractable under a variety of additional restrictions on software system structure, both individually and in many combinations. That being said, we also give sets of additional restrictions that do yield tractability for both problems, as well as circumstantial evidence that emergent software system adaptation is computationally easier than emergent software system creation.


title: Nonperturbative test of the Maldacena-Milekhin conjecture for the BMN matrix model

abstract: We test a conjecture by Maldacena and Milekhin for the ungauged version of the Berenstein-Maldacena-Nastase (BMN) matrix model by lattice Monte Carlo simulation. The numerical results reproduce the perturbative and gravity results in the limit of large and small flux parameter, respectively, and are consistent with the conjecture.


title: Faster quantum mixing of Markov chains in non-regular graph with fewer qubits

abstract: Sampling from the stationary distribution is one of the fundamental tasks of Markov chain-based algorithms and has important applications in machine learning, combinatorial optimization and network science. For the quantum case, qsampling from Markov chains can be constructed as preparing quantum states with amplitudes arbitrarily close to the square root of a stationary distribution instead of classical sampling from a stationary distribution. In this paper, a new qsampling algorithm for all reversible Markov chains is constructed by discrete-time quantum walks and works without any limit compared with existing results. In detail, we build a qsampling algorithm that not only accelerates non-regular graphs but also keeps the speed-up of existing quantum algorithms for regular graphs. In non-regular graphs, the invocation of the quantum fast-forward algorithm accelerates existing state-of-the-art qsampling algorithms for both discrete-time and continuous-time cases, especially on sparse graphs. Compared to existing algorithms we reduce log n, where n is the number of graph vertices. In regular graphs, our result matches other quantum algorithms, and our reliance on the gap of Markov chains achieves quadratic speedup compared with classical cases. For both cases, we reduce the number of ancilla qubits required compared to the existing results. In some widely used graphs and a series of sparse graphs where stationary distributions are difficult to reach quickly, our algorithm is the first algorithm to achieve complete quadratic acceleration (without log factor) over the classical case without any limit. To enlarge success probability amplitude amplification is introduced. We construct a new reflection on stationary state with fewer ancilla qubits and think it may have independent application.


title: Poincar\'e constant on manifolds with ends

abstract: We obtain optimal estimates of the Poincar\'e constant of central balls on manifolds with finitely many ends. Surprisingly enough, the Poincar\'e constant is determined by the second largest end. The proof is based on the argument by Kusuoka-Stroock where the heat kernel estimates on the central balls play an essential role. For this purpose, we extend earlier heat kernel estimates obtained by the authors to a larger class of parabolic manifolds with ends.


title: A Smart Contract based Crowdfunding Mechanism for Hierarchical Federated Learning

abstract: Hierarchical Federated Learning (HFL) is introduced as a promising technique that allows model owners to fully exploit computational resources and bandwidth resources to train the global model. However, due to the high training cost, a single model owner may not be able to deploy HFL. To address this issue, we develop a smart contract based trust crowdfunding mechanism for HFL, which enables multiple model owners to obtain a crowdfunding model with high social utility for multiple crowdfunding participants. To ensure the authenticity of the crowdfunding mechanism, we implemented the Vickey-Clark-Croves (VCG) mechanism to encourage all crowdfunding participants and clients to provide realistic bids and offers. At the same time, in order to ensure guaranteed trustworthiness of crowdfunding and automatic distribution of funds, we develop and implement a smart contract to record the crowdfunding process and training results in the blockchain. We prove that the proposed scheme satisfies the budget balance and participant constraint. Finally, we implement a prototype of this smart contract on an Ethereoum private chain and evaluate the proposed VCG mechanism. The experimental results demonstrate that the proposed scheme can effectively improve social utility while ensuring the authenticity and trustworthiness of the crowdfunding process.


title: Tensor-based Emotion Editing in the StyleGAN Latent Space

abstract: In this paper, we use a tensor model based on the Higher-Order Singular Value Decomposition (HOSVD) to discover semantic directions in Generative Adversarial Networks. This is achieved by first embedding a structured facial expression database into the latent space using the e4e encoder. Specifically, we discover directions in latent space corresponding to the six prototypical emotions: anger, disgust, fear, happiness, sadness, and surprise, as well as a direction for yaw rotation. These latent space directions are employed to change the expression or yaw rotation of real face images. We compare our found directions to similar directions found by two other methods. The results show that the visual quality of the resultant edits are on par with State-of-the-Art. It can also be concluded that the tensor-based model is well suited for emotion and yaw editing, i.e., that the emotion or yaw rotation of a novel face image can be robustly changed without a significant effect on identity or other attributes in the images.


title: Characteristics of the switch process and geometric divisibility

abstract: The switch process alternates independently between 1 and -1, with the first switch to 1 occurring at the origin. The expected value function of this process is defined uniquely by the distribution of switching times. The relation between the two is implicitly described through the Laplace transform, which is difficult to use for determining if a given function is the expected value function of some switch process. We derive an explicit relation under the assumption of monotonicity of the expected value function. It is shown that geometric divisible switching time distributions correspond to a non-negative decreasing expected value function. Moreover, an explicit relation between the switching time distribution and the autocovariance function of the switch process stationary counterpart is obtained, which allows parallel results for the stationary switch process and its covariance function. These results are applicable to approximation methods in statistical physics, and an example is presented.


title: The localisation theorem for the $\mathrm{K}$-theory of stable $\infty$-categories

abstract: We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\mathrm{K}$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a Verdier quotient closely following work of Waldhausen. We also include a new proof of the additivity theorem of $\mathrm{K}$-theory, strongly inspired by Ranicki's algebraic Thom construction, a short proof of the universality theorem of Blumberg, Gepner and Tabuada, and demonstrate that the cofinality theorem can be derived from the universal property alone.


title: Asymptotic behavior of the heat semigroup on certain Riemannian manifolds

abstract: We show that, on a complete, connected and non-compact Riemannian manifold of non-negative Ricci curvature, the solution to the heat equation with $L^{1}$ initial data behaves asymptotically as the mass times the heat kernel. In contrast to the previously known results in negatively curved contexts, the radiality assumption on the initial data is not required. Similar long-time convergence results remain valid on more general manifolds satisfying the Li-Yau two-sided estimate of the heat kernel. Moreover, we provide a counterexample such that this asymptotic phenomenon fails in sup norm on manifolds with two Euclidean ends.


title: Molecular gas dynamics around nuclei of galaxies

abstract: Recent molecular line observations with ALMA in several nearby Seyferts have revealed the existence of molecular tori, and the nature of gas flows at 10-20~pc scale. At 100~pc scale, or kpc-scale, previous NOEMA work on gravitational torques had shown that only about one third of Seyfert galaxies experienced molecular inflow and central fueling, while in most cases the gas was stalled in rings. At higher resolution, i.e. 10-20~pc scale, it is possible now to see in some cases AGN fueling due to nuclear trailing spirals, influenced by the black hole potential. This brings smoking gun evidence for nuclear fueling. In our sample galaxies, the angular resolution of up to 60~mas allows us to reach the black hole (BH) sphere of influence and the BH mass can be derived more directly than with the M-sigma relation.


title: Social learning via actions in bandit environments

abstract: I study a game of strategic exploration with private payoffs and public actions in a Bayesian bandit setting. In particular, I look at cascade equilibria, in which agents switch over time from the risky action to the riskless action only when they become sufficiently pessimistic. I show that these equilibria exist under some conditions and establish their salient properties. Individual exploration in these equilibria can be more or less than the single-agent level depending on whether the agents start out with a common prior or not, but the most optimistic agent always underexplores. I also show that allowing the agents to write enforceable ex-ante contracts will lead to the most ex-ante optimistic agent to buy all payoff streams, providing an explanation to the buying out of smaller start-ups by more established firms.


title: Dynamics of radiating particles in current sheets with a transverse magnetic field component

abstract: Current sheets in the vicinity of pulsars or those predicted on upcoming multipetawatt laser facilities can feature extremely high electromagnetic fields. As a result, charged particles in such sheets may experience significant radiation losses. We present an analysis of particle motion in model fields of a relativistic neutral current sheet with two magnetic field components in the case when radiative effects must be accounted for. In the Landau-Lifshitz radiation reaction model the method of slowly changing parameters is used to quantify the influence of radiative effects. A quasiadiabatic invariant of dissipative motion is found. It is shown how the presented method can be used in a wider range of problems.


title: Equivariant quantum circuits for learning on weighted graphs

abstract: Variational quantum algorithms are the leading candidate for advantage on near-term quantum hardware. When training a parametrized quantum circuit in this setting to solve a specific problem, the choice of ansatz is one of the most important factors that determines the trainability and performance of the algorithm. In quantum machine learning (QML), however, the literature on ansatzes that are motivated by the training data structure is scarce. In this work, we introduce an ansatz for learning tasks on weighted graphs that respects an important graph symmetry, namely equivariance under node permutations. We evaluate the performance of this ansatz on a complex learning task, namely neural combinatorial optimization, where a machine learning model is used to learn a heuristic for a combinatorial optimization problem. We analytically and numerically study the performance of our model, and our results strengthen the notion that symmetry-preserving ansatzes are a key to success in QML.


title: Social Distancing Alert with Smartwatches

abstract: Social distancing is an efficient public health practice during the COVID-19 pandemic. However, people would violate the social distancing practice unconsciously when they conduct some social activities such as handshaking, hugging, kissing on the face or forehead, etc. In this paper, we present SoDA, a social distancing practice violation alert system based on smartwatches, for preventing COVID-19 virus transmission. SoDA utilizes recordings of accelerometers and gyroscopes to recognize activities that may violate social distancing practice with simple yet effective Vision Transformer models. Extensive experiments over 10 volunteers and 1800+ samples demonstrate that SoDA achieves social activity recognition with the accuracy of 94.7%, 1.8% negative alert, and 2.2% missing alert.


title: Asking for Knowledge: Training RL Agents to Query External Knowledge Using Language

abstract: To solve difficult tasks, humans ask questions to acquire knowledge from external sources. In contrast, classical reinforcement learning agents lack such an ability and often resort to exploratory behavior. This is exacerbated as few present-day environments support querying for knowledge. In order to study how agents can be taught to query external knowledge via language, we first introduce two new environments: the grid-world-based Q-BabyAI and the text-based Q-TextWorld. In addition to physical interactions, an agent can query an external knowledge source specialized for these environments to gather information. Second, we propose the "Asking for Knowledge" (AFK) agent, which learns to generate language commands to query for meaningful knowledge that helps solve the tasks. AFK leverages a non-parametric memory, a pointer mechanism and an episodic exploration bonus to tackle (1) irrelevant information, (2) a large query language space, (3) delayed reward for making meaningful queries. Extensive experiments demonstrate that the AFK agent outperforms recent baselines on the challenging Q-BabyAI and Q-TextWorld environments.


title: Vector Formalism for Active Nematics in Two Dimensions

abstract: Specific features of two-dimensional nematodynamics give rise to shortfalls of the tensor representation of the nematic order parameter commonly used in computations, especially in theory of active matter. The alternative representation in terms of the vector order parameter follows with small adjustments the classical director-based theory, but is applicable to 2D problems where both nematic alignment and deviation from the isotropic state are variable. Stability analysis of nematic alignment and flow is used as a testing ground. A director-based analysis demonstrates a shortfall of the standard theory, which does not ensure relaxation to equilibrium in a passive system. It also demonstrates the inadequacy of the director-based description, which misses a stabilizing effect of perturbations of the modulus ensuring stability of a passive system on scales far exceeding the healing length.


title: Mask Wearing Status Estimation with Smartwatches

abstract: We present MaskReminder, an automatic mask-wearing status estimation system based on smartwatches, to remind users who may be exposed to the COVID-19 virus transmission scenarios, to wear a mask. MaskReminder with the powerful MLP-Mixer deep learning model can effectively learn long-short range information from the inertial measurement unit readings, and can recognize the mask-related hand movements such as wearing a mask, lowering the metal strap of the mask, removing the strap from behind one side of the ears, etc. Extensive experiments on 20 volunteers and 8000+ data samples show that the average recognition accuracy is 89%. Moreover, MaskReminder is capable to remind a user to wear with a success rate of 90% even in the user-independent setting.


title: Evil Never Sleeps: When Wireless Malware Stays On After Turning Off iPhones

abstract: When an iPhone is turned off, most wireless chips stay on. For instance, upon user-initiated shutdown, the iPhone remains locatable via the Find My network. If the battery runs low, the iPhone shuts down automatically and enters a power reserve mode. Yet, users can still access credit cards, student passes, and other items in their Wallet. We analyze how Apple implements these standalone wireless features, working while iOS is not running, and determine their security boundaries. On recent iPhones, Bluetooth, Near Field Communication (NFC), and Ultra-wideband (UWB) keep running after power off, and all three wireless chips have direct access to the secure element. As a practical example what this means to security, we demonstrate the possibility to load malware onto a Bluetooth chip that is executed while the iPhone is off.


title: Comments on Holographic Level/Rank Dualities

abstract: We investigate a holographic realization in Type-IIB string theory of pure Chern-Simons theories, and focus on the level/rank dualities that they enjoy. The level/rank duality is established between the boundary theory, engineered utilizing D3-branes compactified on a $S^1$, and the theory on probe D7-branes located at a specific bulk location. Paying attention to the boundary conditions imposed on the Ramond-Ramond (RR) two- and six-forms, we show that holography precisely reproduces several different level/rank dual pairs. The $SL(2,\mathbf{Z})$ action relating all these theories is realized through the $SL(2,\mathbf{Z})$ electric/magnetic duality involving the RR potentials.


title: How are Drivers' Stress Levels and Emotions Associated with the Driving Context? A Naturalistic Study

abstract: Understanding and mitigating drivers' negative emotions, stress levels, and anxiety is of high importance for decreasing accident rates, and enhancing road safety. While detecting drivers' stress and negative emotions can significantly help with this goal, understanding what might be associated with increases in drivers' negative emotions and high stress level, might better help with planning interventions. While studies have provided significant insight into detecting drivers' emotions and stress levels, not many studies focused on the reasons behind changes in stress levels and negative emotions. In this study, by using a naturalistic driving study database, we analyze the changes in the driving scene, including road objects and the dynamical relationship between the ego vehicle and the lead vehicle with respect to changes in drivers' psychophysiological metrics (i.e., heart rate (HR) and facial expressions). Our results indicate that different road objects might be associated with varying levels of increase in drivers' HR as well as different proportions of negative facial emotions detected through computer vision. Larger vehicles on the road, such as trucks and buses, are associated with the highest amount of increase in drivers' HR as well as negative emotions. Additionally, shorter distances and higher standard deviation in the distance to the lead vehicle are associated with a higher number of abrupt increases in drivers' HR, depicting a possible increase in stress level. Our finding indicates more positive emotions, lower facial engagement, and a lower abrupt increase in HR at a higher speed of driving, which often happens in highway environments. This research collectively shows that driving at higher speeds happening in highways by avoiding certain road objects might be a better fit for keeping drivers in a calmer, more positive state.


title: Secure Aggregation for Federated Learning in Flower

abstract: Federated Learning (FL) allows parties to learn a shared prediction model by delegating the training computation to clients and aggregating all the separately trained models on the server. To prevent private information being inferred from local models, Secure Aggregation (SA) protocols are used to ensure that the server is unable to inspect individual trained models as it aggregates them. However, current implementations of SA in FL frameworks have limitations, including vulnerability to client dropouts or configuration difficulties. In this paper, we present Salvia, an implementation of SA for Python users in the Flower FL framework. Based on the SecAgg(+) protocols for a semi-honest threat model, Salvia is robust against client dropouts and exposes a flexible and easy-to-use API that is compatible with various machine learning frameworks. We show that Salvia's experimental performance is consistent with SecAgg(+)'s theoretical computation and communication complexities.


title: Findings of the Shared Task on Offensive Span Identification from Code-Mixed Tamil-English Comments

abstract: Offensive content moderation is vital in social media platforms to support healthy online discussions. However, their prevalence in codemixed Dravidian languages is limited to classifying whole comments without identifying part of it contributing to offensiveness. Such limitation is primarily due to the lack of annotated data for offensive spans. Accordingly, in this shared task, we provide Tamil-English code-mixed social comments with offensive spans. This paper outlines the dataset so released, methods, and results of the submitted systems


title: Zero-shot Code-Mixed Offensive Span Identification through Rationale Extraction

abstract: This paper investigates the effectiveness of sentence-level transformers for zero-shot offensive span identification on a code-mixed Tamil dataset. More specifically, we evaluate rationale extraction methods of Local Interpretable Model Agnostic Explanations (LIME) \cite{DBLP:conf/kdd/Ribeiro0G16} and Integrated Gradients (IG) \cite{DBLP:conf/icml/SundararajanTY17} for adapting transformer based offensive language classification models for zero-shot offensive span identification. To this end, we find that LIME and IG show baseline $F_{1}$ of 26.35\% and 44.83\%, respectively. Besides, we study the effect of data set size and training process on the overall accuracy of span identification. As a result, we find both LIME and IG to show significant improvement with Masked Data Augmentation and Multilabel Training, with $F_{1}$ of 50.23\% and 47.38\% respectively. \textit{Disclaimer : This paper contains examples that may be considered profane, vulgar, or offensive. The examples do not represent the views of the authors or their employers/graduate schools towards any person(s), group(s), practice(s), or entity/entities. Instead they are used to emphasize only the linguistic research challenges.}


title: A Motivic Pairing and the Mellin Transform in Function Fields

abstract: We define two pairings relating the A-motive with the dual A-motive of an abelian Anderson A-module. We show that specializations of these pairings give the exponential and logarithm functions of this Anderson A-module, and we use these specializations to give precise formulas for the coefficients of the exponential and logarithm functions. We then use this pairing to express the exponential and logarithm functions as evaluations of certain infinite products. As an application of these ideas, we prove an analogue of the Mellin tranform formula for the Riemann zeta function in the case of Carlitz zeta values. We also give an example showing how our results apply to Carlitz multiple zeta values.


title: HL-LHC Analysis With ROOT

abstract: ROOT is high energy physics' software for storing and mining data in a statistically sound way, to publish results with scientific graphics. It is evolving since 25 years, now providing the storage format for more than one exabyte of data; virtually all high energy physics experiments use ROOT. With another significant increase in the amount of data to be handled scheduled to arrive in 2027, ROOT is preparing for a massive upgrade of its core ingredients. As part of a review of crucial software for high energy physics, the ROOT team has documented its R&D plans for the coming years.


title: The average genus of a 2-bridge knot is asymptotically linear

abstract: Experimental work suggests that the Seifert genus of a knot grows linearly with respect to the crossing number of the knot. In this article, we use a billiard table model for $2$-bridge or rational knots to show that the average genus of a $2$-bridge knot with crossing number $c$ asymptotically approaches $c/4+1/12$.


title: Secure multi-party quantum summation based on quantum Fourier transform

abstract: In this paper, we propose a novel secure multi-party quantum summation protocol based on quantum Fourier transform, where the traveling particles are transmitted in a tree-type mode. The party who prepares the initial quantum states is assumed to be semi-honest, which means that she may misbehave on her own but will not conspire with anyone. The proposed protocol can resist both the outside attacks and the participant attacks. Especially, one party cannot obtain other parties' private integer strings; and it is secure for the colluding attack performed by at most n-2 parties, where n is the number of parties. In addition, the proposed protocol calculates the addition of modulo d and implements the calculation of addition in a secret-by-secret way rather than a bit-by-bit way.


title: Higher-order QCD corrections to $\Upsilon$ decay into double charmonia

abstract: In this work, we study the exclusive decay of $\Upsilon$ into $J/\psi$ in association with $\eta_c$ ($\chi_{c0,1,2}$). The decay widths for different helicity configurations are evaluated up to QCD next-to-leading order within the nonrelativistic QCD framework. We find that the QCD corrections notably mitigate the renormalization scale dependence of the decay widths for all the processes. The branching fraction of $\Upsilon\rightarrow J/\psi+\chi_{c1}$ is obtained as $3.73^{+5.10+0.10}_{-2.06-1.19}\times 10^{-6}$, which agrees well with the Belle measurement, i.e., ${\rm Br}(\Upsilon\rightarrow J/\psi+\chi_{c1})=(3.90\pm1.21\pm0.23)\times10^{-6}$. For the other processes, our results of the branching fractions are compatible with the upper limits given by the Belle experiments, except for $\Upsilon(2S)\to J/\psi +\chi_{c1}$, where some tension exists between theory and experiment. Having the polarized decay widths, we study the $J/\psi$ polarization, which turn out to be independent of any nonperturbative parameters. Further, according to our calculation, it is promising to measure all the processes at Super B factory thanks to the high luminosity.