title: Porous amorphous nitinol synthesized by argon injection: a molecular dynamics study

abstract: Porous crystalline nitinol is widely applied in various fields of science and technology due to the unique combination of physical and mechanical properties as well as biocompatibility. Porous amorphous nitinol is characterized by improved mechanical properties compared to its crystalline analogues. Moreover, this material is more promising from the point of view of fundamental study and practical application. The production of porous amorphous nitinol is a difficult task requiring rapid cooling protocol and optimal conditions to form a stable porous structure. In the present work, based on the results of molecular dynamics simulations, we show that porous nitinol with the amorphous matrix can be obtained by injection of argon into a liquid melt followed by rapid cooling of the resulting mixture. We find that the porosity of the system increases exponentially with increasing fraction of injected argon. It has been established that the system should contain about $\sim18$--$23$\% argon for obtain an open porous structure, while the system is destroyed by overheated inert gas when the argon fraction is more than $\sim23$\%. It is shown that the method of argon injection makes it possible to obtain a highly porous system with the porosity $\sim70$\% consisting the spongy porous structure similar to aerogels and metallic foams.


title: Experimental study of Neural ODE training with adaptive solver for dynamical systems modeling

abstract: Neural Ordinary Differential Equations (ODEs) was recently introduced as a new family of neural network models, which relies on black-box ODE solvers for inference and training. Some ODE solvers called adaptive can adapt their evaluation strategy depending on the complexity of the problem at hand, opening great perspectives in machine learning. However, this paper describes a simple set of experiments to show why adaptive solvers cannot be seamlessly leveraged as a black-box for dynamical systems modelling. By taking the Lorenz'63 system as a showcase, we show that a naive application of the Fehlberg's method does not yield the expected results. Moreover, a simple workaround is proposed that assumes a tighter interaction between the solver and the training strategy. The code is available on github: https://github.com/Allauzen/adaptive-step-size-neural-ode


title: A Variable Node Design with Check Node Aware Quantization Leveraging 2-Bit LDPC Decoding

abstract: For improving coarsely quantized decoding of LDPC codes, we propose a check node aware design of the variable node update. In contrast to previous works, we optimize the variable node to explicitly maximize the mutual information preserved in the check-to-variable instead of the variable-to-check node messages. The extended optimization leads to a significantly different solution for the compression operation at the variable node. Simulation results for regular LDPC codes confirm that the check node aware design, especially for very coarse quantization with 2- or 3-bit messages, achieves performance gains of up to 0.2 dB - without additional hardware costs. We also show that the 2-bit message resolution enables a very efficient implementation of the check node update, which requires only 2/9 of the 3-bit check node's transistor count and reduces the signal propagation delay by a factor of 4.


title: A Comparison between Network-Controlled Repeaters and Reconfigurable Intelligent Surfaces

abstract: Network-controlled repeater (NCR) has been recently considered as a study-item in 3GPP Release 18, and the discussions are continuing in a work-item. In this paper, we introduce the concept of NCRs, as a possible low-complexity device to support for network densification and compare the performance of the NCRs with those achieved by reconfigurable intelligent surfaces (RISs). The results are presented for the cases with different beamforming methods and hardware impairment models of the RIS. Moreover, we introduce the objectives of the 3GPP Release 18 NCR work-item and study the effect of different parameters on the performance of NCR-assisted networks. As we show, with a proper deployment, the presence of NCRs/RISs can improve the network performance considerably.


title: Ground Truth Inference for Weakly Supervised Entity Matching

abstract: Entity matching (EM) refers to the problem of identifying pairs of data records in one or more relational tables that refer to the same entity in the real world. Supervised machine learning (ML) models currently achieve state-of-the-art matching performance; however, they require many labeled examples, which are often expensive or infeasible to obtain. This has inspired us to approach data labeling for EM using weak supervision. In particular, we use the labeling function abstraction popularized by Snorkel, where each labeling function (LF) is a user-provided program that can generate many noisy match/non-match labels quickly and cheaply. Given a set of user-written LFs, the quality of data labeling depends on a labeling model to accurately infer the ground-truth labels. In this work, we first propose a simple but powerful labeling model for general weak supervision tasks. Then, we tailor the labeling model specifically to the task of entity matching by considering the EM-specific transitivity property. The general form of our labeling model is simple while substantially outperforming the best existing method across ten general weak supervision datasets. To tailor the labeling model for EM, we formulate an approach to ensure that the final predictions of the labeling model satisfy the transitivity property required in EM, utilizing an exact solution where possible and an ML-based approximation in remaining cases. On two single-table and nine two-table real-world EM datasets, we show that our labeling model results in a 9% higher F1 score on average than the best existing method. We also show that a deep learning EM end model (DeepMatcher) trained on labels generated from our weak supervision approach is comparable to an end model trained using tens of thousands of ground-truth labels, demonstrating that our approach can significantly reduce the labeling efforts required in EM.


title: Advantages of quantum mechanics in the estimation theory

abstract: Quantum estimation theory is a reformulation of random statistical theory with the modern language of quantum mechanics. In fact, the density operator plays a role similar to that of probability distribution functions in classical probability theory and statistics. However, the use of the probability distribution functions in classical theories is founded on premises that seem intuitively clear enough. Whereas in quantum theory, the situation with operators is different due to its non-commutativity nature. By exploiting this difference, quantum estimation theory aims to attain ultra-measurement precision that would otherwise be impossible with classical resources. In this thesis, we reviewed all the fundamental principles of classical estimation theory. Next, we extend our analysis to quantum estimation theory. Due to the non-commutativity of quantum mechanics, we prove the different families of QFIs and the corresponding QCRBs. We compared these bounds and discussed their accessibility in the single-parameter and multiparameter estimation cases. We also introduce HCRB as the most informative alternative bound suitable for multiparameter estimation protocols. Since the quantum state of light is the most accessible in practice, we studied the quantum estimation theory with the formalism of these types of quantum states. We formulate, with complete generality, the quantum estimation theory for Gaussian states in terms of their first and second moments. Furthermore, we address the motivation behind using Gaussian quantum resources and their advantages in reaching the standard quantum limits under realistic noise. In this context, we propose and analyze a measurement scheme that aims to exploit quantum Gaussian entangled states to estimate the displacement parameters under a noisy Gaussian environment.


title: Spade: A Real-Time Fraud Detection Framework on Evolving Graphs (Complete Version)

abstract: Real-time fraud detection is a challenge for most financial and electronic commercial platforms. To identify fraudulent communities, Grab, one of the largest technology companies in Southeast Asia, forms a graph from a set of transactions and detects dense subgraphs arising from abnormally large numbers of connections among fraudsters. Existing dense subgraph detection approaches focus on static graphs without considering the fact that transaction graphs are highly dynamic. Moreover, detecting dense subgraphs from scratch with graph updates is time consuming and cannot meet the real-time requirement in industry. To address this problem, we introduce an incremental real-time fraud detection framework called Spade. Spade can detect fraudulent communities in hundreds of microseconds on million-scale graphs by incrementally maintaining dense subgraphs. Furthermore, Spade supports batch updates and edge grouping to reduce response latency. Lastly, Spade provides simple but expressive APIs for the design of evolving fraud detection semantics. Developers plug their customized suspiciousness functions into Spade which incrementalizes their semantics without recasting their algorithms. Extensive experiments show that Spade detects fraudulent communities in real time on million-scale graphs. Peeling algorithms incrementalized by Spade are up to a million times faster than the static version.


title: A periodicity theorem for extensions of Weyl modules

abstract: In this paper we study periodicity phenomena for modular extensions between Weyl modules and between Weyl and simple modules of the general linear group that are associated to adding a power of the characteristic to the first parts of the involved partitions.


title: Towards a performance bound on MIMO DFRC systems

abstract: It is a fundamental problem to analyse the performance bound of multiple-input multiple-output (MIMO) dual-functional radar-communication (DFRC) systems. To this end, we derive a performance bound on the communication function under a constraint on radar performance. To facilitate the analysis, we consider a toy example, in which there is only one down-link user with a single receive antenna and one radar target. In such a simplified case, we obtain an analytical expression for the performance bound and the corresponding waveform design strategy to achieve the bound. The results reveal a tradeoff between communication and radar performance, and a condition when the transmitted energy can be shared between these two functions.


title: Burling graphs as intersection graphs

abstract: For a subset $ S $ of $ \mathbb R^d$, $ S$-graphs are the intersection graphs of specific transformations of $ S $. The class of Burling graphs is a class of triangle-free graphs with arbitrarily large chromatic number that has attracted much attention in the last years. In 2012, Pawlik, Kozik, Krawczyk, Laso\'n, Micek, Trotter, and Walczak showed that for every compact and path-connected set $ S \subseteq \mathbb R^2$ that is different from an axis-parallel rectangle, the class of $ S $-graphs contains all Burling graphs. There is, however, a gap between the two classes. In recent years, there have been improvements in understanding the subclasses of $ S $-graphs that are closer or equal to Burling graphs. In this article, we close this gap for every set $ S $ with the mentioned properties: we introduce the class of constrained $ S $-graphs, a subclass of $ S$-graphs, and prove that it is equal to the class of Burling graphs. We also introduce the class of constrained graphs, a subclass of intersection graphs of subsets of $ \mathbb R^2$, and prove that it is equal to the class of Burling graphs.


title: A unipotent realization of the chromatic quasisymmetric function

abstract: This paper realizes of two families of combinatorial symmetric functions via the complex character theory of the finite general linear group $\mathrm{GL}_{n}(\mathbb{F}_{q})$: chromatic quasisymmetric functions and vertical strip LLT polynomials. The associated $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters are elementary in nature and can be obtained by induction from certain well-behaved characters of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$. The proof of these results also gives a general Hopf algebraic approach to computing the induction map. Additional results include a connection between the relevant $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters and Hessenberg varieties and a re-interpretation of known theorems and conjectures about the relevant symmetric functions in terms of $\mathrm{GL}_{n}(\mathbb{F}_{q})$.


title: FullPack: Full Vector Utilization for Sub-Byte Quantized Inference on General Purpose CPUs

abstract: Although prior art has demonstrated negligible accuracy drop in sub-byte quantization -- where weights and/or activations are represented by less than 8 bits -- popular SIMD instructions of CPUs do not natively support these datatypes. While recent methods, such as ULPPACK, are already using sub-byte quantization on general-purpose CPUs with vector units, they leave out several empty bits between the sub-byte values in memory and in vector registers to avoid overflow to the neighbours during the operations. This results in memory footprint and bandwidth-usage inefficiencies and suboptimal performance. In this paper, we present memory layouts for storing, and mechanisms for processing sub-byte (4-, 2-, or 1-bit) models that utilize all the bits in the memory as well as in the vector registers for the actual data. We provide compute kernels for the proposed layout for the GEMV (GEneral Matrix-Vector multiplication) operations between weights and activations of different datatypes (e.g., 8-bit activations and 4-bit weights). For evaluation, we extended the TFLite package and added our methods to it, then ran the models on the cycle-accurate gem5 simulator to compare detailed memory and CPU cycles of each method. We compare against nine other methods that are actively used in production including GEMLOWP, Ruy, XNNPack, and ULPPACK. Furthermore, we explore the effect of different input and output sizes of deep learning layers on the performance of our proposed method. Experimental results show 0.96-2.1x speedup for small sizes and 1.2-6.7x speedup for mid to large sizes. Applying our proposal to a real-world speech recognition model, Mozilla DeepSpeech, we proved that our method achieves 1.56-2.11x end-to-end speedup compared to the state-of-the-art, depending on the bit-width employed.


title: Studying strange hadron productions via two-particle correlations in high energy proton-proton collisions

abstract: Strange hadron production in pp collisions at $\sqrt{s}= 7$ TeV is studied with PYTHIA 8 and EPOS event generators via the two-particle correlation method. After pairing charged particles as trigger particles with associated strange hadrons $(\mathrm{K}^{0}_{S}$ and $(\Lambda/\overline{\Lambda})$ , the strange baryon to meson per trigger yield ratios ${Y_{\Delta\varphi}^{\mathrm{h}-(\Lambda+\overline{\Lambda})}}$/$/{2Y_{\Delta\varphi}^{\mathrm{h}-\mathrm{K}^{0}_{S}}}$ dependent on transverse momentum ($p_{T})$ are investigated within the near- and away-side jet region as well as the underlying event (UE) region. The modified string fragmentation effects of color reconnection and string shoving mechanisms implemented in PYTHIA 8 and the final state evolution effects built in EPOS are compared in this study. It is found that $p_{T}$ dependence of the $\Lambda/\mathrm{K}^{0}_{S}$ per trigger yield ratio in UE is similar to that in the inclusive measurements while the in-jet result is smaller. We also show that the $\Lambda/\mathrm{K}^{0}_{S}$ ratio at both near- and away-side jet region in the intermediate $p_{T}$ region decreases significantly with trigger $p_{T}$, which suggests the hard process effects might contribute to the strange baryon to meson enhancement at intermediate $p_{T}$. The much higher $\Lambda/\mathrm{K}^{0}_{S}$ ratio in UE and the striking difference between the near and away side of the in-jet results with low trigger $p_{T}$ predicted by the EPOS model indicate that the soft process effects induced by the final state evolution further increase the strange baryon production and can be still effective in a higher $p_{T}$ region compared to the string fragmentation type models.


title: Should monogamy of entanglement be defined via equalities or inequalities?

abstract: This work focuses on the entanglement quantification. Specifically, we will go over the properties of entanglement that should be satisfied by a "good" entanglement measure. We will have a look at some of the propositions of the entanglement measures that have been made over the years. Then we will be ready to discuss the proposals of the mathematical representations of another property of entanglement, called monogamy. We will introduce some definitions of monogamous entanglement measures that were proposed and compare them. As an original observation of mine (see page 15, Proof 1), I will also prove that the inequalities (23) and (24) from [C. Lancien, S. Di Martino, M. Huber, M. Piani, G. Adesso and A. Winter Phys. Rev. Lett., 117:060501 (2016).] automatically show that the entanglement of formation and the regularised entropy of entanglement are monogamous entanglement measures in the sense of the definitions that was given in [G. Gour and G. Yu, Quantum 2, 81 (2018).].


title: Non-perturbative diffusion of Heavy Quark moving in a hot and magnetised Quark Gluon Plasma

abstract: Heavy Quarks (HQs) serve as excellent probes to understand various characteristics of deconfined hot QCD medium, comprising light quarks and gluons, created in the Heavy Ion Collisions (HICs). Strong magnetic fields in non-central HICs may significantly affect HQ dynamics in this medium. Exploring the impact of the magnetic field on the perturbative and non-perturbative transport coefficients of HQ is an intriguing endeavor. This necessitates the development of a comprehensive theoretical framework accommodating the non-perturbative Quantum Chromo Dynamics(npQCD) description alongside perturbative QCD(pQCD). The present work provides such a formulation in which Quarkonium potential in the hot and magnetic QCD medium is implemented as the effective gluon propagator to calculate the rate of elastic scattering between HQ and the light partons inside a medium of hot Quark Gluon Plasma(QGP) in the presence of a strong but uniform magnetic field. Diffusion coefficients of a charm quark have been computed for a short-range Yukawa potential ( pQCD) as well as a long-range confining/non-perturbative potential (npQCD) for two cases in which the velocity of the charm quark is parallel and perpendicular to the magnetic field respectively. Non-perturbative contribution is seen to dominate over the perturbative one in the regime of low temperatures and low to intermediate momenta of charm quark. As the momentum of charm quark as well as the temperature of the medium increase pQCD starts to gain on the npQCD contribution, ultimately prevailing at higher temperatures and charm momenta.


title: Unusual effect of high pressures on phase transformations in Ni$_{62}$Nb$_{38}$ alloy

abstract: Binary Ni$_{62}$Nb$_{38}$ alloy belongs to the unique class of binary off-eutectic systems, which are able to form a bulk glassy state [L. Xia et al., J. Appl. Phys. 99 (2006) 026103]. In the present work, the ($p$, $T$) phase diagram of Ni$_{62}$Nb$_{38}$ alloy was first determined for a wide thermodynamic range with temperatures from $300$\,K to $6000$\,K and with pressures from $1$\,atm to $1.2\times10^7$\,atm. For this thermodynamic range, elements of the phase diagram such as the liquid-crystal coexistence line and the glass transition line are defined. Our results reveal good agreement between the simulation results and the known experimental values of the liquidus temperature and the glass transition temperature for the isobar $p=1$\,atm. The phase diagram is detailed for pressures greater than $1\times10^{7}$\,atm. For the first time, the phase separation conditions at which the liquid Nb and crystalline Ni phases coexist in the system were determined.


title: BiFSMNv2: Pushing Binary Neural Networks for Keyword Spotting to Real-Network Performance

abstract: Deep neural networks, such as the Deep-FSMN, have been widely studied for keyword spotting (KWS) applications while suffering expensive computation and storage. Therefore, network compression technologies like binarization are studied to deploy KWS models on edge. In this paper, we present a strong yet efficient binary neural network for KWS, namely BiFSMNv2, pushing it to the real-network accuracy performance. First, we present a Dual-scale Thinnable 1-bit-Architecture to recover the representation capability of the binarized computation units by dual-scale activation binarization and liberate the speedup potential from an overall architecture perspective. Second, we also construct a Frequency Independent Distillation scheme for KWS binarization-aware training, which distills the high and low-frequency components independently to mitigate the information mismatch between full-precision and binarized representations. Moreover, we propose the Learning Propagation Binarizer, a general and efficient binarizer that enables the forward and backward propagation of binary KWS networks to be continuously improved through learning. We implement and deploy the BiFSMNv2 on ARMv8 real-world hardware with a novel Fast Bitwise Computation Kernel, which is proposed to fully utilize registers and increase instruction throughput. Comprehensive experiments show our BiFSMNv2 outperforms existing binary networks for KWS by convincing margins across different datasets and achieves comparable accuracy with the full-precision networks (only a tiny 1.51% drop on Speech Commands V1-12). We highlight that benefiting from the compact architecture and optimized hardware kernel, BiFSMNv2 can achieve an impressive 25.1x speedup and 20.2x storage-saving on edge hardware.


title: Randomly twisted hypercubes -- between structure and randomness

abstract: Twisted hypercubes are generalizations of the Boolean hypercube, obtained by iteratively connecting two instances of a graph by a uniformly random perfect matching. Dudek et al. showed that when the two instances are independent, these graphs have optimal diameter. We study twisted hypercubes in the setting where the instances can have general dependence, and also in the particular case where they are identical. We show that the resultant graph shares properties with random regular graphs, including small diameter, large vertex expansion, a semicircle law for its eigenvalues and no non-trivial automorphisms. However, in contrast to random regular graphs, twisted hypercubes allow for short routing schemes.


title: Autovocoder: Fast Waveform Generation from a Learned Speech Representation using Differentiable Digital Signal Processing

abstract: Most state-of-the-art Text-to-Speech systems use the mel-spectrogram as an intermediate representation, to decompose the task into acoustic modelling and waveform generation. A mel-spectrogram is extracted from the waveform by a simple, fast DSP operation, but generating a high-quality waveform from a mel-spectrogram requires computationally expensive machine learning: a neural vocoder. Our proposed ``autovocoder'' reverses this arrangement. We use machine learning to obtain a representation that replaces the mel-spectrogram, and that can be inverted back to a waveform using simple, fast operations including a differentiable implementation of the inverse STFT. The autovocoder generates a waveform 5 times faster than the DSP-based Griffin-Lim algorithm, and 14 times faster than the neural vocoder HiFi-GAN. We provide perceptual listening test results to confirm that the speech is of comparable quality to HiFi-GAN in the copy synthesis task.


title: Misspecified Cram\'er-Rao Bound of RIS-aided Localization under Geometry Mismatch

abstract: In 5G/6G wireless systems, reconfigurable intelligent surfaces (RIS) can play a role as a passive anchor to enable and enhance localization in various scenarios. However, most existing RIS-aided localization works assume that the geometry of the RIS is perfectly known, which is not realistic in practice due to calibration errors. In this work, we derive the misspecified Cram\'er-Rao bound (MCRB) for a single-input-single-output RIS-aided localization system with RIS geometry mismatch. Specifically, unlike most existing works that use numerical methods, we propose a closed-form solution to the pseudo-true parameter determination problem for MCRB analysis. Simulation results demonstrate the validity of the derived pseudo-true parameters and MCRB, and show that the RIS geometry mismatch causes performance saturation in the high signal-to-noise ratio regions.


title: Perverse filtrations, Chern filtrations, and refined BPS invariants for local $\mathbb{P}^2$

abstract: We explore connections between three structures associated with the cohomology of the moduli of 1-dimensional stable sheaves on $\mathbb{P}^2$: perverse filtrations, tautological classes, and refined BPS invariants for local $\mathbb{P}^2$. We formulate the $P=C$ conjecture identifying the perverse filtration with the Chern filtration for the free part of the cohomology. This can be viewed as an analog of de Cataldo--Hausel--Migliorini's $P=W$ conjecture for Hitchin systems. Our conjecture is compatible with the enumerative invariants of local $\mathbb{P}^2$ calculated by refined Pandharipande--Thomas theory or Nekrasov partition functions. It provides a cohomological lift of a conjectural product formula of the asymptotic refined BPS invariants. We prove the $P=C$ conjecture for degrees $\leq 4$.


title: OpenPGP Email Forwarding Via Diverted Elliptic Curve Diffie-Hellman Key Exchanges

abstract: An offline OpenPGP user might want to forward part or all of their email messages to third parties. Given that messages are encrypted, this requires transforming them into ciphertexts decryptable by the intended forwarded parties, while maintaining confidentiality and authentication. It is shown in recent lines of work that this can be achieved by means of proxy-re-encryption schemes, however, while encrypted email forwarding is the most mentioned application of proxy-re-encryption, it has not been implemented in the OpenPGP context, to the best of our knowledge. In this paper, we adapt the seminal technique introduced by Blaze, Bleumer and Strauss in EUROCRYPT'98, allowing a Mail Transfer Agent to transform and forward OpenPGP messages without access to decryption keys or plaintexts. We also provide implementation details and a security analysis.


title: GreenPLM: Cross-Lingual Transfer of Monolingual Pre-Trained Language Models at Almost No Cost

abstract: Large pre-trained models have revolutionized natural language processing (NLP) research and applications, but high training costs and limited data resources have prevented their benefits from being shared equally amongst speakers of all the world's languages. To address issues of cross-linguistic access to such models and reduce energy consumption for sustainability during large-scale model training, this study proposes an effective and energy-efficient framework called GreenPLM that uses bilingual lexicons to directly "translate" pre-trained language models of one language into another at almost no additional cost. We validate this approach in 18 languages' BERT models and show that this framework is comparable to, if not better than, other heuristics with high training costs. In addition, given lightweight continued pre-training on limited data where available, this framework outperforms the original monolingual language models in six out of seven tested languages with up to 200x less pre-training efforts. Aiming at the Leave No One Behind Principle (LNOB), our approach manages to reduce inequalities between languages and energy consumption greatly. We make our codes and models publicly available here: \url{https://github.com/qcznlp/GreenPLMs}


title: A U-spin Puzzle in $B$ Decays

abstract: We impose U spin symmetry ($SU(2)_{\rm Uspin}$) on the Hamiltonian for $B$ decays. As expected, we find the equality of amplitudes related by the exchange $d \leftrightarrow s$. We also find that the amplitudes for the $\Delta S=0$ processes $B^0 \to \pi^+\pi^-$, $B_s^0\to\pi^+ K^-$ and $B^0\to K^+ K^-$ form a U-spin triangle relation. The amplitudes for $B_s^0\to K^+ K^-$, $B^0\to\pi^- K^+$ and $B_s^0\to\pi^+\pi^-$ form a similar $\Delta S=1$ triangle relation. And these two triangles are related to one another by $d \leftrightarrow s$. We perform fits to the observables for these six decays. If perfect U spin is assumed, the fit is very poor. If U-spin-breaking contributions are added, we find many scenarios that can explain the data. However, in all cases, 100\% U-spin breaking is required, considerably larger than the naive expectation of $\sim 20\%$. This is the U-spin puzzle; it may be strongly hinting at the presence of new physics.


title: Adaptive Learning-Based Detection for One-Bit Quantized Massive MIMO Systems

abstract: We propose an adaptive learning-based framework for uplink massive multiple-input multiple-output (MIMO) systems with one-bit analog-to-digital converters. Learning-based detection does not need to estimate channels, which overcomes a key drawback in one-bit quantized systems. During training, learning-based detection suffers at high signal-to-noise ratio (SNR) because observations will be biased to +1 or -1 which leads to many zero-valued empirical likelihood functions. At low SNR, observations vary frequently in value but the high noise power makes capturing the effect of the channel difficult. To address these drawbacks, we propose an adaptive dithering-and-learning method. During training, received values are mixed with dithering noise whose statistics are known to the base station, and the dithering noise power is updated for each antenna element depending on the observed pattern of the output. We then use the refined probabilities in the one-bit maximum likelihood detection rule. Simulation results validate the detection performance of the proposed method vs. our previous method using fixed dithering noise power as well as zero-forcing and optimal ML detection both of which assume perfect channel knowledge.


title: High precision theory predictions in the Higgs sector

abstract: We discuss recent progress in Standard Model predictions related to Higgs boson physics at the LHC and comment on the combination of higher order corrections with potential effects of heavy New Physics parametrised by Effective Field Theories.


title: Reductive homogeneous spaces of the compact Lie group $G_2$

abstract: The first author defended her doctoral thesis Espacios homog\'eneos reductivos y \'algebras no asociativas in 2001, supervised by P. Benito and A. Elduque. This thesis contained the classification of the Lie-Yamaguti algebras with standard enveloping algebra $\mathfrak{g}_2$ over fields of characteristic zero, which in particular gives the classification of the homogeneous reductive spaces of the compact Lie group $G_2$. In this work we revisit this classification from a more geometrical approach. We provide too geometric models of the corresponding homogeneous spaces and make explicit some relations among them.


title: All optical quantum information processing via a single step Rydberg blockade gate

abstract: One of the critical elements in the realization of the quantum internet are deterministic two-photon gates. This $CZ$ photonic gate also completes a set of universal gates for all-optical quantum information processing. This article discusses an approach to realize high fidelity $CZ$ photonic gate by storing both control and target photons within an atomic ensemble using non-Rydberg electromagnetically induced transparency (EIT) followed by a fast, single-step Rydberg excitation with global lasers. The proposed scheme operates by relative intensity modulation of two lasers used in Rydberg excitation. Circumventing the conventional $\pi$-gap-$\pi$ schemes, the proposed operation features continuous laser protection of the Rydberg atoms from the environment noise. The complete spatial overlap of stored photons inside the blockade radius optimizes the optical depth and simplifies the experiment. The coherent operation here is performed in the region that was dissipative in the previous Rydberg EIT schemes. Encountering the main imperfection sources, i.e. the spontaneous emission of the Rydberg and intermediate levels, population rotation errors, Doppler broadening of the transition lines, storage/retrieval efficiency, and atomic thermal motion induced decoherence, this article concludes that with realistic experimental parameters 99.7\% fidelity is achievable.


title: Orthogonal polynomials on a class of planar algebraic curves

abstract: We construct bivariate orthogonal polynomials (OPs) on algebraic curves of the form $y^m = \phi(x)$ in $\mathbb{R}^2$ where $m = 1, 2$ and $\phi$ is a polynomial of arbitrary degree $d$, in terms of univariate semiclassical OPs. We compute connection coeffeicients that relate the bivariate OPs to a polynomial basis that is itself orthogonal and whose span contains the OPs as a subspace. The connection matrix is shown to be banded and the connection coefficients and Jacobi matrices for OPs of degree $0, \ldots, N$ are computed via the Lanczos algorithm in $O(Nd^4)$ operations.


title: Online Correlation Clustering for Dynamic Complete Signed Graphs

abstract: In the correlation clustering problem for complete signed graphs, the input is a complete signed graph with edges weighted as $+1$ (denote recommendation to put this pair in the same cluster) or $-1$ (recommending to put this pair of vertices in separate clusters) and the target is to cluster the set of vertices such that the number of disagreements with these recommendations is minimized. In this paper, we consider the problem of correlation clustering for dynamic complete signed graphs where (1) a vertex can be added or deleted, and (2) the sign of an edge can be flipped. In the proposed online scheme, the offline approximation algorithm in [CALM+21] for correlation clustering is used. Up to the author's knowledge, this is the first online algorithm for dynamic graphs which allows a full set of graph editing operations. The proposed approach is rigorously analyzed and compared with a baseline method, which runs the original offline algorithm on each time step. Our results show that the dynamic operations have local effects on the neighboring vertices and we employ this locality to reduce the dependency of the running time in the Baseline to the summation of the degree of all vertices in $G_t$, the graph after applying the graph edit operation at time step $t$, to the summation of the degree of the changing vertices (e.g. two endpoints of an edge) and the number of clusters in the previous time step. Moreover, the required working memory is reduced to the square of the summation of the degree of the modified edge endpoints rather than the total number of vertices in the graph.


title: Kernelization for Partial Vertex Cover via (Additive) Expansion Lemma

abstract: Given a graph and two integers $k$ and $\ell$, Partial Vertex Cover asks for a set of at most $k$ vertices whose deletion results in a graph with at most $\ell$ edges. Based on the expansion lemma, we provide a problem kernel with $(\ell + 2)(k + \ell)$ vertices. We then introduce a new, additive version of the expansion lemma and show it can be used to prove a kernel with $(\ell + 1)(k + \ell)$ vertices for $\ell \ge 1$.


title: Beyond the linear tide: impact of the non-linear tidal response of neutron stars on gravitational waveforms from binary inspirals

abstract: Tidal interactions in coalescing binary neutron stars modify the dynamics of the inspiral and hence imprint a signature on their gravitational wave (GW) signals in the form of an extra phase shift. We need accurate models for the tidal phase shift in order to constrain the supranuclear equation of state from observations. In previous studies, GW waveform models were typically constructed by treating the tide as a linear response to a perturbing tidal field. In this work, we incorporate non-linear corrections due to hydrodynamic three- and four-mode interactions and show how they can improve the accuracy and explanatory power of waveform models. We set up and numerically solve the coupled differential equations for the orbit and the modes and analytically derive solutions of the system's equilibrium configuration. Our analytical solutions agree well with the numerical ones up to the merger and involve only algebraic relations, allowing for fast phase shift and waveform evaluations for different equations of state over a large parameter space. We find that, at Newtonian order, non-linear fluid effects can enhance the tidal phase shift by $\gtrsim 1\,{\rm radian}$ at a GW frequency of 1000 Hz, corresponding to a $10-20\%$ correction to the linear theory. The scale of the additional phase shift near the merger is consistent with the difference between numerical relativity and theoretical predictions that account only for the linear tide. Non-linear fluid effects are thus important when interpreting the results of numerical relativity and in the construction of waveform models for current and future GW detectors.


title: Odd mobility of a passive tracer in a chiral active fluid

abstract: Chiral active fluids break both time-reversal and parity symmetry, leading to exotic transport phenomena unobservable in ordinary passive fluids. We develop a generalized Green-Kubo relation for the anomalous lift experienced by a passive tracer suspended in a two-dimensional chiral active fluid subjected to an applied force. This anomalous lift is characterized by a transport coefficient termed the odd mobility. We validate our generalized response theory using molecular dynamics simulations, and we show that the asymmetric tracer mobility may be understood mechanically in terms of asymmetric deformations of the tracer-fluid density distribution function. We show that the even and odd components of the mobility decay at different rates with tracer size, suggesting the possibility of size-based particle separation using a chiral active working fluid.


title: Advancing Learned Video Compression with In-loop Frame Prediction

abstract: Recent years have witnessed an increasing interest in end-to-end learned video compression. Most previous works explore temporal redundancy by detecting and compressing a motion map to warp the reference frame towards the target frame. Yet, it failed to adequately take advantage of the historical priors in the sequential reference frames. In this paper, we propose an Advanced Learned Video Compression (ALVC) approach with the in-loop frame prediction module, which is able to effectively predict the target frame from the previously compressed frames, without consuming any bit-rate. The predicted frame can serve as a better reference than the previously compressed frame, and therefore it benefits the compression performance. The proposed in-loop prediction module is a part of the end-to-end video compression and is jointly optimized in the whole framework. We propose the recurrent and the bi-directional in-loop prediction modules for compressing P-frames and B-frames, respectively. The experiments show the state-of-the-art performance of our ALVC approach in learned video compression. We also outperform the default hierarchical B mode of x265 in terms of PSNR and beat the slowest mode of the SSIM-tuned x265 on MS-SSIM. The project page: https://github.com/RenYang-home/ALVC.


title: Quantifying syntax similarity with a polynomial representation of dependency trees

abstract: We introduce a graph polynomial that distinguishes tree structures to represent dependency grammar and a measure based on the polynomial representation to quantify syntax similarity. The polynomial encodes accurate and comprehensive information about the dependency structure and dependency relations of words in a sentence. We apply the polynomial-based methods to analyze sentences in the Parallel Universal Dependencies treebanks. Specifically, we compare the syntax of sentences and their translations in different languages, and we perform a syntactic typology study of available languages in the Parallel Universal Dependencies treebanks. We also demonstrate and discuss the potential of the methods in measuring syntax diversity of corpora.


title: Skew analysis over quaternions. I

abstract: We introduce a class of rings using which we define the concept of skew regularity for quaternion-valued functions over quaternions. It is shown that the notion of skew regularity coincides with the concept of slice regularity over symmetric slice domains. Known results regarding slice-regular functions over symmetric slice domains are generalized to skew-regular functions over general symmetric domains. Furthermore, we present new results concerning slice-regular functions.


title: A structural hysteresis in the charge density wave transition of 1T-TaS2

abstract: In quasi-two-dimensional 1T-TaS2, a charge density wave (CDW) prototype, the transition occurs in two steps, from incommensurate (ICDW) and nearly commensurate (NCCDW) and from NCDW to commensurate (CCDW), locked in the resistivity step-wise behavior. The hysteresis observed in the resistivity across the NCDW-to-CCDW transition has roots to a structural hysteresis, where local distortions of the sqrt(13)a x sqrt(13)a superstructure are revealed by neutron and X-ray diffraction. The structural hysteresis is due to faulty stars of David (SODs) because of Ta displacements away from the perfect trigonal geometry as well as out of plane S distortions. Furthermore, the superstructure exhibits a 3co layer stacking order that weakens on warming and fully disappears in the ICDW state.


title: The Galactic Center as a laboratory for theories of gravity and dark matter

abstract: The Galactic Center of the Milky Way, thanks to its proximity, allows to perform astronomical observations that investigate physical phenomena at the edge of astrophysics and fundamental physics. As such, it offers a unique laboratory to probe gravity, where one can not only test the basic predictions of General Relativity, but is also able to falsify theories that, over time, have been proposed to modify or extend General Relativity; to test different paradigms of dark matter; and to place constraints on putative models that have been formulated as alternatives to the standard black hole paradigm in General Relativity. In this review we provide a general overview of the history of observations of the Galactic Center, emphasizing the importance, in particular on the smallest-observable scales, that they had in opening a new avenue to improve our understanding of the underlying theory of gravity in the surrounding of a supermassive compact object.


title: Weak deflection angle by Kalb-Ramond Traversable Wormhole in Plasma and Dark Matter Mediums

abstract: This paper is devoted to compute the weak deflection angle for Kalb-Ramond traversable wormhole solution in plasma and dark matter mediums by using the method of Gibbons and Werner. To acquire our results, we evaluate Gaussian optical curvature by utilizing the Gauss-Bonnet theorem in the weak field limits. We also investigate the graphical influence of deflection angle $\tilde{\alpha}$ with respect to the impact parameter $\sigma$ and minimal radius $r_0$ in plasma medium. Moreover, we derive the deflection angle by using different method known as Keeton and Petters method. We also examine that if we remove the effects of plasma and dark matter, the results become identical to that of non-plasma case.


title: Photoinduced sliding transition into a hidden phase in van der Waals materials

abstract: We propose a generic scenario for metastability and excitation-induced switching in layered materials. Focusing on a minimal bilayer stack, where each layer consists of a honeycomb lattice with A and B sublattices, we map out the energy landscape with respect to the relative sliding of the layers. The sliding affects the interlayer hopping, which induces a splitting between bonding and anti-bonding bands. When this splitting is large, the AA and AB stacking configurations correspond to the global and secondary minima, respectively, and these configurations are separated by a barrier against layer-sliding. While chemical doping only flattens this barrier, strong \emph{photodoping} from bonding to antibonding bands can transiently destabilize the global minimum and induce a sliding motion toward the AB stacked configuration, thereby switching from an equilibrium insulator to a nearly gapless metastable phase. This hopping-driven effect is enhanced by local repulsive interactions, which increase the gap and facilitate the inter-layer sliding.


title: High Order Schemes for Gradient Flow with Respect to a Metric

abstract: New criteria for energy stability of multi-step, multi-stage, and mixed schemes are introduced in the context of evolution equations that arise as gradient flow with respect to a metric. These criteria are used to exhibit second and third order consistent, energy stable schemes, which are then demonstrated on several partial differential equations that arise as gradient flow with respect to the 2-Wasserstein metric.


title: Phi-FEM: an optimally convergent and easily implementable immersed boundary method for particulate flows and Stokes equations

abstract: We present an immersed boundary method to simulate the creeping motion of a rigid particle in a fluid described by the Stokes equations discretized thanks to a finite element strategy on unfitted meshes, called Phi-FEM, that uses the description of the solid with a level-set function. One of the advantages of our method is the use of standard finite element spaces and classical integration tools, while maintaining the optimal convergence (theoretically in the H1 norm for the velocity and L2 for pressure; numerically also in the L2 norm for the velocity).


title: On the Rigidity of Cosmological Space-times

abstract: In this paper we analyse a family of geometrically well-behaved cosmological space-times $(V^{n+1},g)$, which are foliated by intrinsically isotropic space-like hypersurfaces $\{M_t\}_{t\in \mathbb{R}}$, which are orthogonal to a family of co-moving observers defined by a global time-like vector field $U$. In particular, this implies such space-times satisfy several of the well-known criteria for isotropic cosmological space-times, although, in the family in question, the simultaneity-spaces $(M_t,g_t)$ associated to $U$ can have as sectional curvature a sign-changing function $k(t)$. Being this clearly impossible in the FLRW family of standard cosmological space-times, it motivates us to revisit the geometric rigidity consequences of different definitions of isotropy available in the literature. In this analysis, we divide such definition according to whether the isometries involved are taken to be (local) space-time (STI space-times) or (local) space isometries (SI space-times) of $(M_t,g_t)$ for each $t$. This subtlety will be shown to be critical, proving that only when space-time isometries are considered one obtains the well-known rigidity properties associated with isotropic cosmological space-times. In particular SI space-times will be shown to be a strictly larger class than the STI ones, allowing a family of basic cosmological curvature change models which are not even locally isometric to any FLRW space-time.


title: Vector breathers in the Manakov system

abstract: We study theoretically the nonlinear interactions of vector breathers propagating on an unstable wavefield background. As a model, we use the two-component extension of the one-dimensional focusing nonlinear Schrodinger equation -- the Manakov system. With the dressing method, we generate the multi-breather solutions to the Manakov model. As shown previously in [D. Kraus, G. Biondini, and G. Kovacic, Nonlinearity 28, 310, 2015] the class of vector breathers is presented by three fundamental types I, II, and III. Their interactions produce a broad family of the two-component (polarized) nonlinear wave patterns. First, we demonstrate that the type I and the types II and III correspond to two different branches of the dispersion law of the Manakov system in the presence of the unstable background. Then we investigate the key interaction scenarios, including collisions of standing and moving breathers and resonance breather transformations. Analysis of the two-breather solution allows us to derive general formulas describing phase and space shifts acquired by breathers in mutual collisions. The found expressions enable us to describe the asymptotic states of the breather interactions and interpret the resonance fusion and decay of breathers as a limiting case of infinite space shift in the case of merging breather eigenvalues. Finally, we demonstrate that only type $\mathrm{I}$ breathers participate in the development of modulation instability from small-amplitude perturbations within the superregular scenario, while the breathers of types $\mathrm{II}$ and $\mathrm{III}$, belonging to the stable branch of the dispersion law, are not involved in this process.


title: Convergence of a particle method for a regularized spatially homogeneous Landau equation

abstract: We study a regularized version of the Landau equation, which was recently introduced in~\cite{CHWW20} to numerically approximate the Landau equation with good accuracy at reasonable computational cost. We develop the existence and uniqueness theory for weak solutions, and we reinforce the numerical findings in~\cite{CHWW20} by rigorously proving the validity of particle approximations to the regularized Landau equation.


title: Exploiting In-Constraint Energy in Constrained Variational Quantum Optimization

abstract: A central challenge of applying near-term quantum optimization algorithms to industrially relevant problems is the need to incorporate complex constraints. In general, such constraints cannot be easily encoded in the circuit, and the quantum circuit measurement outcomes are not guaranteed to respect the constraints. Therefore, the optimization must trade off the in-constraint probability and the quality of the in-constraint solution by adding a penalty for constraint violation into the objective. We propose a new approach for solving constrained optimization problems with unconstrained, easy-to-implement quantum ansatze. Our method leverages the in-constraint energy as the objective and adds a lower-bound constraint on the in-constraint probability to the optimizer. We demonstrate significant gains in solution quality over directly optimizing the penalized energy. We implement our method in QVoice, a Python package that interfaces with Qiskit for quick prototyping in simulators and on quantum hardware.


title: On topology changes in quantum field theory and quantum gravity

abstract: Two singularity theorems can be proven if one attempts to let a Lorentzian cobordism interpolate between two topologically distinct manifolds. On the other hand, Cartier and DeWitt-Morette have given a rigorous definition for quantum field theories (qfts) by means of path integrals. This article uses their results to study whether qfts can be made compatible with topology changes. We show that path integrals over metrics need a finite norm for the latter and for degenerate metrics, this problem can sometimes be resolved with tetrads. We prove that already in the neighborhood of some cuspidal singularities, difficulties can arise to define certain qfts. On the other hand, we show that simple qfts can be defined around conical singularities that result from a topology change in a simple setup. We argue that the ground state of many theories of quantum gravity will imply a small cosmological constant and, during the expansion of the universe, will cause frequent topology changes. Unfortunately, it is difficult to describe the transition amplitudes consistently due to the aforementioned problems. We argue that one needs to describe qfts by stochastic differential equations, and in the case of gravity, by Regge calculus in order to resolve this problem.


title: Pressure Dependence of Electronic, Vibrational and Optical Properties of wurtzite-Boron Nitride

abstract: Wurtzite Boron Nitride ($w$BN) is a wide band gap BN polymorph with peculiar mechanical properties (hardness and stiffness). After its first synthesis in 1963 as a transformation of hexagonal BN ($h$BN) under high temperature and pressure conditions, a lot of progress have been made in order to stabilize wurtzite phase at atmospheric pressure. Today the crystallization of good quality samples is finally possible. This fact motivates our first principles study of the electronic, vibrational and light absorption and emission properties of $w$BN over a wide range of pressures. Our findings are important in view of the potential use of $w$BN as a dielectric for integration in BN-based technologies in optoelectronics and harsh environment applications.


title: Exact and Heuristic Algorithms for the Domination Problem

abstract: In a simple connected graph $G=(V,E)$, a subset of vertices $S \subseteq V$ is a dominating set if any vertex $v \in V\setminus S$ is adjacent to some vertex $x$ from this subset. A number of real-life problems can be modeled using this problem which is known to be among the difficult NP-hard problems in its class. We formulate the problem as an integer liner program (ILP) and compare the performance with the two earlier existing exact state-of-the-art algorithms and exact implicit enumeration and heuristic algorithms that we propose here. Our exact algorithm was able to find optimal solutions much faster than ILP and the above two exact algorithms for middle-dense instances. For graphs with a considerable size, our heuristic algorithm was much faster than both, ILP and our exact algorithm. It found an optimal solution for more than half of the tested instances, whereas it improved the earlier known state-of-the-art solutions for almost all the tested benchmark instances. Among the instances where the optimum was not found, it gave an average approximation error of $1.18$.


title: Ideals of submaximal minors of sparse symmetric matrices

abstract: We study algebraic and homological properties of the ideal of submaximal minors of a sparse generic symmetric matrix. This ideal is generated by all $(n-1)$-minors of a symmetric $n \times n$ matrix whose entries in the upper triangle are distinct variables or zeros and the zeros are only allowed at off-diagonal places. The surviving off-diagonal entries are encoded as a simple graph $G$ with $n$ vertices. We prove that the minimal free resolution of this ideal is obtained from the case without any zeros via a simple pruning procedure, extending methods of Boocher. This allows us to compute all graded Betti numbers in terms of $n$ and a single invariant of $G$. Moreover, it turns out that these ideals are always radical and have Cohen--Macaulay quotients if and only if $G$ is either connected or has no edges at all. The key input are some new Gr\"obner basis results with respect to non-diagonal term orders associated to $G$.


title: Using Hand Pose Estimation To Automate Open Surgery Training Feedback

abstract: Purpose: This research aims to facilitate the use of state-of-the-art computer vision algorithms for the automated training of surgeons and the analysis of surgical footage. By estimating 2D hand poses, we model the movement of the practitioner's hands, and their interaction with surgical instruments, to study their potential benefit for surgical training. Methods: We leverage pre-trained models on a publicly-available hands dataset to create our own in-house dataset of 100 open surgery simulation videos with 2D hand poses. We also assess the ability of pose estimations to segment surgical videos into gestures and tool-usage segments and compare them to kinematic sensors and I3D features. Furthermore, we introduce 6 novel surgical dexterity proxies stemming from domain experts' training advice, all of which our framework can automatically detect given raw video footage. Results: State-of-the-art gesture segmentation accuracy of 88.35\% on the Open Surgery Simulation dataset is achieved with the fusion of 2D poses and I3D features from multiple angles. The introduced surgical skill proxies presented significant differences for novices compared to experts and produced actionable feedback for improvement. Conclusion: This research demonstrates the benefit of pose estimations for open surgery by analyzing their effectiveness in gesture segmentation and skill assessment. Gesture segmentation using pose estimations achieved comparable results to physical sensors while being remote and markerless. Surgical dexterity proxies that rely on pose estimation proved they can be used to work towards automated training feedback. We hope our findings encourage additional collaboration on novel skill proxies to make surgical training more efficient.


title: AutoDRIVE Simulator -- Technical Report

abstract: AutoDRIVE is envisioned to be a comprehensive research platform for scaled autonomous vehicles. This work is a stepping-stone towards the greater goal of realizing such a research platform. Particularly, this work proposes a pseudo-realistic simulator for scaled autonomous vehicles, which is targeted towards simplicity, modularity and flexibility. The AutoDRIVE Simulator not only mimics realistic system dynamics but also simulates a comprehensive sensor suite and realistic actuator response. The simulator also features a communication bridge in order to interface externally developed autonomous driving software stack, which allows users to design and develop their algorithms conveniently and have them tested on our simulator. Presently, the bridge is compatible with Robot Operating System (ROS) and can be interfaced directly with the Python and C++ scripts developed as a part of this project. The bridge supports local as well as distributed computing.


title: An implementation of the matrix method using Chebyshev grid

abstract: In this work, we explore the properties of the matrix method for black hole quasinormal modes on the nonuniform grid. In particular, the method is implemented to be adapted to the Chebyshev grid, aimed at effectively suppressing Runge's phenomenon. It is found that while such an implementation is favorable from a mathematical point of view, in practice, the increase in precision does not necessarily compensate for the penalty in computational time. On the other hand, the original matrix method, though subject to Runge's phenomenon, is shown to be reasonably robust and suffices for most applications with a moderate grid number. In terms of computational time and obtained significant figures, we carried out an analysis regarding the trade-off between the two aspects. The implications of the present study are also addressed.


title: Structural aging of human neurons is the opposite of the changes in schizophrenia

abstract: Human mentality develops with age and is altered in psychiatric disorders, though their underlying mechanism is unknown. In this study, we analyzed nanometer-scale three-dimensional structures of brain tissues of the anterior cingulate cortex from eight schizophrenia and eight control cases. The distribution profiles of neurite curvature of the control cases showed a trend depending on their age, resulting in an age-correlated decrease in the standard deviation of neurite curvature (Pearson's r = -0.80, p = 0.018). In contrast to the control cases, the schizophrenia cases deviate upward from this correlation, exhibiting a 60% higher neurite curvature compared with the controls (p = 7.8 x 10^(-4)). The neurite curvature also showed a correlation with a hallucination score (Pearson's r = 0.80, p = 1.8 x 10^(-4)), indicating that neurite structure is relevant to brain function. We suggest that neurite curvature plays a pivotal role in brain aging and can be used as a hallmark to exploit a novel treatment of schizophrenia. This nano-CT paper is the result of our decade-long analysis and is unprecedented in terms of number of cases.

categories: q-bio.NC physics.bio-ph physics.med-ph q-bio.TO


title: Special Intersection Graph in The Topological Graphs

abstract: In this paper, new graphs $G_\tau=\left(V,E\right)$ are constructed from the discrete topological space $(X,\tau)\ $ . Several properties of this type of graphs are given such that: the clique number equals the number of elements in X also the number of pendants vertices, $G_\tau$ has no isolated vertices, the minimum degree in $G_\tau$ is one and maximum degree equal $n-1+\sum^{n-1}_{i=2}\binom{n-1}{i}$ , the minimum dominating set is determined and $\gamma(G_\tau)$ is evaluated for $G_\tau$ and for corona and join operations between to discrete topological graphs. At what matter $\beta\left(G_\tau\right)=\gamma(G_\tau)$ is discussed for $G_\tau$. Also that $G_\tau$ is proved a connected graph of order $2^n-2$ and it has no isolated vertex. Then, rad $\ G_\tau$ and diam $\ (G_\tau)$ are evaluated.


title: Comprehension from Chaos: Towards Informed Consent for Private Computation

abstract: Private computation, which includes techniques like multi-party computation and private query execution, holds great promise for enabling organizations to analyze data they and their partners hold while maintaining data subjects' privacy. Despite recent interest in communicating about differential privacy, end users' perspectives on private computation have not previously been studied. To fill this gap, we conducted 22 semi-structured interviews investigating users' understanding of, and expectations for, private computation over data about them. Interviews centered on four concrete data-analysis scenarios (e.g., ad conversion analysis), each with a variant that did not use private computation and another that did (private set intersection, multi-party computation, and privacy preserving query procedures). While participants struggled with abstract definitions of private computation, they found the concrete scenarios enlightening and plausible even though we did not explain the complex cryptographic underpinnings. Private computation increased participants' acceptance of data sharing, but not unconditionally; the purpose of data sharing and analysis was the primary driver of their attitudes. Through collective activities, participants emphasized the importance of detailing the purpose of a computation and clarifying that inputs to private computation are not shared across organizations when describing private computation to end users.


title: Snowmass 2021 Dark Matter Complementarity Report

abstract: The fundamental nature of Dark Matter is a central theme of the Snowmass 2021 process, extending across all Frontiers. In the last decade, advances in detector technology, analysis techniques and theoretical modeling have enabled a new generation of experiments and searches while broadening the types of candidates we can pursue. Over the next decade, there is great potential for discoveries that would transform our understanding of dark matter. In the following, we outline a road map for discovery developed in collaboration among the Frontiers. A strong portfolio of experiments that delves deep, searches wide, and harnesses the complementarity between techniques is key to tackling this complicated problem, requiring expertise, results, and planning from all Frontiers of the Snowmass 2021 process.


title: Learning Visualization Policies of Augmented Reality for Human-Robot Collaboration

abstract: In human-robot collaboration domains, augmented reality (AR) technologies have enabled people to visualize the state of robots. Current AR-based visualization policies are designed manually, which requires a lot of human efforts and domain knowledge. When too little information is visualized, human users find the AR interface not useful; when too much information is visualized, they find it difficult to process the visualized information. In this paper, we develop a framework, called VARIL, that enables AR agents to learn visualization policies (what to visualize, when, and how) from demonstrations. We created a Unity-based platform for simulating warehouse environments where human-robot teammates collaborate on delivery tasks. We have collected a dataset that includes demonstrations of visualizing robots' current and planned behaviors. Results from experiments with real human participants show that, compared with competitive baselines from the literature, our learned visualization strategies significantly increase the efficiency of human-robot teams, while reducing the distraction level of human users. VARIL has been demonstrated in a built-in-lab mock warehouse.


title: Ginzburg-Landau Description and Emergent Supersymmetry of the $(3,8)$ Minimal Model

abstract: A pair of the 2D non-unitary minimal models $M(2,5)$ is known to be equivalent to a variant of the $M(3,10)$ minimal model. We discuss the RG flow from this model to another non-unitary minimal model, $M(3,8)$. This provides new evidence for its previously proposed Ginzburg-Landau description, which is a $\mathbb{Z}_2$ symmetric theory of two scalar fields with cubic interactions. We also point out that $M(3,8)$ is equivalent to the $(2,8)$ superconformal minimal model with the diagonal modular invariant. Using the 5-loop results for theories of scalar fields with cubic interactions, we exhibit the $6-\epsilon$ expansions of the dimensions of various operators. Their extrapolations are in quite good agreement with the exact results in 2D. We also use them to approximate the scaling dimensions in $d=3,4,5$ for the theories in the $M(3,8)$ universality class.


title: Field Tunable Magnetic Transitions of CsCo2(MoO4)2(OH): A Triangular Chain Structure with a Frustrated Geometry

abstract: Identifying and characterizing new magnetic systems with Co2+ ions can enhance our understanding of quantum behavior since Co2+ can host a pseudospin-1/2 magnetic ground state. Understanding the magnetic ground state and the phase diagrams of such systems are central to the development of new theoretical models to described emergent quantum properties of complex magnetic systems. The sawtooth chain compound, CsCo2MoO4_2OH, is one such complex magnetic system and here, we present a comprehensive series of magnetic and neutron scattering measurements to determine its magnetic phase diagram. The magnetic properties of CsCo2MoO4_2OH exhibit a strong coupling to the crystal lattice and its magnetic ground state can be easily manipulated by applied magnetic fields. There are two unique Co2+ ions, base and vertex, with Jbb and Jbv magnetic exchange. The magnetism is highly anisotropic with the b-axis (chain) along the easy axis and the material orders antiferromagnetically at TN = 5 K. The zero field antiferromagnetic phase contains vertex magnetic vectors Co1 aligned parallel to the b-axis, while the base vectors Co2 are canted by 34 and aligned in an opposite direction to the vertex vectors. The spins in parallel adjacent chains align in opposite directions, creating an overall antiferromagnetic structure. At a 3 kOe applied magnetic field, adjacent chains flip by 180{\deg} to generate a ferrimagnetic phase. An increase in field gradually induces the Co(1) moment to rotate along the b-axis and align in the same direction with Co2 generating a ferromagnetic structure. Our results demonstrate that the CsCo2MoO4_2OH is a promising candidate to study new physics associated with sawtooth chain magnetism.


title: Similarity-based Feature Extraction for Large-scale Sparse Traffic Forecasting

abstract: Short-term traffic forecasting is an extensively studied topic in the field of intelligent transportation system. However, most existing forecasting systems are limited by the requirement of real-time probe vehicle data because of their formulation as a time series forecasting problem. Towards this issue, the NeurIPS 2022 Traffic4cast challenge is dedicated to predicting the citywide traffic states with publicly available sparse loop count data. This technical report introduces our second-place winning solution to the extended challenge of ETA prediction. We present a similarity-based feature extraction method using multiple nearest neighbor (NN) filters. Similarity-based features, static features, node flow features and combined features of segments are extracted for training the gradient boosting decision tree model. Experimental results on three cities (including London, Madrid and Melbourne) demonstrate the strong predictive performance of our approach, which outperforms a number of graph-neural-network-based solutions in the task of travel time estimation. The source code is available at \url{https://github.com/c-lyu/Traffic4Cast2022-TSE}.


title: Benefits, Challenges, and Research Topics: A Multi-vocal Literature Review of Kubernetes

abstract: Context: Kubernetes is an open source software that helps in automated deployment of software and orchestration of containers. With Kubernetes, IT organizations, such as IBM, Pinterest, and Spotify have experienced an increase in release frequency. Objective: The goal of this paper is to inform practitioners and researchers on benefits and challenges of Kubernetes usage by conducting a multi-vocal literature review of Kubernetes. Methodology: We conduct a multi-vocal literature review (MLR) where we use 321 Kubernetes-related Internet artifacts to identify benefits and challenges perceived by practitioners. In our MLR, we also analyze 105 peer-reviewed publications to identify the research topics addressed by the research community. Findings: We find 8 benefits that include service level objective (SLO)-based scalability and self-healing containers. Our identified 15 challenges related to Kubernetes include unavailability of diagnostics and security tools and attack surface reduction. We observe researchers to address 14 research topics related to Kubernetes, which includes efficient resource utilization. We also identify 9 challenges that are under-explored in research publications, which include cultural change, hardware compatibility, learning curve, maintenance, and testing.


title: Directed graphs with lower orientation Ramsey thresholds

abstract: We investigate the threshold $p_{\vec H}=p_{\vec H}(n)$ for the Ramsey-type property $G(n,p)\to \vec H$, where $G(n,p)$ is the binomial random graph and $G\to\vec H$ indicates that every orientation of the graph $G$ contains the oriented graph $\vec H$ as a subdigraph. Similarly to the classical Ramsey setting, the upper bound $p_{\vec H}\leq Cn^{-1/m_2(\vec H)}$ is known to hold for some constant $C=C(\vec H)$, where $m_2(\vec H)$ denotes the maximum $2$-density of the underlying graph $H$ of $\vec H$. While this upper bound is indeed the threshold for some $\vec H$, this is not always the case. We obtain examples arising from rooted products of orientations of sparse graphs (such as forests, cycles and, more generally, subcubic $\{K_3,K_{3,3}\}$-free graphs) and arbitrarily rooted transitive triangles.


title: Explicit Square Zero Obstruction Theory

abstract: We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically constructed map. Our approach clarifies some subtle features of the non-connective setting.


title: Elementary Bitcoin economics: from production and transaction demand to values

abstract: In this paper we give an elementary analysis of economics of Bitcoin that combines the transaction demand by the consumers and the supply of hashrate by miners. We argue that the decreasing block reward will have no significant effect on the exchange rate (price) of Bitcoin and thus the network will be transitioning to a regime where transaction fees will play a bigger part of miners' revenue. We consider a simple model where consumers demand bitcoins for transactions, but not for hoarding bitcoins, and we analyze market equilibrium where the demand is matched with the hashrate supplied by miners. Our main conclusion is that the exchange rate of Bitcoin cannot be determined from the market equilibrium and so our arguments support the hypothesis that Bitcoin price has no economic fundamentals and is free to fluctuate according to the present demand for hoarding and speculation. We point out that increasing fees bear the risk of Bitcoin being outcompeted by its main rival Ethereum, and that decreasing revenues to miners depreciate the perception of Bitcoin as a medium for store value (hoarding demand) which will have effect its exchange rate.


title: A Unified Theory of Dual-Process Control

abstract: Dual-process theories play a central role in both psychology and neuroscience, figuring prominently in fields ranging from executive control to reward-based learning to judgment and decision making. In each of these domains, two mechanisms appear to operate concurrently, one relatively high in computational complexity, the other relatively simple. Why is neural information processing organized in this way? We propose an answer to this question based on the notion of compression. The key insight is that dual-process structure can enhance adaptive behavior by allowing an agent to minimize the description length of its own behavior. We apply a single model based on this observation to findings from research on executive control, reward-based learning, and judgment and decision making, showing that seemingly diverse dual-process phenomena can be understood as domain-specific consequences of a single underlying set of computational principles.


title: Static and dynamic properties of self-bound droplets of light in hot vapours

abstract: The propagation of light in nonlinear media is well described by a $2$D nonlinear Schr\"odinger equation (NLSE) within the paraxial approximation, which is equivalent to the Gross-Pitaesvskii equation (GPE), the mean-field description for the dynamics of Bose-Einstein condensates (BECs). Due to this similarity, many theoretical and experimental investigations of phenomena which have already been studied and realized in BECs have been recently analysed in alternative experimental platforms such as hot atomic vapours. In this work, we study the formation of droplets of light in these media, attempting to establish a mapping between the experimental parameters normally used in BEC experiments and those needed to observe the analogous phenomenon in hot atomic vapours. We obtain the energy functional for the susceptibility of the medium in the $\chi^{(3)}$ , $\chi^{(3)}+\chi^{(5)}$ and saturating regimes for a two-level atomic configuration considering the focusing (attractive) regime. We apply a Gaussian variational approach and check its predictions through numerical simulations of the NLSE for each regime. Finally, we study the real-time dynamics of the system for both the $\chi^{(3)}+\chi^{(5)}$ and saturating nonlinearities, focusing our attention on the behaviour of the breathing mode and on the analysis of droplet formation for realistic experimental conditions.


title: Critical diffraction of irregular structure detonations and their predictability from experimentally obtained D-K data

abstract: The present work reports new experiments of detonation diffraction in a 2D channel configuration in stoichiometric mixtures of ethylene, ethane, and methane with oxygen as oxidizer. The flow field details are obtained using high-speed schlieren near the critical conditions of diffraction. The critical initial pressure for successful diffraction is reported for the ethylene, ethane and methane mixtures. The flow field details revealed that the lateral portion of the wave results in a zone of quenched ignition. The dynamics of the laterally diffracting shock front are found in good agreement with the recent model developed by Radulescu et al. (Physics of Fluids 2021). The model provides noticeable improvement over the local models using Whitham's characteristic rule and Wescott, Bdzil and Stewart's model for weakly curved reactive shocks. These models provide a link between the critical channel height and the critical wave curvature. The critical channel heights and global curvatures are found in very good agreement with the critical curvatures measured independently by Xiao and Radulescu (Combust. Flame 2020) in quasi-steady experiments in exponential horns for three mixtures tested. Furthermore, critical curvature data obtained by others in the literature was found to provide a good prediction of critical diffraction in 2D. These findings suggest that the critical diffraction of unstable detonations may be well predicted by a model based on the maximum curvature of the detonation front, where the latter is to be measured experimentally and account for the role of the cellular structure in the burning mechanism. This finding provides support to the view that models for unstable detonations at a meso-scale larger than the cell size, i.e., hydrodynamic average models, are meaningful.


title: Approximating the lambda-low-density value

abstract: The use of realistic input models has gained popularity in the theory community. Assuming a realistic input model often precludes complicated hypothetical inputs, and the analysis yields bounds that better reflect the behaviour of algorithms in practice. One of the most popular models for polygonal curves and line segments is $\lambda$-low-density. To select the most efficient algorithm for a certain input, one often needs to compute the $\lambda$-low-density value, or at least an approximate value. In this paper, we show that given a set of $n$ line segments in $\mathbb{R}^2$ one can compute a $3$-approximation of the $\lambda$-low density value in $O(n \log n + \lambda n)$ time. We also show how to maintain a $3$-approximation of the $\lambda$-low density value while allowing insertions of new segments in $O(\log n + \lambda^2)$ amortized time per update. Finally, we argue that many real-world data sets have a small $\lambda$-low density value, warranting the recent development of specialised algorithms. This is done by computing approximate $\lambda$-low density values for $12$ real-world data sets.


title: World Knowledge in Multiple Choice Reading Comprehension

abstract: Recently it has been shown that without any access to the contextual passage, multiple choice reading comprehension (MCRC) systems are able to answer questions significantly better than random on average. These systems use their accumulated "world knowledge" to directly answer questions, rather than using information from the passage. This paper examines the possibility of exploiting this observation as a tool for test designers to ensure that the use of "world knowledge" is acceptable for a particular set of questions. We propose information-theory based metrics that enable the level of "world knowledge" exploited by systems to be assessed. Two metrics are described: the expected number of options, which measures whether a passage-free system can identify the answer a question using world knowledge; and the contextual mutual information, which measures the importance of context for a given question. We demonstrate that questions with low expected number of options, and hence answerable by the shortcut system, are often similarly answerable by humans without context. This highlights that the general knowledge 'shortcuts' could be equally used by exam candidates, and that our proposed metrics may be helpful for future test designers to monitor the quality of questions.


title: Sociophysics: a new approach of sociological collective behaviour. I. Mean-behaviour description of a strike

abstract: A new approach to the understanding of sociological collective behaviour, based on the framework of critical phenomena in physics, is presented. The first step consists of constructing a simple mean-behaviour model and applying it to a strike process in a plant. The model comprises only a limited number of parameters characteristic of the plant considered and of the society. A dissatisfaction function is introduced with a basic principle stating that the stable state of the plant is a state, which minimizes this function. It is found that the plant can be in one of two phases: the "collective phase" and the "individual phase". These two phases are separated by a critical point, in the neighbourhood of which the system is very sensitive to small changes in the parameters. The collective phase includes a region of parameters for which the system has two possible states: a "work state" and a "strike state". The actual state of the system depends on the parameters and on the "history of the system". The irreversibility of the transition between these two states indicates the existence of metastable states. For these particular states, the effect of small groups of workers or of a small perturbation in the system results in drastic changes in the state of the plant. Other non-trivial implications of the model, as well as possible extensions and refinements of the approach, are discussed.


title: A Local-to-Global Theorem for Congested Shortest Paths

abstract: Amiri and Wargalla (2020) proved the following local-to-global theorem in directed acyclic graphs (DAGs): if $G$ is a weighted DAG such that for each subset $S$ of 3 nodes there is a shortest path containing every node in $S$, then there exists a pair $(s,t)$ of nodes such that there is a shortest $st$-path containing every node in $G$. We extend this theorem to general graphs. For undirected graphs, we prove that the same theorem holds (up to a difference in the constant 3). For directed graphs, we provide a counterexample to the theorem (for any constant), and prove a roundtrip analogue of the theorem which shows there exists a pair $(s,t)$ of nodes such that every node in $G$ is contained in the union of a shortest $st$-path and a shortest $ts$-path. The original theorem for DAGs has an application to the $k$-Shortest Paths with Congestion $c$ (($k,c$)-SPC) problem. In this problem, we are given a weighted graph $G$, together with $k$ node pairs $(s_1,t_1),\dots,(s_k,t_k)$, and a positive integer $c\leq k$. We are tasked with finding paths $P_1,\dots, P_k$ such that each $P_i$ is a shortest path from $s_i$ to $t_i$, and every node in the graph is on at most $c$ paths $P_i$, or reporting that no such collection of paths exists. When $c=k$ the problem is easily solved by finding shortest paths for each pair $(s_i,t_i)$ independently. When $c=1$, the $(k,c)$-SPC problem recovers the $k$-Disjoint Shortest Paths ($k$-DSP) problem, where the collection of shortest paths must be node-disjoint. For fixed $k$, $k$-DSP can be solved in polynomial time on DAGs and undirected graphs. Previous work shows that the local-to-global theorem for DAGs implies that $(k,c)$-SPC on DAGs whenever $k-c$ is constant. In the same way, our work implies that $(k,c)$-SPC can be solved in polynomial time on undirected graphs whenever $k-c$ is constant.


title: Unsteady wetting of soft solids

abstract: From hydrogels and plastics to liquid crystals, soft solids cover a wide array of synthetic and biological materials that play key enabling roles in advanced technologies such as 3D printing, soft robotics, wearable electronics, self-assembly, and bioartificial tissues. Their elasticity and stimuli-induced changes in mechanical, optical, or electrical properties offer a unique advantage in designing and creating new dynamically functional components for sensing, micro-actuation, colour changes, information, and mass transport. To harness the vast potential of soft solids, a thorough understanding of their reactions when exposed to liquids is needed. Attempts to study the interactions between soft solids and liquids have largely focused on the wetting of soft solids and its resulting deformation at equilibrium or in a quasi-static state. Here, we consider the frequently encountered case of unsteady wetting of a liquid on a soft solid and show that transient deformation of the solid is necessary to understand unsteady wetting behaviours. We find that the initial spreading of the liquid occurs uninterrupted in the absence of solid deformation. This is followed by intermittent spreading, in which transient deformation of the solid at the three-phase contact line (CL) causes the CL motion to alternate alternation between CL sticking and slipping. We identify the spreading rate of liquids and the viscoelastic reacting rate of soft solids as the two competing factors in dictating intermittent spreading. We formulate and validate experimentally the conditions required for the contact line to transition from sticking to slipping. By considering the growing deformation of soft solids as dynamic surface heterogeneities, our proposed conditions for stick-slip transition in unsteady wetting on soft solids broaden the classical theory on wetting hysteresis on rigid solids.


title: SSL4EO-S12: A Large-Scale Multi-Modal, Multi-Temporal Dataset for Self-Supervised Learning in Earth Observation

abstract: Self-supervised pre-training bears potential to generate expressive representations without human annotation. Most pre-training in Earth observation (EO) are based on ImageNet or medium-size, labeled remote sensing (RS) datasets. We share an unlabeled RS dataset SSL4EO-S12 (Self-Supervised Learning for Earth Observation - Sentinel-1/2) to assemble a large-scale, global, multimodal, and multi-seasonal corpus of satellite imagery from the ESA Sentinel-1 \& -2 satellite missions. For EO applications we demonstrate SSL4EO-S12 to succeed in self-supervised pre-training for a set of methods: MoCo-v2, DINO, MAE, and data2vec. Resulting models yield downstream performance close to, or surpassing accuracy measures of supervised learning. In addition, pre-training on SSL4EO-S12 excels compared to existing datasets. We make openly available the dataset, related source code, and pre-trained models at https://github.com/zhu-xlab/SSL4EO-S12.


title: Tracking control on homogeneous spaces: the Equivariant Regulator (EqR)

abstract: Accurate tracking of planned trajectories in the presence of perturbations is an important problem in control and robotics. Symmetry is a fundamental mathematical feature of many dynamical systems and exploiting this property offers the potential of improved tracking performance. In this paper, we investigate the tracking problem for systems on homogeneous spaces, manifolds which admit symmetries with transitive group actions. We show that there is natural manner to lift any desired trajectory of such a system to a lifted trajectory on the symmetry group. This construction allows us to define a global tracking error and apply LQR design to obtain an approximately optimal control in a single coordinate chart. The resulting control is then applied to the original plant and shown to yield excellent tracking performance. We term the resulting design methodology the Equivariant Regulator (EqR). We provide an example system posed on a homogeneous space, derive the trajectory linearisation in error coordinates and demonstrate the effectiveness of EqR compared to standard approaches in simulation.


title: Global existence of dissipative solutions to the Camassa--Holm equation with transport noise

abstract: We consider a nonlinear stochastic partial differential equation (SPDE) that takes the form of the Camassa--Holm equation perturbed by a convective, position-dependent, noise term. We establish the first global-in-time existence result for dissipative weak martingale solutions to this SPDE, with general finite-energy initial data. The solution is obtained as the limit of classical solutions to parabolic SPDEs. The proof combines model-specific statistical estimates with stochastic propagation of compactness techniques, along with the systematic use of tightness and a.s. representations of random variables on specific quasi-Polish spaces. The spatial dependence of the noise function makes more difficult the analysis of a priori estimates and various renormalisations, giving rise to nonlinear terms induced by the martingale part of the equation and the second-order Stratonovich--It\^{o} correction term.


title: Language Model Classifier Aligns Better with Physician Word Sensitivity than XGBoost on Readmission Prediction

abstract: Traditional evaluation metrics for classification in natural language processing such as accuracy and area under the curve fail to differentiate between models with different predictive behaviors despite their similar performance metrics. We introduce sensitivity score, a metric that scrutinizes models' behaviors at the vocabulary level to provide insights into disparities in their decision-making logic. We assess the sensitivity score on a set of representative words in the test set using two classifiers trained for hospital readmission classification with similar performance statistics. Our experiments compare the decision-making logic of clinicians and classifiers based on rank correlations of sensitivity scores. The results indicate that the language model's sensitivity score aligns better with the professionals than the xgboost classifier on tf-idf embeddings, which suggests that xgboost uses some spurious features. Overall, this metric offers a novel perspective on assessing models' robustness by quantifying their discrepancy with professional opinions. Our code is available on GitHub (https://github.com/nyuolab/Model_Sensitivity).


title: Removing Additive Structure in 3SUM-Based Reductions

abstract: Our work explores the hardness of $3$SUM instances without certain additive structures, and its applications. As our main technical result, we show that solving $3$SUM on a size-$n$ integer set that avoids solutions to $a+b=c+d$ for $\{a, b\} \ne \{c, d\}$ still requires $n^{2-o(1)}$ time, under the $3$SUM hypothesis. Such sets are called Sidon sets and are well-studied in the field of additive combinatorics. - Combined with previous reductions, this implies that the All-Edges Sparse Triangle problem on $n$-vertex graphs with maximum degree $\sqrt{n}$ and at most $n^{k/2}$ $k$-cycles for every $k \ge 3$ requires $n^{2-o(1)}$ time, under the $3$SUM hypothesis. This can be used to strengthen the previous conditional lower bounds by Abboud, Bringmann, Khoury, and Zamir [STOC'22] of $4$-Cycle Enumeration, Offline Approximate Distance Oracle and Approximate Dynamic Shortest Path. In particular, we show that no algorithm for the $4$-Cycle Enumeration problem on $n$-vertex $m$-edge graphs with $n^{o(1)}$ delays has $O(n^{2-\varepsilon})$ or $O(m^{4/3-\varepsilon})$ pre-processing time for $\varepsilon >0$. We also present a matching upper bound via simple modifications of the known algorithms for $4$-Cycle Detection. - A slight generalization of the main result also extends the result of Dudek, Gawrychowski, and Starikovskaya [STOC'20] on the $3$SUM hardness of nontrivial 3-Variate Linear Degeneracy Testing (3-LDTs): we show $3$SUM hardness for all nontrivial 4-LDTs. The proof of our main technical result combines a wide range of tools: Balog-Szemer{\'e}di-Gowers theorem, sparse convolution algorithm, and a new almost-linear hash function with almost $3$-universal guarantee for integers that do not have small-coefficient linear relations.


title: Radio Transients and Variables in the Tenth Deeper, Wider, Faster Observing Run

abstract: The Deeper, Wider, Faster (DWF) program coordinates observations with telescopes across the electromagnetic spectrum, searching for transients on timescales of milliseconds to days. The tenth DWF observing run was carried out in near real-time during September 2021 and consisted of six consecutive days of observations of the NGC 6744 galaxy group and a field containing the repeating fast radio burst FRB190711 with the Australian Square Kilometre Array Pathfinder, the Dark Energy Camera, the Hard X-ray Modulation Telescope and the Parkes 64m "Murriyang" radio telescope. In this work we present the results of an image-domain search for transient, variable and circularly polarised sources carried out with ASKAP using data from the observing run, along with test observations prior to the run and follow-up observations carried out during and after the run. We identified eight variable radio sources, consisting of one pulsar, six stellar systems (five of which exhibit circularly polarised emission) and one previously uncatalogued source. Of particular interest is the detection of pulses from the ultra-cool dwarf SCR J1845-6357 with a period of $14.2\pm 0.3$ h, in good agreement with the known optical rotation period, making this the slowest rotating radio-loud ultra-cool dwarf discovered.


title: Simulations of near-source wind development and pollution dispersion over complex terrain under different thermal conditions

abstract: A computational fluid dynamics (CFD) model that solves the steady-state Reynolds-Averaged Navier-Stokes (RANS) equations for buoyant compressible pollution dispersion under different meteorological conditions is developed. A 6.4 km by 6.4 km computational domain over a complex terrain with a height of 1 km above the ground surface is created. Meteorological data from multiple available sources are utilized to obtain boundary conditions of wind speed, air temperature, turbulent kinetic energy (TKE), and its dissipation rate. To evaluate the model, a monitoring network of four anemometers is deployed. Model predictions are compared with measurements of wind speed and the concentration of SO2 emitted by a local coke plant. Comparisons show that the predicted wind speeds are reasonably close to the measured mean wind speeds and the average error is within 10 percent at one location where relative fast wind speeds are recorded. The CFD model also predicts the correct trend of varying wind speeds across multiple sites of different elevations. The model also provides good predictions of SO2 concentrations for multiple cases, considering the complex nature of the terrain and meteorological conditions.


title: Sobolev norms of $L^2$-solutions to NLS

abstract: We apply inverse spectral theory to study Sobolev norms of solutions to the nonlinear Schrodinger equation. For initial datum $q_0\in L^2(\mathbb{R})$ and $s\in [-1,0]$, we prove that there exists a conserved quantity that is equivalent to $H^s(\mathbb{R})$-norm of the solution.


title: Treatment-RSPN: Recurrent Sum-Product Networks for Sequential Treatment Regimes

abstract: Sum-product networks (SPNs) have recently emerged as a novel deep learning architecture enabling highly efficient probabilistic inference. Since their introduction, SPNs have been applied to a wide range of data modalities and extended to time-sequence data. In this paper, we propose a general framework for modelling sequential treatment decision-making behaviour and treatment response using recurrent sum-product networks (RSPNs). Models developed using our framework benefit from the full range of RSPN capabilities, including the abilities to model the full distribution of the data, to seamlessly handle latent variables, missing values and categorical data, and to efficiently perform marginal and conditional inference. Our methodology is complemented by a novel variant of the expectation-maximization algorithm for RSPNs, enabling efficient training of our models. We evaluate our approach on a synthetic dataset as well as real-world data from the MIMIC-IV intensive care unit medical database. Our evaluation demonstrates that our approach can closely match the ground-truth data generation process on synthetic data and achieve results close to neural and probabilistic baselines while using a tractable and interpretable model.


title: Non-standard Green energy problems in the complex plane

abstract: We consider several non-standard discrete and continuous Green energy problems in the complex plane and study the asymptotic relations between their solutions. In the discrete setting, we consider two problems; one with variable particle positions (within a given compact set) and variable particle masses, the other one with variable masses but prescribed positions. The mass of a particle is allowed to take any value in the range $0\leq m\leq R$, where $R>0$ is a fixed parameter in the problem. The corresponding continuous energy problems are defined on the space of positive measures $\mu$ with mass $\|\mu\|\leq R$ and supported on the given compact set, with an additional upper constraint that appears as a consequence of the prescribed positions condition. It is proved that the equilibrium constant and equilibrium measure vary continuously as functions of the parameter $R$ (the latter in the weak-star topology). In the unconstrained energy problem we present a greedy algorithm that converges to the equilibrium constant and equilibrium measure. In the discrete energy problems, it is shown that under certain conditions, the optimal values of the particle masses are uniquely determined by the optimal positions or prescribed positions of the particles, depending on the type of problem considered.


title: The unramified Brauer groups of normic bundles

abstract: We produce a partial compactification of the variety given by P(t)=N_{K/k}(\mathbf z) whose Brauer group coincides with the unramified Brauer group, where K is an \'etale k-algebra and P(t)\in k[t] is a nonconstant polynomial. Then we obtain a systematic method to compute the unramified Brauer group for all such varieties.